>>498
外心をO、内心をIとするとに
OI=√(R^2-2Rr)
となることを幾何学的に示す