2192

Prove the radius of the red circle equals the semiperimeter of the right triangle.