; С другой
; Получаем
, Значит треугольники C₁BA₁ и ABC подобны по общему углу ABA₁ и двум пропорциональным сторонам, причем коэффициент подобия равен косинусу общего угла. Найдем косинус угла по теореме косинусов.
; Поэтому
; Отсюда
;
;
; Треугольники C₁AH и A₁HC подобны по двум углам.
; При этом
; Значит
, откуда 