ta có $a^{3}-a+1\equiv 0(mod5)$ thấy rằng pt này $a\equiv -2(mod5)$là nghiệm duy nhất của pt trên trong khoảng $\left [ 1;5 \right ]$
có lại có $f'(3)\not\equiv 0(mod5)$
$\Rightarrow pt a^{3}-a+1\equiv 0(mod5^{k})$ có đúng một nghiêm trong khoảng $\left [ 1;5^{k} \right ]$ đây là điều mà ta phải chứng minh
Bổ đề trên chứng minh các bạn có thể tham khảo cuốn đa thức và áp dụng của Nguyễn Văn Mậu
tớ có thể nói qua là nó dùng quy nạp
Bên MS có một cách chứng minh khá hay không cần dùng tới bổ đề này mà chỉ cần giả sử pt đó có 2 nghiệm khác nhau là x và x' sau đó sau một vài phép biến đổi chúng bằng nhau
- minhduc3001 yêu thích