и углу между ними: FB = AB, BC = BD, а углы между ними равны как тупые углы со взаимно перпендикулярными сторонами.
SABD = 0,5S BJLD, так как у треугольника ABD и прямоугольника BJLD общее основание BD и общая высота LD. Аналогично SFBC=0,5S ABFH
(BF-общее основание, АВ-общая высота). Отсюда, учитывая, что SABD=SFBC, имеем SBJLD=SABFH.
Аналогично, если вы проведёте отрезок АЕ используете равенство треугольников ВСК и АСЕ, то докажете, что SJCEL=SACKG.
Итак, SABFH+SACKG= SBJLD+SJCEL= SBCED, что и требовалось доказать.
Это доказательство было приведено Евклидом в его "Началах". По свидетельству Прокла (Византия), оно придумано самим Евклидом. Доказательство Евклида приведено в предложении 47 первой книги "Начал".
На гипотенузе и катетах прямоугольного треугольника АВС строятся соответствующие квадраты и доказывается, что прямоугольник BJLD равновелик квадрату ABFH, а прямоугольник JCEL - квадрату АGКС. Тогда сумма площадей квадратов на катетах будет равна площади квадрата на гипотенузе.