Chào các em học sinh thân mến,

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à dạng bài yêu cầu chúng ta vận dụng kiến thức về chia hết, đồng dư và tính chất của số nguyên tố.

Đề bài: Tìm các số nguyên tố \(p,q\) thỏa mãn \(p^2+1\) chia hết cho \(q\) và \(2^q+1\) chia hết cho \(p\).

Chúng ta cùng nhau phân tích từng điều kiện một nhé!

Điều kiện 1: \(p^2+1\) chia hết cho \(q\).

Điều này có nghĩa là \(p^2 \equiv -1 \pmod q\).

Điều kiện 2: \(2^q+1\) chia hết cho \(p\).

Điều này có nghĩa là \(2^q \equiv -1 \pmod p\).

Bây giờ, chúng ta sẽ xét các trường hợp của \(p\) và \(q\) (vì chúng là số nguyên tố).

Trường hợp 1: \(p=2\)

Nếu \(p=2\), chúng ta thay vào hai điều kiện:

Từ điều kiện 1: \(p^2+1 = 2^2+1 = 4+1 = 5\).

Vì \(p^2+1\) chia hết cho \(q\), nên \(5\) chia hết cho \(q\).

Do \(q\) là số nguyên tố, nên \(q\) phải là \(5\).

Từ điều kiện 2: \(2^q+1\) chia hết cho \(p\).

Với \(q=5\) và \(p=2\), ta có \(2^5+1 = 32+1 = 33\).

Vậy, \(33\) phải chia hết cho \(p=2\).

Tuy nhiên, \(33\) không chia hết cho \(2\). Do đó, trường hợp \(p=2\) không thỏa mãn.

Trường hợp 2: \(q=2\)

Nếu \(q=2\), chúng ta thay vào hai điều kiện:

Từ điều kiện 1: \(p^2+1\) chia hết cho \(q\).

Tức là \(p^2+1\) chia hết cho \(2\).

Nếu \(p\) là số nguyên tố chẵn, thì \(p=2\). Khi đó \(p^2+1 = 2^2+1 = 5\), không chia hết cho \(2\). Vậy \(p \neq 2\).

Nếu \(p\) là số nguyên tố lẻ, thì \(p^2\) là số lẻ. Khi đó \(p^2+1\) là số chẵn, luôn chia hết cho \(2\).

Vậy, \(p\) phải là một số nguyên tố lẻ.

Từ điều kiện 2: \(2^q+1\) chia hết cho \(p\).

Với \(q=2\), ta có \(2^2+1 = 4+1 = 5\).

Vậy, \(5\) phải chia hết cho \(p\).

Do \(p\) là số nguyên tố, nên \(p\) phải là \(5\).

Bây giờ chúng ta kiểm tra cặp \((p,q) = (5,2)\):

• \(p^2+1 = 5^2+1 = 25+1 = 26\). \(26\) chia hết cho \(q=2\). (Thỏa mãn)

• \(2^q+1 = 2^2+1 = 4+1 = 5\). \(5\) chia hết cho \(p=5\). (Thỏa mãn)

Vậy, \((p,q) = (5,2)\) là một nghiệm của bài toán.

Trường hợp 3: \(p\) và \(q\) đều là các số nguyên tố lẻ

Phân tích từ điều kiện 1: \(p^2 \equiv -1 \pmod q\).

Từ \(p^2 \equiv -1 \pmod q\), chúng ta bình phương hai vế, ta được \(p^4 \equiv (-1)^2 \equiv 1 \pmod q\).

Điều này có nghĩa là bậc của \(p\) theo modulo \(q\) (ký hiệu là \(\text{ord}_q(p)\)) phải là \(4\).

Theo Định lý Fermat nhỏ, chúng ta biết rằng \(\text{ord}_q(p)\) phải là ước của \(q-1\).

Vậy, \(4\) phải là ước của \(q-1\). Điều này có nghĩa là \(q-1\) chia hết cho \(4\), hay \(q \equiv 1 \pmod 4\).

Vì \(q\) là số nguyên tố lẻ, nên \(q\) có thể là \(5, 13, 17, 29, \dots\)

Phân tích từ điều kiện 2: \(2^q \equiv -1 \pmod p\).

Từ \(2^q \equiv -1 \pmod p\), chúng ta bình phương hai vế, ta được \(2^{2q} \equiv (-1)^2 \equiv 1 \pmod p\).

Gọi \(\text{ord}_p(2)\) là bậc của \(2\) theo modulo \(p\).

Từ \(2^{2q} \equiv 1 \pmod p\), suy ra \(\text{ord}_p(2)\) là ước của \(2q\).

Mặt khác, \(2^q \equiv -1 \pmod p\) cho thấy \(2^q \not\equiv 1 \pmod p\). Do đó, \(\text{ord}_p(2)\) không phải là ước của \(q\).

Vì \(q\) là số nguyên tố, các ước của \(2q\) là \(1, 2, q, 2q\).

Do \(\text{ord}_p(2)\) không phải là ước của \(q\), nên \(\text{ord}_p(2)\) phải là \(2q\).

Theo Định lý Fermat nhỏ, chúng ta biết rằng \(\text{ord}_p(2)\) phải là ước của \(p-1\).

Vậy, \(2q\) phải là ước của \(p-1\). Điều này có nghĩa là \(p-1\) chia hết cho \(2q\).

Hay \(p-1 = k \cdot (2q)\) với \(k\) là một số nguyên dương.

Suy ra \(p = 2kq+1\). Vì \(k \ge 1\), nên \(p \ge 2q+1\).

Điều này cũng có nghĩa là \(p \equiv 1 \pmod q\).

Tổng hợp các kết quả:

Chúng ta có \(p \equiv 1 \pmod q\) và \(p^2 \equiv -1 \pmod q\).

Thay \(p \equiv 1 \pmod q\) vào \(p^2 \equiv -1 \pmod q\), ta được:

\(1^2 \equiv -1 \pmod q\)

\(1 \equiv -1 \pmod q\)

\(1 – (-1) \equiv 0 \pmod q\)

\(2 \equiv 0 \pmod q\)

Điều này có nghĩa là \(2\) chia hết cho \(q\).

Vì \(q\) là số nguyên tố, nên \(q\) phải là \(2\).

Tuy nhiên, trong trường hợp này, chúng ta đã giả sử \(q\) là số nguyên tố lẻ. Điều này dẫn đến một mâu thuẫn.

Vậy, không có cặp số nguyên tố \((p,q)\) nào thỏa mãn khi cả \(p\) và \(q\) đều là số nguyên tố lẻ.

Kết luận:

Qua các trường hợp đã xét, chúng ta thấy rằng chỉ có một cặp số nguyên tố \((p,q)\) duy nhất thỏa mãn đề bài.

Đó là cặp \((p,q) = (5,2)\).

Hy vọng bài giải chi tiết này đã giúp các em hiểu rõ hơn về cách tiếp cận và giải quyết các bài toán số học như thế này.

Nếu có bất kỳ thắc mắc nào, đừng ngần ngại hỏi nhé!