Sustitución de Weierstrass

En cálculo integral, la sustitución de Weierstrass, sustitución por la tangente del ángulo mitad o cambio de variable universal es un método para evaluar primitivas, que convierte una función racional de funciones trigonométricas de ${displaystyle x}$ en una función racional ordinaria de ${displaystyle t}$ al hacer el cambio de variable ${displaystyle t= an(x/2)}$.^[1]​^[2]​ sin pérdida de generalidad, tomando estas como funciones racionales del seno y del coseno. La fórmula de transformación general es

Lleva el nombre de Karl Weierstraß (1815-1897),^[3]​^[4]​^[5]​ aunque se puede encontrar en un libro de Leonhard Euler de 1768.^[6]​ Michael Spivak escribió que este método era la "sustitución más ingeniosa" del mundo.^[7]​

Se comienza con una integral en la que el integrando es una función racional que contiene las funciones trigonométricas ${displaystyle operatorname {sen} x}$ y/o ${displaystyle cos x}$, esta integral se transforma en una integral sin funciones trigonométricas mediante un cambio de variable.

Sea ${displaystyle t= an(x/2)}$ con ${displaystyle -pi <x<pi }$ entonces^[1]​^[8]​

Por lo tanto,

Por las identidades y fórmulas de trigonometría,

y

Finalmente, si ${displaystyle t= an left({frac {x}{2}} ight)}$ entonces

Por lo tanto

Se puede confirmar el resultado anterior usando un método estándar para evaluar la integral de la cosecante multiplicando el numerador y el denominador por ${displaystyle csc x-cot x}$ y realizando el siguiente cambio de variable

Por lo que

Ahora, las fórmulas del ángulo mitad para senos y cosenos son

respectivamente y permiten obtener

por lo que los dos resultados son equivalentes. La expresión

es una de las fórmulas de la tangente del ángulo mitad. La integral de la secante puede evaluarse de manera similar.

En la primera línea, no se sustituye simplemente ${displaystyle t=0}$ por ambos límites de integración. Se debe tener en cuenta la singularidad (en este caso, una asíntota vertical) de ${displaystyle t= an {frac {x}{2}}}$ en ${displaystyle x=pi }$. Alternativamente, primero se debe evaluar la integral indefinida y luego aplicar los valores del intervalo.

Por simetría,

que es igual al resultado anterior.

Si ${displaystyle 4E=4(c-a)(c+a)-(2b)^{2}=4(c^{2}-(a^{2}+b^{2}))>0.}$

A medida que varía x, el punto (cos x, sin x) se arrolla repetidamente alrededor de la circunferencia goniométrica centrada en (0, 0). El punto

da una sola vuelta a la circunferencia, ya que t recorre de −∞a +∞, y nunca alcanza el punto (−1, 0), que se aproxima como un límite cuando t se acerca a ±∞. Como t recorre desde −∞ a −1, el punto determinado por t pasa por la parte de la circunferencia en el tercer cuadrante, desde (−1, 0) a (0, −1). A medida que t va de −1 a 0, el punto sigue la parte de la circunferencia en el cuarto cuadrante desde (0, −1) a (1, 0). A medida que t va de 0 a 1, el punto sigue la parte de la circunferencia en el primer cuadrante desde (1, 0) hasta (0, 1). Finalmente, cuando t va de 1 a +∞, el punto sigue la parte de la circunferencia en el segundo cuadrante desde (0, 1) a (−1, 0).

También existe otro punto de vista geométrico. Para ello, se debe dibujar el círculo unitario y hacer que P sea el punto (−1, 0). Una recta que pasa por P (excepto la línea vertical) está determinada por su pendiente. Además, cada una de las líneas rectas (excepto la vertical) se cruza con el círculo unitario en exactamente dos puntos, uno de los cuales es P. Esto determina una función que relaciona los puntos en el círculo unitario con las pendientes de las rectas que pasan por ellos. Las funciones trigonométricas determinan una función de ángulos a puntos en el círculo unitario, y al combinar estas dos funciones se obtiene una nueva función que relaciona ángulos y pendientes.

(1/2) La sustitución de Weierstrass relaciona un ángulo con la pendiente de una recta

(2/2) La sustitución de Weierstrass ilustrada como la proyección estereográfica de la circunferencia

Al igual que con otras propiedades compartidas entre las funciones trigonométricas y las funciones hiperbólicas, es posible usar las identidades hiperbólicas para construir una forma similar de sustitución: