În teoria numerelor, teorema lui Lagrange este o afirmație, numită după Joseph-Louis Lagrange, despre condițiile în care valoarea unui polinom cu coeficienți întregi poate fi un multiplu al unui număr prim fix .
Dacă este un număr prim , este un polinom de grad cu coeficienți întregi , atunci [1] :
|
Fie un polinom peste inelul obținut prin înlocuirea fiecărui coeficient cu clasa de reziduuri corespunzătoare modulo
Lema 1. este divizibil cu dacă și numai dacă Demonstrație . If este divizibil cu atunci și , prin construcție, se încadrează în aceeași clasă de reziduuri ca și în clasa zero. Și invers, dacă acest calcul dă un rezultat dintr-o clasă de reziduuri care conține, adică divizibil cu ■
Lema 2. Un polinom , dacă nu este un polinom zero, nu poate avea mai multe rădăcini. Dovada. Deoarece este un număr prim, este un câmp și un polinom de grad diferit de zero în orice câmp are cel mult rădăcini, deoarece fiecare rădăcină adaugă un monom la extinderea polinomului ■
Demonstrarea teoremei . Dacă este un polinom zero, atunci, conform construcției sale, aceasta înseamnă că toți coeficienții sunt multipli . În caz contrar, din prima lemă rezultă că numărul de soluții ale ecuației incomparabile în valoare absolută coincide cu numărul de rădăcini ale polinomului. care, conform celei de-a doua leme, nu depăşeşte ■
Teorema lui Lagrange este valabilă nu numai pentru polinoamele peste inelul întregilor, ci și pentru polinoamele peste orice alt domeniu de integritate [3] .