Ignacio Larrosa Cañestro Algunas integrales irracionales

Algunas integrales irracionales

A diferencia de las funciones racionales, las irracionales no siempre tienen una primitiva expresable como
combinación de funciones elementales, y aun teniéndola, no siempre son fáciles de encontrar.
𝒑 𝒒
1. Integrales del tipo ∫ 𝑹� √𝒙𝒎, √𝒙𝒏 , … �𝒅𝒙.
R(…) indica una función racional de sus argumentos. Llamando s = mcm(p, q, …), mínimo común múltiplo
de los índices de las raíces, el cambio de variable x = ts elimina todas las raíces y dx = sts-1dt, obteniéndose
una integral racional.

𝑑𝑥 3 3
Haciendo el cambio x = t , dx = 6t dt ⇒ √𝑥 2 = √𝑡 12 = 𝑡 4 , √𝑥 = 𝑡 3, y queda
6 5
Ejemplo: 𝐼 = ∫ 3
�𝑥2 +√𝑥
6𝑡 5 𝑑𝑡 𝑡2 1
𝐼=� 4 3
= 6� 𝑑𝑡 = 6 � �𝑡 − 1 + � 𝑑𝑡 = 3𝑡 2 − 6𝑡 + 6𝑙𝑛|𝑡 + 1| + 𝐶
𝑡 +𝑡 𝑡+1 𝑡+1

Como es t = 6√𝑥, queda 𝐼 = 3 3√𝑥 − 6 6√𝑥 + 6𝑙𝑛� 6√𝑥 + 1� + 𝐶

𝒑 𝒂𝒙+𝒃 𝒎 𝒒 𝒂𝒙+𝒃 𝒏
2. Integrales del tipo ∫ 𝑹 �𝒙, �� 𝒄𝒙+𝒅 � , �� 𝒄𝒙+𝒅 � , … � 𝒅𝒙. Es una generalización del caso anterior. El
𝑎𝑥+𝑏
cambio de variable 𝑐𝑥+𝑑 = 𝑡 𝑠 , con s = mcm(p, q, …), elimina todas las raíces y:

𝑎𝑥 + 𝑏 𝑑𝑡 𝑠 − 𝑏
= 𝑡 𝑠 ⇒ 𝑎𝑥 + 𝑏 = 𝑐𝑥𝑡 𝑠 + 𝑑𝑡 𝑠 ⇒ (𝑎 − 𝑐𝑡 𝑠 )𝑥 = 𝑑𝑡 𝑠 − 𝑏 ⇒ 𝑥 = = 𝑟(𝑡), 𝑑𝑥 = 𝑟 ′ (𝑡)𝑑𝑡
𝑐𝑥 + 𝑑 𝑎 − 𝑐𝑡 𝑠

𝑥+1 𝑥+1 𝑡 2 +1 −4𝑡

Ejemplo: 𝐼 = ∫ �𝑥−1 𝑑𝑥. Hacemos 𝑥−1 = 𝑡 2 ⇒ 𝑥 = 𝑡 2−1 , 𝑑𝑥 = (𝑡 2 −1)2

𝑡2 𝐴 𝐵 𝐶 𝐷
𝐼 = −4 � 𝑑𝑡 = −4 �� 𝑑𝑡 + � 𝑑𝑡 + � 𝑑𝑡 + � 𝑑𝑡�
(𝑡 2 − 1)2 𝑡−1 (𝑡 − 1)2 𝑡+1 (𝑡 + 1)2

𝑡2 𝐴 𝐵 𝐶 𝐷 𝐴(𝑡 − 1)(𝑡 + 1)2 + 𝐵(𝑡 + 1)2 + 𝐶(𝑡 − 1)2 (𝑡 + 1) + 𝐷(𝑡 − 1)2

= + + + =
(𝑡 2 − 1)2 𝑡 − 1 (𝑡 − 1)2 𝑡 + 1 (𝑡 + 1)2 (𝑡 − 1)2 (𝑡 + 1)2

𝑡 2 = 𝐴(𝑡 − 1)(𝑡 + 1)2 + 𝐵(𝑡 + 1)2 + 𝐶(𝑡 − 1)2 (𝑡 + 1) + 𝐷(𝑡 − 1)2

𝑡 = 1: 1 = 4𝐵, 𝑩 = ¼; 𝑡 = −1: 1 = 4𝐷, 𝑫 = ¼

𝑡 = 0: 0 = −𝐴 + ¼ + 𝐶 + ¼ ⇒𝐴−𝐶 = ½
𝑡 = 2: 4 = 9𝐴 + 9⁄4 + 3𝐶 + 1⁄4 ⇒ 3𝐴 + 𝐶 = ½

