Користувач:Umnick zauchka/Чернетка

Теорема звучить так:

Позначивши довжину гіпотенузи трикутника як c, а довжини катетів як a та b, отримаємо такі формули:

${\displaystyle a^{2}+b^{2}=c^{2}.\,}$

${\displaystyle {\sqrt {a^{2}+b^{2}}}=c.\,}$

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

Теорема Піфагора є окремим випадком теореми косинусів, котра визначає співвідношення між сторонами довільного трикутника.

Також доведено зворотне твердження (називають також зворотною до теореми Піфагора):

Історію теореми можна розділити на чотири частини: знання про Піфагорові числа, знання про відношення сторін в прямокутному трикутнику, знання про відношення суміжних кутів та доведення теореми.

Мегалітичні споруди близько 2500 до н. е. в Єгипті та Північній Європі містять прямокутні трикутники із сторонами з цілих чисел.^[1] Бартель ван дер Варден висловив гіпотезу, що в ті часи Піфагорові числа були знайдені алгебраїчно.^[2]

Написаний між 2000 та 1876 до н. е. папірус часів Середнього Єгипетського царства Berlin 6619 містить задачу, розв'язком якої є числа Піфагора.

Написана під час правління Хамурапі Великого (між 1790 і 1750 до н.е) вавилонська табличка Plimpton 322 містить багато записів, тісно пов'язаних із числами Піфагора.

В сутрах Будхаяни, які датуються за різними версіями 8-им чи 2-им століттям до н. е. в Індії, містить Піфагорові числа виведені алгебраїчно, формулювання теореми Піфагора та геометричне доведення для рівнобедренного прямокутного трикутника.

В сутрах Апастамби (близько 600 до н. е.) міститься числове доведення теореми Піфагора з використанням обчислення площі. Ван дер Варден вважає, що воно було засноване на традиціях попередників. Згідно з Альбертом Бурком, це оригінальне доведення теореми і він припускає, що Піфагор відвідав Араконам і скопіював його.

Піфагор, роки життя якого зазвичай приймають за 569 — 475 до н. е. використовує алгебраїчні методи розрахунку піфагорових трійок, згідно з Прокловими коментарями до Евкліда. Прокл, однак, жив між 410 і 485 роками н. е. Згідно з Томасом Гізом, немає ніяких вказівок на авторство теореми протягом п'яти століть після Піфагора. Однак такі автори як Плутарх або Цицерон приписали теорему Піфагору у такий спосіб, ніби авторство було широко відоме і безсумнівне.^[3]

Близько 400 до н. е. згідно з Проклом, Платон дав метод розрахунку піфагорових трійок, що поєднував алгебру та геометрію. Близько 300 до н. е., в Началах Евкліда маємо найдавніше аксіоматичне доведення, яке збереглося до наших днів.

Написана десь між 500 до н. е. і 200 до н. е., китайська математична книга «Чу Пей» (周髀算经) дає візуальне доведення теореми Піфагора, яка в Китаї називається теорема Гугу (勾股定理), для трикутника із сторонами (3, 4, 5). Під час правління династії Хань, з 202 до н. е. до 220 н. е. Піфагорові трійки з'являються в книзі «Дев’ять розділів математичного мистецтва» разом із згадкою про прямокутні трикутники.^[4]

Вперше зафіксовано використання теореми в Китаї, де вона відома як теорема Гугу (勾股定理) та в Індії, де вона відома як теорема Баскара.

Багато дискутується, чи була теорема Піфагора відкрита один раз чи багато разів. Бойер (1991) вважає, що знання, виявлені в Шульба Сутрах, можуть бути месопотамського походження.^[5]

Алгебраїчне доведення

Відомо понад сто доведень теореми Піфагора.Тут представлено доведення, засноване на теоремі існування площі фігури:

1. Розташуємо чотири однакові прямокутні трикутники так, як це зображено на малюнку.
2. Чотирикутник зі сторонами c є квадратом, оскільки сума двох гострих кутів ${\displaystyle 90^{\circ }}$ , а розгорнутий кут — ${\displaystyle 180^{\circ }}$ .
3. Площа всієї фігури рівна, з одної сторони, площі квадрата зі стороною «a+b», а з іншої — сумі площ чотирьох трикутників і внутрішнього квадрата.

${\displaystyle (a+b)^{2}=4\cdot {\frac {ab}{2}}+c^{2};}$

