COMPLMENTS SUR LES FRACTIONS RATIONNELLES (INTERLUDE)

1 Dcomposition en lments simples.

1. 1 Partie principale.
Rappelons d'abord qu'on note R(X) le corps des fractions rationnelles coecients rels, et C(X) celui des fractions rationnelles coecients complexes. Si la fraction F (X) = P (X)/Q(X) est donne sous forme irrductible (c'est--dire que P et Q n'ont pas de facteurs communs), on dit que les racines de P sont des zros de F , et que les racines de Q sont des p^les de F , avec les m^mes dnitions de multiplicit que pour o e les polyn^mes. (Ainsi, on dira que 2 est un p^le triple de (X 2 + 1)/X(X + 2)3 ). o o Dans C(X), les seules fractions sans p^les sont les polyn^mes (on dit encore que ce o o sont des fonctions entires). Toute fraction rationnelle peut s'crire de manire unique comme somme d'un polyn^me (appel sa partie principale), et d'une fraction R/Q telle o que le degr de R soit infrieur (strictement) au degr de Q ; nous n'allons chercher dcomposer que des fractions sans partie principale.

1. 2 Dcomposition dans C.
Plaons nous d'abord dans C ; d'aprs le thorme de d'Alembert, on peut crire
p

Q (de manire unique l'ordre des facteurs prs) sous la forme

les k sont les p^les de F (et les nk leurs multiplicits). Montrons que si F = P/Q, o avec deg(P ) < deg(Q), on peut crire de manire unique F = P1 /(X 0 )n0 + P2 /Q , o 0 n'est pas racine de Q (on vrie aisment qu'on doit avoir Q =
p

k=0

(X k )nk , o

En eet, A = (X 0 )n0 et Q sont premiers entre eux ; d'aprs le thorme de Bezout (voir chapitre 5), il existe donc des polyn^mes C et D tels que AC+Q D = 1 ; le rsultat o annonc plus haut s'en dduit aisment, en prenant P1 = DP et P2 = CP . (Mais cette solution est inutilisable en pratique (quoiqu'elle soit exploitable par ordinateur), et on doit plut^t se servir des mthodes qu'on verra en 2 pour obtenir P1 et P2 ) o

k=1

(X k )nk .)

Pk , il reste dcomnk k=0 (X k ) poser ces termes. crivant (division euclidienne par X k ) : Pk = (X k )Dk + k , et recommenant la division sur Dk jusqu' aboutir des constantes, on voit qu'on peut crire F (de manire unique) sous la forme gnrale suivante :
Une fois mis (par rcurrence) F sous la forme F =
p

F (X) = A(X) +
k=0

2k nk k 1k + + + 2 X k (X k ) (X k )nk

o A est un polyn^me (la partie principale de F ) et o les et les sont des constantes o complexes.

Interlude

p. 2

1. 3 Thorme d'unicit dans R.

Si P et Q sont coecients rels, le thorme prcdent s'applique encore, mais on sait que les racines non relles de Q sont conjugues 2 2. Il est alors possible de regrouper les termes correspondants dans la dcomposition de F , pour ne plus obtenir que des termes coecients rels, qui correspondent ce qu'on a appel au chapitre prcdent des lments simples de seconde espce. Il est un peu dlicat de donner une forme exacte (bien entendu inutile en pratique) ; avec les notations prcdentes, on a prsent (dcomposition en lments simples dans R) :
q

F (X) = A(X) +
k=0 q

d1k d2k dnk k + + + 2 X ak (X ak ) (X ak )nk

+
k =0

emk k X + fmk k e2k X + f2k e1k X + f1k + + + 2+b X +c 2 + b X + c )2 X (X (X 2 + bk X + ck )mk k k k k

o toutes les constantes ai , bi , ci , di , ei et fi sont relles, et o les discriminants b2 4ci i sont ngatifs.

2 Mthodes pratiques.
2. 1 Identication.
La forme de la dcomposition tant connue (c'est--dire que Q est factoris, mais qu'on ne conna^ pas les numrateurs de la dcomposition), on peut les obtenir par t identication en remettant les termes de la dcomposition au m^me dnominateur. e Mais cette mthode est vite inextricable pour des degrs un peu levs. On pensera toutefois l'utiliser dans les cas de deux lments simples de seconde espce, de degr 1 (elle est alors un peu plus rapide que les mthodes de p^les). o

2. 2 P^les simples. o
Si est un p^le simple de F , on peut crire F = a/(X ) + G, o G est une o fraction rationnelle dnie en , et o a/(X ) est l'lment simple correspondant ; il est clair alors que a = lim (X )F (X), et cette limite peut se calculer aisment (si on pose F = P/Q, et Q = (X )R, on a a = P ()/R(), ou encore, d'aprs la rgle de l'Hospital, a = ((X )P (X)) ()/Q ().) On obtient ainsi tous les termes correspondants aux p^les simples de F ; dans R, on peut obtenir aussi les o lments simples de seconde espce de la forme (aX +b)/(X 2 +X +) si on accepte de passer par les complexes. On remarquera alors que les lments simples associs des p^les simples conjugus sont eux-m^mes conjugus (ce qui vite de refaire le calcul), o e et que a/(X ) + a/(X ) = ((a + a)X ( + a ))/(X 2 + X + ) est l'lment a de seconde espce cherch.
X

2. 3 P^les multiples. o
La m^me ide (prendre la limite en de (X )n F (X)) pourrait encore s'appliquer, e mais il est plus astucieux de se ramener en 0 (par le changement de variable x = X ) et de remarquer que P (x)/xn Q(x) (qui est la forme obtenue) peut s'crire xn (a0 + a1 x + a2 x2 + + an xn + o(xn )) (prs de 0) ; par identication, on voit que les ai /(X )ni sont les lments simples de premire espce associs .

Interlude

p. 3

Exercices
1 ( ) Dcomposer 1/(x2 a) en lments simples dans R et dans C (a paramtre
rel).

2 (

) Dcomposer en lments simples dans R la fraction rationnelle

i=1

(x i)1 .

3 ( ) Dcomposer 1/(z 4 1) en lments simples dans C.

() Gnraliser 1/(z n 1).

4 ( ) Dcomposer 1/(x3 1) en lments simples dans R. 5 ( ) Dcomposer 1/(x2 1)2 en lments simples dans R. 6 (
) Dcomposer en lments simples dans R

x(x4

1 1)2

7 (

) Dcomposer en lments simples dans R

x8 (x 1)2 (x2 + x + 1)3