三角関数の加法定理も中学のとき自力で導いた