${\displaystyle a^{2}+2ab+b^{2}=2ab+c^{2};{\frac {}{}}}$

${\displaystyle c^{2}=a^{2}+b^{2};{\frac {}{}}}$

Що і необхідно було довести.

За подібністю трикутників

Нехай ABC — прямокутний трикутник, в якому кут C прямий, як показано на малюнку. Проведемо висоту з точки C, і назвемо H точку перетину з стороною AB. Утворений трикутник ACH подібний трикутнику ABC, оскільки вони обидва прямокутні (за визначенням висоти), і в них спільний кут A, очевидно третій кут буде в цих трикутників також однаковий. Аналогічно міркуючи, трикутник CBH також подібний до трикутника ABC. З подібності трикутників: Якщо

${\displaystyle BC=a,AC=b,{\text{ and }}AB=c,\!}$

тоді

${\displaystyle {\frac {a}{c}}={\frac {HB}{a}}{\mbox{ and }}{\frac {b}{c}}={\frac {AH}{b}}.\,}$

Це можна записати у вигляді

${\displaystyle a^{2}=c\times HB{\mbox{ and }}b^{2}=c\times AH.\,}$

Якщо додати ці дві рівності, отримаєм

${\displaystyle a^{2}+b^{2}=c\times HB+c\times AH=c\times (HB+AH)=c^{2}.\,\!}$

Іншими словами, Теорема Піфагора:

${\displaystyle a^{2}+b^{2}=c^{2}.\,\!}$

Доведення Евкліда

В Евклідових «Началах», теорема Піфагора доведена методом паралелограмів. Нехай A, B, C — вершини прямокутного трикутника, з прямим кутом A. Опустимо перпендикуляр з точки A на сторону, протилежну до гіпотенузи в квадраті, побудованому на ній. Лінія ділить квадрат на два прямокутники, кожен з яких має таку саму площу, що й квадрати, побудовані на катетах. Головна ідея при доведенні полягає в тому, що верхні квадрати перетворюються на паралелограми такої самої площі, а тоді повертаються і перетворюються на прямокутники в нижньому квадраті і знову при незмінній площі.

Для формального доведення, нам необхідні чотири елементарні леми:

1. Якщо дві сторони одного трикутника і кут між ними дорівнюють відповідно двом сторонам та куту між ним іншого трикутника, то такі трикутники рівні (сторона-кут-сторона).
2. Площа трикутника дорівнює половині площі паралелограма, що має таку саму основу і таку саму висоту.
3. Площа прямокутника дорівнює добутку двох суміжних сторін.
4. Площа квадрата дорівнює добутку двох його сторін (випливає з третьої леми).

Тоді кожен верхній квадрат пов'язаний з трикутником, конгруентним з іншим трикутником, який пов'язаний поворотом з одним із двох прямокутників, що утворюють нижній квадрат.^[6]

Перейдемо до доведення:

1. Нехай ACB — прямокутний трикутник з прямим кутом CAB.
2. На кожній стороні BC, AB, і CA побудуємо квадрати CBDE, BAGF та ACIH в такому ж порядку. Побудова квадратів тут же вимагає попередньої теореми Евкліда, і залежить від постулату паралельності.^[7]
3. З точки A проводимо пряму паралельну до BD і CE. Вона перпендикулярно перетне відрізки BC та DE в точках K та L, відповідно.
4. Проведемо відрізки CF і AD, отримаємо трикутники BCF і BDA.
5. Кути CAB і BAG — прямі; відповідно точки C, A і G — колінеарні. Так само B, A і H.
6. Кути CBD і FBA — обидва прямі; тоді кут ABD дорівнює куту FBC, оскільки обидва є сумою прямого кута та кута ABC.
7. Трикутники ABD та FBC рівні за двома сторонами та кутом між ними.
8. Оскільки точки A, K і L — колінеарні, площа прямокутника BDLK дорівнює двом площам трикутника ABD (BDLK = BAGF = AB²)
9. Аналогічно міркуючи, отримаємо CKLE = ACIH = AC²
10. З одного боку площа CBDE дорівнює сумі площ прямокутників BDLK та CKLE, а з другого боку площа квадрата BC², або AB² + AC² = BC².

"Піфагорові штани" — жартівлива назва цього доказу.

Використовуючи диференціали

До теореми Піфагора можна прийти розглядом залежності величини гіпотенузи від приросту сторони (див. малюнок праворуч), застосувавши невелике обчислення.

