Следующее доказательство алгебраической формулировки — наиболее простое из доказательств, строящихся напрямую из аксиом. В частности, оно не использует понятие площади фигуры. Пусть ABC есть прямоугольный треугольник с прямым углом C. Проведем высоту из C и обозначим ее основание через H. Треугольник ACH подобен треугольнику ABC по двум углам. Аналогично, треугольник CBH подобен ABC. Введя обозначенияполучаемЧто эквивалентноСложив, получаемили Следующее доказательство алгебраической формулировки — наиболее простое из доказательств, строящихся напрямую из аксиом. В частности, оно не использует понятие площади фигуры. Пусть ABC есть прямоугольный треугольник с прямым углом C. Проведем высоту из C и обозначим ее основание через H. Треугольник ACH подобен треугольнику ABC по двум углам. Аналогично, треугольник CBH подобен ABC. Введя обозначенияполучаемЧто эквивалентноСложив, получаемили
