三角関数の性質
  1. cos2θ + sin2θ = 1
  2. 余弦の加法定理
    cos(θ+φ) = cosθcosφ - sinθsinφ
  3. 正弦の加法定理
    sin(θ+φ) = sinθcosφ + cosθsinφ
  4. 倍角公式
    cos 2θ = cos2θ-sin2θ = 1-2sin2θ = 2cos2θ-1
  5. 倍角公式
    sin 2θ = 2cosθsinθ
  6. 半角公式
    cos(θ/2) = sqrt((1+cosθ)/2)
  7. 半角公式
    sin(θ/2) = sqrt((1-cosθ)/2)