# Division d'un polynôme

En algèbre, l'anneau K[X] des polynômes à une indéterminée X et à coefficients dans un corps commutatif K, comme celui des nombres rationnels, réels ou complexes, dispose d'une division euclidienne, qui ressemble formellement à celle des nombres entiers. Si A et B sont deux polynômes de K[X], avec B non nul, il existe un unique couple (Q, R) de polynômes de K[X] tel que :
$A=BQ+R\quad {\text{avec}}\quad {\text{deg }}R<{\text{deg }}B.$
Ici l'expression deg S, si S désigne un polynôme, signifie le degré de S. Cette division confère à l'ensemble des polynômes une arithmétique analogue à celle des nombres entiers, avec pour conséquence, l'identité de Bézout, le lemme d'Euclide ou encore un équivalent du théorème fondamental de l'arithmétique, où les nombres premiers sont remplacés par les polynômes unitaires irréductibles (cf. l'article « Arithmétique des polynômes »).
Il existe une deuxième division, dite selon les puissances croissantes. Elle est utilisée pour les fractions rationnelles et permet une décomposition en éléments simples.

## Division euclidienne
### Préambule

En 1801, Carl Friedrich Gauss publie son premier livre de mathématiques, intitulé Disquisitiones arithmeticae. Il démontre en particulier l'existence d'une nouvelle figure constructible à la règle et au compas, le polygone régulier à 17 côtés. La méthode qu'il utilise consiste à considérer un polynôme, non comme une fonction mais comme élément d'une structure, que l'on appelle maintenant anneau, doté d'une addition et d'une multiplication. Les éléments ne sont pas tous inversibles, rapprochant en cela cette structure de celle des nombres entiers. Cette analogie est rendue plus profonde si les coefficients des polynômes sont choisis dans un corps, c'est-à-dire un anneau dans lequel tous les éléments différents de 0 possèdent un inverse. La structure dispose alors d'une division euclidienne à l'image de celle des entiers.
Sur un anneau commutatif, c'est-à-dire dont la multiplication est commutative, disposant d'une division euclidienne, on retrouve les résultats principaux de l'arithmétique élémentaire. Gauss s'exprime ainsi, en parlant de l'usage des techniques de la théorie algébrique des nombres (qu'il appelle arithmétique transcendante) pour les polynômes : « La théorie de la division du cercle ou des polygones réguliers n'appartient pas par elle-même à l'Arithmétique, mais ses principes ne peuvent être tirés que de l'Arithmétique transcendante. Ce résultat pourra sembler aux géomètres, aussi inattendu que les vérités nouvelles qui en dérivent, et qu'ils verront, j'espère, avec plaisir. »
Son objectif est de trouver les racines du polynôme cyclotomique, c'est-à-dire de la forme X$^n$ – 1, où n est un entier strictement positif. Comme ℚ[X] possède une structure analogue à celle des entiers, on y retrouve l'équivalent des nombres premiers, appelés ici facteurs irréductibles. Ce résultat se démontre exactement comme pour les nombres entiers. Ces facteurs portent le nom de polynômes cyclotomiques. La démonstration qu'il propose (et qui se trouve dans l'article associé) utilise un autre anneau de polynômes, sur le corps ℤ/pℤ, où p désigne un nombre premier. Cette structure dispose encore d'une division euclidienne et donc d'une arithmétique analogue à celle des nombres entiers.
Augustin Louis Cauchy étudie l'anneau ℂ[X] des polynômes à coefficients complexes et présente, en 1847, une démonstration de l'analogue, pour cet anneau, du dernier théorème de Fermat. L'anneau ℂ[X] possède, par rapport à celui des nombres entiers, quelques propriétés supplémentaires (tout élément inversible possède n racines n-ièmes de l'unité), ce qui permet à Cauchy de conclure et d'ouvrir une porte à de nouvelles méthodes de démonstrations.

### Théorème et définitions

