Hôm nay chúng ta sẽ cùng nhau giải một bài toán rất thú vị về số nguyên tố. Đây là một bài toán đòi hỏi sự suy luận logic và khả năng phân tích các trường hợp.

Đề bài: Cho \(p;q\) là các số nguyên tố. Tìm \(p;q\) thỏa mãn \((p+q)^p = (q-p)^{2q-1}\).

Trước hết, chúng ta hãy nhắc lại một chút về số nguyên tố. Số nguyên tố là số tự nhiên lớn hơn 1, chỉ có hai ước là 1 và chính nó. Các số nguyên tố đầu tiên là 2, 3, 5, 7, 11, …

Bây giờ, chúng ta cùng phân tích phương trình đã cho: \((p+q)^p = (q-p)^{2q-1}\).

Bước 1: Phân tích ban đầu và tìm điều kiện của \(p\) và \(q\).

a) Vế trái của phương trình là \((p+q)^p\). Vì \(p, q\) là số nguyên tố nên \(p, q \ge 2\). Do đó, \(p+q\) luôn dương. Khi một số dương được lũy thừa lên, kết quả luôn dương.

b) Vế phải của phương trình là \((q-p)^{2q-1}\). Để vế phải có nghĩa và dương (phù hợp với vế trái), thì cơ số \((q-p)\) phải là một số dương.

Từ đó, ta suy ra: \(q-p > 0 \implies q > p\).

Đây là một điều kiện rất quan trọng! Số nguyên tố \(q\) phải lớn hơn số nguyên tố \(p\).

Bước 2: Xét trường hợp đặc biệt của \(p\).

Số nguyên tố nhỏ nhất là 2. Hãy xét trường hợp \(p=2\).

Nếu \(p=2\), phương trình trở thành:

\((2+q)^2 = (q-2)^{2q-1}\)

Vì \(q > p\), nên \(q > 2\). Do đó, \(q\) phải là một số nguyên tố lẻ (ví dụ: 3, 5, 7,…).

Hãy thử một vài giá trị của \(q\):

• Nếu \(q=3\):

Vế trái: \((2+3)^2 = 5^2 = 25\).

Vế phải: \((3-2)^{2 \cdot 3 – 1} = 1^{6-1} = 1^5 = 1\).

Ta thấy \(25 \neq 1\). Vậy \((p,q) = (2,3)\) không phải là nghiệm.

• Nếu \(q=5\):

Vế trái: \((2+5)^2 = 7^2 = 49\).

Vế phải: \((5-2)^{2 \cdot 5 – 1} = 3^{10-1} = 3^9\).

Ta biết \(3^9 = 19683\). Rõ ràng \(49 \neq 19683\). Vậy \((p,q) = (2,5)\) không phải là nghiệm.

Quan sát thấy, khi \(q\) tăng lên, vế trái \((2+q)^2\) tăng chậm hơn rất nhiều so với vế phải \((q-2)^{2q-1}\) (vì cả cơ số \(q-2\) và số mũ \(2q-1\) đều tăng rất nhanh). Ví dụ, với \(q \ge 5\), thì \(q-2 \ge 3\) và \(2q-1 \ge 9\). Số \(3^9\) đã rất lớn rồi. Do đó, \((q-2)^{2q-1}\) sẽ luôn lớn hơn \((2+q)^2\) khi \(q \ge 5\).

Vậy, trường hợp \(p=2\) không có cặp \((p,q)\) nào thỏa mãn.

Bước 3: Xét trường hợp \(p\) là số nguyên tố lẻ.

Vì \(p\) là số nguyên tố lẻ, và \(q > p\), nên \(q\) cũng phải là số nguyên tố lẻ. (Nếu \(q=2\), thì \(p\) sẽ nhỏ hơn 2, không thể là số nguyên tố lẻ được).

Khi \(p\) và \(q\) đều là số nguyên tố lẻ, ta có:

• \(p+q\) là một số chẵn (lẻ + lẻ = chẵn).
• \(q-p\) là một số chẵn (lẻ – lẻ = chẵn).

Gọi \(p+q = 2^A \cdot M\) và \(q-p = 2^B \cdot N\), trong đó \(M, N\) là các số lẻ và \(A, B\) là các số mũ nguyên dương của 2.

Thay vào phương trình ban đầu: \((2^A \cdot M)^p = (2^B \cdot N)^{2q-1}\)

\(2^{Ap} \cdot M^p = 2^{B(2q-1)} \cdot N^{2q-1}\)

Để phương trình này đúng, phần lũy thừa của 2 ở hai vế phải bằng nhau, và phần lẻ ở hai vế cũng phải bằng nhau.

a) So sánh lũy thừa của 2:

\(Ap = B(2q-1)\)

Vì \(q > p\), ta có \(2q > 2p\), suy ra \(2q-1 > 2p-1\). Mà \(p \ge 3\), nên \(2p-1 \ge p\). Vậy \(2q-1 > p\).

Do \(2q-1 > p\), để đẳng thức \(Ap = B(2q-1)\) xảy ra, ta phải có \(A > B\).

b) So sánh phần lẻ:

\(M^p = N^{2q-1}\)

Ở đây, \(M = \frac{p+q}{2^A}\) và \(N = \frac{q-p}{2^B}\). Ta xét ước chung lớn nhất của \(p+q\) và \(q-p\):

\(\gcd(p+q, q-p)\) là ước của \((p+q) + (q-p) = 2q\).

\(\gcd(p+q, q-p)\) cũng là ước của \((p+q) – (q-p) = 2p\).

