Здесь в общих чертах
если нужно напишу подробно
это лемма о высотах которая гласит
треугольник образованный основаниями высот
проведенных из двух вершин
подобен исходному треугольнику
с коэффициэнтом cosC
кде С это угол из которого не проведена высота
