Math Labs

Bài 1

Cho dd là một số nguyên dương bất kỳ khác 22, 55 và 1313. Chứng minh rằng có thể tìm được hai phần tử phân biệt aa và bb trong tập {2,5,13,d}\{2, 5, 13, d\} sao cho ab−1ab - 1 không phải là số chính phương.
Bước 1 trên 6: Phát biểu lại yêu cầu
Hiểu nôm na

Số chính phương chỉ chiếm một vài lớp thặng dư theo bất kỳ modulo cố định nào, nên việc xét dd theo modulo 44 rồi modulo 1616 hẳn sẽ dẫn tới mâu thuẫn ở mọi trường hợp.

2d−1, 5d−1, 13d−12d-1,\ 5d-1,\ 13d-1
Phân tích chi tiết

Chỉ cần chứng minh rằng với mọi d∉{2,5,13}d\notin\{2,5,13\}, ít nhất một trong ba số 2d−12d-1, 5d−15d-1, 13d−113d-1 (ghép dd với từng số 2,5,132,5,13) không phải là số chính phương; cặp tương ứng chính là a,ba,b cần tìm.