4.4: Condición Lado Lateral
- Page ID
- 114618
\( \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}\)\(\triangle ABC \cong \triangle A'B'C'\)si
\(A'B' = AB\),\(B'C' = BC\) y\(C'A' = CA\).
Tenga en cuenta que esta condición también es válida para triángulos degenerados.
- Prueba
-
Elige\(C''\) para que\(A'C'' = A'C'\) y\(\measuredangle B'A'C'' = \measuredangle BAC\). Según Axioma IV,
\(\triangle A'B'C'' \cong \triangle ABC.\)
Baste con demostrar que
\[\triangle A'B'C' \cong \triangle A'B'C''.\]
La condición 4.4.1 se mantiene trivialmente si\(C'' = C'\). Por lo tanto, queda por considerar el caso\(C'' \ne C'\).
Claramente, los lados correspondientes de\(\triangle A'B'C'\) y\(\triangle A'B'C''\) son iguales. De ahí los triángulos\(\trianggle C'A'C''\) y\(\triangle C'B'C''\) son isósceles. Por Teorema 4.3.1, tenemos
\(\begin{array} {l} {\measuredangle A'C''C' \equiv -\measuredangle A'C'C''} \\ {\measuredangle C'C''B' \equiv -\measuredangle C''C'B'.} \end{array}\)
Agregándolos, obtenemos
\(\measuredangle A'C''B' \equiv -\measuredangle A'C'B'.\)
Aplicando de nuevo Axioma IV, obtenemos 4.4.1
Si\(AB + BC = AC\), entonces\(B \in [AC]\).
- Prueba
-
Podemos suponer que\(AB > 0\) y\(BC > 0\); de otra manera\(A = B\) o\(B = C\).
Argumentar por contradicción, supongamos\(AB + BC = AC\). Elija\(B' \in [AC]\) tal que\(AB = AB'\); tenga en cuenta que\(BC = B'C\) y\(\measuredangle AB'C = \pi\).
Por\(SSS\),
\(\triangle ABC \cong \triangle AB'C.\)
Por lo tanto\(\measuredangle ABC = \pi\). Por teorema 2.4.1,\(B\) yace entre\(A\) y\(C\).
Dejar\(M\) ser el punto medio del lado\([AB]\) de\(\triangle ABC\) y\(M'\) ser el punto medio del lado\([A'B']\) de\(\triangle A'B'C'\). Supongamos\(C'A' = CA\)\(C'B' = CB\),, y\(C'M' = CM\). Demostrar que
\(\triangle A'B'C' \cong \triangle ABC\).
- Sugerencia
-
Considerar los puntos\(D\) y\(D'\), tal que\(M\) es el punto medio de\([CD]\) y\(M'\) es el punto medio de\([C'D']\). Demuéstralo\(\triangle BCD \cong \triangle B'C'D'\) y úsalo para probarlo\(\triangle A'B'C' \cong \triangle ABC\).
Dejar\(\triangle ABC\) ser un triángulo isósceles con la base\([AB]\). Supongamos que\(CA' = CB'\) para algunos puntos\(A' \in [BC]\) y\(B' \in [AC]\). Demostrar que
a)\(\triangle AA'C \cong \triangle BB'C\);
b)\(\triangle ABB' \cong \triangle BAA'\).
- Sugerencia
-
(a) Aplicar SAS.
b) Utilizar (a) y aplicar SSS.
Dejar\(\triangle ABC\) ser un triángulo no degenerado y dejar\(f\) ser un movimiento del plano tal que
\(f(A) = A\),\(f(B) = B\) y\(f(C) = C\).
Mostrar que\(f\) es el mapa de identidad; es decir,\(f(X) = X\) para cualquier punto\(X\) del plano.
- Sugerencia
-
Sin pérdida de general, podemos suponer que\(X\) es distinto de\(A, B,\) y\(C\). Establecer\(f(X) = X'\); asumir\(X' \ne X\).
Tenga en cuenta que\(AX = AX'\)\(BX = BX'\),, y\(CX = CX'\). Por SSS lo conseguimos\(\angle ABX = \pm \measuredangle ABX'\). Ya que\(X \ne X'\), lo conseguimos\(\measuredangle ABX \equiv - \measuredangle ABX'\). De la misma manera que lo conseguimos\(\measuredangle CBX \equiv -\measuredangle CBX'\). Restando estas dos identidades la una de la otra, eso lo conseguimos\(\measuredangle ABC \equiv - \measuredangle ABC\). Concluir que\(\measuredangle ABC = 0\) o\(\pi\). Es decir,\(\triangle ABC\) es degenerado —una contradicción.