Cho p là số nguyên tố khác `2`, hai số tự nhiên lẻ `a,b` thỏa mãn `a+b` chia hết…
Chào các em học sinh lớp 9 thân mến!
Hôm nay, chúng ta sẽ cùng nhau chinh phục một bài toán chứng minh thú vị liên quan đến số nguyên tố và các tính chất chia hết. Bài toán này đòi hỏi sự kết hợp của nhiều kiến thức đã học, đặc biệt là tính chất của số nguyên tố, số lẻ và phép chia hết.
Bài toán: Cho \(p\) là số nguyên tố khác \(2\), hai số tự nhiên lẻ \(a,b\) thỏa mãn \(a+b\) chia hết cho \(p\), và \(a-b\) chia hết cho \(p-1\). Chứng minh rằng \(a^b+b^a\) chia hết cho \(2p\).
Lời giải chi tiết:
Bước 1: Phân tích giả thiết và mục tiêu
Chúng ta có các giả thiết sau:
- \(p\) là số nguyên tố và \(p \neq 2\). Điều này có nghĩa là \(p\) là một số lẻ.
- \(a, b\) là hai số tự nhiên lẻ.
- \(a+b \equiv 0 \pmod{p}\) (tức là \(a+b\) chia hết cho \(p\)).
- \(a-b \equiv 0 \pmod{p-1}\) (tức là \(a-b\) chia hết cho \(p-1\)).
Mục tiêu của chúng ta là chứng minh \(a^b+b^a \equiv 0 \pmod{2p}\).
Để chứng minh \(a^b+b^a\) chia hết cho \(2p\), chúng ta cần chứng minh nó chia hết cho \(2\) và chia hết cho \(p\).
Bước 2: Chứng minh \(a^b+b^a\) chia hết cho 2
Theo giả thiết, \(a\) và \(b\) là hai số tự nhiên lẻ.
Số lẻ có dạng \(2k+1\) với \(k\) là số nguyên.
Nếu \(a\) là số lẻ, thì \(a^b\) cũng là số lẻ (vì lũy thừa của một số lẻ luôn là số lẻ).
Tương tự, nếu \(b\) là số lẻ, thì \(b^a\) cũng là số lẻ.
Do đó, \(a^b\) là số lẻ và \(b^a\) là số lẻ.
Tổng của hai số lẻ là một số chẵn.
Vậy, \(a^b+b^a\) là số chẵn, tức là \(a^b+b^a \equiv 0 \pmod{2}\).
Bước 3: Chứng minh \(a^b+b^a\) chia hết cho \(p\)
Chúng ta có \(a+b \equiv 0 \pmod{p}\), suy ra \(a \equiv -b \pmod{p}\).
Xét biểu thức \(a^b+b^a\). Chúng ta sẽ sử dụng tính chất \(a \equiv -b \pmod{p}\) để biến đổi.
Thay \(a\) bằng \(-b\) vào \(a^b\), ta được \((-b)^b\).
Ta xét hai trường hợp cho \(b\):
- Trường hợp 1: \(b\) là số lẻ.
- \(a^b+b^a\) chia hết cho 2.
- \(a^b+b^a\) chia hết cho \(p\).
Nếu \(b\) là số lẻ, thì \((-b)^b = -(b^b)\).
Khi đó, \(a^b+b^a \equiv (-b)^b + b^a \pmod{p}\) sẽ trở thành \(-(b^b) + b^a \pmod{p}\).
Tuy nhiên, việc thay trực tiếp \(a \equiv -b \pmod{p}\) vào \(a^b\) là chưa đủ vì lũy thừa có thể làm thay đổi dấu.
Hãy xem xét kỹ hơn.
Vì \(a \equiv -b \pmod{p}\), ta có thể viết \(a = kp – b\) với \(k\) là một số nguyên.
Do \(a\) và \(b\) đều là số lẻ, \(a+b\) là số chẵn. Vì \(a+b\) chia hết cho \(p\), mà \(p\) là số nguyên tố khác 2 (tức là \(p\) lẻ), nên \(a+b\) là một bội lẻ của \(p\) hoặc \(a+b=0\). Nếu \(a+b=0\), vì \(a,b\) là số tự nhiên nên \(a=b=0\), nhưng \(a,b\) là số lẻ nên không thể bằng 0.
Do \(p\) là số lẻ, nếu \(a \equiv -b \pmod{p}\) thì \(a\) và \(-b\) có cùng tính chẵn lẻ modulo \(p\). Tuy nhiên, chúng ta quan tâm đến tính chẵn lẻ của \(a\) và \(b\) là số tự nhiên.
Với \(a \equiv -b \pmod{p}\), ta có thể xét \(a^b + b^a \pmod{p}\).
Ta có \(a \equiv -b \pmod{p}\).
Do đó, \(a^b \equiv (-b)^b \pmod{p}\).
Nếu \(b\) là số lẻ, thì \((-b)^b = -b^b\).
Vậy, \(a^b \equiv -b^b \pmod{p}\).
Ta cần chứng minh \(a^b + b^a \equiv 0 \pmod{p}\).
Sử dụng \(a \equiv -b \pmod{p}\) vào \(a^b\): \(a^b \equiv (-b)^b \pmod{p}\).
Vì \(b\) là số lẻ, \((-b)^b = -b^b\).
Do đó, \(a^b \equiv -b^b \pmod{p}\).
Bây giờ, xét \(a^b + b^a \pmod{p}\).
Chúng ta có \(a \equiv -b \pmod{p}\). Vậy \(a^b \equiv (-b)^b \pmod{p}\). Vì \(b\) lẻ nên \(a^b \equiv -b^b \pmod{p}\).
Tương tự, \(b \equiv -a \pmod{p}\). Vậy \(b^a \equiv (-a)^a \pmod{p}\). Nhưng điều này không trực tiếp giúp ích.
Hãy quay lại \(a \equiv -b \pmod{p}\).
Ta có \(a^b+b^a \equiv (-b)^b + b^a \pmod{p}\).
Với \(b\) là số lẻ, \(a^b \equiv -b^b \pmod{p}\).
Suy ra \(a^b+b^a \equiv -b^b + b^a \pmod{p}\). Điều này chưa chắc bằng 0.
Chúng ta cần sử dụng giả thiết thứ hai: \(a-b\) chia hết cho \(p-1\).
Vì \(p\) là số nguyên tố khác 2, \(p\) là số lẻ. Do đó, \(p-1\) là số chẵn.
Vì \(a\) và \(b\) là số lẻ, \(a-b\) là số chẵn.
Giả thiết \(a-b \equiv 0 \pmod{p-1}\) là hoàn toàn phù hợp về tính chẵn lẻ.
Ta có \(a \equiv b \pmod{p-1}\).
Xét \(a^b+b^a \pmod{p}\).
Từ \(a \equiv -b \pmod{p}\), suy ra \(a^b \equiv (-b)^b \pmod{p}\). Vì \(b\) lẻ, \(a^b \equiv -b^b \pmod{p}\).
Ta cũng có \(b \equiv -a \pmod{p}\). Vậy \(b^a \equiv (-a)^a \pmod{p}\).
Bây giờ, hãy xem xét tính chất của \(a^b+b^a\) khi \(a \equiv -b \pmod{p}\).
Do \(a \equiv -b \pmod{p}\), ta thay \(a\) bởi \(-b\) trong \(a^b\):
\(a^b \equiv (-b)^b \pmod{p}\)
Vì \(b\) là số tự nhiên lẻ, \((-b)^b = -(b^b)\).
Do đó, \(a^b \equiv -b^b \pmod{p}\).
Bây giờ, ta cần chứng minh \(a^b+b^a \equiv 0 \pmod{p}\).
Ta đã có \(a \equiv -b \pmod{p}\).
Xét \(a^b+b^a \pmod{p}\). Thay \(a\) bằng \(-b\):
\(a^b+b^a \equiv (-b)^b + b^a \pmod{p}\)
Vì \(b\) lẻ, \((-b)^b = -b^b\).
Vậy, \(a^b+b^a \equiv -b^b + b^a \pmod{p}\).
Chúng ta cần chứng minh \(-b^b + b^a \equiv 0 \pmod{p}\), tức là \(b^a \equiv b^b \pmod{p}\).
Điều này đúng nếu \(a \equiv b \pmod{p}\) hoặc nếu \(p\) chia hết cho \(b^a – b^b\).
Chúng ta có \(a \equiv -b \pmod{p}\). Nếu \(a \equiv b \pmod{p}\) thì \(2b \equiv 0 \pmod{p}\). Vì \(p\) là số nguyên tố khác 2, điều này chỉ xảy ra khi \(b \equiv 0 \pmod{p}\), nhưng \(b\) là số tự nhiên lẻ, nên \(b \neq 0\).
Tuy nhiên, chúng ta có \(a \equiv -b \pmod{p}\) và \(a \equiv b \pmod{p-1}\). Điều này chưa cho phép suy ra \(b^a \equiv b^b \pmod{p}\).
Hãy thử một cách tiếp cận khác.
Ta có \(a+b = kp\) với \(k \in \mathbb{Z}\).
Ta có \(a-b = m(p-1)\) với \(m \in \mathbb{Z}\).
Cộng hai phương trình trên:
\((a+b) + (a-b) = kp + m(p-1)\)
\(2a = kp + mp – m\)
\(2a = (k+m)p – m\)
Trừ hai phương trình trên:
\((a+b) – (a-b) = kp – m(p-1)\)
\(2b = kp – mp + m\)
\(2b = (k-m)p + m\)
Bây giờ, hãy quay lại \(a^b+b^a \pmod{p}\).
Ta có \(a \equiv -b \pmod{p}\).
Do đó, \(a^b \equiv (-b)^b \pmod{p}\). Vì \(b\) lẻ, \(a^b \equiv -b^b \pmod{p}\).
Xét \(a^b+b^a \equiv -b^b + b^a \pmod{p}\).
Chúng ta cần chứng minh \(b^a \equiv b^b \pmod{p}\).
Ta có \(a \equiv b \pmod{p-1}\). Điều này có nghĩa là \(a = b + n(p-1)\) với \(n \in \mathbb{Z}\).
Xét \(b^a = b^{b+n(p-1)} = b^b \cdot b^{n(p-1)}\).
Ta cần xem xét \(b^{n(p-1)} \pmod{p}\).
Nếu \(n=0\), thì \(a=b\). Khi đó \(a+b = 2a \equiv 0 \pmod{p}\). Vì \(p\) là số nguyên tố khác 2, \(a \equiv 0 \pmod{p}\). Nhưng \(a\) là số lẻ, nên không thể chia hết cho \(p\) (trừ khi \(p=1\), nhưng \(p\) là nguyên tố). Do đó \(a \neq b\).
Theo định lý Fermat nhỏ, nếu \(p\) không chia hết cho \(b\), thì \(b^{p-1} \equiv 1 \pmod{p}\).
Do đó, \(b^{n(p-1)} = (b^{p-1})^n \equiv 1^n \equiv 1 \pmod{p}\) (nếu \(p \nmid b\)).
Vậy, \(b^a = b^b \cdot b^{n(p-1)} \equiv b^b \cdot 1 \equiv b^b \pmod{p}\) (nếu \(p \nmid b\)).
Điều này dẫn đến \(a^b+b^a \equiv -b^b + b^b \equiv 0 \pmod{p}\).
Trường hợp 1.1: \(p \nmid b\).
Ta có \(a \equiv -b \pmod{p}\).
Ta có \(a \equiv b \pmod{p-1}\), suy ra \(a = b + n(p-1)\) với \(n \in \mathbb{Z}\).
Xét \(a^b + b^a \pmod{p}\).
Vì \(a \equiv -b \pmod{p}\), ta có \(a^b \equiv (-b)^b \pmod{p}\). Do \(b\) lẻ, \(a^b \equiv -b^b \pmod{p}\).
Ta cần chứng minh \(b^a \equiv b^b \pmod{p}\).
Ta có \(a = b + n(p-1)\).
Khi đó \(b^a = b^{b+n(p-1)} = b^b \cdot b^{n(p-1)}\).
Vì \(p\) là số nguyên tố và \(p \nmid b\), theo định lý Fermat nhỏ, \(b^{p-1} \equiv 1 \pmod{p}\).
Do đó, \(b^{n(p-1)} = (b^{p-1})^n \equiv 1^n \equiv 1 \pmod{p}\).
Suy ra \(b^a \equiv b^b \cdot 1 \equiv b^b \pmod{p}\).
Vậy, \(a^b + b^a \equiv -b^b + b^b \equiv 0 \pmod{p}\).
Trường hợp 1.2: \(p \mid b\).
Vì \(b\) là số tự nhiên lẻ, nếu \(p \mid b\) thì \(b = kp\) với \(k\) là số tự nhiên lẻ (vì \(b\) lẻ và \(p\) lẻ).
Từ \(a+b \equiv 0 \pmod{p}\), ta có \(a+kp \equiv 0 \pmod{p}\), suy ra \(a \equiv 0 \pmod{p}\).
Nhưng \(a\) là số tự nhiên lẻ, nên \(a \neq 0\). Nếu \(a \equiv 0 \pmod{p}\) thì \(a\) là bội của \(p\). Vì \(a\) lẻ và \(p\) lẻ, điều này chỉ xảy ra nếu \(p\) là một ước lẻ của \(a\).
Nếu \(p \mid b\), thì \(b \equiv 0 \pmod{p}\).
Từ \(a+b \equiv 0 \pmod{p}\), ta có \(a \equiv 0 \pmod{p}\).
Vì \(a\) và \(b\) là số tự nhiên lẻ, và \(p\) là số nguyên tố khác 2 (tức là \(p\) lẻ).
Nếu \(p \mid b\) và \(p \mid a\), thì \(a\) và \(b\) đều là bội của \(p\).
Tuy nhiên, \(a\) và \(b\) là số lẻ. Nếu \(p>2\), thì \(p\) là số lẻ. Nếu \(a\) là bội của \(p\) và \(a\) lẻ, thì \(a\) có thể là \(p, 3p, 5p, \dots\).
Nếu \(p \mid b\), thì \(b \equiv 0 \pmod{p}\).
Nếu \(p \mid a\), thì \(a \equiv 0 \pmod{p}\).
Từ \(a+b \equiv 0 \pmod{p}\), nếu \(p \mid b\), thì \(a \equiv 0 \pmod{p}\).
Nếu \(p \mid a\), thì \(b \equiv 0 \pmod{p}\).
Do \(a, b\) là số lẻ, và \(p\) là số nguyên tố lẻ, nếu \(p \mid a\), thì \(a\) có thể bằng \(p\), hoặc \(3p\), \(5p\), …
Nếu \(p \mid a\) và \(p \mid b\), thì \(a^b+b^a \equiv 0^b + 0^a \equiv 0+0 \equiv 0 \pmod{p}\).
Giả sử \(p \mid b\) nhưng \(p \nmid a\). Từ \(a+b \equiv 0 \pmod{p}\), ta có \(a \equiv -b \pmod{p}\). Nếu \(p \mid b\), thì \(b \equiv 0 \pmod{p}\), suy ra \(a \equiv 0 \pmod{p}\). Điều này mâu thuẫn với giả định \(p \nmid a\).
Do đó, nếu \(p \mid b\) thì \(p \mid a\).
Nếu \(p \mid a\) và \(p \mid b\), thì \(a = kp\) và \(b = mp\) với \(k,m\) là các số nguyên.
Vì \(a,b\) lẻ, \(p\) lẻ, nên \(k,m\) phải lẻ.
Khi đó, \(a^b+b^a \equiv (kp)^b + (mp)^a \equiv 0^b + 0^a \equiv 0 \pmod{p}\).
Như vậy, trong mọi trường hợp, ta luôn có \(a^b+b^a \equiv 0 \pmod{p}\).
Bước 4: Kết hợp hai kết quả để chứng minh \(a^b+b^a\) chia hết cho \(2p\)
Chúng ta đã chứng minh được hai điều:
Vì \(p\) là số nguyên tố khác \(2\), nên \(2\) và \(p\) là hai số nguyên tố cùng nhau (nguyên tố cùng nhau vì \(p \neq 2\)).
Nếu một số chia hết cho cả \(2\) và \(p\), thì nó cũng chia hết cho tích của \(2\) và \(p\), tức là \(2p\).
Do đó, \(a^b+b^a\) chia hết cho \(2p\).
Kết luận:
Chúng ta đã chứng minh thành công rằng \(a^b+b^a\) chia hết cho \(2p\).
Bài toán này cho thấy sự liên hệ chặt chẽ giữa các tính chất của số nguyên tố, số lẻ và phép chia hết. Các em hãy ôn tập kỹ các kiến thức về định lý Fermat nhỏ và tính chất của đồng dư để có thể giải quyết những bài toán tương tự.
Cảm ơn các em đã chú ý lắng nghe!
\(a\), \(b\) là các số lẻ
Suy ra \(a^b+b^a\) chẵn \(->\) \(a^b + b^a vdots 2\)
\(a+b vdots p -> a \equiv -b (mod p)\)
Suy ra \(a^b+b^a equiv -b^b+b^a (mod p)\) (vì \(b\) lẻ) \((1)\)
TH1: \(b vdots p\)
\(a+b vdots p -> a vdots p\)
Suy ra \(a^b+b^a vdots p\) \((2)\)
TH2: \(b cancel{vdots} p\)
\(-> (b,p)=1\)
Fermat nhỏ: \(b^{p-1} equiv 1 (mod p)\)
\(a-b vdots p-1 -> a-b=k(p-1) -> a=b+k(p-1)\) \((k in ZZ; k ne 0)\)
\(b^a=b^{b+k(p-1)}=b^b*(b^{p-1})^k equiv b^b (mod p)\)
Suy ra \(a^b+b^a equiv -b^b + b^b equiv 0 (mod p)\) \((3)\)
Từ \((1)\), \((2)\) và \((3)\) kết hợp với \((p,2)=1\)
Suy ra \(a^b+b^a vdots 2p\)

Trợ Lý Xưởng In Thiên Nam
Add comment