Другие доказательства

Это доказательство было приведено Евклидом в его "Началах". По свидетельству Прокла (Византия), оно придумано самим Евклидом. Доказательство Евклида приведено в предложении 47 первой книги "Начал".

На гипотенузе и катетах прямоугольного треугольника АВС строятся соответствующие квадраты и доказывается, что прямоугольник BJLD равновелик квадрату ABFH, а прямоугольник ICEL - квадрату АСКС. Тогда сумма квадратов на катетах будет равна квадрату на гипотенузе.

В самом деле, треугольники ABD и BFC равны по двум сторонам и углу между ними:

FB = AB, BC = BD

РFBC = d + РABC = РABD

Но

S_ABD = 1/2 S BJLD,

так как у треугольника ABD и прямоугольника BJLD общее основание BD и общая высота LD. Аналогично

S_FBC=1\2*S_ABFH

(BF-общее основание, АВ-общая высота). Отсюда, учитывая, что

S_ABD=S_FBC,

имеем

S_BJLD=S_ABFH.

Аналогично, используя равенство треугольников ВСК и АСЕ, доказывается, что

S_JCEL=S_ACKG.

Итак,

S_ABFH+S_ACKG= S_BJLD+S_JCEL= S_BCED,

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

Упрощенное доказательство Евклида

Как в доказательствах методом разложения, так и при доказательстве евклидового типа можно исходить из любого расположения квадратов. Иногда при этом удается достигнуть упрощений.

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

Доказательство Хоукинсa.

Приведем еще одно доказательство, которое имеет вычислительный характер, однако сильно отличается от всех предыдущих. Оно опубликовано англичанином Хоукинсом в 1909 году; было ли оно известно до этого- трудно сказать.

Прямоугольный треугольник ABC с прямым углом C повернем на 90° так, чтобы он занял положение A'CB'. Продолжим гипотенузу A'В' за точку A' до пересечения с линией АВ в точке D. Отрезок В'D будет высотой треугольника В'АВ. Рассмотрим теперь заштрихованный четырехугольник A'АВ'В . Его можно разложить на два равнобедренных треугольника САA' и СВВ' (или на два треугольника A'В'А и A'В'В).

S_CAA'=b²/2

S_CBB'=a²/2

S_A'AB'B=(a²+b²)/2

Треугольники A'В'А и A'В'В имеют общее основание с и высоты DA и DB, поэтому :

S_A'AB'B= c*DA/2+c*DB/2=c(DA+DB)/2=c²/2 Сравнивая два полученных выражения для площади, получим:

a²+b²=c²

Теорема доказана.

Авторы:
Антонов Дмитрий,
Мартынова Наталья