a,b,c に対応する点を A, B, C とする。
c は b を α2 で回転したものであるから
BC = (α - α)/i  である。 (参考)
 同様に
CA = (β - β)/i  AB = (γ - γ)/i  である。
計算の話 の記号を使うと

AB+BC+CA = (σ - σ)/i  である。

また符号付面積の話より

2僊BC = Im( ab + bc + ca ) = Im (α2 + β2 + γ2)
  = Im(τ) = (τ - τ)/(2i)

僊BC の内接円の半径を r とおくと

2僊BC = 2(僮AB + 僮BC + 僮CA) = (AB+BC+CA)r

従って

  r = (τ - τ) /(2(σ - σ))  である。

計算の話(0)より

τ - τ = σ2 + 2σ - σ2 - 2σ = (σ - σ) (σ + σ - 2)
 を得る。よって

  r = (σ + σ)/2 - 1   となる。

次に続く
一つもどる