>>420
OA=(cosα,sinα)
OB=(cosβ,sinβ)
としてOA,OBのなす角はlα-βl
lOAl=lOBl=1

ベクトルの内積を用いて
OA・OB=coslα-βl=cos(α-β)
=cosαcosβ＋sinαsinβ