INTEGRALES RACIONALES

 Q( x) dx donde P( x) y Q( x) son polinomios

P( x)
Son las integrales del tipo

en x .
Si el grado de P( x) es mayor o igual que el de Q ( x ) se efectúa la división,

P( x) R( x)
 C ( x) 
Q( x) Q( x)
quedando reducida la integral inicial a la de un polinomio más una integral
racional donde el grado del numerador, R( x) , es menor que el grado del
denominador Q ( x ) . Sólo consideraremos, entonces, integrales de este
último tipo.
R( x)
Para resolver esta, descompondremos en fracciones simples lo que
Q( x)
equivaldrá a sustituir la integral inicial por una suma de integrales más
elementales.

Descomposición en fracciones simples

La descomposición depende de la naturaleza de las raíces de Q ( x)  0 .
Raíces reales (simples y múltiples)
Supongamos que a , b y c son las raíces de la ecuación Q ( x)  0 , de
órdenes respectivos de multiplicidad 1 ,  y  . La descomposición
resultaría,
R( x) A B B2 B C C2 C
  1     
 1    
Q ( x ) x  a x  b ( x  b) 2
( x  b) x  c ( x  c) 2
( x  c)
Raíces complejas simples
 Sean ( r  si ) las raíces complejas conjugadas de Q ( x)  0 . En principio,
la descomposición sería,
R( x) A1 A2
  , con A1 , A2  C (Cuerpo de los
Q( x) x  (r  si ) x  (r  si )
números complejos). Operando quedaría,
R( x) Mx  N
 con M , N  R
Q( x) ( x  r ) 2  s 2
Fracciones similares se plantearían para cada pareja de raíces complejas
conjugadas. En caso de existir raíces reales y complejas, la
descomposición sería la suma de las fracciones correspondientes a ambos
tipos. Para calcular los coeficientes de los numeradores se quitan
denominadores y se identifican los dos polinomios del primer y segundo
miembro, tal como se detallará en los ejercicios resueltos. En el caso que
Q ( x)  0 admita raíces complejas múltiples, no procederemos a la
descomposición y aplicaremos un método de integración que trataremos
en el siguiente apartado.

Integración de las fracciones simples

Fracciones correspondientes a raíces reales simples


A
 dx  Aln x  a  C (Inmediata)
xa
Fracciones correspondientes a raíces reales múltiples

( x  a) 1

A A 1

dx  A C    C (Inmediata)
( x  a)   1 1   ( x  a) 1
Fracciones correspondientes a raíces complejas simples
 Mx  N
Para integrar
 ( x  r )2  s 2
dx , una vez hallados los coeficientes, la

descompondremos en dos integrales inmediatas, una de tipo logarítmico y

otra de tipo arco tangente. La metodología se detallará en los ejercicios
prácticos y la expresión final queda,
Mx  N Mr  N xr
 ( x  r)  s dx  2 ln ( x  r )  s
M  2
2 2 

2


 arctg C
s s

Método de Hermite
Se aplica cuando Q ( x)  0 tiene raíces complejas múltiples en la integral


R( x)
dx .
Q( x)
Se podría demostrar, para este caso, que la fracción racional se podría
descomponer en la forma,
R ( x ) d f ( x ) R1 ( x )
 [ ]
Q ( x) dx g ( x ) Q1 ( x )

En esta expresión, g ( x) es un polinomio con las mismas raíces que Q ( x )

rebajando en una unidad, respectivamente, sus órdenes de multiplicidad,
(se podría obtener, pues, como el m.c.d. de Q ( x ) y Q( x ) ) y f ( x ) es un
polinomio de coeficientes indeterminados de grado inferior en una unidad
al grado de g ( x) .

R1 ( x )
La expresión se descompondría en fracciones considerando como
Q1 ( x )

raíces de Q1 ( x)  0 las mismas que las de Q ( x)  0 , pero con orden de

