Из вершины A прямоугольного треугольника ABC, как из центра, проведем окружность радиуса b. Треугольники BCD и BCE подобны, отсюда , то есть . Теорема доказана.>