三角関数の公式（加法定理から積和・和積公式、三角関数の合成まで）