Có bổ đề sau: \(a^2=pq\) với \(a,p,q\in Z^+\) và \(\left(p,q\right)=1\) thì p,q là hai số chính phương
\(2a^2-2b^2+a-b=b^2\Leftrightarrow\left(a-b\right)\left(2a+2b+1\right)=b^2\)(*)
Gọi d là UWCLN của a-b và 2a+2b+1 ta có từ (*) b chia hết d.
a-b chia hết cho d nên 2a-2b chia hết cho d . Vậy 2a+2b+1-(2a-2b) chia hết d
nên 4b+1 chia hết d mà b chia hết cho d nên 1 chia hết d. Vậy hai số a-b và 2a+2b+1 nguyên tố cùng nhau
Áp dụng bổ đề có đpcm