Number theory 18
(Đề thi chọn đội tuyển HSG tỉnh Nghệ An năm 2011) Tìm tất cả các số nguyên dương thỏa mãn
Lời giải. Xét bổ đề: Nếu là số nguyên tố, là số nguyên dương lớn hơn thoả mãn thì hoặc hoặc .
Chứng minh. Gọi là số nguyên dương nhỏ nhất thoả mãn . Theo đề bài ta suy ra . Vậy . Do đó hoặc .
Nếu thì . Do đó . Do đó hay .
Nếu . Theo định lý Fermat nhỏ ta lại có nên . Vậy .
Quay lại bài toán. Phương trình tương đương với . Nhận thấy nguyên tố.
Gọi là một ước nguyên tố bất kì của . Ta suy ra hoặc . Vậy các ước của hoặc chia hết cho hoặc chia dư
Nếu . Khi đó với , điều này mâu thuẫn vì .
Nếu . Khi đó nên , mâu thuẫn.
Vậy phương trình không có nghiệm nguyên dương.
Tổng quát. Nếu nguyên tố lớn hơn , là số nguyên dương sao cho các số từng đôi một không có ước số chung lớn hơn . Chứng minh rằng phương trình sau không có nghiệm nguyên
Nhận xét. Bài toán này giống với bài toán trong IMO Shortlist 2006.