Обозначим вершины за  Проведем отрезок  По построению  и  параллельны.


Рассмотрим треугольники  и  В них угол  — общий,  как соответственные углы при параллельных прямых  и  и секущей  Значит треугольники  и  подобны по двум углам.
Проведем высоту  Пусть  — точка пересечения  и  Из рисунка видно, что

По теореме Фалеса для угла 

Следовательно,

Из подобия треугольников следует, что

Из рисунка видно, что  Получаем