Dans le reste de l'article K désigne un corps commutatif, qui peut par exemple être égal à ℚ celui des nombres rationnels, ℝ celui des réels ou ℂ celui des complexes. Le résultat principal du paragraphe découle d'un théorème :
Théorème de la division euclidienne des polynômes$^,$ — Soient A et B deux polynômes à coefficients dans K, avec B non nul, il existe un unique couple (Q, R) tel que A est égal à BQ + R et le degré de R est strictement plus petit que celui de B.
Quotient et reste — Dans la division euclidienne ci-dessus de A par B, le polynôme Q est appelé le quotient et R reste.
Ce couple (Q, R) n'est unique que parce qu'on a imposé que le degré de R soit strictement plus petit que celui de B. Si A est égal à X$^3$ – X$^2$ + 1 et B à X$^2$, dans les deux égalités suivantes, seule la première correspond à la division euclidienne de A par B car dans la deuxième, –2X$^2$ + 1 est de même degré que B :
$X^{3}-X^{2}+1=X^{2}(X-1)+1\quad {\text{et}}\quad X^{3}-X^{2}+1=X^{2}(X+1)+(-2X^{2}+1)$
Le degré, qui sert à définir la division euclidienne, est appelé un « stathme » (cf. l'article « Anneau euclidien »).

### Exemple et algorithme

La démonstration offre aussi un algorithme de calcul, analogue à celui de la division euclidienne dans les entiers. Illustrons-le sur l'exemple suivant
$A=X^{5}-X^{4}-X^{3}+3X^{2}-2X\quad {\text{et}}\quad B=X^{2}-X+1$
Dans un premier temps, on calcule le couple de polynômes (P$_1$, R$_1$) de l'égalité (2). Le polynôme P$_1$ est un monôme égal à X$^3$ (trouvé en divisant le membre de plus haut degré de A (1.X$^5$) par le membre de plus haut degré de B (1.X$^2$)) et R$_1$ vérifie l'égalité :
$R_{1}=A-P_{1}\cdot B=\underbrace {X^{5}-X^{4}-X^{3}+3X^{2}-2X} _{A}-\underbrace {X^{3}} _{P_{1}}\underbrace {(X^{2}-X+1)} _{B}=-2X^{3}+3X^{2}-2X$
Ce que l'on écrit :
$\left.{\begin{matrix}A&=&X^{5}&-X^{4}&-X^{3}&+3X^{2}&-2X\\-P_{1}.B&=&-X^{5}&+X^{4}&-X^{3}&&\\R_{1}&=&&&-2X^{3}&+3X^{2}&-2X\\\end{matrix}}\right|{\begin{matrix}X^{2}&-X&+1&=&B\\X^{3}&&&=&P_{1}\\\\\end{matrix}}$
Le même calcul est effectué sur R$_1$ pour calculer le couple (P$_2$, R$_2$)
$R_{2}=R_{1}-P_{2}\cdot B=\underbrace {-2X^{3}+3X^{2}-2X} _{R_{1}}-\underbrace {-2X} _{P_{2}}\underbrace {(X^{2}-X+1)} _{B}=X^{2}$
Ce qui permet de compléter :
$\left.{\begin{matrix}A&=&X^{5}&-X^{4}&-X^{3}&+3X^{2}&-2X&+0\\-P_{1}.B&=&-X^{5}&+X^{4}&-X^{3}&&&\\R_{1}&=&&&-2X^{3}&+3X^{2}&-2X&\\-P_{2}.B&=&&&+2X^{3}&-2X^{2}&+2X&\\R_{2}&=&&&&+X^{2}&&\\\end{matrix}}\right|{\begin{matrix}X^{2}&-X&+1&=&B\\X^{3}&-2X&&=&P_{1}+P_{2}\\\\\\\\\end{matrix}}$
Une dernière étape permet de conclure :
$\left.{\begin{matrix}A=&X^{5}&-X^{4}&-X^{3}&+3X^{2}&-2X&+0\\&-X^{5}&+X^{4}&-X^{3}&&&\\&&&-2X^{3}&+3X^{2}&-2X&\\&&&+2X^{3}&-2X^{2}&+2X&\\&&&&+X^{2}&&\\&&&&-X^{2}&+X&-1\\R=&&&&&+X&-1\\\end{matrix}}\right|{\begin{matrix}X^{2}&-X&+1&=&B\\X^{3}&-2X&+1&=&Q\\\\\\\\\\\\\end{matrix}}$
L'identité de la division euclidienne est maintenant établie :
$\underbrace {X^{5}-X^{4}-X^{3}+3X^{2}-2X} _{A}=\underbrace {(X^{2}-X+1)} _{B}\underbrace {(X^{3}-2X+1)} _{Q}+\underbrace {(X-1)} _{R}$
Une présentation plus compacte et efficace de ces calculs est donnée dans l'article Division synthétique.

## Division selon les puissances croissantes
### Théorème et définition

L'analyse utilise aussi une autre division, dite selon les puissances croissantes. Elle joue un double rôle, pour les fonctions rationnelles et les développements limités. Intégrer une fonction rationnelle est aisé une fois qu'elle est décomposée en éléments simples. L'algorithme de décomposition fait appel à la division selon les puissances croissantes. Pour calculer le développement limité d'une fonction, s'exprimant sous forme de fraction, la méthode la plus simple est parfois de calculer le développement limité du numérateur et du dénominateur. La division selon les puissances croissantes offre un développement limité de la fraction.
Le théorème établissant l'existence et l'unicité de cette division est un peu analogue au précédent, sur la division euclidienne :
Théorème de la division selon les puissances croissantes — Soient A et B deux polynômes à coefficients dans K. On suppose que le terme constant de B n'est pas nul et on note p un entier supérieur ou égal à 0. Il existe un unique couple de polynômes (Q, R) tel que A soit égal à BQ + X$^{p+1}$R et tel que le degré de Q soit inférieur ou égal à p.
Le vocabulaire est le même que celui de la division euclidienne, on parle encore d'identité de la division selon les puissances croissantes, de quotient et de reste.
La démonstration est analogue à la précédente :
* Le couple (Q, R), s'il existe, est unique :
On suppose l'existence de deux couples (Q$_1$, R$_1$), (Q$_2$, R$_2$) résultat de la division selon les puissances croissantes de A par B ; on va montrer qu'ils sont égaux. On dispose des égalités :
$A=BQ_{1}+X^{p+1}R_{1},\quad A=BQ_{2}+X^{p+1}R_{2}\quad {\text{donc}}\quad (1)\quad B(Q_{1}-Q_{2})+X^{p+1}(R_{1}-R_{2})=0$
Le polynôme X$^{p+1}$(R$_1$ - R$_2$) ne contient aucun terme de degré strictement inférieur à p + 1. Comme Q$_1$ et Q$_2$ sont de degrés inférieurs ou égaux à p leur différence est un polynôme de degré inférieur ou égal à p. Comme B contient un terme constant, si Q$_1$ - Q$_2$ n'est pas nul, B(Q$_1$ - Q$_2$) est un polynôme contenant au moins un monôme non nul de degré inférieur ou égal à p. Ce monôme ne peut être annulé par le polynôme X$^{p+1}$(R$_1$ + R$_2$) car tous ses monômes sont au moins de degré p + 1. On en déduit que Q$_1$ est égal à Q$_2$ et, par conséquent que R$_1$ est égal à R$_2$.
* Il existe un couple (Q, R) satisfaisant l'identité de la division selon les puissances croissantes :
Cette fois ci, il est plus simple de voir les polynômes A et B dans l'autre sens, avec n désignant le maximum des degrés de A et de B :
$A=a_{0}+\cdots +a_{n-1}X^{n-1}+a_{n}X^{n}\quad {\text{et}}\quad B=b_{0}+\cdots +b_{n-1}X^{n-1}+b_{n}X^{n}\quad {\text{avec}}\quad b_{0}\neq 0\;$
On raisonne encore une fois par récurrence sur p. Si p est égal à 0 :
$A={\frac {a_{0}}{b_{0}}}B+XR_{0}\quad {\text{avec}}\quad R_{0}=\left(a_{1}-{\frac {a_{0}b_{1}}{b_{0}}}\right)+\left(a_{2}-{\frac {a_{0}b_{2}}{b_{0}}}\right)X+\cdots +\left(a_{n}-{\frac {a_{0}b_{n}}{b_{0}}}\right)X^{n-1}\;$
Le degré de Q est moins l'infini si a$_0$ est nul, soit nul sinon. Il est toujours inférieur ou égal à 0, la valeur de p.
On suppose maintenant le résultat vrai pour toute valeur inférieure ou égale à p et montrons-le à l'ordre p + 1. L'hypothèse de récurrence montre l'existence d'un polynôme R$_p$ tel que :
$(2)\quad A=Q_{p}B+X^{p+1}R_{p}\quad {\text{avec}}\quad \deg Q_{p}\leq p$
Il est encore possible d'appliquer la division selon les puissances croissantes à l'ordre 0 sur R$_p$ :
$\exists \lambda _{p}\in \mathbb {K} ,\;\exists R_{p+1}\in \mathbb {K} [X]\quad (3)\quad R_{p}=\lambda _{p}B+XR_{p+1}$
En remplaçant la valeur de R$_p$ dans l'égalité (2), on obtient :
$A=Q_{p}B+X^{p+1}(\lambda _{p}B+XS_{p})=Q_{p+1}B+X^{p+2}R_{p+1}~$
en ayant posé
$Q_{p+1}=Q_{p}+\lambda _{p}X^{p+1}\quad {\text{si bien que}}\quad \deg Q_{p+1}\leq p+1~,$
ce qui établit la proposition.

### Exemple et algorithme

La méthode de calcul est exactement la même que celle du paragraphe précédent, il suffit d'ordonner le polynôme dans le sens inverse. Illustrons-le avec les polynômes suivants :
$A=1+3X+2X^{2}-7X^{3},\quad B=1+X-2X^{2}.$
On obtient, si p est égal à 3 :
$\left.{\begin{matrix}1&+3X&+2X^{2}&-7X^{3}&&\\&+2X&+4X^{2}&-7X^{3}&&\\&&+2X^{2}&-3X^{3}&&\\&&&-5X^{3}&+4X^{4}&\\&&&&+9X^{4}&-10X^{5}\end{matrix}}\right|{\begin{matrix}1&+X&-2X^{2}&\\1&+2X&+2X^{2}&-5X^{3}\\\\\\\\\end{matrix}}$
Ce qui s'écrit :
$\underbrace {1+3X+2X^{2}-7X^{3}} _{A}=\underbrace {(1+X-2X^{2})} _{B}\underbrace {(1+2X+2X^{2}-5X^{3})} _{Q}+X^{4}\underbrace {(9-10X)} _{R}$

### Applications
#### Développement limité de quotient

Pour obtenir le développement limité à l'ordre n en 0 d'un quotient dont le dénominateur n'est pas nul en 0, il suffit d'effectuer la division selon les puissances croissantes des parties régulières à l'ordre n des développements limités des numérateur et dénominateur respectivement ; le quotient est la partie régulière du développement limité cherché, et l'on peut s'abstenir de calculer les termes de degrés strictement supérieurs à n dans la colonne des restes.
Par exemple, pour calculer le développement limité à l'ordre 5 en 0 de la fonction tangente, on considère les parties régulières respectives du sinus et du cosinus:
$A=X-(1/6)X^{3}+(1/120)X^{5},\quad B=1-(1/2)X^{2}+(1/24)X^{4}$
puis on effectue la division selon les puissances croissantes à l'ordre 5, en tronquant les restes partiels successifs:
$\left.{\begin{array}{rrrrr}X&-(1/6)X^{3}&+(1/120)X^{5}&\\&(1/3)X^{3}&-(1/30)X^{5}&\cdots \\&&(2/15)X^{5}&\cdots \\&&&\cdots \end{array}}\right|{\begin{array}{rrr}1&-(1/2)X^{2}&+(1/24)X^{4}\\X&+(1/3)X^{3}&+(2/15)X^{5}\\\\\\\end{array}}$
d'où le résultat cherché (la partie régulière étant en fait valable à l'ordre 6 par un argument de parité) :
$\tan(x)=x+{\frac {1}{3}}x^{3}+{\frac {2}{15}}x^{5}+o(x^{5}).$

