Bài toán : Cho là các số nguyên dương thỏa mãn . Chứng minh rằng là một số chính phương.
Lời giải :
Cố định và xét tập
Gỉa sử không là số chính phương.
Trong các phần tử của ta chọn ra cặp thỏa mãn nhỏ nhất. Không mất tính tổng quát, ta giả sử
Xét phương trình bậc hai ẩn :
Phương trình này hiển nhiên có hai nghiệm là và .
Theo định lí :
Từ ta có là số nguyên.
Nếu thì . Mâu thuẫn
Nếu thì là một số chính phương (loại)
Nếu thì .
Từ đó :
Mâu thuẫn với tính nhỏ nhất của tổng .
Như vậy giả thiết phản chứng là sai, từ đó ta có phải là một số chính phương.
Pingback: Danh sách tổng hợp các bài toán số học | Đình Huy (Juliel)