>>842
三角関数の定義と三平方の定理より。