multiplicidad, para todas ellas, igual a la unidad. Es decir,
 R( x) d f ( x) A A2 M 1 x  N1
 [ ] 1    
Q ( x) dx g ( x ) x  a1 x  a2 ( x  r1 ) 2  s12

Derivando e identificando polinomios se obtendrían los coeficientes

indeterminados. Integrando cada sumando,
M 1 x  N1
    
R( x) d f ( x) A1 A2
dx  [ ]dx  dx  dx   dx 
Q( x) dx g ( x) x  a1 x  a2 ( x  r1 ) 2  s12

M 1 x  N1
   
R( x) f ( x) A1 A2
dx   dx  dx   dx  ,
Q( x) g ( x) x  a1 x  a2 ( x  r1 ) 2  s12

integrales del mismo tipo que las que figuraban en las integrales racionales
anteriores, y que ya hemos resuelto.

INTEGRALES IRRACIONALES
En general, las primitivas de las funciones irracionales no pueden
expresarse mediante funciones elementales. Consideremos, en este
apartado, algunos tipos en los que si es posible encontrar una función
primitiva. El procedimiento general consistirá en transformarlas en
integrales racionales realizando los cambios de variable adecuados.

p1 p2
ax  b q1 ax  b q2
Integrales del tipo
 R[ x (
cx  d
) (
cx  d
)  ]dx

En esta expresión suponemos que R denota una función racional y que

p1 p2
, , , son números racionales. Supondremos, además, que ad  cd
q1 q2

ax  b
, pues, en otro caso, la fracción se reduciría a una fracción
cx  d
numérica. Hallando el m.c. m. de los denominadores de los exponentes
(q1 q2  ) , al que llamaremos  y haciendo el cambio de variable
ax  b 
 t , la integral se transforma en una racional.
cx  d

5.4.2. Integrales binomias

 x (ax  b) p dx donde m , n y p son

m n
Son las integrales de la forma

números racionales.
Haciendo el cambio x n  t , con la finalidad de transformar el paréntesis
en un binomio de primer grado, la integral se convierte en una del tipo

 t (a  bt ) dt .
q p

Esta integral se racionaliza sólo si es entero uno de los tres números p ,

q, pq.

Si p  N , se desarrolla el binomio y se quita el paréntesis,

transformándose en una suma de integrales inmediatas.

r
Si p es un entero negativo y q  , efectuaríamos el cambio de
s
variable t  z s y se convertiría en una integral racional.

r
Si q es entero y p  , estamos en el caso analizado en el apartado
s
anterior y haríamos el cambio (a  bt )  z s .
 Si p  q es entero, multiplicando y dividiendo por t p ,

 a  bt 
p

 
t q (a  bt ) p dt  t p  q 
 t 
 dt

y volveríamos a tener una integral del primer tipo estudiado de las

a  bt
integrales irracionales, que se racionaliza mediante el cambio  zs
t
r
siendo p  .
s


 
Integrales del tipo R  x ax 2  bx  c  dx
 

Igual que en casos anteriores R representa una función racional. Se

pueden resolver racionalizándolas, convirtiéndolas en otras integrales
irracionales conocidas o recurriendo a cambios trigonométricos. Aunque
nos parece más metódico y seguro el segundo camino, comentaremos
también el método de racionalización.

Integración por racionalización

Consiste en efectuar un cambio de variable que nos permita despejar x
como una expresión racional de esta nueva variable.

1 o - Si a  0 , haremos ax 2  bx  c  ax  t

2 o - Si c  0 , haremos ax 2  bx  c  tx  c

3 o - Si a  0 y c  0 , haremos ax 2  bx  c  t ( x   ) , siendo  una

raíz de ax 2  bx  c  0 .
Integración por reducción


 
Dada la integral irracional R  x ax 2  bx  c  dx , efectuando
 

operaciones que consisten generalmente en:

- Multiplicar y dividir por el conjugado de alguna expresión

- Multiplicar y dividir por ax 2  bx  c

