6.1: Triángulos similares
- Page ID
- 114359
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Dos triángulos\(A'B'C'\) y\(ABC\) se llaman similares (brevemente\(\triangle A'B'C' \sim \triangle ABC\)) si (1) sus lados son proporcionales; es decir,
\[A'B' = k\cdot AB, B'C' = k \cdot BC \text{ and } C'A' = k \cdot CA\]
para algunos\(k > 0\), y (2) los ángulos correspondientes son iguales hasta firmar:
\[\begin{array} {l} {\measuredangle A'B'C' = \pm \measuredangle ABC} \\ {\measuredangle B'C'A' = \pm \measuredangle BCA} \\ {\measuredangle C'A'B' = \pm \measuredangle CAB} \end{array}\]
Observaciones
- Según el Teorema 3.3.1, en las tres igualdades anteriores, se puede suponer que los signos son los mismos.
- Si\(\triangle A'B'C' \sim \triangle ABC\) con\(k = 1\) en 6.1.1, entonces\(\triangle A'B'C' \cong \triangle ABC\).
-
Obsérvese que\(\sim\) "" es una relación de equivalencia. Es decir,
(i)\(\triangle ABC \sim \triangle ABC\) para cualquiera\(\triangle ABC\).
ii) si\(\triangle A'B'C' \sim \triangle ABC\), entonces
\[\triangle ABC \sim \triangle A'B'C'\]
(iii) Si\(\triangle A''B''C'' \sim \triangle A'B'C'\) y\(\triangle A'B'C' \sim \triangle ABC\), entonces
\[\triangle A''B''C'' \sim \triangle ABC\]
Usando la nueva notación "\(\sim\)“, podemos reformular Axioma V:
Si por los dos triángulos\(\triangle ABC\),\(\triangle AB'C'\), y\(k > 0\) tenemos\(B' \in [AB)\),\(C' \in [AC)\),\(AB' = k \cdot AB\) y\(AC' = k \cdot AC\), entonces\(\triangle ABC \sim \triangle AB'C'\).
Es decir, el Axioma V proporciona una condición que garantiza que dos triángulos sean similares. Formulemos tres condiciones más de similitud de este tipo.
Dos triángulos\(\triangle ABC\) y\(\triangle A'B'C'\) son similares si se mantiene una de las siguientes condiciones:
(SAS) Para alguna constante\(k > 0\) tenemos
\(AB = k \cdot A'B', AC = k \cdot A'C'\)
y\(\measuredangle BAC = \pm \measuredangle B'A'C'.\)
(AA) El triángulo no\(A'B'C'\) es degenerado y
\(\measuredangle ABC = \pm \measuredangle A'B'C', \measuredangle BAC = \pm \measuredangle B'A'C'.\)
(SSS) Para alguna constante\(k > 0\) tenemos
\(AB = k \cdot A'B', AC = k \cdot A'C', CB = k \cdot C'B'.\)
Cada una de estas condiciones se prueba aplicando el Axioma V con las condiciones de congruencia SAS, ASA y SSS respectivamente (ver Axioma IV y el Teorema 4.2.1, Teorema 4.4. 1).
- Prueba
-
Set\(k = \dfrac{AB}{A'B'}\). Elegir puntos\(B'' \in [A'B')\) y\(C'' \in [A'C')\), para que\(A'B'' = k \cdot A'B'\) y\(A'C'' = k \cdot A'C'\). Por Axioma V,\(\triangle A'B'C' \sim \triangle A'B''C''\).
Aplicando la condición de congruencia SAS, ASA o SSS, dependiendo del caso, lo conseguimos\(\triangle A'B''C'' \cong \triangle ABC\). De ahí el resultado.
Una biyección\(X \leftrightarrow X'\) de un plano a sí mismo se llama transformación de preservación de ángulo si
\(\measuredangle ABC = \measuredangle A'B'C'\)
para cualquier triángulo\(ABC\) y su imagen\(\triangle A'B'C'\).
Mostrar que cualquier transformación del plano que preserva el ángulo multiplica toda la distancia por una constante fija.
- Pista
-
Por la condición de similitud AA, la transformación multiplica los lados de cualquier triángulo no degenerado por algún número que puede depender del triángulo.
Tenga en cuenta que para cualquier dos triángulos no degenerados que comparten un lado este número es el mismo. Aplicar esta observación a una cadena de triángulos conduce a una solución.