Fractions rationnelles
Guide
Définition d'un élément simple
On appelle
fraction rationnelle (sur

) toute fonction
définie par une relation de la forme
où
et
sont des polynômes à coefficients réels.
Par exemple,
ou encore
On note
l'ensemble des fractions rationnelles sur

.
On appelle
élément simple de
une fraction rationnelle d'un des deux types suivants :
- type "racine réelle" :
avec
et
des nombres réels et
un entier.
Cet élément simple a pour numérateur une constante et pour dénominateur une puissance d'un polynôme
où
est un réel.
- type "racines complexes conjuguées" :
où
,
sont des réels, où
,
sont des réels vérifiant
et où
est un entier naturel non nul.
Cet élément simple a pour numérateur un polynôme de degré 1 et
pour dénominateur une puissance d'un trinôme sans racine réelle.
Théorème
Théorème
Théorème : Toute fraction rationnelle sur

s'écrit de façon unique comme somme d'un polynôme (appelé partie entière) et d'éléments simples (appelé partie polaire) dont le type est déterminé par le dénominateur de la fraction rationnelle qu'on décompose.
Cela sera précisé avec les techniques pour les obtenir dans
quelques cas particuliers que l'on conseille de regarder d'abord.
Des
techniques
ou algorithmes plus systématiques sont expliquées d'autre part. Elles sont
facilement programmables. Il faut quand même insister sur le fait qu'il y a derrière un problème difficile dont on ne parle pas : trouver les pôles et en particulier les pôles simples de la fraction rationnelle
, c'est-à-dire les racines du polynôme
.
Théorème général de décomposition en éléments simples sur R
Théorème général de décomposition en éléments simples sur R
Soit
une fraction rationnelle avec
avec les u
i des réels, les p
j et les q
j des réels tels que
et les n
i et les m
j des entiers strictement positifs.
Théorème : Il existe une et une seule décomposition en éléments simples de P(x)/Q(x) et elle est de la forme :
avec
-
E un polynôme nul ou de degré égal à deg(P)-deg(Q),
-
les Ai,l, les Bj,k et les Cj,k des réels
De plus si la fraction est irréductible (c'est-à-dire qu'elle ne se simplifie pas),
les A
i,ni sont tous non nuls et
les polynômes B
j,mj+C
j,mjx sont tous non nuls
(c'est-à-dire que soit B
j,mj, soit C
j,mj est non nul)
Calcul de la partie entière
Proposition :
La partie entière
de la fraction rationnelle
est le quotient de
par
dans la division euclidienne de
par
.
Ainsi :
avec
)
et