Complément : décomposition en éléments simples

Pour faire du calcul intégral, il est nécessaire de savoir factoriser les polynômes et décomposer les fractions rationnelles.

Définition

Les éléments irréductibles non constants dans l'ensemble des polynômes à coefficients réels sont les polynômes de degré 1 1 et les polynômes de degré 2 2 à discriminant strictement négatif. On appelle élément simple toute fraction rationnelle de la forme S B n S over B^n avec deg S < deg B "deg" S < "deg" B , où S S et B B sont des polynômes, n n un entier naturel, et B B un élément irréductible.

Fondamental

Toute fraction rationnelle s'écrit de façon unique comme somme d'un polynôme et d'éléments simples.

Exemple

Exemple

Soit F ( x ) = x 3 + 5 x 2 + 8 x ( x + 2 ) ( x + 3 ) F(x) = {x^3 + 5 x^2 + 8 x } over {(x+2)(x+3)}

On effectue la division, on obtient :

x 3 + 5 x 2 + 8 x ( x + 2 ) ( x + 3 ) = x + 2 x ( x + 2 ) ( x + 3 ) {x^3 + 5 x^2 + 8 x } over {(x+2)(x+3)} = x + {2 x} over {(x+2)(x+3)}

On écrit ensuite

2 x ( x + 2 ) ( x + 3 ) = a ( x + 2 ) + b ( x + 3 ) {2 x} over {(x+2)(x+3)} = a over (x+2) + b over (x+3)

a a et b b étant des réels que l'on peut trouver par identification.

On obtient :

F ( x ) = x + 2 x ( x + 2 ) ( x + 3 ) = x 4 ( x + 2 ) + 6 ( x + 3 ) F(x)= x + {2 x} over {(x+2)(x+3)} = x- 4 over (x+2) + 6 over (x+3)

Cas les plus fréquents

Supposons que P ( x ) Q ( x ) {P(x)} over {Q(x)} soit écrit sous la forme : P ( x ) Q ( x ) = E ( x ) + P 1 ( x ) Q ( x ) {P(x)} over {Q(x)} = E(x) + {P_1(x)} over {Q(x)} , avec deg P 1 < deg Q "deg" P_1 < "deg" Q , a a , b b , c c , d d , α %alpha , β %beta , γ %gamma , δ %delta , λ %lambda , μ %mu sont des constantes réelles.

  • Q Q admet des racines réelles d'ordre supérieur à 1 : exemple

    P 1 ( x ) ( x a ) 3 ( x b ) = α ( x a ) 3 + β ( x a ) 2 + γ ( x a ) + δ ( x b ) {P_1(x)} over {(x-a)^3(x-b)} = {%alpha} over {(x-a)^3} + {%beta} over {(x-a)^2} + {%gamma} over {(x-a)} + {%delta} over {(x-b)}

  • Q Q admet des racines réelles complexes conjuguées : exemple

    P 1 ( x ) ( x a ) ( x b ) ( x 2 + cx + d ) = α ( x a ) + β ( x b ) + γ x + δ ( x 2 + cx + d ) , avec c 2 4 d < 0 {P_1(x)} over {(x-a)(x-b)(x^2 + cx + d)} = {%alpha} over {(x-a)} + {%beta} over {(x-b)} + {%gamma x + %delta} over {(x^2 + cx + d)} " , avec " c^2 - 4 d < 0

  • Q Q admet des racines réelles complexes conjuguées d'ordre supérieur à 1 : exemple

    P 1 ( x ) ( x a ) ( x 2 + cx + d ) 2 = α ( x a ) + γ x + δ ( x 2 + cx + d ) 2 + λ x + μ ( x 2 + cx + d ) , avec c 2 4 d < 0 {P_1(x)} over {(x-a)(x^2 + cx + d)^2} = {%alpha} over {(x-a)} + {%gamma x + %delta} over {(x^2 + cx + d)^2} + {%lambda x + %mu} over {(x^2 + cx + d)} " , avec " c^2 - 4 d < 0

Exercice classique

Exemple

Calculer l'intégrale :

J = 2 3 x 2 2 ( x 2 + 1 ) ( x 1 ) dx J = int from 2 to 3 {{x^2 - 2} over {(x^2 + 1)(x - 1)}} dx

On doit avoir :

x 2 2 ( x 2 + 1 ) ( x 1 ) = ax + b ( x 2 + 1 ) + c ( x 1 ) {x^2 - 2} over {(x^2 + 1)(x - 1)} = {ax + b} over {(x^2 + 1)} +c over {(x - 1)}

a a et b b et c c étant des réels que l'on peut trouver par identification.

On obtient :

x 2 2 ( x 2 + 1 ) ( x 1 ) = 3 2 × x + 1 ( x 2 + 1 ) 1 2 ( x 1 ) {x^2 - 2} over {(x^2 + 1)(x - 1)} ={3 over 2}times {{x + 1} over {(x^2 + 1)}} - 1 over {2(x - 1)}

Donc :

J 2 = 2 3 x 2 2 ( x 2 + 1 ) ( x 1 ) dx = 3 2 2 3 x + 1 ( x 2 + 1 ) dx 1 2 2 3 dx ( x 1 ) J_2 = int from 2 to 3 {{x^2 - 2} over {(x^2 + 1)(x - 1)}} dx = {3 over 2} int from 2 to 3 {{x+1} over {(x^2 + 1)}} dx - {1 over 2} int from 2 to 3 { dx over {(x - 1)}}

Donc :

J 2 = 3 2 2 3 x ( x 2 + 1 ) dx + 3 2 2 3 1 ( x 2 + 1 ) dx 1 2 2 3 1 ( x 1 ) dx J_2 = {3 over 2} int from 2 to 3 {{x} over {(x^2 + 1)}} dx + {3 over 2} int from 2 to 3 {{1} over {(x^2 + 1)}} dx - {1 over 2} int from 2 to 3 { 1 over {(x - 1)} dx}

Et donc :

J 2 = [ 3 4 ln ( x 2 + 1 ) + 3 2 arctan x 1 2 ln | x 1 | ] 2 3 J_2 = left [ {3 over 4} ln (x^2 + 1)+ {3 over 2} arctan x - {1 over 2} ln abs {x - 1}right ]_2^3