Доказательство Евклида

Чертеж к доказательству Евклида

Иллюстрация к доказательству Евклида

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

Рассмотрим чертеж слева. На нём мы построили квадраты на сторонах прямоугольного треугольника и провели из вершины прямого угла С луч s перпендикулярно гипотенузе AB, он рассекает квадрат ABIK, построенный на гипотенузе, на два прямоугольника — BHJI и HAKJ соответственно. Оказывается, что площади данных прямоугольников в точности равны площадям квадратов, построенных на соответствующих катетах.

Попытаемся доказать, что площадь квадрата DECA равна площади прямоугольника AHJK. Для этого воспользуемся вспомогательным наблюдением: Площадь треугольника с той же высотой и основанием, что и данный прямоугольник, равна половине площади заданного прямоугольника. Это следствие определения площади треугольника как половины произведения основания на высоту. Из этого наблюдения вытекает, что площадь треугольника ACK равна площади треугольника AHK (не изображённого на рисунке), которая, в свою очередь, равна половине площади прямоугольника AHJK.

Докажем теперь, что площадь треугольника ACK также равна половине площади квадрата DECA. Единственное, что необходимо для этого сделать, — это доказать равенство треугольников ACK и BDA (так как площадь треугольника BDA равна половине площади квадрата по указанному выше свойству). Равенство это очевидно: треугольники равны по двум сторонам и углу между ними. Именно — AB=AK, AD=AC — равенство углов CAK и BAD легко доказать методом движения: повернём треугольник CAK на 90° против часовой стрелки, тогда очевидно, что соответствующие стороны двух рассматриваемых треугольников совпадут (ввиду того, что угол при вершине квадрата — 90°).

Рассуждение о равенстве площадей квадрата BCFG и прямоугольника BHJI совершенно аналогично.

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

Данное доказательство также получило название «Пифагоровы штаны».

Само же древнеиндийское доказательство описано в XII веке в трактате «Венец знания» («Сиддханта широмани») и в качестве главного аргумента автор использует призыв, обращенный к математическим талантам и наблюдательности учеников и последователей: «Смотри!».

Но мы разберем это доказательство более подробно:

Внутри квадрата постройте четыре прямоугольных треугольника так, как это обозначено на чертеже. Сторону большого квадрата, она же гипотенуза, обозначим с. Катеты треугольника назовем а и b. В соответствии с чертежом сторона внутреннего квадрата это (a-b).

Используйте формулу площади квадрата S=c², чтобы вычислить площадь внешнего квадрата. И одновременно высчитайте ту же величину, сложив площадь внутреннего квадрата и площади всех четырех прямоугольных треугольников: (a-b)²2+4*1\2*a*b.

Вы можете использовать оба варианта вычисления площади квадрата, чтобы убедиться: они дадут одинаковый результат. И это дает вам право записать, что c²=(a-b)²+4*1\2*a*b. В результате решения вы получите формулу теоремы Пифагора c²=a²+b². Теорема доказана.

Следующее доказательство.

Это любопытное древнекитайское доказательство получило название «Стул невесты» - из-за похожей на стул фигуры, которая получается в результате всех построений:

Рис.1.

Рис. 2.

В нем используется чертеж, который мы уже видели на рис.3 во втором доказательстве. А внутренний квадрат со стороной с построен так же, как в древнеиндийском доказательстве, приведенном выше.

Если мысленно отрезать от чертежа на рис.1 два зеленых прямоугольных треугольника, перенести их к противоположным сторонам квадрата со стороной с и гипотенузами приложить к гипотенузам сиреневых треугольников, получится фигура под названием «стул невесты» (рис.2). Для наглядности можно то же самое проделать с бумажными квадратами и треугольниками. Вы убедитесь, что «стул невесты» образуют два квадрата: маленькие со стороной b и большой со стороной a.

Эти построения позволили древнекитайским математикам и нам вслед за ними прийти к выводу, что c²=a²+b².