Soit ${\displaystyle K}$ un corps commutatif (par exemple ${\displaystyle \mathbb {Q} }$, ${\displaystyle \mathbb {R} }$ ou ${\displaystyle \mathbb {C} }$). L'anneau ${\displaystyle K[X]}$ des polynômes sur ${\displaystyle K}$ est commutatif et intègre.

Définitions

Définition : fraction rationnelle

Le corps des fractions rationnelles sur ${\displaystyle K}$, noté ${\displaystyle K(X)}$, est le corps des fractions de l'anneau ${\displaystyle K[X]}$.

Toute fraction rationnelle s'écrit donc sous la forme ${\displaystyle {\frac {P}{Q}}}$, où ${\displaystyle P}$ et ${\displaystyle Q}$ sont deux polynômes de ${\displaystyle K[X]}$ avec ${\displaystyle Q\neq 0}$.

Son degré est alors ${\displaystyle \deg P-\deg Q}$.

Définition : écriture irréductible d'une fraction rationnelle

L'écriture ${\displaystyle {\frac {P}{Q}}}$ d'une fraction rationnelle est dite irréductible si ${\displaystyle \operatorname {pgcd} (P,Q)=1}$, c'est-à-dire si ${\displaystyle P}$ et ${\displaystyle Q}$ sont premiers entre eux.

Une telle écriture existe et les autres écritures de la même fraction seront de la forme ${\displaystyle {\frac {SP}{SQ}}}$ (avec ${\displaystyle S}$ polynôme non nul), ce qui légitime la définition, donnée ci-dessus, du degré de la fraction.

Exemple : soit ${\displaystyle F={\frac {X^{4}-16}{X^{2}-3X+2}}}$. Après simplification par ${\displaystyle X-2}$, ${\displaystyle F={\frac {X^{3}+2X^{2}+4X+8}{X-1}}}$.

Définition : pôles et zéros d'une fraction rationnelle

Soit ${\displaystyle {\frac {P}{Q}}}$ une écriture irréductible d'une fraction rationnelle ${\displaystyle F}$.

• On dit que ${\displaystyle \alpha }$ est un zéro d’ordre ${\displaystyle n}$ de ${\displaystyle F}$ si

  ${\displaystyle \alpha }$ est une racine d’ordre ${\displaystyle n}$ de ${\displaystyle P}$.

• On dit que ${\displaystyle z}$ est un pôle d’ordre ${\displaystyle p}$ de ${\displaystyle F}$ si

  ${\displaystyle z}$ est une racine d’ordre ${\displaystyle p}$ de ${\displaystyle Q}$.

Exemple : reprenons la fraction ${\displaystyle F}$ de l'exemple précédent. On a ${\displaystyle F={\frac {(X-2\mathrm {i} )(X+2\mathrm {i} )(X+2)}{X-1}}}$ donc 1 est l'unique pôle (d'ordre 1) de ${\displaystyle F}$ et ${\displaystyle \{-2,\pm 2\mathrm {i} \}}$ sont les zéros (d'ordre 1) de ${\displaystyle F}$.

Théorème et définition : partie entière et partie fractionnaire d'une fraction rationnelle

Soit ${\displaystyle {\frac {P}{Q}}\in K(X)}$.

Il existe un unique couple de polynômes ${\displaystyle (E;R)}$ tels que ${\displaystyle {\frac {P}{Q}}=E+{\frac {R}{Q}}\mathrm {\;et\;} \deg R<\deg Q}$.

${\displaystyle E}$ est appelée la partie entière de ${\displaystyle {\frac {P}{Q}}}$ et ${\displaystyle {\frac {R}{Q}}}$ sa partie fractionnaire.

Pour le prouver, on s'appuie sur le théorème de division euclidienne dans ${\displaystyle K[X]}$.

• En algèbre, la décomposition en éléments simples d'une fraction rationnelle est son expression sous une somme de fractions dont chacune a pour dénominateur une puissance d'un polynôme irréductible et pour numérateur un polynôme de degré strictement inférieur au degré de ce polynôme irréductible.
• De même qu'on différencie un polynôme de la fonction polynomiale associée, il faut, plus généralement, différencier chaque fraction rationnelle de la fonction rationnelle' associée. Si cette identification ne pose pas de problème lorsque le corps de base est ${\displaystyle K=\mathbb {Q} ,\mathbb {R} \mathrm {\;ou\;} \mathbb {C} }$, elle n'est plus légitime sur les corps finis : prendre par exemple ${\displaystyle F={\frac {1}{X^{2}+X}}}$ sur le corps ${\displaystyle \mathbb {Z} /2\mathbb {Z} }$.