Cho hai số nguyên $a$ và $b$ thỏa mãn $24a^2+1=b^2.$ Chứng minh rằng chỉ có một số $a$ hoặc $b$ chia hết cho $5$

Để chứng minh rằng chỉ có một số trong \(a\) hoặc \(b\) chia hết cho \(5\), chúng ta sẽ xem xét phương trình \(24a^2 + 1 = b^2\) modulo \(5\). Trước tiên, chúng ta sẽ tính giá trị của \(24a^2 + 1\) và \(b^2\) theo modulo \(5\): 1. **Tính \(24a^2 \mod 5\):** - \(24 \mod 5 = 4\), do đó \(24a^2 \equiv 4a^2 \mod 5\). - Giá trị của \(a^2\) modulo \(5\) có thể là \(0\), \(1\), hoặc \(4\) (bởi vì \(a^2 \equiv 0, 1, 2, 3, 4 \mod 5\) dẫn đến \(0, 1, 4 \mod 5\)). - Nếu \(a^2 \equiv 0 \mod 5\): \(4a^2 \equiv 0 \mod 5\) - Nếu \(a^2 \equiv 1 \mod 5\): \(4a^2 \equiv 4 \mod 5\) - Nếu \(a^2 \equiv 4 \mod 5\): \(4a^2 \equiv 1 \mod 5\) Tóm lại, \(24a^2 \equiv 0, 4, 1 \mod 5\). 2. **Tính \(b^2 \mod 5\):** - Giá trị của \(b^2\) modulo \(5\) cũng có thể là \(0\), \(1\), hoặc \(4\) như đã phân tích ở trên. Bây giờ, chúng ta sẽ xem xét các trường hợp của \(24a^2 + 1 \equiv b^2 \mod 5\): - Nếu \(24a^2 \equiv 0 \mod 5\), thì: \[ 0 + 1 \equiv b^2 \mod 5 \implies b^2 \equiv 1 \mod 5 \] Trong trường hợp này, \(b\) có thể là \(1\) hoặc \(4 \mod 5\). - Nếu \(24a^2 \equiv 4 \mod 5\), thì: \[ 4 + 1 \equiv b^2 \mod 5 \implies b^2 \equiv 0 \mod 5 \] Trong trường hợp này, \(b\) phải chia hết cho \(5\). - Nếu \(24a^2 \equiv 1 \mod 5\), thì: \[ 1 + 1 \equiv b^2 \mod 5 \implies b^2 \equiv 2 \mod 5 \] Tuy nhiên, không có số nguyên nào mà bình phương modulo \(5\) cho ra \(2\). Từ ba trường hợp trên, chúng ta rút ra kết luận như sau: 1. Nếu \(a\) không chia hết cho \(5\) (tức là \(a^2 \equiv 1\) hoặc \(4\)), thì \(b\) phải chia hết cho \(5\). 2. Nếu \(a\) chia hết cho \(5\), thì \(b^2 \equiv 1\) hoặc \(4\), nghĩa là \(b\) không chia hết cho \(5\). Do đó, chúng ta có thể khẳng định rằng chỉ có một trong hai số \(a\) hoặc \(b\) chia hết cho \(5\). **Kết luận:** Chỉ có một số \(a\) hoặc \(b\) chia hết cho \(5\).