>>746
cos(α+β)は {sin(α+β)}^2+{cos(α+β)}^2=1から導き出せるのでは？
（α,βの範囲があるので cosの値は一意に決まるのではないかと）