>>99
普通にすぐ思い付きました?
両方cosでおく+加法定理の逆はやや盲点かと思い聞いてみました