biến đổi biểu thức ta có:
\(\left(x^2-1\right):2=y^2\)
ta có: x và y là số nguyên dương nên:
+) x > y và x là số lẻ nên:
từ đó đặt x=2k+1(k là số nguyên dương)
biểu thức tương đương :
\(2.k.\left(k+1\right)=y^2\left(+\right)\)
để ý ta thấy:
y là số nguyên tố nên y2 se là số nguyên dương và có 3 ước là:
(1,y,y2)
từ(1) nên thây được y2 chia hết cho 2 => y=2=>k=1
vậy x=3
nên:y=2 và x=3