Ta có : x^2 -1 = 6y^2
=> (x-1)(x+1)=6y^2
x-1;x+1 có ít nhất 1 số chẵn mà x-1+x+1=2x ( số chẵn)
=> (x-1)(x+1) là tích 2 số chẵn liên tiếp
=> (x-1)(x+1) chia hết cho 8
=> 6y^2 chia hết cho 8 => 3y^2chia hết cho 4
Mà (3; 4)=1 nên y^2 chia hết cho 4.
Vì y là số nguyên tố nên y=2. => x= 5