Chúng ta đã quen thuộc với việc sử dụng Tiêu chuẩn Schonemann -Eisenstein trong chứng minh đa thức bất khả qui. Ở bài viết này tôi sẽ trình bày thêm một số tiêu chuẩn khác có thể gọi là “sâu hơn” về tính bất khả qui của đa thức. Tuy nhiên để có một cách hệ thống tôi sẽ nhắc lại cả tiêu chuẩn Schonemann -Eisenstein ở đây.
Tiêu chuẩn 1.1. [Tiêu chuẩn Eisenstein] Cho
là đa thức với các hệ số nguyên và
là số nguyên tố sao cho
không chia hết cho
và các
chia hết cho
nhưng
không chia hết cho
Khi đó
là đa thức bất khả qui trên 
Tiêu chuẩn 1.2. [Tiêu chuẩn Eisenstein suy rộng] Cho
là đa thức với các hệ số nguyên và
là số nguyên tố sao cho
không chia hết cho
và các
chia hết cho
với
và
không chia hết cho
Nếu
biểu diễn được thành tích của hai đa thức với hệ số nguyên,
thì bậc của một trong hai đa thức
hoặc
không nhỏ hơn 
Ví dụ 1. Với bất kỳ số nguyên tố
đa thức
là bất khả quy trên 
Ví dụ 2. Với bất kỳ số nguyên dương
đa thức
là bất khả quy trên 
Ví dụ 3. Cho
là đa thức với các hệ số nguyên và
là số nguyên tố sao cho
không chia hết cho
nhưng
chia hết cho
không chia hết cho
Khi đó
có nhân tử bất khả qui bậc 
Tiêu chuẩn 2.1. [Tiêu chuẩn Osada] Cho
là đa thức với các hệ số nguyên và
là số nguyên tố. Nếu
thì
là bất khả qui.
Chứng minh: Giả sử
là khả qui. Khi đó
ở đó
là những đa thức bậc dương với các hệ số nguyên. Vì
là số nguyên tố nên một trong các số hạng tự do của
hay
phải bằng
chẳng hạn hệ số tự do của
bằng
Vậy giá trị tuyệt đối của tích các nghiệm của
phải bằng 1. Khi đó
phải có một nghiệm
với
Vì
cũng là nghiệm của
nên
Điều mâu thuẫn này chứng tỏ
là bất khả qui.
Tiêu chuẩn 2.2. [Tiêu chuẩn Osada mở rộng] Cho
là đa thức với các hệ số nguyên,
là số nguyên tố và
Nếu
thì
là bất khả qui trong ![\Bbb Z[x]. \Bbb Z[x].](https://s0.wp.com/latex.php?latex=%5CBbb+Z%5Bx%5D.&bg=ffffff&fg=000&s=0)
Ví dụ 4. Nếu
thì đa thức
bất khả quy trong ![\Bbb Z[x]. \Bbb Z[x].](https://s0.wp.com/latex.php?latex=%5CBbb+Z%5Bx%5D.&bg=ffffff&fg=000&s=0)
Ví dụ 5. Đa thức
luôn luôn là bất khả quy.
Tiêu chuẩn 3. [Tiêu chuẩn Polya] Cho
là đa thức bậc
với các hệ số nguyên. Đặt
Giả sử cho
số nguyên khác nhau
có
và các số
đều không là nghiệm của
Khi đó
là bất khả qui
Chứng minh. Giả sử
là một đa thức khả qui. Khi đó ta có biểu diễn
với
là những đa thức bậc dương, các hệ số nguyên. Hiển nhiên
Không hạn chế ta có thể giả thiết
Ta có
Ta thấy ngay
và
chia hết
Do đó $
Khi đó có
để
Vì
nên
Thật vậy: hiển nhiên
khi
Vậy
. Vậy
Mâu thuẫn này chỉ ra
là một đa thức bất khả qui
Ví dụ 6. [VMO 1984] Xác định đa thức bất khả quy
nhận
làm một nghiệm.
Vid dụ 7. Với các số nguyên phân biệt
ký hiệu đa thức
Nếu
và
là bất khả quy thì
là bất khả quy.
Ví dụ 8. Tìm tất cả các cặp
với số tự nhiên
và số thực
để đa thức
chia hết cho 
Tiêu chuẩn 4. [Tiêu chuẩn Perron]} Giả sử
với bậc
Nếu
thì
là đa thức bất khả quy trên
Chứng minh. Trước tiên ta chỉ ra
có đúng một nghiệm
với môđun
Giả sử
có nghiệm
Khi đó
Nếu
thì
mâu thuẫn giả thiết. Do đó
Giả sử
có các nghiệm phức
Ta có
Vì
và nguyên nên
Vì
nên có
chẳng hạn:
với
Đặt
thỏa mãn
Khi đó ta có hệ
và có
Do vậy
và suy ra
Vì
nên ta nhận được
Với số phức
có 
Như vậy, mọi nghiệm
của
đều phải thỏa mãn
Tóm lại, ta đã chỉ ra
có đúng một nghiệm
với môđun
Giả sử
là khả quy với
trong đó
và
Vì
chỉ có một nghiệm với môđun lớn hơn 1 nên một trong hai đa thức, chẳng hạn
chỉ có các nghiệm với môđun nhỏ hơn 1. Giả sử
là tất cả các nghiệm của
với
nguyên, khác 0. Ta có
mâu thuẫn. Như vậy, điều giả sử là sai và suy ra
là đa thức bất khả quy.
Tiêu chuẩn 5. [Tiêu chuẩn Brauer]} Giả sử đa thức
với bậc
Nếu các hệ số
thì
là đa thức bất khả quy trên 
Ví dụ 9. [IMO 1993]} Cho số tự nhiên
Chứng minh rằng, đa thức
là bất khả quy trong ![\Bbb Z[x]. \Bbb Z[x].](https://s0.wp.com/latex.php?latex=%5CBbb+Z%5Bx%5D.&bg=ffffff&fg=000&s=0)
Ví dụ 10. Đa thức
bất khả quy trong ![\Bbb Z[x]. \Bbb Z[x].](https://s0.wp.com/latex.php?latex=%5CBbb+Z%5Bx%5D.&bg=ffffff&fg=000&s=0)
………………………………Tiếp theo tôi sẽ viết bài tập …………………………..
Không có nhận xét nào:
Đăng nhận xét