Решение 

Image 

Биссектрисы и радиусы, проведенные в точки касания, образуют три пары равных прямоугольных треугольников. 

c = `+`(a, b, `-`(`*`(2, `*`(r)))) 

r = `*`(`+`(a, b, `-`(c)), `/`(1, 2))