4A = 1 ⇒ A = ¼, C = -¼

1 1 2𝑡 𝑡+1 𝑥+1
𝐼 = − ln|𝑡 − 1| + + ln|𝑡 + 1| + +𝐶 = 2 + ln � �+𝐶, 𝑡=�
𝑡−1 𝑡+1 𝑡 −1 𝑡−1 𝑥−1

Con un poco de manipulación algebraica, queda:

𝑥+1 𝑥+1
𝐼 = (𝑥 − 1)� + ln �(𝑥 − 1)� + 𝑥� + 𝐶
𝑥−1 𝑥−1

𝒑 𝒒
Nota: Si c = 0, la integral queda de la forma ∫ 𝑹 �𝒙, �(𝒂𝒙 + 𝒃)𝒎 , �(𝒂𝒙 + 𝒃)𝒏 , … � 𝒅𝒙, más sencilla.

-1-
 Ignacio Larrosa Cañestro Algunas integrales irracionales

3. Integrales del tipo ∫ 𝑹�𝒙, √𝒂𝒙𝟐 + 𝒃𝒙 + 𝒄 �𝒅𝒙

2
No basta con hacer el trinomio subradical a t , pues al despejar la x se introduce un nuevo radical. Pero
hay tres cambios sencillos, con una clara interpretación geométrica, que permiten racionalizar la integral
en cualquier caso. Conviene utilizar el primero de los tres que sea aplicable, pues por lo general
conducirá a integrales racionales más sencillas.
𝑐 − 𝑡2
a) Si es a > 0, se hace: √𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = √𝑎𝑥 + 𝑡 ⇒ 𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = 𝑎𝑥 2 + 2√𝑎𝑡𝑥 + 𝑡 2 ⇒ 𝑥 = 2√𝑎𝑡−𝑐
𝑏 − 2√𝑐𝑡
b) Si es c > 0, ponemos: √𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = 𝑡𝑥 + √𝑐 ⇒ 𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = 𝑡 2 𝑥 2 + 2√𝑐𝑡𝑥 + 𝑐 ⇒ 𝑥 = 𝑡 2 −𝑎
c) Si p y q son las raíces reales distintas del trinomio, que deben existir si a < 0, c ≤ 0 y el radical debe
ser real para algún valor de x, se hace:
𝑝𝑡 2 −𝑞𝑎 𝑎(𝑝−𝑞)
√𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = 𝑡(𝑥 − 𝑝) ⇒ 𝑎(𝑥 − 𝑝)(𝑥 − 𝑞) = 𝑡 2 (𝑥 − 𝑝)2 ⇒ 𝑥 = 𝑡 2 −𝑎
=𝑝+ 𝑡 2 −𝑎

Nota: Si p = q, √𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = �𝑎(𝑥 − 𝑝)2 = √𝑎|𝑥 − 𝑝|y la integral es ya racional.

𝑑𝑥
Ejemplo 1: 𝐼 = ∫ . Como es a = 1 > 0, utilizamos el primer cambio,
(𝑥+1)�𝑥 2 +𝑥+1

1−𝑡 2 𝑡−𝑡 2 −1
√𝑥 2 + 𝑥 + 1 = 𝑥 + 𝑡 ⇒ 𝑥 2 + 𝑥 + 1 = 𝑥 2 + 2𝑡𝑥 + 𝑡 2 ⇒ 𝑥 = 2𝑡−1 , 𝑑𝑥 = 2 (2𝑡−1)2 𝑑𝑡,

1−𝑡 2 𝑡 2 −𝑡+1 1−𝑡 2 2𝑡−𝑡 2

√𝑥 2 + 𝑥 + 1 = 2𝑡−1
+𝑡= 2𝑡−1
, 1 + 𝑥 = 1 + 2𝑡−1 =
2𝑡−1

Sustituyendo,

𝑡 − 𝑡2 − 1
2
(2𝑡 − 1)2 𝑑𝑡 2𝑑𝑡 𝐴 𝐵
𝐼=� =� 2 = �� + � 𝑑𝑡
2𝑡 − 𝑡 2 𝑡 2 − 𝑡 + 1 𝑡 − 2𝑡 𝑡 𝑡 − 2
� �� �
2𝑡 − 1 2𝑡 − 1

Será entonces 2 = A(t-2) + Bt. Para t = 0, resulta A = -1, y para t = 2, B = 1. Por tanto,

