Ми звикли думати про теорему Піфагора як про рівняння $a^2 + b^2 = c^2$. Але це набагато більше, ніж просто набір символів. Це твердження про площі. Воно говорить нам, що якщо побудувати квадрати на кожній стороні прямокутного трикутника, то сума площ двох менших квадратів (на катетах) буде точно дорівнювати площі великого квадрата (на гіпотенузі).

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

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

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

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

Площу великого квадрата можна обчислити двома способами.

Площа одного трикутника дорівнює $\frac{1}{2}ab$. Оскільки трикутників чотири, їхня загальна площа становить $4 \times (\frac{1}{2}ab) = 2ab$. Внутрішній квадрат має сторону $c$, тому його площа — $c^2$. Загальна площа фігури, обчислена цим шляхом, дорівнює $2ab + c^2$.

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

Тепер розкриємо дужки в лівій частині рівняння, використовуючи формулу квадрата суми:

Нарешті, ми можемо відняти $2ab$ від обох частин рівняння. Залишається знайомий результат:

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