Pour un polynôme à coefficients entiers a_n x^n + ... + a_0 avec a_n et a_0 non nuls, toute racine rationnelle écrite sous forme irréductible p/q (q>0, pgcd(p,q)=1) doit vérifier p | a_0 et q | a_n.

Principe

Des contraintes sur numérateurs et dénominateurs réduisent la recherche infinie de racines rationnelles à un ensemble fini déterminé par les diviseurs des coefficients dominant et constant ; ceci repose sur l'intégralité et les propriétés d'annulation.

Démonstration

Exemple : pour 2x^2 + 3x − 5, les racines rationnelles candidates p/q satisfont p | −5 et q | 2, donc ±1, ±5, ±1/2, ±5/2. Vérifier p(1)=0 montre que x=1 est bien une racine et donc (x−1) est un facteur.

Mauvaise application

Appliquer le théorème à des polynômes dont les coefficients ne sont pas entiers, ou traiter les candidats listés comme des racines garanties plutôt que des conditions nécessaires ; oublier de réduire p/q en forme irréductible rend les conditions de divisibilité invalides.

Conséquence

Transforme la recherche de racines en un test fini et concret, souvent première étape pour factoriser des polynômes entiers ; réduit les possibilités de racines rationnelles et conduit fréquemment à une factorisation complète combiné à la division synthétique.

Inversion

La réciproque est fausse : si p divise a_0 et q divise a_n, cela ne garantit pas que p/q soit une racine. Le contraste souligne que le théorème donne des conditions nécessaires mais non suffisantes.

Limite

Exige des coefficients entiers et une racine rationnelle écrite sous forme irréductible ; les généralisations à d'autres anneaux de coefficients demandent des hypothèses d'intégralité analogues. Il n'identifie pas les racines irrationnelles ou complexes.

Tension sémantique

Tension entre la liste nécessaire de candidats et les racines effectives : le théorème peut générer beaucoup de faux candidats pour des polynômes de haut degré ; il rivalise avec d'autres tests (contrôles modulaires, bornes) pour l'élimination efficace.

Synthèse

Le Théorème des racines rationnelles fournit un crible arithmétique fini pour les zéros rationnels possibles de polynômes entiers : toute racine rationnelle doit provenir de diviseurs du terme constant sur diviseurs du coefficient dominant, convertissant une recherche a priori infinie en une liste finie gérable.