余弦の加法定理

cos(α + β) = cos α cos β - sin α sin β
cos(α - β) = cos α cos β + sin α sin β