Si en la fraccin racional P(x)/Q(x), el denominador contiene un factor de

segundo grado sin races reales y elevado a una potencia mayor que 1, se verifica
la frmula de Hermite-Ostrogradski:

P(x)Q(x)dx=P1(x)Q1(x)+P2(x)Q2(x)dx,()
siendo Q1(x)=mcd{Q(x),Q(x)} y Q2(x)=Q(x)Q1(x).

P1(x) y P2(x) son polinomios con coeficientes indeterminados con grados

menores en una unidad que los grados de Q1(x) y Q2(x) respectivamente. Estos
coeficientes indeterminados se calculan derivando ambos miembros de la
igualdad ().
Como ejemplo, calculemos dx(x2+1)2.
El polinomio x2+1 no tiene races reales. En este caso, Q(x)=(x2+1)2.Entonces:

Q1(x)=mcd{(x2+1)2,2(x2+1)(2x)}=x2+1,Q2(x)=(x2+1)2x2+1=x2+1}.
La igualdad (), se transforma en:

dx(x2+1)2=Ax+Bx2+1+Cx+Dx2+1dx.
Derivando, obtenemos:

1(x2+1)2=A(x2+1)2x(Ax+B)
(x2+1)2+Cx+Dx2+1=A(x2+1)2x(Ax+B)+(Cx+D)(x2+1)(x2+1)2.
Igualando numeradores, identificando coeficientes y resolviendo el correspondiente sistema
obtenemos A=D=1/2 y B=C=0, con lo cual:

dx(x2+1)2=x2(x2+1)+12dxx2+1=x2(x2+1)+12arctanx+C.

Calcular 3x+5(x2+2x+2)2dx.
SOLUCIN

El polinomio x2+2x+2 no tiene races reales. Apliquemos la frmula de HermiteOstrogradski:

P(x)Q(x)dx=P1(x)Q1(x)+P2(x)Q2(x)dx.()
En este caso, Q(x)=(x2+2x+2)2. Entonces:

Q1(x)=mcd{(x2+2x+2)2,2(x2+1)
(2x+2)}=x2+2x+2,Q2(x)=(x2+2x+2)2x2+2x+2=x2+2x+2.
La igualdad (), se transforma en:

3x+5(x2+2x+2)2dx=Ax+Bx2+2x+2+Cx+Dx2+2x+2dx.
Derivando, obtenemos:

3x+5(x2+2x+2)2=A(x2+2x+2)(2x+2)(Ax+B)
(x2+2x+2)2+Cx+Dx2+2x+2=A(x2+2x+2)(2x+2)(Ax+B)+(Cx+D)
(x2+2x+2)(x2+2x+2)2.
Igualando numeradores, identificando coeficientes y resolviendo el
correspondiente sistema obtenemos A=1, B=1/2, C=0, y D=1, con lo cual:

3x+5(x2+2x+2)2dx=x122(x2+2x+2)+dxx2+2x+2=2x14(x2+2x+2
)+dx(x+1)2+1=2x14(x2+2x+2)+arctan(x+1)+C.