さらにnで割ってi=C/ASnθだ。

でi^2=-1は自明なので、C^2/(ASnθ)^2=−1が得られる。