Прямоугольные треугольники

Продлим за точку пересечем с прямой получим точку как накрест лежащие при параллельных прямых и и секущей а значит, треугольник равнобедренный и Аналогично треугольник равнобедренный с углом при основании то есть Отсюда Рассмотрим треугольники и Они равны по стороне и двум прилежащим к ней углам как накрест лежащие углы при параллельных прямых). Значит, пусть тогда отсюда