Phần lý thuyết trên là hệ quả của : "Nếu [TEX]f(x)[/TEX] có nghiệm hữu tỉ [TEX]\dfrac{p}{q}[/TEX] với [TEX](p,q)=1[/TEX] thì [TEX]f(x)=(qx-p).g(x)[/TEX] với [TEX]g(x)[/TEX] là đa thức hệ số nguyên".
Chứng minh: Theo định lí Bezout thì [TEX]f(x)=(x-\dfrac{p}{q}).r(x)[/TEX] với [TEX]r(x)[/TEX] là đa thức hệ số nguyên.
Nhận thấy hệ số đa thức vế phải là số nguyên nên ta suy ra mọi hệ số của [TEX]r(x)[/TEX] đều chia hết cho q(do [TEX](p,q)=1[/TEX])
Đặt [TEX]r(x)=q.p(x)[/TEX] với [TEX]p(x)[/TEX] là đa thức hệ số nguyên thì ta có điều phải chứng minh.
Từ cái đó thì em có thể suy ra các tính chất phần lí thuyết đã ghi đó nhé.
Nếu bạn có thắc mắc gì có thể hỏi tại topic này nhé. Chúng mình luôn sẵn sàng hỗ trợ bạn.
Bạn cũng có thể tham khảo một số bài toán khác tại đây.