В результаті приросту сторони a, з подібних трикутників для нескінченно малих приростів:

${\displaystyle {\frac {da}{dc}}={\frac {c}{a}}}$

Застосуємо розділення змінних.

${\displaystyle c\,dc=a\,da}$

Інтегруючи, отримаємо:

${\displaystyle c^{2}=a^{2}+\mathrm {const} .\ \,\!}$

Якщо a = 0 тоді c = b, отже «константа» — b². Тоді

${\displaystyle c^{2}=a^{2}+b^{2}.\,}$

Як можна побачити, квадрати отримано завдяки пропорції між приростами та сторонами, тоді як сума є результатом незалежного внеску приростів сторін, що не очевидно з геометричних доведень. В цих рівняннях da і dc — відповідно нескінченно малі прирости сторін a і c. Але замість них ми використовуємо Δa і Δc, тоді границя їхнього відношення, якщо вони прямують до нуля, дорівнює da/dc (похідній) і також дорівнює c/a (відношенню довжин сторін трикутників), в результаті чого отримуємо диференціальне рівняння.

Піфагорові трійки

Піфагорові трійки — це три натуральні числа a, b, та c такі, що виконується рівність a² + b² = c². Іншими словами, Піфагорові трійки — це сторони прямокутного трикутника, якщо всі вони є цілими. На мегалітичних спорудах в північній Європі є свідчення, що відомості про такі трійки були відомі до винайдення писемності. Такі трійки зазвичай записують у вигляді (a, b, c). Деякі найвідоміші приклади: (3, 4, 5) та (5, 12, 13).

Примітивними Піфагоровими числами називають такі a, b та c, які є взаємно простими (найбільший спільний дільник a, b та c дорівнює 1)

Нижче наведено перелік примітивних Піфагорових чисел менших за 100:

(3, 4, 5), (5, 12, 13), (7, 24, 25), (8, 15, 17), (9, 40, 41), (11, 60, 61), (12, 35, 37), (13, 84, 85), (16, 63, 65), (20, 21, 29), (28, 45, 53), (33, 56, 65), (36, 77, 85), (39, 80, 89), (48, 55, 73), (65, 72, 97).

Найкраще запам'ятовуються такі Піфагорові числа (менші за 100):

(3, 4, 5), (6, 8, 10), (9, 12, 15), (12, 16, 20), (15, 20, 25), (18, 24, 30), (21, 28, 35), (24, 32, 40), (27, 36, 45), (30, 40, 50), (33, 44, 55), (36, 48, 60), (39, 52, 65), (42, 56, 70), (45, 60, 75), (48, 64, 80), (51, 68, 85), (54, 72, 90), (57, 76, 95), (60, 80, 100).

Ці трійки утворюються множенням першої трійки чисел (3, 4, 5) на числа 2, 3, 4, 5 тощо.

Неспівмірні довжини

Одним з наслідків теореми Піфагора є те, що відрізки на лінії, довжина яких є неспівмірною (тобто, співвідношення між якими дає ірраціональне число) можуть бути побудовані за допомогою лінійки та циркуля. Теорема Піфагора дозволяє побудувати неспівмірні довжини через те, що гіпотенуза трикутника пов'язана з його сторонам через корінь квадратний.

Малюнок справа демонструє як побудувати відрізки, довжина яких у співвідношенні дає корінь квадратний будь-якого цілого числа. Кожен трикутник має сторону (позначену «1»), довжина якої є вибрана одиниця вимірювання. На кожному прямокутному трикутнику завдяки теремі Піфагора отримуємо довжину гіпотенузи виражену у вибраних одиницях. Якщо гіпотенуза пов'язана з одиницею вимірювання через квадратний корінь з додатнім цілим числом, що не є піднесенням до квадрата, тоді ми отримуємо реалізацію неспівмірності для цієї одиниці. Наприклад, √2, √3, √5.

Неспівмірні величини конфліктують з концепцією школи Піфагора про те, що всі числа є цілими. Школа Піфагора давала собі раду з дробами порівнюючи кратні числа, які мали спільний дільник.^[8] Згідно з однією легендою Гіппаса з Метапонту (близько 470 до н. е.) втопили в морі через те, що він розказував про існування ірраціональних чи неспівмірних величин.^[9][10]

Евклідова відстань у різних координатних системах

