1929

Prove the distance between the circumcenter and an excenter is $d = \sqrt{R^2 + 2Rr}$