L’algorithme qui, donné un dividende et un diviseur polynomial non nul sur un domaine de coefficients, produit un quotient polynomial et un reste polynomial de degré strictement inférieur à celui du diviseur — à condition que le domaine de coefficients permette l’inversion des coefficients dominants (par ex. un corps).

Principe

Soustraire des multiples scalaires successifs du diviseur pour annuler les termes de plus haut degré du dividende ; l’inversibilité des coefficients dominants dans l’anneau de coefficients garantit l’existence et l’unicité du quotient et du reste, et la décroissance du degré à chaque étape assure la terminaison sur les corps.

Démonstration

Sur un corps, diviser x^3 - 1 par x - 1 : x^3 - 1 = (x - 1)(x^2 + x + 1) + 0, donc quotient x^2 + x + 1 et reste 0. Cette procédure sert à tester les racines et à effectuer le pgcd polynomial via l’algorithme euclidien pour F[x].

Mauvaise application

Appliquer l’algorithme de division standard dans des anneaux de coefficients où les coefficients dominants ne sont pas inversibles en s’attendant à l’unicité ; confondre division polynomiale et factorisation en irréductibles ou traiter la division de séries formelles de la même façon sans tenir compte de la convergence ou des termes infinis.

Conséquence

Lorsqu’elle est valable, elle fournit un quotient et un reste canoniques permettant des tests de reste pour les racines, des calculs itératifs de pgcd, la préparation de fractions partielles et des réductions modulaires en arithmétique polynomiale.

Inversion

Au lieu de diviser, on peut composer ou multiplier des polynômes de plus bas degré pour construire des polynômes de degré supérieur, transformant des problèmes de réduction en synthèse constructive de polynômes.

Limite

La division standard avec quotient et reste uniques vaut dans les anneaux de polynômes sur un corps (et plus généralement sur des anneaux où l’inversion du coefficient dominant est possible) ; sur des anneaux commutatifs arbitraires il faut utiliser la pseudo-division ou contrôler le contenu, et les séries formelles exigent des méthodes de séries infinies.

Tension sémantique

Souvent confondue avec la pseudo-division, la division euclidienne dans des anneaux non corps ou les opérations sur séries formelles ; tension entre la division algébrique exacte et la division analytique/avec séries divergentes.

Synthèse

La division de polynômes est l’algorithme fini qui élimine les termes de plus haut degré par soustraction multipliée du diviseur, produisant un quotient et un reste de degré strictement inférieur lorsque les coefficients permettent l’inversion des termes dominants ; c’est le noyau mécanique des pgcd polynomiaux et des tests de racines.