Рассмотрим треугольник OFX. OO₁ и FF₁ - высоты, следовательно, углы OO₁X и FF₁X - прямые. Рассмотрим четырехугольник O₁F₁OF. Сумма углов четырехугольника равна 360 градусам. Значит, угол O₁OF₁ = 180 - угол OXF. Треугольники O₁XF₁ и OXF подобны по двум углам (угол X - общий, углы при O₁ и F₁ - прямые).