三角関数の和積の公式が加法定理から導けること。

必死に暗記してたあの苦労はなんだったんだ?