Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Division d'un polynôme
Résumé
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 :
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.
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Concepts associés (20)
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 : Ici l'expression deg S, si S désigne un polynôme, signifie le degré de S.
Algèbre
L'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Polynomial greatest common divisor
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common divisor of two integers. In the important case of univariate polynomials over a field the polynomial GCD may be computed, like for the integer GCD, by the Euclidean algorithm using long division. The polynomial GCD is defined only up to the multiplication by an invertible constant.