bổ đề: " Một số chính phương a^2 khi chia cho 5 chỉ có thể dư 0; 1 hoặc 4 "
Chứng minh: Ta xét 5 trường hợp:
+ a = 5k => a^2 = 25k^2, chia 5 dư 0
+ a = 5k + 1 => a^2 = (5k + 1)^2 = 25k^2 + 10k + 1, chia 5 dư 1
+ a = 5k + 2 => a^2 = (5k + 2)^2 = 25k^2 + 20k + 4, chia 5 dư 4
+ a = 5k + 3 => a^2 = (5k + 3)^2 = 25k^2 + 30k + 9, chia 5 dư 4
+ a = 5k + 4 => a^2 = 25k^2 + 40k + 16, chia 5 dư 1
Vậy bổ đề được chứng minh
Trở lại bài toán: Ta có (5^(2p)) + 1997 chia 5 dư 2
(5^(2p^2)) + q^2 chia 5 dư q^2, áp dụng bổ đề ta được q^2 chia 5 chỉ có thể dư 0, 1 hoặc 4 chứ không thể dư 2 => 2 số (5^(2p))+1997 và (5^(2p^2))+q^2 khi chia cho 5 không bao giờ có cùng số dư, vậy nên chúng không thể bằng nhau
=> không tồn tại 2 số nguyên tố p và q thỏa mãn yêu cầu bài toán
chắc vậy
bổ đề: " Một số chính phương a^2 khi chia cho 5 chỉ có thể dư 0; 1 hoặc 4 "
Chứng minh: Ta xét 5 trường hợp:
+ a = 5k => a^2 = 25k^2, chia 5 dư 0
+ a = 5k + 1 => a^2 = (5k + 1)^2 = 25k^2 + 10k + 1, chia 5 dư 1
+ a = 5k + 2 => a^2 = (5k + 2)^2 = 25k^2 + 20k + 4, chia 5 dư 4
+ a = 5k + 3 => a^2 = (5k + 3)^2 = 25k^2 + 30k + 9, chia 5 dư 4
+ a = 5k + 4 => a^2 = 25k^2 + 40k + 16, chia 5 dư 1
Vậy bổ đề được chứng minh
Trở lại bài toán: Ta có (5^(2p)) + 1997 chia 5 dư 2
(5^(2p^2)) + q^2 chia 5 dư q^2, áp dụng bổ đề ta được q^2 chia 5 chỉ có thể dư 0, 1 hoặc 4 chứ không thể dư 2 => 2 số (5^(2p))+1997 và (5^(2p^2))+q^2 khi chia cho 5 không bao giờ có cùng số dư, vậy nên chúng không thể bằng nhau
=> không tồn tại 2 số nguyên tố p và q thỏa mãn yêu cầu bài toán
Một số chính phương a^2 khi chia cho 5 chỉ có thể dư 0; 1 hoặc 4 "
Chứng minh: Ta xét 5 trường hợp:
+ a = 5k => a^2 = 25k^2, chia 5 dư 0
+ a = 5k + 1 => a^2 = (5k + 1)^2 = 25k^2 + 10k + 1, chia 5 dư 1
+ a = 5k + 2 => a^2 = (5k + 2)^2 = 25k^2 + 20k + 4, chia 5 dư 4
+ a = 5k + 3 => a^2 = (5k + 3)^2 = 25k^2 + 30k + 9, chia 5 dư 4
+ a = 5k + 4 => a^2 = 25k^2 + 40k + 16, chia 5 dư 1
Vậy bổ đề được chứng minh
Trở lại bài toán: Ta có (5^(2p)) + 1997 chia 5 dư 2
(5^(2p^2)) + q^2 chia 5 dư q^2, áp dụng bổ đề ta được q^2 chia 5 chỉ có thể dư 0, 1 hoặc 4 chứ không thể dư 2 => 2 số (5^(2p))+1997 và (5^(2p^2))+q^2 khi chia cho 5 không bao giờ có cùng số dư, vậy nên chúng không thể bằng nhau
=> không tồn tại 2 số nguyên tố p và q thỏa mãn yêu cầu bài toán
p/s: theo lời giải trên ta thấy có thể mở rộng bào toán cho trường hợp p và q là "các số nguyên" chứ không cần là số nguyên tố
" Một số chính phương a^2 khi chia cho 5 chỉ có thể dư 0; 1 hoặc 4 "
Chứng minh: Ta xét 5 trường hợp:
+ a = 5k => a^2 = 25k^2, chia 5 dư 0
+ a = 5k + 1 => a^2 = (5k + 1)^2 = 25k^2 + 10k + 1, chia 5 dư 1
+ a = 5k + 2 => a^2 = (5k + 2)^2 = 25k^2 + 20k + 4, chia 5 dư 4
+ a = 5k + 3 => a^2 = (5k + 3)^2 = 25k^2 + 30k + 9, chia 5 dư 4
+ a = 5k + 4 => a^2 = 25k^2 + 40k + 16, chia 5 dư 1
Vậy bổ đề được chứng minh
Trở lại bài toán: Ta có (5^(2p)) + 1997 chia 5 dư 2
(5^(2p^2)) + q^2 chia 5 dư q^2, áp dụng bổ đề ta được q^2 chia 5 chỉ có thể dư 0, 1 hoặc 4 chứ không thể dư 2 => 2 số (5^(2p))+1997 và (5^(2p^2))+q^2 khi chia cho 5 không bao giờ có cùng số dư, vậy nên chúng không thể bằng nhau
=> không tồn tại 2 số nguyên tố p và q thỏa mãn yêu cầu bài toán
5\(^{2p}\)+ 1997 tận cùng =2 ( do 5\(^{2p}\)=....5 và 1977 =.....7)
=> 5\(^{2p^2}\)+ q \(^2\)tận cùng =.....2.
Mặt khác: 5 \(^{2p^2}\)tận cùng =......5
=>q\(^2\)=....7. Không có số chính phương tận cùng = 7
=> Không tồn tại p;q
