三角関数っていつ使うんだよ。

23 ：１３２人目の素数さん：2019/01/14(月) 21:16:32.47 ID:6TPJVfS9.net

a=(cosα,sinα) , b=(cosβ,sinβ) とする

a・b = |a||b| cos(α-β) = cosαcosβ+sinαsinβ

|a|=|b|=1 だからcosの減法定理は成立が証明された。
あとは、βを -β としたりして、cosの加法定理やら α=π/2 として sinの加法定理に持って行く。