三角関数の公式は数が多く大変なので、まとめて抑えるにあたってなるべくシンプルな導出について取り扱っていくシリーズです。#1では加法定理とその導出について、#2では倍角の公式・半角の公式について、#3では和積の変換公式について、#4では三倍角の公式…