Формулу відстані між точками в декартовій системі координат отримуємо з теореми Піфагора.^[11] Якщо маємо точки на площині (x₁, y₁) і (x₂, y₂), тоді відстань між ними, яка також називається Евклідова відстань, можна обчислити так:

${\displaystyle {\sqrt {(x_{1}-x_{2})^{2}+(y_{1}-y_{2})^{2}}}.}$

Або, узагальнюючи для n-вимірного Евклідового простору, для відстані між двома точками ${\displaystyle A\,=\,(a_{1},a_{2},\dots ,a_{n})}$ та ${\displaystyle B\,=\,(b_{1},b_{2},\dots ,b_{n})}$ можна сформулювати загальніший випадок теореми Піфагора:

${\displaystyle {\sqrt {(a_{1}-b_{1})^{2}+(a_{2}-b_{2})^{2}+\cdots +(a_{n}-b_{n})^{2}}}={\sqrt {\sum _{i=1}^{n}(a_{i}-b_{i})^{2}}}.}$

Якщо не можна використати Декартові координати, наприклад, у випадку полярних координат, або в загальнішому випадку, якщо треба використати криволінійні координати, формули для розрахунку Евклідової відстані складніші, ніж теорема Піфагора, але можуть бути виведені з її допомогою. Типовий приклад, коли формула відстані між двома точками приведена до криволінійних координат, можна побачити при застосуванні полінома Лежандра у фізиці. Ці формули можна знайти, використовуючи Теорему Піфагора разом із формулами зв'язку криволінійних координат з декартовими. Наприклад, полярні координати (r, θ) можна записати як:

${\displaystyle x=r\cos \theta ,\ y=r\sin \theta .\,}$

Тоді відстань s між двома точками (r₁, θ₁) та (r₂, θ₂) дорівнює:

${\displaystyle s^{2}=(x_{1}-x_{2})^{2}+(y_{1}-y_{2})^{2}=(r_{1}\cos \theta _{1}-r_{2}\cos \theta _{2})^{2}+(r_{1}\sin \theta _{1}-r_{2}\sin \theta _{2})^{2}.\,}$

Якщо піднести до степеня і об'єднати змінні, отримаємо формулу для визначення відстані між точками у полярних координатах:

${\displaystyle {\begin{aligned}s^{2}&=r_{1}^{2}+r_{2}^{2}-2r_{1}r_{2}\left(\cos \theta _{1}\cos \theta _{2}+\sin \theta _{1}\sin \theta _{2}\right)\\&=r_{1}^{2}+r_{2}^{2}-2r_{1}r_{2}\cos \left(\theta _{1}-\theta _{2}\right)\\&=r_{1}^{2}+r_{2}^{2}-2r_{1}r_{2}\cos \Delta \theta \end{aligned}}\ ,}$

використовуючи формули перетворення добутків функцій. Цю формулу, що є теоремою косинусів, іноді називають узагальненою теоремою Піфагора.^[12] Якщо результуючу формулу використати для випадку, коли радіуси знаходяться під прямим кутом, кут між ними дорівнює Δθ = π/2, тоді знову отримаємо теорему Піфагора: ${\displaystyle s^{2}=r_{1}^{2}+r_{2}^{2}.\,}$ Теорема Піфагора справедлива для прямокутних трикутників, проте є частковим випадком загальнішої теореми косинусів, яка справедлива для будь-якого трикутника.

Тригонометрична тотожність Піфагора

Для прямокутного трикутника із сторонами a, b та гіпотенузою c, запишемо тригонометричні визначення синуса і косинуса кута θ між стороною a та гіпотенузою:

${\displaystyle \sin \theta ={\frac {b}{c}},\quad \cos \theta ={\frac {a}{c}}.}$

звідси випливає що:

${\displaystyle {\cos }^{2}\theta +{\sin }^{2}\theta ={\frac {a^{2}+b^{2}}{c^{2}}}=1,}$

де в останньому кроці доведення застосовуємо теорему Піфагора. Цю залежність між синусом і косинусом іноді називають фундаментальною тригонометричною тотожністю Піфагора.^[13] В подібних трикутників, співвідношення між сторонами рівне незалежно від розмірів трикутника, а залежить тільки від кутів. Відповідно, на рисунку зображено трикутник з гіпотенузою, яка дорівнює одиниці, сторона протилежна до кута дорівнює sin θ і прилегла сторона — cos θ в одиницях гіпотенузи.

Подібні геометричні фігури на трьох сторонах

