Ich hab mal einen Versuch gemacht. Die Faßkreismittelpunkte liegen in dem rechtwinkligen Dreieck mit einer 1/2 Dreieckseite durch die Mittelsenkrechte.
A=(0,0), B=(c,0), C=(C_x,C_y), α=86°, β=58°
C_x:=(1/2 * ((-a^(2)) + b^(2) + c^(2)) / c)
C_y:=sqrt(((((-(a - b - c)) * (a - b + c)) * (a + b - c)) * (a + b + c))) / ((2 * c))
F_c:=(c / 2, c/2 tan( π/2 -α ) )
F_a:=(c - a / 2 sqrt(sin²(β + sin⁻^1(C_y / a)) / sin²(β)), -a / (2sin(β)) cos(sin⁻^1(C_y / a) + β))
Nun noch die Schnittpunkte berechnen...
{((w1,w2)-F_c)^2=F_c^2,((w1,w2)-F_a)^2=(F_a-(c,0))^2}