Trigonometric integrals

• Reduction Formula for ∫ cos(nx)/cos(x) dx
  Derive the recurrence for the integral of cos(nx)/cos(x), with its base cases, a worked example, and the alternative cosine-power formula.