Định lý Bézout về số dư của phép chia đa thức (hay Định lý nhỏ Bézout, phiên âm tiếng Pháp là Bêzu), được đặt theo tên của nhà toán học người Pháp Étienne Bézout.
Định lý này phát biểu rằng: "Đa thức f ( x ) {\displaystyle f(x)} khi chia cho nhị thức x − a {\displaystyle x-a} được dư là R {\displaystyle R} thì R = f ( a ) {\displaystyle R=f(a)} ".
Ví dụ:
Đa thức f ( x ) = x 2 + x + 1 {\displaystyle f(x)=x^{2}+x+1} chia cho nhị thức ( x − 1 ) {\displaystyle (x-1)} được số dư là 3 thì f ( 1 ) = 1 2 + 1 + 1 = 3 {\displaystyle f(1)=1^{2}+1+1=3}
Nói đơn giản thì ta có x - 1 thì số dư là 3 vì tách -1 ra thành -(1) thì có thể thế 1 vào biểu thức trên sẽ ra 3 nếu là x + 1 thì số dư là 1 vì tách 1 thành 1 thì có thể thế vào biểu thức trên thì được số dư là 1
Nếu f ( x ) {\displaystyle f(x)} chia hết cho ( x − a ) {\displaystyle (x-a)} thì f ( a ) {\displaystyle f(a)} = 0. Nếu f ( a ) {\displaystyle f(a)} = 0 thì f ( x ) {\displaystyle f(x)} chia hết cho x − a {\displaystyle x-a} .