Докажите формулу длины биссектрисы треугольника. lc^2=sqrt(ab-a1b1)

Продолжим биссектрису до пересечения с описанной окружностью (получилась точка Р). Рассмотрим треугольники ACL и ABР. Отметим равные углы ACL и BPL. Треугольник ACL подобен треугольнику ABP по двум углам. Отсюда AC/AP=AL/AB=CL/BP1) AC*AB=AP*AL2) AP=AL+LP.По свойству отрезков пересекающихся хордAL*LP=LC*BL3)LP=LC*BL/ALПодставим (2) в (1) и воспользуемся (3):AC*AB=(AL+LP)*ALAC*AB=AL*AL+LP*AL=AL^2+LC*BL*AL/ALAC*AB=AL^2+LC*BLОтсюда:AL^2=AC*AB-LC*BLилиAL=sqrt(AC*AB-LC*BL)