上記のような公式を暗記している人がいます。もちろん暗記してもらってもいいんですが、似たような公式がいっぱい出てきますよね。
実は、これらは三角関数の加法定理で簡単に導くことができるんです。「知ってるよ」っていう人もいるかと思いますが、意外なほどしらない人が多いんです。
知らない人が多いんで、プリントを作りました。導き方さえわかればごくごく簡単な内容です。10分もあればできると思うので、加法定理を使って導くという方法を知らないひとは、次のプリントで勉強してください。
http://www.hmg-gen.com/sankaku90.pdf