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

Дано: ABC-прямоугольный треугольник

Доказать: S_ABDE=S_ACFG+S_BCHI

Доказательство:

Пусть ABDE-квадрат, построенный на гипотенузе прямоугольного треугольника ABC, а ACFG и BCHI-квадраты, построенные на его катетах. Опустим из вершины C прямого угла перпендикуляр CP на гипотенузу и продолжим его до пересечения со стороной DE квадрата ABDE в точке Q; соединим точки C и E, B и G. Очевидно, что уголы CAE=GAB(=A+90°); отсюда следует, что треугольники ACE и AGB(закрашенные на рисунке) равны между собой (по двум сторонам и углу, заключённому между ними). Сравним далее треугольник ACE и прямоугольник PQEA; они имеют общее основание AE и высоту AP, опущенную на это основание, следовательно

S_PQEA=2S_ACE

Точно так же квадрат FCAG и треугольник BAG имеют общее основание GA и высоту AC; значит,

S_FCAG=2S_GAB

Отсюда и из равенства треугольников ACE и GBA вытекает равновеликость прямоугольника QPBD и квадрата CFGA; аналогично доказывается и равновеликость прямоугольника QPAE и квадрата CHIB. А отсюда, следует, что квадрат ABDE равновелик сумме квадратов ACFG и BCHI, т.е. теорема Пифагора.