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

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

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