Теорема Пифагора — одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение

между сторонами прямоугольного треугольника .

Считается, что доказана греческим математиком Пифагором, в честь которого и названа.

Геометрическая формулировка теоремы Пифагора.

Изначально теорема была сформулирована следующим образом:

В прямоугольном треугольнике площадь квадрата , построенного на гипотенузе , равна сумме площадей квадратов ,

построенных на катетах.

Алгебраическая формулировка теоремы Пифагора.

В прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов.

То есть, обозначив длину гипотенузы треугольника через c , а длины катетов через a и b :

Обе формулировки теоремы Пифагора эквивалентны, но вторая формулировка более элементарна, она не

требует понятия площади. То есть второе утверждение можно проверить, ничего не зная о площади и

измерив только длины сторон прямоугольного треугольника .

Обратная теорема Пифагора.

Если квадрат одной стороны треугольника равен сумме квадратов двух других сторон, то

треугольник прямоугольный.

Или, иными словами:

Для всякой тройки положительных чисел a , b и c , такой, что

существует прямоугольный треугольник с катетами a и b и гипотенузой c .

Теорема Пифагора для равнобедренного треугольника.

Теорема Пифагора для равностороннего треугольника.

Доказательства теоремы Пифагора.

На данный момент в научной литературе зафиксировано 367 доказательств данной теоремы. Вероятно, теорема

Пифагора является единственной теоремой со столь внушительным числом доказательств. Такое многообразие

можно объяснить лишь фундаментальным значением теоремы для геометрии.

Разумеется, концептуально все их можно разбить на малое число классов. Самые известные из них:

доказательства методом площадей , аксиоматические и экзотические доказательства (например,

с помощью дифференциальных уравнений ).

1. Доказательство теоремы Пифагора через подобные треугольники.

Следующее доказательство алгебраической формулировки — наиболее простое из доказательств, строящихся

напрямую из аксиом. В частности, оно не использует понятие площади фигуры.

Пусть ABC есть прямоугольный треугольник с прямым углом C . Проведём высоту из C и обозначим

её основание через H .

Треугольник ACH подобен треугольнику AB C по двум углам. Аналогично, треугольник CBH подобен ABC .

Введя обозначения:

получаем:

,

что соответствует -

Сложив a 2 и b 2 , получаем:

или , что и требовалось доказать.

2. Доказательство теоремы Пифагора методом площадей.

Ниже приведённые доказательства, несмотря на их кажущуюся простоту, вовсе не такие простые. Все они

используют свойства площади, доказательства которых сложнее доказательства самой теоремы Пифагора.

  • Доказательство через равнодополняемость.

Расположим четыре равных прямоугольных

треугольника так, как показано на рисунке

справа.

Четырёхугольник со сторонами c - квадратом,

так как сумма двух острых углов 90°, а

развёрнутый угол — 180°.

Площадь всей фигуры равна, с одной стороны,

площади квадрата со стороной (a+b ), а с другой стороны, сумме площадей четырёх треугольников и

Что и требовалось доказать.

3. Доказательство теоремы Пифагора методом бесконечно малых.

​


Рассматривая чертёж, показанный на рисунке, и

наблюдая изменение стороны a , мы можем

записать следующее соотношение для бесконечно

малых приращений сторон с и a (используя подобие

треугольников):

Используя метод разделения переменных, находим:

Более общее выражение для изменения гипотенузы в случае приращений обоих катетов:

Интегрируя данное уравнение и используя начальные условия, получаем:

Таким образом, мы приходим к желаемому ответу:

Как нетрудно видеть, квадратичная зависимость в окончательной формуле появляется благодаря линейной

пропорциональности между сторонами треугольника и приращениями, тогда как сумма связана с независимыми

вкладами от приращения разных катетов.

Более простое доказательство можно получить, если считать, что один из катетов не испытывает приращения

(в данном случае катет b ). Тогда для константы интегрирования получим:

