Poncelet's Theorem

Given: Right triangle BAC

          inradius: r

          exradius: r_a, r_b, r_c

To prove:

r_a = r_b + r + r_c

Proof: