пусть точка d лежит на отрезке ав, точка е на отрезке ас, а точка f на отрезке вс.
пусть ad = ae = x , bd = bf = y , ce = cf = z (касательные, проведенные из одной точки, имеют одинаковую длину). тогда получаем систему уравнений
x + y = c
x + z = b
y + z = a
сложив эти уравнения, получаем x + y + z = (a + b + c)/2
вычитая из этого соотношения исходные уравнения, получаем
x = (b + c - a)/2
y = (a - b + c)/2
z = (a + b - c)/2
