〔積和公式〕
単位円周上に
　∠AOx = A,　∠COx = A+B,　∠DOx = A-B,
を満たす点 A, C, D をとる。　簡単のため 0<B<A とする。
OC = １ = OD　より　∠OCD = ∠ODC,
　∠AOC = B = ∠AOD,
∴　OA ⊥ CD

CDの中点M は
　↑OM = (↑OC + ↑OD)/2
　　= ({cos(A+B)+cos(A-B)}/2, {sin(A+B)+sin(A-B)}/2)
一方
　↑OM = cos(B) ↑OA
　　　　= (cos(A)cos(B), sin(A)cos(B))