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

 

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

 

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

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

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

FB = AB, BC = BD

РFBC = d + РABC = РABD

Но

SABD = 1/2 S BJLD,

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

SFBC=1\2S ABFH

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

SABD=SFBC,

имеем

SBJLD=SABFH.

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

SJCEL=SACKG.

Итак,

SABFH+SACKG= SBJLD+SJCEL= SBCED,

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

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

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

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

SCAA'=b²/2     SCBB'=a²/2   SA'AB'B=(a²+b²)/2

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

                SA'AB'B=c*DA/2+ c*DB/2=c(DA+DB)/2=c²/2

Сравнивая два полученных выражения для площади, получим:

a²+b²=c²

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