Biến đổi bt tương đương : (x^2-1)/2 =y^2
Ta có: vì x,y là số nguyên dương nên
+) x>y và x phải là số lẽ.
Từ đó đặt x=2k+1 (k nguyên dương);
Biểu thức tương đương 2*k*(k+1)=y^2 (*);
Để ý rằng:
Y là 1 số nguyên tố nên y^2 sẽ là 1 số nguyên dương mà nó có duy nhất 3 ước là :
{1,y, y^2} ;
từ (*) dễ thấy y^2 chia hết cho 2, dĩ nhiên y^2 không thể là 2, vậy chỉ có thể y=2 =>k=1;
=>x=3.
Vậy ta chỉ tìm được 1 cặp số nguyên tố thoả mãn bài ra là x=3 và y=2 (thoả mãn).
+ Nếu x chia hết cho 3 thì x=3 (vì x là số nguyên tố). Thay vào (*) ta có
32−1=2y2=8→y2=4→y=2
+ Nếu x không chia hết cho 3 thì x có dạng 3k+1 hoặc 3k+2 (k ∈ N)
Với x=3k+1 thì 2y2=x2−1=(x−1)(x+1)=(3k+1−1)(3k+1+1)=3k(3k+2)⋮3
Với x= 3k+2 thì 2y2=x2−1=(x−1)(x+1)=(3k+2−1)(3k+2+1)=(3k+1)(3k+3)=3(3k+1)(k+1)⋮3
Như vậy với mọi x không chia hết cho 3 thì x2−1⋮3→2y2⋮3. Mà (2;3)= 1
Nên y2⋮3. Do 3 là số nguyên tố nên y⋮3. Mà y là số nguyên tố nên y=3
Thay y=3 vào (*) ta có:
x2−1=2.32