>>728
三角関数の加法定理は授業で出てきたの?