Узагальнення теореми Піфагора робив Евклід в своїй праці Начала, розширивши площі квадратів на сторонах до площ подібних геометричних фігур:^[14]

Якщо побудувати подібні геометричні фігури (див. Евклідова геометрія) на сторонах прямокутного трикутника, тоді сума двох менших фігур буде дорівнювати площі більшої фігури.

Головна ідея цього узагальнення полягає в тому, що площа подібної геометричної фігури пропорційна до квадрату будь-якого свого лінійного розміру і зокрема до квадрату довжини будь-якої сторони. Отже, для подібних фігур з площами A, B і C, що побудовані на сторонах з довжиною a, b і c, маємо:

${\displaystyle {\frac {A}{a^{2}}}={\frac {B}{b^{2}}}={\frac {C}{c^{2}}}\,,}$

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

Але, за теоремою Піфагора, a² + b² = c², тоді A + B = C.

І навпаки, якщо ми зможемо довести, що A + B = C для трьох подібних геометричних фігур без використання теореми Піфагора, тоді ми зможемо довести саму теорему, рухаючись у зворотному напрямку. Наприклад, стартовий центральний трикутник може бути повторно використаний як трикутник C на гіпотенузі, і два подібні прямокутні трикутники (A і B), побудовані на двох інших сторонах, які утворюються в результаті поділу центрального трикутника його висотою. Сума площ двох менших трикутників тоді очевидно дорівнює площі третього, таким чином A + B = C і, виконуючи попереднє доведення в зворотному порядку, отримаємо теорему Піфагора a² + b² = c².

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

Теорема Піфагора — це окремий випадок загальнішої теореми косинусів, яка пов'язує довжини сторін в довільному трикутнику:^[15]

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

де θ — кут між сторонами a і b.

Якщо θ дорівнює 90 градусів, тоді cosθ = 0 і формула спрощується до звичайної теореми Піфагора.

Довільний трикутник

Для вибраного кута довільного трикутника із сторонами a, b, c, впишемо рівнобедрений трикутник таким чином, щоб рівні кути при його основі θ дорівнювали вибраному куту. Припустимо, що вибраний кут θ протилежний до сторони позначеної c. В результаті ми отримали трикутник ABD з кутом θ, що протилежний стороні a та стороною r. Другий трикутник утворюється кутом θ, що протилежний до сторони b та стороною з довжиною s, як показано на рисунку. Сабіт ібн Курра^[17] стверджував, що сторони в цих трьох трикутниках пов'язані таким чином:^[18][19]

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

Коли кут θ наближається до π/2, основа рівнобедреного трикутника зменшується і дві сторони r і s перекривають одна одну все менше і менше. Коли θ = π/2, ADB перетворюється в прямокутний трикутник, r + s = c, і отримуємо початкову теорему Піфагора.

Розглянемо одне з доведень. Трикутник ABC має такі самі кути як і трикутник ABD, але в зворотному порядку. (Два трикутники мають спільний кут у вершині B, обидва мають кут θ і також мають однаковий третій кут, за сумою кутів трикутника) Відповідно, ABC — подібний до відображення ABD трикутника DBA, як зображено на нижньому рисунку. Запишемо співвідношення між сторонами протилежними і прилеглими до кута θ,

${\displaystyle {\frac {c}{a}}={\frac {a}{r}}\ .}$

Так само відображення іншого трикутника,

${\displaystyle {\frac {c}{b}}={\frac {b}{s}}\ .}$

Перемножимо дроби та додамо ці два співвідношення:

${\displaystyle cr+cs=a^{2}+b^{2}\ ,}$

що і треба було довести.

Довільні трикутники через паралелограми

Зробимо подальше узагальнення для не прямокутних трикутників, використовуючи паралелограми на трьох сторонах замість квадратів.^[20] (а квадрати — це звичайно частковий випадок.) Верхній рисунок демонструє, що для гострокутного трикутника, площа паралелограма на довшій стороні дорівнює сумі паралелограмів на двох інших сторонах, за умови що паралелограм на довгій стороні побудовано як зображено на рисунку(розміри відзначені стрілками однакові і визначають сторони нижнього паралелограма). Ця заміна квадратів паралелограмами несе чітку схожість з початковою теоремою Піфагора, вважається, що це сформулював Папп з Александрії в 4 р.н. е.^[20]

