13.6: Pythagorean theorem
- Page ID
- 23666
\( \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}\)Recall that \(\cosh\) denotes hyperbolic cosine; that is, the function defined by
\(\cosh x := \dfrac{e^x+e^{-x}}2.\)
Assume that \(ACB\) is an h-triangle with right angle at \(C\). Set
\(a = BC_h,\) \(b = CA_h\) and \(c = AB_h\).
Then
\[\cosh c = \cosh a \cdot \cosh b.\]
The formula 13.6.1 will be proved by means of direct calculations. Before giving the proof, let us discuss the limit cases of this formula.
Note that \(\cosh x\) can be written using the Taylor expansion
\(\cosh x=1+\dfrac{1}{2}\cdot x^2+\dfrac{1}{24}\cdot x^4+\dots.\)
It follows that if \(a\), \(b\), and \(c\) are small, then
\(\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}\)
In other words, the original Pythagorean theorem (Theorem 6.2.1) is a limit case of the hyperbolic Pythagorean theorem for small triangles.
For large \(a\) and \(b\) the terms \(e^{-a}\), \(e^{-b}\), and \(e^{-a-b+\ln 2}\) are neglectable. In this case we have the following approximations:
\(\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}\)
Therefore \(c \approx a+b-\ln 2\).
Assume that \(ACB\) is an h-triangle with right angle at \(C\). Set \(a=BC_h\), \(b=CA_h\), and \(c=AB_h\). Show that
\(c+\ln 2>a+b.\)
- Hint
-
Apply the hyperbolic Pythagorean theorem and the definition of hyperbolic cosine. The following observations should help:
- \(x \mapsto e^x\) is an increasing positive function.
- By the triangle inequality, we have \(-c \le a - b\) and \(-c \le b - a\)
In the proof of the hyperbolic Pythagorean theorem we use the following formula from Exercise 12.9.2:
here \(A\), \(B\) are h-points distinct from the center of absolute and \(A'\), \(B'\) are their inversions in the absolute. This formula is derived in the hints.
Proof of Theorem \(\PageIndex{1}\). We assume that absolute is a unit circle. By the main observation (Theorem 12.3.1) we can assume that \(C\) is the center of absolute. Let \(A'\) and \(B'\) denote the inverses of \(A\) and \(B\) in the absolute.
Set \(x=BC\), \(y=AC\). By Lemma Theorem 12.3.2
\(a = \ln \dfrac{1 + x}{1 - x}\), \(b = \ln \dfrac{1 + y}{1 - y}.\)
Therefore
\[\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}\]
Note that
\(B'C = \dfrac{1}{x},\) \(A'C = \dfrac{1}{y}.\)
Therefore
\(BB' = \dfrac{1}{x} - x\), \(AA' = \dfrac{1}{y} - y.\)
Since the triangles \(ABC\), \(A'BC\), \(AB'C\), \(A'B'C\) are right, the original Pythagoran theorem (Theorem 6.2.1) implies
\(\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}\)
According to Exercise 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}\]
Finally note that 13.6.2 and 13.6.3 imply 13.6.1.