13.6: Teorema de Pitágoras
- Page ID
- 114325
\( \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}\)Recordemos que\(\cosh\) denota coseno hiperbólico; es decir, la función definida por
\(\cosh x := \dfrac{e^x+e^{-x}}2.\)
Supongamos que\(ACB\) es un triángulo h con ángulo recto en\(C\). Set
\(a = BC_h,\)\(b = CA_h\)y\(c = AB_h\).
Entonces
\[\cosh c = \cosh a \cdot \cosh b.\]
La fórmula 13.6.1 se probará mediante cálculos directos. Antes de dar la prueba, discutamos los casos límite de esta fórmula.
Tenga en cuenta que se\(\cosh x\) puede escribir usando la expansión Taylor
\(\cosh x=1+\dfrac{1}{2}\cdot x^2+\dfrac{1}{24}\cdot x^4+\dots.\)
De ello se deduce que si\(a\)\(b\),, y\(c\) son pequeños, entonces
\(\begin{array} {rcl} {1 + \dfrac{1}{2} \cdot c^2} & \approx & {\cosh c = \cosh a \cdot \cosh b \approx} \\ {} & \approx & {(1 + \dfrac{1}{2} \cdot a^2)(1 + \dfrac{1}{2} \cdot b^2) \approx} \\ {} & \approx & {1 + \dfrac{1}{2} \cdot (a^2 + b^2).} \end{array}\)
En otras palabras, el teorema original de Pitágoras (Teorema 6.2.1) es un caso límite del teorema de Pitágoras hiperbólico para triángulos pequeños.
Para grandes\(a\) y\(b\) los términos\(e^{-a}\),\(e^{-b}\), y\(e^{-a-b+\ln 2}\) son negables. En este caso tenemos las siguientes aproximaciones:
\(\begin{array} {\cosh a \cdot \cos h b} & \approx & {\dfrac{e^a}{2} \cdot \dfrac{e^b}{2} =} \\ {} & = & {\dfrac{e^{a+b-\ln 2}}{2} \approx} \\ {} & \approx & {\cosh (a+b-\ln 2)} \end{array}\)
Por lo tanto\(c \approx a+b-\ln 2\).
Supongamos que\(ACB\) es un triángulo h con ángulo recto en\(C\). Establecer\(a=BC_h\),\(b=CA_h\), y\(c=AB_h\). Demostrar que
\(c+\ln 2>a+b.\)
- Pista
-
Aplicar el teorema de Pitágoras hiperbólicas y la definición de coseno hiperbólico. Las siguientes observaciones deberían ayudar:
- \(x \mapsto e^x\)es una función positiva creciente.
- Por la desigualdad triangular, tenemos\(-c \le a - b\) y\(-c \le b - a\)
En la prueba del teorema hiperbólico de Pitágoras utilizamos la siguiente fórmula del Ejercicio 12.9.2:
aquí\(A\),\(B\) son los puntos h distintos del centro del absoluto y\(A'\),\(B'\) son sus inversiones en el absoluto. Esta fórmula se deriva en las pistas.
Prueba de Teorema\(\PageIndex{1}\). Suponemos que absoluto es un círculo unitario. Por la observación principal (Teorema 12.3.1) podemos suponer que\(C\) es el centro de lo absoluto. Dejar\(A'\) y\(B'\) denotar las inversas de\(A\) y\(B\) en lo absoluto.
Establecer\(x=BC\),\(y=AC\). Por el Teorema de Lemma 12.3.2
\(a = \ln \dfrac{1 + x}{1 - x}\),\(b = \ln \dfrac{1 + y}{1 - y}.\)
Por lo tanto
\[\begin{array} {rclcrcl} {\cosh a} & = & {\dfrac{1}{2} \cdot (\dfrac{1 + x}{1 - x} + \dfrac{1 - x}{1 + x}) =} & \ \ \ \ & {\cosh b} & = & {\dfrac{1}{2} \cdot (\dfrac{1 + y}{1 - y} + \dfrac{1 - y}{1 + y}) =} \\ {} & = & {\dfrac{1 + x^2}{1-x^2},} & \ \ \ \ & {} & = & {\dfrac{1 + y^2}{1 - y^2}.} \end{array}\]
Tenga en cuenta que
\(B'C = \dfrac{1}{x},\)\(A'C = \dfrac{1}{y}.\)
Por lo tanto
\(BB' = \dfrac{1}{x} - x\),\(AA' = \dfrac{1}{y} - y.\)
Dado que los triángulos\(ABC\),\(A'BC\),\(AB'C\),\(A'B'C\) tienen razón, el teorema pitagorano original (Teorema 6.2.1) implica
\(\begin{array} {rcl} {AB} & = & {\sqrt{x^2 + y^2}} \\ {A'B} & = & {\sqrt{x^2 + \dfrac{1}{y^2}},} \end{array}\)\(\begin{array} {rcl} {AB'} & = & {\sqrt{\dfrac{1}{x^2} + y^2,}} \\ {A'B'} & = & {\sqrt{\dfrac{1}{x^2} + \dfrac{1}{y^2}}.} \end{array}\)
Según el Ejercicio 12.9.2,
\[\begin{array} {rcl} {\cosh c} & = & {\dfrac{AB \cdot A'B' + AB' \cdot A'B}{AA' \cdot BB'} = } \\ {} & = & {\dfrac{\sqrt{x^2 + y^2} \cdot \sqrt{\dfrac{1}{x^2} + \dfrac{1}{y^2}} + \sqrt{\dfrac{1}{x^2} + y^2} \cdot \sqrt{x^2 + \dfrac{1}{y^2}}}{(\dfrac{1}{y} - y) \cdot (\dfrac{1}{x} - x)} =} \\ {} & = & {\dfrac{x^2 + y^2 + 1 + x^2 \cdot y^2}{(1 - y^2) \cdot (1 - x^2)} =} \\ {} & = & {\dfrac{1 + x^2}{1 - x^2} \cdot \dfrac{1 + y^2}{1 - y^2}.} \end{array}\]
Por último señalar que 13.6.2 y 13.6.3 implican 13.6.1.