Tìm tất cả các cặp số nguyên dương $(a,b)$ thỏa mãn:
$$a^7+7=b^2$$
#1
Đã gửi 07-04-2013 - 21:14
$P_{G}(\sigma_{1},\sigma_{2},\cdots,\sigma_{n})=\frac{1}{|G|}\sum_{\tau\in G}ind(\tau)$
#2
Đã gửi 07-04-2013 - 21:48
Câu trả lời là không tồn tại
Thật vậy
$a^7+7=b^2 \Rightarrow a^7+2^7=b^2+11^2$
Nếu $a$ chẵn loại do $a^7+7$ chia $4$ dư$3$
Nếu $a$ chia $4$ dư $3$ loại
Nếu $a$ chia $4$ dư $1$
Áp dụng bổ đề nếu $4k+3|m^2+n^2$$4k+3|m^2+n^2\rightarrow 4k+3|a,4k+3|b$
dễ dàng thấy đpcm
Bài viết đã được chỉnh sửa nội dung bởi henry0905: 07-04-2013 - 23:18
Latex
- mat troi be nho và amma96 thích
[topic2=''][/topic2]Music makes life more meaningful
#3
Đã gửi 07-04-2013 - 22:32
Tìm tất cả các cặp số nguyên dương $(a,b)$ thỏa mãn:
$$a^7+7=b^2$$
Giải như sau:
Bổ đề: Nếu $p$ là số nguyên tố và $a^2+b^2$ chia hết cho $p$ thì cả $a,b$ đều chia hết cho $p$ với $p \equiv 3 \pmod{4}$
CM:
Giả thiết phản chứng $a,b$ không chia hết cho $p$ suy ra $gcd(a,p)=1$ và tương tự với b
Đặt $p=4k+3$
Xét số $a^{4k+2}+b^{4k+2}$ ta có:
$a^{4k+2}+b^{4k+2}=(a^2)^{2k+1}+(b^2)^{2k+1}=(a^2+b^2)*(…)$ <1>
Lại theo đề bài $a^2+b^2$ chia hết cho $p$ suy ra từ <1> ta có $a^{4k+2}+b^{4k+2}$ chia hết cho $p$ <2>
Lại theo định lý fermat nhỏ: $a^{p-1} \equiv 1 \pmod{p}$ và tương tự với $b$
Suy ra $a^{p-1}- b^{p-1}=a^{4k+2}- b^{4k+2}$ chia hết cho p <3>
Từ <2> và <3> suy ra $2b^{4k+2}$ chia hết cho $p$ suy ra $b$ chia hết cho p suy ra $a$ cũng chia hết cho p suy ra giả thiết phản chứng là sai suy ra bổ đề được chứng minh.
Áp dụng:
Ta đặt $n^7+7=a^2$
Suy ra $n^7+7+121=a^2+121$ suy ra $n^7+2^7=a^2+11^2$
Dễ thấy $a^2+11^2$ chia 4 dư $1$ hoặc $2$ nhưng nếu chia 4 dư 2 thì loại vì khi đó $n^7+2^7$ chia hết cho 2 suy ra $n$ chia hết cho 2 suy ra $n^7+2^7$
chia hết cho $2^7$ mâu thuẫn vì $a^2+11^2$ chia 4 dư 2 thì có nghĩa $a^2+11^2$ chia hết cho 2 mà không chia hết cho 4.
Do vậy $a^2+11^2$ chia 4 dư $1$ suy ra $n^7+2^7$ chia 4 dư 1 suy ra $n^7$ chia 4 dư 1 suy ra $n$ chia 4 dư 1 (do $n$ lẻ và nếu $n \equiv 3 \pmod{4}$ thì
$n^7 \equiv 3 \pmod{4}$ loại)
Như vậy $n$ chia 4 dư 1 <1>
Lại có $n^7+2^7=(n+2)(n^6-2n^5+4n^4-8n^3+16n^2-32n+64)$ lại theo <1> suy ra $n+2 \equiv 3 \pmod{4}$ do đó $n+2$ có ít nhất 1 ước số nguyên tố chia 4 dư 3 (vì nếu các ước của nó đều
chia 4 dư 1 thì $n+2$ chia 4 dư 1 vô lý), Do vậy nên giả sử $n+2$ chia hết cho $p$ nguyên tố với $p \equiv 3 \pmod{4}$
Suy ra $n^7+2^7$ chia hết cho $p$ suy ra $a^2+11^2$ chia hết cho $p$ với $p \equiv 3 \pmod{4}$
Áp dụng bổ đề suy ra $11$ chia hết cho $p$ suy ra $p=11$
Hoàn toàn tương tự cũng có $n^6-2n^5+4n^4-8n^3+16n^2-32n+64$ chia 4 dư 3 suy ra $n^6-2n^5+4n^4-8n^3+16n^2-32n+64$ chia hết cho q suy ra 11 chia hết cho q nguyên tố và $q \equiv 3 \pmod{4}$ suy ra $p=q=11$ <2>
Lại thấy giả sử $n+2$ chia hết cho số nguyên tố $r$ suy ra $n \equiv -2 \pmod{r}$
Suy ra $n^6-2n^5+4n^4-8n^3+16n^2-32n+64 \equiv 448 \pmod{r}$
Do vậy $gcd(n+2, n^6-2n^5+4n^4-8n^3+16n^2-32n+64)$ chỉ có thể bằng ước $448$ hay $gcd(n+2, n^6-2n^5+4n^4-8n^3+16n^2-32n+64)$ không chia hết cho 11 mâu thuẫn với <2>
Vậy bài toán không có nghiệm.
P/S: Bài IMO này trông có vẻ đồ sộ nhưng khi dùng bổ đề thì thật đơn giản nhưng cũng mất sức vì phải gõ máy 1 tiếng + nửa tiếng nghĩ
Bổ đề này rất hay. Trước mình cũng dùng bổ để để giải 1 bài cho pham quang toan nếu nhớ không nhầm là bài http://diendantoanho...showtopic=65517
- huy thắng, Zaraki và Sagittarius912 thích
0 người đang xem chủ đề
0 thành viên, 0 khách, 0 thành viên ẩn danh