Vậy \(\gcd(p+q, q-p)\) là ước của \(\gcd(2q, 2p) = 2 \gcd(p,q)\).

Vì \(p\) và \(q\) là hai số nguyên tố khác nhau (do \(q>p\)), nên \(\gcd(p,q)=1\).

Do đó, \(\gcd(p+q, q-p)\) là ước của \(2 \cdot 1 = 2\). Vì \(p+q\) và \(q-p\) đều là số chẵn, nên \(\gcd(p+q, q-p) = 2\).

Điều này có nghĩa là \(\gcd(\frac{p+q}{2}, \frac{q-p}{2}) = 1\).

Và tổng quát hơn, \(\gcd(M, N) = 1\).

Nếu \(M^p = N^{2q-1}\) và \(M, N\) là các số nguyên tố cùng nhau (số lẻ), thì cách duy nhất để đẳng thức này xảy ra là \(M=1\) và \(N=1\).

(Ví dụ: nếu \(M=3, N=5\), thì \(3^p = 5^{2q-1}\) là không thể xảy ra vì chúng có các thừa số nguyên tố khác nhau).

Từ \(M=1\) và \(N=1\), ta có:

\(p+q = 2^A\) (vì \(M=1\))

\(q-p = 2^B\) (vì \(N=1\))

Bước 4: Giải hệ phương trình tìm \(p\) và \(q\).

Ta có hệ phương trình:

1) \(p+q = 2^A\)

2) \(q-p = 2^B\)

Và điều kiện \(Ap = B(2q-1)\) cùng với \(A > B\).

Cộng (1) và (2):

\((p+q) + (q-p) = 2^A + 2^B\)
\(2q = 2^A + 2^B\)
\(2q = 2^B (2^{A-B} + 1)\)

\(q = 2^{B-1} (2^{A-B} + 1)\)

Vì \(q\) là số nguyên tố, nên \(q\) chỉ có thể có hai ước là 1 và chính nó. Do đó, một trong hai thừa số \(2^{B-1}\) hoặc \((2^{A-B} + 1)\) phải bằng 1.

Xét các trường hợp:

Trường hợp 1: \(2^{B-1} = 1\).

Điều này chỉ xảy ra khi \(B-1 = 0 \implies B=1\).

Nếu \(B=1\), thì từ \(q-p = 2^B\), ta có \(q-p = 2^1 = 2\).
Đây là một cặp số nguyên tố sinh đôi (\(p, p+2\)).

Khi đó, \(q = 2^{A-1} + 1\).

Thay \(B=1\) vào \(Ap = B(2q-1)\), ta được:
\(Ap = 1 \cdot (2q-1)\)
\(Ap = 2q-1\)

Ta có \(q = p+2\), thay vào phương trình trên:

\(Ap = 2(p+2)-1\)
\(Ap = 2p+4-1\)
\(Ap = 2p+3\)

Ta cũng có \(p+q = 2^A\). Thay \(q=p+2\):

\(p+(p+2) = 2^A\)
\(2p+2 = 2^A\)
\(2(p+1) = 2^A\)
\(p+1 = 2^{A-1}\)

Từ \(Ap = 2p+3\), ta chia cả hai vế cho \(p\) (vì \(p \neq 0\)):

\(A = 2 + \frac{3}{p}\)

Vì \(A\) là số nguyên (số mũ), nên \(p\) phải là ước của 3. Vì \(p\) là số nguyên tố, nên \(p\) chỉ có thể là 3.

Nếu \(p=3\):

• Tìm \(A\): \(A = 2 + \frac{3}{3} = 2+1 = 3\).
• Tìm \(q\): \(q = p+2 = 3+2 = 5\).

Kiểm tra lại cặp \((p,q) = (3,5)\) với điều kiện \(p+1 = 2^{A-1}\):

\(3+1 = 2^{3-1}\)
\(4 = 2^2\). Điều này đúng!

Vậy, cặp \((p,q) = (3,5)\) là một nghiệm tiềm năng.

Kiểm tra lại cặp \((p,q) = (3,5)\) với phương trình ban đầu:

\((p+q)^p = (3+5)^3 = 8^3 = 512\).

\((q-p)^{2q-1} = (5-3)^{2 \cdot 5 – 1} = 2^{10-1} = 2^9 = 512\).

Hai vế bằng nhau! Vậy \((p,q) = (3,5)\) là một nghiệm của bài toán.

Trường hợp 2: \(2^{A-B} + 1 = 1\).

Điều này có nghĩa là \(2^{A-B} = 0\), là điều không thể xảy ra với mọi số mũ \(A-B\).

Trường hợp 3: \(2^{B-1} = q\).

Nếu \(q\) là lũy thừa của 2, thì vì \(q\) là số nguyên tố, \(q\) phải bằng 2.
Nhưng chúng ta đã kết luận \(p\) và \(q\) đều phải là số nguyên tố lẻ trong Bước 3.
Vì vậy, trường hợp này không thể xảy ra.

Qua các bước phân tích, chúng ta thấy rằng chỉ có một cặp số nguyên tố \((p,q)\) thỏa mãn yêu cầu của đề bài.

Kết luận:

Cặp số nguyên tố \((p,q)\) thỏa mãn điều kiện đã cho là \((3,5)\).

Các em thấy không, một bài toán nhìn có vẻ phức tạp nhưng nếu chúng ta kiên nhẫn chia nhỏ ra từng bước, phân tích từng điều kiện thì sẽ tìm ra lời giải. Hãy luôn cẩn thận với các trường hợp đặc biệt và các tính chất của số nguyên tố nhé!