Одним из наиболее популярных в учебной литературе доказательств алгебраической формулировки является доказательство с использованием техники подобия треугольников, при этом оно почти непосредственно выводится из аксиом и не задействует понятие площади фигуры. В нём для треугольника {\displaystyle \triangle ABC} с прямым углом при вершине {\displaystyle C} со сторонами {\displaystyle a,b,c}, противолежащими вершинам {\displaystyle A,B,C}соответственно, проводится высота {\displaystyle CH}, при этом (согласно признаку подобия по равенству двух углов) возникают соотношения подобия: {\displaystyle \triangle ABC\sim \triangle ACH} и {\displaystyle \triangle ABC\sim \triangle CBH}, из чего непосредственно следуют соотношения:
