Siempre estoy sorprendido por el número de formas equivalentes de expresión trigonométrica y me pregunto ¿cuántas maneras hay para resolver las integrales como $$\int \sec x \tan x \, dx$$ Yo uso la equivalencia que se siente intuitivo para mí, $$\int \sec x \tan x \, dx \, = \, \int \left(\frac 1{\cos x}\right)\left(\frac {\sin x}{\cos x}\right)\,dx$$ $$=\, \int \frac{\sin x}{\cos^2x}\,dx \,=\, \int \sec^2x \sin x \, dx$$ a continuación, use integración por partes, $$\int \sec^2x \sin x \, dx \,=\, \sin x \tan x - \int \cos x \tan x \, dx$$ De nuevo yo uso lo que se siente intuitivo y sustituto $\int \cos x \tan x \, dx$ $$\int \cos x\left( \frac {\sin x}{\cos x}\right) \, dx = \int \sin x \, dx \,=\, -\cos x$$ Por lo tanto, $$\int \sec x \tan x \, dx = \int \sec^2x \sin x \, dx \,=\, \sin x \tan x + \cos x +C$$ De ahí que yo trate de encontrar formas equivalentes (omitiré la escritura de la arbitraria constante cada vez), así que se me pone por ejemplo
- $$\sin x \tan x + \cos x = \sin x \left(\frac {\sin x}{\cos x}\right) + \cos x = \frac {\sin^2x}{\cos x}+\cos x$$
- $$\frac {\sin^2x}{\cos x}+\cos x \left(\frac {\cos x}{\cos x}\right)= \frac {\cos^2x + \sin^2x}{\cos x} = \frac 1{\cos x} = \sec x$$
- $$\frac {\sin^2x}{\cos x}+\cos x \,=\, \frac 12 \left(\frac {1-\cos {2x}}{\cos x} \right) + \cos x \,=\, \frac 1{2\cos x} - \frac {\cos {2x}\sec x}2 + \cos x$$
A mí me parece que siempre podría multiplicar un factor de $ 1= \left(\frac {trig-expression}{trig-expression}\right)$ a de cualquier resultado y encontrar una expresión equivalente, de mayor o menor complejidad de la expresión original.
Por lo tanto, sólo teniendo en cuenta las funciones racionales, me pregunto si la sustitución de "juego" puede ser jugado $ad\;infinitum$, o hay estrictamente un número finito de formas equivalentes o formas de expresar los resultados implican trig-expresiones? En el caso de que el número es finito, puede ser calculada?