三角関数の公式

sin 2 θ + cos 2 θ = 1 ⇒証明

tan θ = sin θ cos θ ⇒証明

tan 2 θ + 1 = 1 cos 2 θ ⇒証明

詳しくはPCサイトを参照のこと。