計算の話 の記号を使うことにする。 H' を �僊BC の九点円の中心とすると 対応する複素数は h/2 であり �僊BC の九点円は半径 1/2 の円である。 I を �僊BC の内接円の中心とすると 対応する複素数は δ であり �僊BC の内接円の半径は r = (σ + σ)/2 - 1　である。 s = IH' 　とおくと、 計算の話より s = ｜h/2 - δ｜ = ｜h - 2δ｜/2 = (3 - σ - σ)/2 である。 これより r+s = 1/2 を得るが、これは �僊BC の九点円と �僊BC の内接円が内接している 　　ことを示している。 次に続く 一つもどる