#### Décomposition en éléments simples

La division selon les puissances croissantes permet, après un changement de variable affine pour se ramener à un pôle en 0, de déterminer les éléments simples correspondant à un pôle d'ordre quelconque.

## Anneau commutatif unitaire intègre
### Absence de division euclidienne

La démonstration de l'existence d'une division euclidienne d'un polynôme par un polynôme non nul utilise le fait que le diviseur est non seulement non nul mais de coefficient dominant inversible. Une question naturelle est celle de l'existence d'une division euclidienne pour l'anneau A[X] des polynômes à coefficients dans un anneau (commutatif unitaire) intègre A, comme l'anneau ℤ des entiers (dans ce cas A[X] désigne l'anneau des polynômes à coefficients entiers) ou l'anneau ℝ[Y] des polynômes en une indéterminée Y à coefficients réels (dans ce cas, A[X] désigne l'anneau ℝ[X, Y] des polynômes en deux indéterminées).
Cas d'un anneau (commutatif unitaire) intègre — Soit A un anneau intègre. Si A n'est pas un corps, alors l'anneau des polynômes à coefficients dans A ne dispose d'aucune division euclidienne.
En effet, cet anneau n'est pas euclidien ni même seulement principal, car il n'est même pas de Bézout, c'est-à-dire qu'il ne vérifie pas la propriété de Bézout : A contient au moins un élément a non nul et non inversible, et le polynôme constant 1, PGCD des deux polynômes X et a, ne s'écrit pas sous la forme XU + aV.