−1 1
𝐼 = �� + � 𝑑𝑡 = − ln|𝑡 | + ln|𝑡 − 2| + 𝐶 = ln ��𝑥 2 + 𝑥 + 1 − 𝑥 − 2� − ln ��𝑥 2 + 𝑥 + 1 − 𝑥� + 𝐶
𝑡 𝑡−2

2 2�√𝑥 2 + 𝑥 + 1 + 𝑥� −𝑥 + 1 − 2√𝑥 2 + 𝑥 + 1
= ln �1 − � + 𝐶 = ln �1 − � + 𝐶 = ln � �+𝐶
√𝑥 2 + 𝑥 + 1 − 𝑥 𝑥+1 𝑥+1
2√𝑥 2 + 𝑥 + 1 + 𝑥 − 1
= ln � �+𝐶
𝑥+1

Las integrales resultantes, aunque factibles, no siempre son sencillas, como vemos a continuación.

Ejemplo 2: 𝐼 = ∫ √2𝑚𝑥 − 𝑥 2 𝑑𝑥. Como a = - 1 < 0 y c = 0, no podemos aplicar el primer ni el segundo

cambio. Aplicamos el tercero a la raíz x = 0:
2𝑚 −4𝑚𝑡 2𝑚𝑡
√2𝑚𝑥 − 𝑥 2 = 𝑡𝑥 ⇒ 2𝑚𝑥 − 𝑥 2 = 𝑡 2 𝑥 2 ⇒ 𝑥 = 𝑡 2+1 , 𝑑𝑥 = (𝑡 2+1)2 𝑑𝑡, √2𝑚𝑥 − 𝑥 2 = 𝑡 2+1

2𝑚𝑡 −4𝑚𝑡 2�
𝑡 2 𝑑𝑡
𝐼=� 𝑑𝑡 = −8𝑚
𝑡 2 + 1 (𝑡 2 + 1)2 (𝑡 2 + 1)3

Esta integral tiene en el denominador un para de raíces complejas conjugadas de multiplicidad 3, por lo
que resulta factible aunque laboriosa y no las hemos estudiado. Sin embargo, con un cambio
trigonométrico se resuelve con facilidad.

-2-
 Ignacio Larrosa Cañestro Algunas integrales irracionales

4. Interpretación geométrica de los cambios anteriores.

La ecuación 𝑦 = √𝑎𝑥 2 + 𝑏𝑥 + 𝑐 corresponde a la mitad superior de la cónica y2 = ax2 + bx + c, simétrica
2 2
respecto del eje OX, que podemos escribir como ax + bx + c – y = 0.

𝑏 2 𝑏2 −4𝑎𝑐
Si es a > 0, se trata de una hipérbola: 𝑎 �𝑥 + 2𝑎� − 𝑦 2 = 4𝑎
𝑏
y sus asíntotas son las rectas y = ±√𝑎 �𝑥 + �. Entonces las
2𝑎
rectas 𝑦 = √𝑎𝑥 + 𝑡, paralelas a la asíntota, para cada valor de
t, cortan a la hipérbola en un solo punto de ordenada 𝑦 =
√𝑎𝑥 2 + 𝑏𝑥 + 𝑐 = √𝑎𝑥 + 𝑡, al desaparecer el término en x ,
2

permitiéndonos expresar racionalmente la ordenada y, la raíz,

y la abscisa x del punto de intersección en función de t, que es
la ordenada en el origen de la recta paralela a la asíntota.

Si c > 0, la cónica (elipse o hipérbola según sea a <0 ó a > 0),

corta al eje OY en los puntos �0, ±√𝑐�. Las rectas que pasan
por el de ordenada positiva y tienen pendiente t, son y = tx +
√𝑐, y volverán a cortar a la cónica en otro único punto de
ordenada y = tx + √𝒄 y abscisa x, ambas expresables
racionalmente en función de t.

Si a < 0 y c ≤ 0, el trinomio tiene que tener las raíces reales,

para que sea positivo algún valor de x. Si estas raíces son p y
q, tomamos las rectas de pendiente t que pasan por una de
ellas: y = t(x – p). Esta recta corta a la cónica (elipse si a < 0)
en otro único punto, de ordenada t(x – p) y abscisa x, ambas
expresables de forma racional en función de t.

Nota: Si la cónica fuese una parábola, el polinomio subradical sería grado uno, 𝑦 = �2𝑝(𝑥 − 𝑥0 ), y la
integral sería de las más sencillas vistas en el punto 2.

5. Bibliografia
Cálculo Integral, Pedro Puig Adam (16ª edic., Madrid 1978)

-3-