>>367
三角関数の加法定理を証明したいのですが、あなたならどうやりますか?