Нижчий рисунок показує хід доведення. Подивимось на ліву сторону трикутника. Лівий зелений паралелограм має таку саму площу як ліва частина синього паралелограма, тому що вони мають таку саму основу b і висоту h. Крім того, лівий зелений паралелограм має таку саму площу як лівий зелений паралелограм на верхньому рисунку, тому що вони мають таку саму основу (верхня ліва сторона трикутника) і таку саму висоту перпендикулярну до цієї сторони трикутника. Аналогічно розмірковуючи для правої сторони трикутника доведемо, що нижній паралелограм має таку саму площу як два зелені паралелограми.

Комплексні числа

Формулу Піфагора використовують, щоб знайти відстань між двома точками в декартовій координатній системі і ця формула справедлива для всіх дійсних координат: відстань s між двома точками (a, b) і (c, d) дорівнює

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

Не виникає проблем з формулою, якщо до комплексних чисел ставитись як до векторів з дійсними компонентами x + i y = (x, y). Наприклад, відстань s між 0 + 1i і 1 + 0i розраховуємо як модуль вектора (0, 1) − (1, 0) = (−1, 1), або

${\displaystyle s={\sqrt {(-1)^{2}+1^{2}}}={\sqrt {2}}.\ }$

Ти не менше, для операцій з векторами з комплексними координатами необхідно провести певне вдосконалення формули Піфагора. Відстань між точками з комплексними координатами (a, b) і (c, d); a, b, c, і d всі комплексні, сформулюємо використовуючи абсолютні величини. Відстань s заснована на векторній різниці (a − c, b − d) в наступному вигляді:^[21] нехай різниця a − c = p + i q, де p — дійсна частина різниці, q — уявна частина, та i = √(−1). Аналогічно, нехай b − d = r + is. Тоді:

${\displaystyle {\begin{aligned}s&={\sqrt {(p+iq){\overline {(p+iq)}}+(r+is){\overline {(r+is)}}}}\\&={\sqrt {(p+iq)(p-iq)+(r+is)(r-is)}}\\&={\sqrt {p^{2}+q^{2}+r^{2}+s^{2}}},\end{aligned}}}$

де ${\displaystyle {\overline {\mathit {z}}}}$  — це комплексне спряжене число для ${\displaystyle {\mathit {z}}\ }$ . Наприклад, відстань між точками (a, b) = (0, 1) і (c, d) = (i, 0), розрахуємо різницю (a − c, b − d) = (−i, 1) і в результаті ми б отримали 0, якби не були використані комплексні спряжені. Отже, використовуючи вдосконалену формулу, отримаємо

${\displaystyle s={\sqrt {(-i)\cdot ({\overline {-i}})+1\cdot {\overline {1}}}}={\sqrt {(-i)\cdot {i}+1\cdot {1}}}={\sqrt {2}}.\,}$

Модуль визначений таким чином:

${\displaystyle \|\mathbf {p} \|={\sqrt {\mathbf {p\cdot {\overline {p}}} }}={\sqrt {|p_{1}|^{2}+|p_{2}|^{2}+\dots +|p_{n}|^{2}}}\ ,}$

це є Ермітів скалярний добуток.^[22]

Стереометрія

Теорема Піфагора може бути застосована для стереометрії в наступному вигляді. Розглянемо прямокутний паралелепіпед, як показано на рисунку. Знайдемо довжину діагоналі BD за теоремою Піфагора:

${\displaystyle {\overline {BD}}^{\,2}={\overline {BC}}^{\,2}+{\overline {CD}}^{\,2}\ ,}$

де три сторони утворюють прямокутний трикутник. Використаємо горизонтальну діагональ BD і вертикальне ребро AB щоб знайти довжину діагоналі AD, для цього знову використаємо теорему Піфагора:

${\displaystyle {\overline {AD}}^{\,2}={\overline {AB}}^{\,2}+{\overline {BD}}^{\,2}\ ,}$

або, якщо все записати одним рівнянням:

${\displaystyle {\overline {AD}}^{\,2}={\overline {AB}}^{\,2}+{\overline {BC}}^{\,2}+{\overline {CD}}^{\,2}\ .}$

Цей результат — це тривимірний вираз для визначення величини вектора v (діагональ AD) виражений через його перпендикулярні складові {v_k} (три взаємно перпендикулярні сторони):

${\displaystyle \|\mathbf {v} \|^{2}=\sum _{k=1}^{3}\|\mathbf {v} _{k}\|^{2}.}$

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

