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

Доказательство Евклида приведено в предложении 47 первой книги "Начал". На гипотенузе и катетах прямоугольного треугольника АВС строятся соответствующие квадраты и доказывается, что прямоугольник BJLD равновелик квадрату ABFH, а прямоугольник JCEL - квадрату АС КG. Тогда сумма квадратов на катетах будет равна квадрату на гипотенузе. В самом деле, затушеванные на рисунке треугольники ABD и BFC равны по двум сторонам и углу между ними: FB = AB, BC = BD и Р_FBC = P_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, что и требовалось доказать.

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