### Palliatifs

L'analyse de la démonstration de l'existence d'une division euclidienne montre que :
Proposition — Soient N et M deux polynômes à coefficients dans A, avec M non nul. Si le coefficient dominant de M est inversible alors, il existe un unique couple (Q, R) satisfaisant à l'identité de la division euclidienne de N par M :
$N=MQ+R\quad {\text{avec}}\quad \deg R<\deg M.$
Dans le cas général, il existe encore un résultat qui s'applique :
Proposition — Soient N et M deux polynômes à coefficients dans A, avec M non nul. Il existe un élément non nul λ de A et un unique couple (Q, R) satisfaisant à l'identité de la division euclidienne de λN par M :
$\lambda N=MQ+R\quad {\text{avec}}\quad \deg R<\deg M$
Pour le démontrer, on construit K le corps des fractions de A, exactement comme on construit le corps des nombres rationnels sur l'anneau des entiers ou le corps des fractions rationnelles sur les polynômes. Les polynômes M et N peuvent aussi être vus comme des polynômes à coefficients dans K, de la même manière qu'un polynôme à coefficients entiers peut être aussi vu comme un polynôme à coefficients rationnels. Dans K[X], la division euclidienne est possible et il existe un couple Q$_1$ et R$_1$ de polynômes à coefficients dans K satisfaisant à l'identité de la division euclidienne de N par M et :
$N=MQ_{1}+R_{1}\quad {\text{avec}}\quad \deg R_{1}<\deg M$
Soit λ un multiple des dénominateurs des coefficients de Q$_1$ et R$_1$, la multiplication de l'égalité précédente par λ montre que :
$\lambda N=MQ+R\quad {\text{avec}}\quad \deg R<\deg M,\quad Q=\lambda Q_{1},\;R=\lambda R_{1}$
Comme λ est un multiple des dénominateurs des coefficients de Q$_1$ et R$_1$, par définition de Q et R, ce sont bien des polynômes à coefficients dans A. L'unicité est une conséquence de celle de la division euclidienne dans un anneau de polynômes à coefficients dans un corps. L'égalité de la division peut être vue comme l'identité de la division euclidienne de λN par M dans K, l'unicité de cette identité montre celle recherchée.
    Remarque 1 : Attention, ce n'est pas λ qui est unique, ce sont les polynômes Q et R, une fois λ choisi.
    Remarque 2 : Si A n'est pas commutatif, il existe encore certains résultats ; ils sont décrits dans l'article « Anneau non commutatif de polynômes ».