- Descomponer en fracciones simples la parte racional de la integral
la transformaremos en los tipos:

 (x  )
dx
(I) con p  N
p
ax 2  bx  c


P( x)
(II) dx , siendo P( x) un polinomio en x .
ax 2  bx  c
La integral (I) se transforma en la del tipo (II) mediante el cambio
1
x    , y esta última la resolveremos por el llamado Método Alemán.
t
Este Método consiste en descomponer la función subintegral de la forma,
P( x) d   A
  f ( x ) ax  bx  c  

2

ax  bx  c
2 dx ax  bx  c
2

donde f ( x ) es un polinomio de coeficientes indeterminados de grado

inferior en una unidad al de P( x) .
Derivando e identificando polinomios se obtienen los coeficientes
indeterminados. Integrando a continuación,

 
P( x) A
dx  f ( x ) ax 2  bx  c  dx
ax  bx  c
2
ax  bx  c
2
 
dx
Sólo tendríamos que resolver dx que es del tipo arcsenx
ax  bx  c
2

, argshx o argchx , como veremos en los ejercicios.

Integrales del tipo

 R( x a  bx 2 )dx

Estas integrales, en particular, son del tipo anterior y se podrían resolver

por racionalización o por reducción, pero, asimismo, resultan adecuados
determinados cambios que detallamos a continuación.


a
Para R( x a  bx 2 )dx , con a , b  0 , haremos x  sent o
b

a
x cost .
b

 R( x
a
Para a  bx 2 )dx , con a , b  0 , haremos x  tgt o
b

a
x sht .
b
Los cambios efectuados transforman estas integrales en otras más
sencillas, como veremos en los ejercicios resueltos.

INTEGRALES DE ALGUNAS FUNCIONES TRASCENDENTES

 R(a )dx
x
Integrales del tipo

El cambio a x  t la transforma en una integral racional.

Integrales del tipo
 R(senx cosx)dx
Recordemos que R denota una expresión racional en senx y cosx .Los
cambios que convierten esta integral en una racional, dependiendo de la
función subintegral, son los siguientes:

Si R ( senx cosx ) es impar en cosx , es decir, al sustituir cosx por

(cosx) , la expresión cambia de signo, haremos senx  t .

Si R ( senx cosx ) es impar en senx , es decir, al sustituir senx por

( senx) , la expresión cambia de signo, haremos cosx  t .

Si R ( senx cosx ) es par en ( senx cosx ) , es decir, al sustituir

simultáneamente senx por ( senx) y cosx por (cosx) la función no
cambia, haremos tgx  t . En este caso deberemos expresar senx y cosx
en función de tgx :

1 1 tgx t
senx    
cosecx 1  cotg x
2
1  tg x
2
1 t2

1 1 1
cosx   
secx 1  tg x
2
1 t2

Puede suceder que una expresión pertenezca a dos o a los tres tipos
anteriores. En este caso, es aconsejable utilizar uno de los dos primeros
cambios y recurrir al tercero sólo en el caso que estos no fueran factibles,
ya que las integrales racionales a las que conducen aquellos son, en
general, menos complicadas que utilizando tgx  t .
 Si la expresión R ( senx cosx ) no fuese ni impar en senx , ni impar en
x
cosx , ni par en ( senx cosx ) , recurriríamos al cambio general tg t.
2
Este cambio se podría aplicar en cualquier caso, pero normalmente da
lugar a integrales racionales con polinomios de grado más elevado que
utilizando otro de los señalados.
x
Habría que expresar senx y cosx en función de tg :
2
x x x
2sen cos 2tg
x x x 2 2  2  2t
senx  sen2  2sen cos 
2 2 x
2 sen 2  cos 2 x x 1 t2
1  tg 2
2 2 2
x x x
 sen 2
cos 2 1  tg 2
2  1 t
2
x 2 x 2 x 2 2
cosx  cos 2  cos  sen 
2 2 2 sen 2 x  cos 2 x x 1 t2
1  tg 2
2 2 2