В противовес такому графическому доказательству, основанному на теории пропорций Пифагора, — теории несовершенной, так как она применима только к соизмеримым количествам, — некоторые историки математики выдвигают другое доказательство, алгебраического характера. Пифагор мог доказать теорему через подобие треугольников — на рисунке 9 треугольники АВС, АСН и СВН — с пропорциональными соответствующими сторонами. Возьмем треугольник АВС с прямым углом С, для которого отрезок СН представляет собой высоту, опущенную на гипотенузу, и делит ее на отрезки d и V — проекции, соответственно катетов а и b. Прямоугольные треугольники АВС, АСН и СВН имеют три общие стороны: каждый из треугольников имеет по две стороны, общие с другими, а их острые углы равны, так как они либо общие, либо составляют вместе прямой угол. Таким образом, треугольники подобны.
Евклид жил в Александрии около 300 года до н.э. и был автором «Начал» (Stoicheia) — труда, оказавшего огромное влияние на развитие математики и науки в целом. В этой книге он собрал все геометрические знания своей эпохи, не считая собственных доказательств, изложенных строго и изящно, включая определения, формулировки и общие сведения. Этот труд был не просто блестящим компендиумом, а серьезной работой по упорядочиванию геометрических знаний. Возможно, именно поэтому вплоть до последнего времени эта книга оставалась эталоном геометрического трактата. «Начала» занимают второе место по количеству изданий и переводов, уступая только Библии. К настоящему времени они выдержали более тысячи переизданий.
«Начала» делятся на 13 книг: четыре первые посвящены основам планиметрии — конгруэнтность треугольников, равенство площадей, золотое сечение, круг, правильные многоугольники, некоторые квадратуры и, естественно, теорема Пифагора (книга I, предложение 47). Свойства теоремы Пифагора используются в геометрическом контексте измерения площади фигур. Теорема Пифагора вновь упоминается в книге VI, а также в книге X, где речь идет о квадратных корнях.
В предложении 47 Евклид постулирует, что в квадратных треугольниках квадрат стороны, противоположной прямому углу, равен сумме квадратов сторон, прилегающих к нему. Иллюстрация к этому утверждению получила название «ветряной мельницы» (см. рисунок).
Евклида считают отцом геометрии.
Хотя, по всей вероятности, ни один из результатов в «Началах» не является его открытием, нет сомнений, что именно Евклиду мы обязаны структурированием сведений и способом их изложения. О его жизни известно мало — почти исключительно те сведения, которые сообщает философ Прокл (V век) в своих комментариях к книге I «Начал».