Nell'algebra, il teorema del resto fornisce un metodo per calcolare il resto di un polinomio intero quando viene diviso per un binomio della forma , senza dover eseguire la divisione. Il teorema afferma che il resto di tale divisione è uguale al valore che il polinomio assume per [1].
Dividendo un polinomio per un polinomio , si ottiene una relazione del tipo:
dove è un polinomio di grado minore di quello di . In particolare, se , la relazione diventa:
dove è una costante numerica. Sostituendo si ottiene:
Quindi ossia ciò che vogliamo dimostrare.