Убедитесь, что данный вам треугольник является прямоугольным, так как теорема Пифагора применима только к прямоугольным треугольникам. В прямоугольных треугольниках один из трех углов всегда равен 90 градусам.

  • Прямой угол в прямоугольном треугольнике обозначается значком в виде квадрата, а не в виде кривой, которая обозначает непрямые углы.

Обозначьте стороны треугольника. Катеты обозначьте как «а» и «b» (катеты - стороны, пересекающиеся под прямым углом), а гипотенузу - как «с» (гипотенуза - самая большая сторона прямоугольного треугольника, лежащая напротив прямого угла).

  • Определите, какую сторону треугольника требуется найти. Теорема Пифагора позволяет найти любую сторону прямоугольного треугольника (если известны две другие стороны). Определите, какую сторону (a, b, c) необходимо найти.

    • Например, дана гипотенуза, равная 5, и дан катет, равный 3. В этом случае необходимо найти второй катет. Мы вернемся к этому примеру позднее.
    • Если две другие стороны неизвестны, необходимо найти длину одной из неизвестных сторон, чтобы иметь возможность применить теорему Пифагора. Для этого используйте основные тригонометрические функции (если вам дано значение одного из непрямых углов).

  • Подставьте в формулу a 2 + b 2 = c 2 данные вам значения (или найденные вами значения). Помните, что a и b - это катеты, а с - гипотенуза.

    • В нашем примере напишите: 3² + b² = 5² .

  • Возведите в квадрат каждую известную сторону. Или же оставьте степени - вы можете возвести числа в квадрат позже.

    • В нашем примере напишите: 9 + b² = 25.

  • Обособьте неизвестную сторону на одной стороне уравнения. Для этого перенесите известные значения на другую сторону уравнения. Если вы находите гипотенузу, то в теореме Пифагора она уже обособлена на одной стороне уравнения (поэтому делать ничего не нужно).

    • В нашем примере перенесите 9 на правую сторону уравнения, чтобы обособить неизвестное b². Вы получите b² = 16.

  • Извлеките квадратный корень из обеих частей уравнения. На данном этапе на одной стороне уравнения присутствует неизвестное (в квадрате), а на другой стороне - свободный член (число).

    • В нашем примере b² = 16. Извлеките квадратный корень из обеих частей уравнения и получите b = 4. Таким образом, второй катет равен 4 .

  • Используйте теорему Пифагора в повседневной жизни, так как ее можно применять в большом числе практических ситуаций. Для этого научитесь распознавать прямоугольные треугольники в повседневной жизни - в любой ситуации, в которой два предмета (или линии) пересекаются под прямым углом, а третий предмет (или линия) соединяет (по диагонали) верхушки двух первых предметов (или линий), вы можете использовать теорему Пифагора, чтобы найти неизвестную сторону (если две другие стороны известны).

    • Пример: дана лестница, прислоненная к зданию. Нижняя часть лестницы находится в 5 метрах от основания стены. Верхняя часть лестницы находится в 20 метрах от земли (вверх по стене). Какова длина лестницы?
      • «в 5 метрах от основания стены» означает, что а = 5; «находится в 20 метрах от земли» означает, что b = 20 (то есть вам даны два катета прямоугольного треугольника, так как стена здания и поверхность Земли пересекаются под прямым углом). Длина лестницы есть длина гипотенузы, которая неизвестна.
        • a² + b² = c²
        • (5)² + (20)² = c²
        • 25 + 400 = c²
        • 425 = c²
        • с = √425
        • с = 20,6. Таким образом, приблизительная длина лестницы равна 20,6 метров .

    • Теорема Пифагора гласит:

    В прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы:

    a 2 + b 2 = c 2 ,

    • a и b – катеты, образующие прямой угол.
    • с – гипотенуза треугольника.

    Формулы теоремы Пифагора

    • a = \sqrt{c^{2} - b^{2}}
    • b = \sqrt {c^{2} - a^{2}}
    • c = \sqrt {a^{2} + b^{2}}

    Доказательство теоремы Пифагора

    Площадь прямоугольного треугольника вычисляется по формуле:

    S = \frac{1}{2} ab

    Для вычисления площади произвольного треугольника формула площади:

    • p – полупериметр. p=\frac{1}{2}(a+b+c) ,
    • r – радиус вписанной окружности. Для прямоугольникаr=\frac{1}{2}(a+b-c).

    Потом приравниваем правые части обеих формул для площади треугольника:

    \frac{1}{2} ab = \frac{1}{2}(a+b+c) \frac{1}{2}(a+b-c)

    2 ab = (a+b+c) (a+b-c)

    2 ab = \left((a+b)^{2} -c^{2} \right)

    2 ab = a^{2}+2ab+b^{2}-c^{2}

    0=a^{2}+b^{2}-c^{2}

    c^{2} = a^{2}+b^{2}

    Обратная теорема Пифагора:

    Если квадрат одной стороны треугольника равен сумме квадратов двух других сторон, то треугольник прямоугольный. То есть для всякой тройки положительных чисел a, b и c , такой, что

    a 2 + b 2 = c 2 ,

    существует прямоугольный треугольник с катетами a и b и гипотенузой c .

    Теорема Пифагора - одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. Доказана она ученым математиком и философом Пифагором.

    Значение теоремы в том, что с ее помощью можно доказать другие теоремы и решать задачи.

    Дополнительный материал:

    Пифагор - греческий учёный, живший около 2500 лет назад (564-473 гг. до нашей эры).

    Пусть дан прямоугольный треугольник, стороны которого а , b и с (рис. 267).

    Построим на его сторонах квадраты. Площадиэтих квадратов соответственно равны а 2 , b 2 и с 2 . Докажем, что с 2 = а 2 + b 2 .

    Построим два квадрата МКОР и М’К’О’Р’ (рис. 268, 269), приняв за сторону каждого из них отрезок, равный сумме катетов прямоугольного треугольника АBС.

    Выполнив в этих квадратах построения, показанные на риунках 268 и 269, мы увидим, что квадрат МКОР разбился на два квадрата с площадями а 2 и b 2 и четыре равных прямоугольных треугольника, каждый изкоторых равен прямоугольному треугольнику АВС. Квадрат М’К’О’Р’ разбился на четырёхугольник (он на рисунке 269 заштрихован) и четыре прямоугольных треугольника, каждый из которых также равен треугольнику АBС. Заштрихованный четырёхугольник - квадрат, так как стороны его равны (каждая равна гипотенузе треугольника АBС, т. е. с ), а углы - прямые ∠1 + ∠2 = 90°, откуда ∠3 = 90°).

    Таким образом, сумма площадей квадратов, построенных на катетах (на рисунке 268 эти квадраты заштрихованы), равна площади квадрата МКОР без суммы площадей четырёх равных треугольников, а площадь квадрата, построенного на гипотенузе (на рисунке 269 этот квадрат тоже заштрихован), равна площади квадрата М’К’О’Р’, равного квадрату МКОР, без суммы площадей четырёх таких же треугольников. Следовательно, площадь квадрата, построенного на гипотенузе прямоугольного треугольника, равна сумме площадей квадратов, построенных на катетах.

    Получаем формулу с 2 = а 2 + b 2 , где с - гипотенуза, а и b - катеты прямоугольного треугольника.

    Теорему Пифагора кратко принято формулировать так:

    Квадрат гипотенузы прямоугольного треугольника равен сумме квадратов катетов.

    Из формулы с 2 = а 2 + b 2 можно получить такие формулы:

    а 2 = с 2 - b 2 ;

    b 2 = с 2 - а 2 .

    Этими формулами можно пользоваться для нахождения неизвестной стороны прямоугольного треугольника по двум данным его сторонам.

    Например:

    а) если даны катеты а = 4 см, b = 3 см, то можно найти гипотенузу (с ):

    с 2 = а 2 + b 2 , т. е. с 2 = 4 2 + 3 2 ; с 2 = 25, откуда с = √25 = 5(см);

    б) если даны гипотенуза с = 17 см и катет а = 8 см, то можно найти другой катет (b ):

    b 2 = с 2 - а 2 , т. е. b 2 = 17 2 - 8 2 ; b 2 = 225, откуда b = √225 = 15 (см).

    Следствие: Если в двух прямоугольных треугольниках ABC и А 1 В 1 С 1 гипотенузы с и с 1 равны, а катет b треугольника АBС больше катета b 1 треугольника А 1 В 1 C 1 ,

    то катет а треугольника ABC меньше катета а 1 треугольника А 1 В 1 C 1 .

    В самом деле, на основании теоремы Пифагора получим:

    а 2 = с 2 - b 2 ,

    а 1 2 = с 1 2 - b 1 2

    В записанных формулах уменьшаемые равны, а вычитаемое в первой формуле больше вычитаемого во второй формуле, следовательно, первая разность меньше второй,

    т. е. а 2 а 1 2 . Откуда а а 1 .

    По мнению Ван-дер-Вардена , очень вероятно, что соотношение в общем виде было известно в Вавилоне уже около XVIII века до н. э.

    Приблизительно в 400 году до н. э., согласно Проклу, Платон дал метод нахождения пифагоровых троек, сочетающий алгебру и геометрию. Около в 300 года до н. э. в «Началах» Евклида появилось старейшее аксиоматическое доказательство теоремы Пифагора .

    Формулировки

    Основная формулировка содержит алгебраические действия - в прямоугольном треугольнике, длины катетов которого равны a {\displaystyle a} и b {\displaystyle b} , а длина гипотенузы - c {\displaystyle c} , выполнено соотношение:

    .

    Возможна и эквивалентная геометрическая формулировка, прибегающая к понятию площади фигуры : в прямоугольном треугольнике площадь квадрата, построенного на гипотенузе, равна сумме площадей квадратов, построенных на катетах. В таком виде теорема сформулирована в Началах Евклида.

    Обратная теорема Пифагора - утверждение о прямоугольности всякого треугольника, длины сторон которого связаны соотношением a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} . Как следствие, для всякой тройки положительных чисел a {\displaystyle a} , b {\displaystyle b} и c {\displaystyle c} , такой, что a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} , существует прямоугольный треугольник с катетами a {\displaystyle a} и b {\displaystyle b} и гипотенузой c {\displaystyle c} .

    Доказательства

    В научной литературе зафиксировано не менее 400 доказательств теоремы Пифагора , что объясняется как фундаментальным значением для геометрии, так и элементарностью результата. Основные направления доказательств: алгебраическое использование соотношений элементов треугольника (таков, например, популярный метод подобия ), метод площадей , существуют также различные экзотические доказательства (например, с помощью дифференциальных уравнений).

    Через подобные треугольники

    Классическое доказательство Евклида направлено на установление равенства площадей между прямоугольниками, образованными из рассечения квадрата над гипотенузой высотой из прямого угла с квадратами над катетами.

    Конструкция, используемая для доказательства следующая: для прямоугольного треугольника с прямым углом C {\displaystyle C} , квадратов над катетами и и квадрата над гипотенузой A B I K {\displaystyle ABIK} строится высота C H {\displaystyle CH} и продолжающий её луч s {\displaystyle s} , разбивающий квадрат над гипотенузой на два прямоугольника и . Доказательство нацелено на установление равенства площадей прямоугольника A H J K {\displaystyle AHJK} с квадратом над катетом A C {\displaystyle AC} ; равенство площадей второго прямоугольника, составляющего квадрат над гипотенузой, и прямоугольника над другим катетом устанавливается аналогичным образом.

    Равенство площадей прямоугольника A H J K {\displaystyle AHJK} и A C E D {\displaystyle ACED} устанавливается через конгруэнтность треугольников △ A C K {\displaystyle \triangle ACK} и △ A B D {\displaystyle \triangle ABD} , площадь каждого из которых равна половине площади квадратов A H J K {\displaystyle AHJK} и A C E D {\displaystyle ACED} соответственно в связи со следующим свойством: площадь треугольника равна половине площади прямоугольника, если у фигур есть общая сторона, а высота треугольника к общей стороне является другой стороной прямоугольника. Конгруэнтность треугольников следует из равенства двух сторон (стороны квадратов) и углу между ними (составленного из прямой угла и угла при A {\displaystyle A} .

    Таким образом, доказательством устанавливается, что площадь квадрата над гипотенузой, составленного из прямоугольников A H J K {\displaystyle AHJK} и B H J I {\displaystyle BHJI} , равна сумме площадей квадратов над катетами.

    Доказательство Леонардо да Винчи

    К методу площадей относится также доказательство, найденное Леонардо да Винчи . Пусть дан прямоугольный треугольник △ A B C {\displaystyle \triangle ABC} с прямым углом C {\displaystyle C} и квадраты A C E D {\displaystyle ACED} , B C F G {\displaystyle BCFG} и A B H J {\displaystyle ABHJ} (см. рисунок). В этом доказательстве на стороне H J {\displaystyle HJ} последнего во внешнюю сторону строится треугольник, конгруэнтный △ A B C {\displaystyle \triangle ABC} , притом отражённый как относительно гипотенузы, так и относительно высоты к ней (то есть J I = B C {\displaystyle JI=BC} и H I = A C {\displaystyle HI=AC} ). Прямая C I {\displaystyle CI} разбивает квадрат, построенный на гипотенузе на две равные части, поскольку треугольники △ A B C {\displaystyle \triangle ABC} и △ J H I {\displaystyle \triangle JHI} равны по построению. Доказательство устанавливает конгруэнтность четырёхугольников C A J I {\displaystyle CAJI} и D A B G {\displaystyle DABG} , площадь каждого из которых, оказывается, с одной стороны, равной сумме половин площадей квадратов на катетах и площади исходного треугольника, с другой стороны - половине площади квадрата на гипотенузе плюс площадь исходного треугольника. Итого, половина суммы площадей квадратов над катетами равна половине площади квадрата над гипотенузой, что равносильно геометрической формулировке теоремы Пифагора.

    Доказательство методом бесконечно малых

    Существует несколько доказательств, прибегающих к технике дифференциальных уравнений . В частности, Харди приписывается доказательство, использующее бесконечно малые приращения катетов a {\displaystyle a} и b {\displaystyle b} и гипотенузы c {\displaystyle c} , и сохраняющие подобие с исходным прямоугольником, то есть, обеспечивающие выполнение следующих дифференциальных соотношений:

    d a d c = c a {\displaystyle {\frac {da}{dc}}={\frac {c}{a}}} , d b d c = c b {\displaystyle {\frac {db}{dc}}={\frac {c}{b}}} .

    Методом разделения переменных из них выводится дифференциальное уравнение c d c = a d a + b d b {\displaystyle c\ dc=a\,da+b\,db} , интегрирование которого даёт соотношение c 2 = a 2 + b 2 + C o n s t {\displaystyle c^{2}=a^{2}+b^{2}+\mathrm {Const} } . Применение начальных условий a = b = c = 0 {\displaystyle a=b=c=0} определяет константу как 0, что в результате даёт утверждение теоремы.

    Квадратичная зависимость в окончательной формуле появляется благодаря линейной пропорциональности между сторонами треугольника и приращениями, тогда как сумма связана с независимыми вкладами от приращения разных катетов.

    Вариации и обобщения

    Подобные геометрические фигуры на трёх сторонах

    Важное геометрическое обобщение теоремы Пифагора дал Евклид в «Началах », перейдя от площадей квадратов на сторонах к площадям произвольных подобных геометрических фигур : сумма площадей таких фигур, построенных на катетах, будет равна площади подобной им фигуры, построенной на гипотенузе.

    Главная идея этого обобщения заключается в том, что площадь подобной геометрической фигуры пропорциональна квадрату любого своего линейного размера и в частности квадрату длины любой стороны. Следовательно, для подобных фигур с площадями A {\displaystyle A} , B {\displaystyle B} и C {\displaystyle C} , построенных на катетах с длинами a {\displaystyle a} и b {\displaystyle b} и гипотенузе c {\displaystyle c} соответственно, имеет место соотношение:

    A a 2 = B b 2 = C c 2 ⇒ A + B = a 2 c 2 C + b 2 c 2 C {\displaystyle {\frac {A}{a^{2}}}={\frac {B}{b^{2}}}={\frac {C}{c^{2}}}\,\Rightarrow \,A+B={\frac {a^{2}}{c^{2}}}C+{\frac {b^{2}}{c^{2}}}C} .

    Так как по теореме Пифагора a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} , то выполнено .

    Кроме того, если возможно доказать без привлечения теоремы Пифагора, что для площадей трёх подобных геометрических фигур на сторонах прямоугольного треугольника выполнено соотношение A + B = C {\displaystyle A+B=C} , то с использованием обратного хода доказательства обобщения Евклида можно вывести доказательство теоремы Пифагора. Например, если на гипотенузе построить конгруэтный начальному прямоугольный треугольник площадью C {\displaystyle C} , а на катетах - два подобных ему прямоугольных треугольника с площадями A {\displaystyle A} и B {\displaystyle B} , то оказывается, что треугольники на катетах образуются в результате деления начального треугольника его высотой, то есть сумма двух меньших площадей треугольников равна площади третьего, таким образом A + B = C {\displaystyle A+B=C} и, применяя соотношение для подобных фигур, выводится теорема Пифагора.

    Теорема косинусов

    Теорема Пифагора - это частный случай более общей теоремы косинусов, которая связывает длины сторон в произвольном треугольнике :

    a 2 + b 2 − 2 a b cos ⁡ θ = c 2 {\displaystyle a^{2}+b^{2}-2ab\cos {\theta }=c^{2}} ,

    где - угол между сторонами a {\displaystyle a} и b {\displaystyle b} . Если угол равен 90°, то cos ⁡ θ = 0 {\displaystyle \cos \theta =0} , и формула упрощается до обычной теоремы Пифагора.

    Произвольный треугольник

    Существует обобщение теоремы Пифагора на произвольный треугольник, оперирующее исключительно соотношением длин сторон, считается, что оно впервые было установлено сабийским астрономом Сабитом ибн Куррой . В нём для произвольного треугольника со сторонами в него вписывается равнобедренный треугольник с основанием на стороне c {\displaystyle c} , вершиной, совпадающей с вершиной исходного треугольника, противолежащей стороне c {\displaystyle c} и углами при основании, равными углу θ {\displaystyle \theta } , противолежащему стороне c {\displaystyle c} . В результате образуются два треугольника, подобных исходному: первый - со сторонами a {\displaystyle a} , дальней от неё боковой стороной вписанного равнобедренного треугольника, и r {\displaystyle r} - части стороны c {\displaystyle c} ; второй - симметрично к нему от стороны b {\displaystyle b} со стороной s {\displaystyle s} - соответствующей частью стороны c {\displaystyle c} . В результате оказывается выполнено соотношение :

    a 2 + b 2 = c (r + s) {\displaystyle a^{2}+b^{2}=c(r+s)} ,

    вырождающееся в теорему Пифагора при θ = π / 2 {\displaystyle \theta =\pi /2} . Соотношение является следствием подобия образованных треугольников:

    c a = a r , c b = b s ⇒ c r + c s = a 2 + b 2 {\displaystyle {\frac {c}{a}}={\frac {a}{r}},\,{\frac {c}{b}}={\frac {b}{s}}\,\Rightarrow \,cr+cs=a^{2}+b^{2}} .

    Теорема Паппа о площадях

    Неевклидова геометрия

    Теорема Пифагора выводится из аксиом евклидовой геометрии и недействительна для неевклидовой геометрии - выполнение теоремы Пифагора равносильно постулату Евклида о параллельности .

    В неевклидовой геометрии соотношение между сторонами прямоугольного треугольника обязательно будет в форме, отличной от теоремы Пифагора. Например, в сферической геометрии все три стороны прямоугольного треугольника, которые ограничивают собой октант единичной сферы, имеют длину π / 2 {\displaystyle \pi /2} , что противоречит теореме Пифагора.

    При этом теорема Пифагора справедлива в гиперболической и эллиптической геометрии, если требование о прямоугольности треугольника заменить условием, что сумма двух углов треугольника должна равняться третьему .

    Сферическая геометрия

    Для любого прямоугольного треугольника на сфере радиусом R {\displaystyle R} (например, если угол в треугольнике прямой) со сторонами a , b , c {\displaystyle a,b,c} соотношение между сторонами имеет вид :

    cos ⁡ (c R) = cos ⁡ (a R) ⋅ cos ⁡ (b R) {\displaystyle \cos \left({\frac {c}{R}}\right)=\cos \left({\frac {a}{R}}\right)\cdot \cos \left({\frac {b}{R}}\right)} .

    Это равенство может быть выведено как особый случай сферической теоремы косинусов , которая справедлива для всех сферических треугольников:

    cos ⁡ (c R) = cos ⁡ (a R) ⋅ cos ⁡ (b R) + sin ⁡ (a R) ⋅ sin ⁡ (b R) ⋅ cos ⁡ γ {\displaystyle \cos \left({\frac {c}{R}}\right)=\cos \left({\frac {a}{R}}\right)\cdot \cos \left({\frac {b}{R}}\right)+\sin \left({\frac {a}{R}}\right)\cdot \sin \left({\frac {b}{R}}\right)\cdot \cos \gamma } . ch ⁡ c = ch ⁡ a ⋅ ch ⁡ b {\displaystyle \operatorname {ch} c=\operatorname {ch} a\cdot \operatorname {ch} b} ,

    где ch {\displaystyle \operatorname {ch} } - гиперболический косинус . Эта формула является частным случаем гиперболической теоремы косинусов, которая справедлива для всех треугольников :

    ch ⁡ c = ch ⁡ a ⋅ ch ⁡ b − sh ⁡ a ⋅ sh ⁡ b ⋅ cos ⁡ γ {\displaystyle \operatorname {ch} c=\operatorname {ch} a\cdot \operatorname {ch} b-\operatorname {sh} a\cdot \operatorname {sh} b\cdot \cos \gamma } ,

    где γ {\displaystyle \gamma } - угол, вершина которого противоположна стороне c {\displaystyle c} .

    Используя ряд Тейлора для гиперболического косинуса ( ch ⁡ x ≈ 1 + x 2 / 2 {\displaystyle \operatorname {ch} x\approx 1+x^{2}/2} ) можно показать, что если гиперболический треугольник уменьшается (то есть, когда a {\displaystyle a} , b {\displaystyle b} и c {\displaystyle c} стремятся к нулю), то гиперболические соотношения в прямоугольном треугольнике приближаются к соотношению классической теоремы Пифагора.

    Применение

    Расстояние в двумерных прямоугольных системах

    Важнейшее применение теоремы Пифагора - определение расстояния между двумя точками в прямоугольной системе координат : расстояние s {\displaystyle s} между точками с координатами (a , b) {\displaystyle (a,b)} и (c , d) {\displaystyle (c,d)} равно:

    s = (a − c) 2 + (b − d) 2 {\displaystyle s={\sqrt {(a-c)^{2}+(b-d)^{2}}}} .

    Для комплексных чисел теорема Пифагора даёт естественную формулу для нахождения модуля комплексного числа - для z = x + y i {\displaystyle z=x+yi} он равен длине