Значним узагальненням теореми Піфагора для тривимірного простору є теорема де Гуа, названа на честь Жан Поля де Гуа: якщо тетраедр має прямий кут (як у куба), тоді квадрат площі грані протилежної до прямого кута дорівнює сумі квадратів площ інших трьох граней. Цей висновок може бути узагальнений для «n-вимірної теореми Піфагора»:^[23]

Векторний простір

У випадку ортогональної системи векторів ${\displaystyle \{v_{k}\}{\frac {}{}}}$ має місце рівність, яку теж називають теоремою Піфагора:

${\displaystyle \sum _{k=1}^{n}\|v_{k}\|^{2}=\left\|\sum _{k=1}^{n}v_{k}\right\|^{2}.}$

Якщо ${\displaystyle \{v_{k}\}{\frac {}{}}}$  — це проекції вектора на координатні вісі, то ця формула збігається звідстанню Евкліда — і означає, що довжина вектора рівна кореню квадратномусуми квадратів його компонентів.

Аналог цієї рівності у випадку нескінченної системи векторів має назву рівності Парсеваля.

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

Теорема Піфагора виводиться з аксіом евклідової геометрії і, фактично, не справджується для неевклідової геометрії, в тому вигляді в якому записана вище.^[24] (Тобто теорема Піфагора виявляється своєрідним еквівалентом до аксіоми паралельності Евкліда).^[25][26]) Іншими словами, в неевклідовій геометрії співвідношення між сторонами трикутника обов'язково буде у формі відмінній від Піфагора. Наприклад, в сферичній геометрії всі три сторони прямокутного трикутника (скажімо a, b і c), що обмежує собою октант (восьму частину) одиничної сфери мають довжину π/2, що суперечить теоремі Піфагора, тому що a² + b² ≠ c².

Розглянемо тут два випадки неевклідової геометрії — сферична і гіперболічна геометрія; в обох випадках як і для евклідового простору для не прямокутних трикутників, результат, що замінює теорему Піфагора, випливає з теореми косинусів.

Проте, теорема Піфагора залишається справедливою для гіперболічної та еліптичної геометрії, якщо вимогу про прямокутність трикутника замінити умовою, що сума двох кутів трикутника має дорівнювати третьому, скажімо A+B = C. Тоді співвідношення між сторонами виглядає так: сума площ кіл з діаметрами a і b дорівнює площі кола з діаметром c.^[27]

Сферична геометрія

Для будь-якого прямокутного трикутника на сфері радіусом R (наприклад, якщо кут γ в трикутнику прямий) із сторонами a, b, c співвідношення між сторонами буде мати такий вигляд:^[28]

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

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

${\displaystyle \cos \left({\frac {c}{R}}\right)=\cos \left({\frac {a}{R}}\right)\cos \left({\frac {b}{R}}\right)+\sin \left({\frac {a}{R}}\right)\sin \left({\frac {b}{R}}\right)\cos \gamma \ .}$

Застосуємо ряд Тейлора до функції косинуса cos x ≈ 1 − x²/2, можна показати, що якщо радіус R наближається до нескінченості, а аргументи a/R, b/R і c/R наближаються до нуля, сферичне співвідношення між сторонами в прямокутному трикутнику наближається до теореми Піфагора. Підставимо наближені значення для кожного косинуса:

${\displaystyle 1-\left({\frac {c}{R}}\right)^{2}=\left[1-\left({\frac {a}{R}}\right)^{2}\right]\left[1-\left({\frac {b}{R}}\right)^{2}\right]+\ \mathrm {higher\ order\ terms} }$

Перемножимо вирази в дужках, отримаємо теорему Піфагора для великих радіусів R:

${\displaystyle \left({\frac {c}{R}}\right)^{2}=\left({\frac {a}{R}}\right)^{2}+\left({\frac {b}{R}}\right)^{2}+\ \mathrm {higher\ order\ terms} \ ,}$

де «higher order terms» — доданки вищого порядку, якими можна знехтувати при великих значеннях R.

Гіперболічна геометрія

Для прямокутного трикутника в гіперболічній геометрії із сторонами a, b, c, якщо сторона c протилежна до прямого кута, співвідношення між сторонами буде таке:^[29]

${\displaystyle \cosh c=\cosh a\,\cosh b}$

де cosh — це гіперболічний косинус. Ця формула є частковим випадком гіперболічної теореми косинусів, яка справедлива для всіх трикутників:^[30]

