Primitiva de potencia entera de coseno

Hallaremos fórmulas de reducción para las primitivas $$\def\D{\, \mathrm{d}}I_n := \int \cos^n x \D x, \quad J_n := \int \frac{1}{\cos^n x} \D x,$$ para todo $n \in \mathbb N.$