ACE и AGB(закрашенные на рисунке) равны между собой (по
двум сторонам и углу, заключённому между ними). Сравним далее треугольник ACE и прямоугольник PQEA; они имеют общее основание AE и высоту AP, опущенную на это основание, следовательно
SPQEA=2SACE
Точно так же квадрат FCAG и треугольник BAG имеют общее основание GA и высоту AC; значит, SFCAG=2SGAB
Отсюда и из равенства треугольников ACE и GBA вытекает равновеликость прямоугольника QPBD и квадрата CFGA; аналогично доказывается и равновеликость прямоугольника QPAE и квадрата CHIB. А отсюда, следует, что квадрат ABDE равновелик сумме квадратов ACFG и BCHI, т.е. теорема Пифагора.