${\displaystyle \cosh c=\cosh a\ \cosh b-\sinh a\ \sinh b\ \cos \gamma \ ,}$

де γ — це кут вершина якого протилежна до сторони c.

Використаємо ряди Тейлора для гіперболічного косинуса cosh x ≈ 1 + x²/2, можна довести що, якщо гіперболічний трикутник зменшується (тобто, коли a, b, і c наближаються до нуля), то гіперболічні співвідношення в прямокутному трикутнику наближаються до теореми Піфагора.

Диференціальна геометрія

В тривимірному просторі для двох точок, що віддалені одна від одної на нескінченно малу віддаль запишемо теорему Піфагора:

${\displaystyle ds^{2}=dx^{2}+dy^{2}+dz^{2},\,}$

де ds — це відстань між точками а (dx, dy, dz) — компоненти вектора, що з'єднує ці дві точки. Такий простір називається евклідовим. Проте, узагальнення цього виразу придатне для загальних координат (не тільки Декартових) і загальних просторів (не тільки Евклідових) має вигляд:^[31]

${\displaystyle ds^{2}=\sum _{i,j}^{n}g_{ij}\,dx_{i}\,dx_{j}}$

де g_ij називається метричним тензором. Це може бути функція позиції. Такі криволінійні простори включають Ріманову геометрію як загальний приклад. Це формулювання також підходить для Евклідового простору при застосуванні криволінійних координат. Наприклад, для полярних координат:

${\displaystyle ds^{2}=dr^{2}+r^{2}d\theta ^{2}\ .}$

Векторний добуток

Теорема Піфагора пов'язує два вирази величини векторного добутку.

Один з підходів до визначення векторного добутку вимагає, щоб він задовольняв рівняння:^[32]

${\displaystyle \|\mathbf {a} \times \mathbf {b} \|^{2}=\|\mathbf {a} \|^{2}\|\mathbf {b} \|^{2}-(\mathbf {a} \cdot \mathbf {b} )^{2}\,}$

в цій формулі використовується скалярний добуток. Права сторона рівняння називається детермінант Грама для a і b, що дорівнює площі паралелограма утвореного цими двома векторами. Виходячи з цієї вимоги, а також вимоги про перпендикулярність векторного добутку до його складових a і b випливає що, за винятком тривіальних випадків з 0 та 1-вимірного простору, векторний добуток визначений тільки в трьох та семи вимірах.^[33] Використаємо визначення кута в n-вимірному просторі:^[34]

${\displaystyle (\mathbf {a\cdot b} )=ab\ \cos \theta \ ,}$

ця властивість векторного добутку дає його величину в такому вигляді:

${\displaystyle \|\mathbf {a\times b} \|^{2}=a^{2}b^{2}\left(1-\cos ^{2}\theta \right).\,}$

Через фундаментальну тригонометричну тотожність Піфагора^[13] отримуємо іншу форму запису його величини:

${\displaystyle \|\mathbf {a\times b} \|=ab\sin \theta .\,}$

Альтернативний підхід до визначення векторного добутку використовує вираз для його величини. Тоді, міркуючи у зворотному порядку, отримуємо зв'язок із скалярним добутком:

${\displaystyle \|\mathbf {a} \times \mathbf {b} \|^{2}=\|\mathbf {a} \|^{2}\|\mathbf {b} \|^{2}-(\mathbf {a} \cdot \mathbf {b} )^{2}\ }$

• Числа Піфагора
• Прямокутний трикутник
• Тригонометрична тотожність Піфагора
• Теорема косинусів
• Трикутник

• Еленьский Щ. По следам Пифагора. М., 1961
• Ван-дер-Варден Б. Л. Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции. М., 1959
• В. Литцман, «Теорема Пифагора» М., 1960.
• Теорема Пифагора и пифагоровы тройки глава из книги Д. В. Аносова «Взгляд на математику и нечто из нее»

Вікісховище має мультимедійні дані за темою: Umnick zauchka/Чернетка

• Теорема Піфагора (більш ніж 70 доведень від cut-the-knot) (англ.)
• Weisstein, Eric W. Теорема Піфагора(англ.) на сайті Wolfram MathWorld.
• Інтерактивні посилання:
  • Інтерактивне доведення Теореми Піфагора за допомогою Java(англ.)
  • Ще одне інтерактивне доведення Теореми Піфагора за допомогою Java(англ.)