Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

13.6: теорема Піфагора

Нагадаємо, щоcosh позначає гіперболічний косинус; тобто функцію, визначену

coshx:=ex+ex2.

Теорема13.6.1 Hyperbolic Pythagorean theorem

Припустимо, щоACB це h-трикутник з прямим кутом вC. Набір

a=BCh,b=CAhіc=ABh.

Тоді

coshc=coshacoshb.

Формула 13.6.1 буде доведена за допомогою прямих розрахунків. Перш ніж давати докази, обговоримо граничні випадки цієї формули.

Зверніть увагу, щоcoshx може бути написано за допомогою розширення Тейлора

coshx=1+12x2+124x4+.

Звідси випливаєab, що якщо, іc маленькі, то

1+12c2coshc=coshacoshb(1+12a2)(1+12b2)1+12(a2+b2).

Іншими словами, вихідна теорема Піфагора (Теорема 6.2.1) є граничним випадком гіперболічної теореми Піфагора для малих трикутників.

Для великихa іb термінівeaeb, іeab+ln2 нехтуються. У цьому випадку ми маємо такі наближення:

\(\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}\)

Томуca+bln2.

Вправа13.6.1

Припустимо, щоACB це h-трикутник з прямим кутом вC. Набірa=BCh,b=CAh, іc=ABh. Покажіть, що

c+ln2>a+b.

Підказка

Застосовують гіперболічну теорему Піфагора і визначення гіперболічного косинуса. Повинні допомогти наступні спостереження:

  • xexє зростаючою позитивною функцією.
  • За нерівністю трикутника ми маємоcab іcba

2021-02-25 9.07.56.png

У доведенні гіперболічної теореми Піфагора використовуємо наступну формулу з вправи 12.9.2:

BтутA, h-точки відмінні від центру абсолюту іA,B є їх інверсії в абсолюті. Ця формула виведена в підказках.

Доказ теореми13.6.1. Припустимо, що абсолют - це одиничне коло. За основним спостереженням (теорема 12.3.1) можна припустити, щоC це центр абсолюту. НехайA іB позначають зворотніA іB в абсолюті.

Набірx=BC,y=AC. За теоремою Лемма 12.3.2

a=ln1+x1x,b=ln1+y1y.

Тому

cosha=12(1+x1x+1x1+x)=    coshb=12(1+y1y+1y1+y)==1+x21x2,    =1+y21y2.

Зверніть увагу, що

BC=1x,AC=1y.

Тому

BB=1xx,AA=1yy.

Оскільки трикутникиABC,,ABCABC,ABC мають рацію, оригінальна теорема Піфагора (Теорема 6.2.1) має на увазі

AB=x2+y2AB=x2+1y2,AB=1x2+y2,AB=1x2+1y2.

Відповідно до вправи 12.9.2,

coshc=ABAB+ABABAABB==x2+y21x2+1y2+1x2+y2x2+1y2(1yy)(1xx)==x2+y2+1+x2y2(1y2)(1x2)==1+x21x21+y21y2.

Нарешті, зауважте, що 13.6.2 та 13.6.3 означають 13.6.1.