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 となる。 次に続く 一つもどる |