∠ACBが90°であるには\angle ACB が 90°であるには∠ACBが90°であるには α−γβ−γ=iとなる必要がある\frac{α-γ}{β-γ} = i\text{となる必要がある}β−γα−γ=iとなる必要がある 両辺を２乗して (α−γ)2(β−γ)2=−1(α−γ)2=−(β−γ)2\frac{(α-γ)^2}{(β-γ)^2} = -1 \quad (α-γ)^2 = -(β-γ)^2(β−γ)2(α−γ)2=−1(α−γ)2=−(β−γ)2 (α−γ)2−(β−γ)2=0(α-γ)^2 - (β-γ)^2 = 0(α−γ)2−(β−γ)2=0