13.6: теорема Піфагора
Нагадаємо, щоcosh позначає гіперболічний косинус; тобто функцію, визначену
coshx:=ex+e−x2.
Припустимо, щоACB це h-трикутник з прямим кутом вC. Набір
a=BCh,b=CAhіc=ABh.
Тоді
coshc=cosha⋅coshb.
Формула 13.6.1 буде доведена за допомогою прямих розрахунків. Перш ніж давати докази, обговоримо граничні випадки цієї формули.
Зверніть увагу, щоcoshx може бути написано за допомогою розширення Тейлора
coshx=1+12⋅x2+124⋅x4+….
Звідси випливаєab, що якщо, іc маленькі, то
1+12⋅c2≈coshc=cosha⋅coshb≈≈(1+12⋅a2)(1+12⋅b2)≈≈1+12⋅(a2+b2).
Іншими словами, вихідна теорема Піфагора (Теорема 6.2.1) є граничним випадком гіперболічної теореми Піфагора для малих трикутників.
Для великихa іb термінівe−ae−b, іe−a−b+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}\)
Томуc≈a+b−ln2.
Припустимо, щоACB це h-трикутник з прямим кутом вC. Набірa=BCh,b=CAh, іc=ABh. Покажіть, що
c+ln2>a+b.
- Підказка
-
Застосовують гіперболічну теорему Піфагора і визначення гіперболічного косинуса. Повинні допомогти наступні спостереження:
- x↦exє зростаючою позитивною функцією.
- За нерівністю трикутника ми маємо−c≤a−b і−c≤b−a
У доведенні гіперболічної теореми Піфагора використовуємо наступну формулу з вправи 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+x1−x,b=ln1+y1−y.
Тому
cosha=12⋅(1+x1−x+1−x1+x)= coshb=12⋅(1+y1−y+1−y1+y)==1+x21−x2, =1+y21−y2.
Зверніть увагу, що
B′C=1x,A′C=1y.
Тому
BB′=1x−x,AA′=1y−y.
Оскільки трикутникиABC,,A′BCAB′C,A′B′C мають рацію, оригінальна теорема Піфагора (Теорема 6.2.1) має на увазі
AB=√x2+y2A′B=√x2+1y2,AB′=√1x2+y2,A′B′=√1x2+1y2.
Відповідно до вправи 12.9.2,
coshc=AB⋅A′B′+AB′⋅A′BAA′⋅BB′==√x2+y2⋅√1x2+1y2+√1x2+y2⋅√x2+1y2(1y−y)⋅(1x−x)==x2+y2+1+x2⋅y2(1−y2)⋅(1−x2)==1+x21−x2⋅1+y21−y2.
Нарешті, зауважте, що 13.6.2 та 13.6.3 означають 13.6.1.