Bài 2.

1. Cho a là số nguyên lẻ và không chia hết cho 3. Chứng minh rằng a2 − 20212 chia hết cho 24.

2. Cho các số nguyên tố p, q thỏa mãn p + q 2 là số chính phương. Chứng minh rằng:

a) p = 2q + 1.
b) p2 + q 2021 không là số chính phương.

Lời giải

1. Ta có: a2 − 20212 = (a − 2021)(a + 2021).

Vì a lẻ nên a = 2k +1, k ∈ Z, do đó: a2 −20212 = (2k −2020)(2k +2022) = 4(k −1010)(k +1011).
Mặt khác: k − 1010 và k + 1011 không cùng tính chẵn lẽ.
Suy ra: a2 − 20212 chia hết cho 8.
Vì a không chia hết cho 3 nên a = 3l + 1 hoặc a = 3l + 2, l ∈ Z, với a = 3l + 1 ⇒ a + 2021 chi
hết cho 3, và với a = 3l + 2 ⇒ a − 2021 chia hết cho 3.
Tóm lại: a2 − 20212 chia hết cho 3.
Vậy, ta có đpcm.

2. Từ ycbt ta có: p + q 2 = a2 , a ∈ N.

a−q =1
a) Ta có: p = (a − q)(a + q) ⇒ ⇒ p = 2q + 1
a+q =p
b) Ta có: p2 + q 2021 = q 2021 + (2q + 1)2 .
Giả sử ngược lại, ta có: p2 + q 2021 = a2 , a ∈ N. Khi đó:
q 2021 = a2 − (2q + 1)2 ⇒ q 2021 = (a − 2q − 1)(a + 2q + 1)

a − 2q − 1 = q m
⇒ (m, n ∈ N, m < n ≤ 2021)
a + 2q + 1 = q n
Suy ra: q m (q n−m − 1) = q n − q m = 4q + 2 = 2(2q + 1)
 m
q =2
⇒
q n−m − 1 = 2
Nếu q m = 2 thì q = 2, m = 1. Khi đó, ta có: 2n−1 − 1 = 5 ⇒ 2n−1 = 6 (vô lí).
Nếu q n−m − 1 = 2 thì q n−m = 3 ⇒ q = 3. Khi đó, ta có: 3m = 7 (vô lí).
Từ đây ta có đpcm.