Phản biện:
\(5^2+11^2=12^2\)
Ở đây ta gán p = 5, a =11, b = 12. Rõ ràng ta thấy a không chia hết cho 12, và 2(p+a+1) cũng không là số chính phương
Ta có:
p\(\equiv\)1 (mod 3;4) ( vì là số nguyên tố)
a \(\equiv\) 0;1 (mod 3;4)
b \(\equiv\) 0;1 (mod 3;4)
Từ những điều trên suy ra a phải chia hết cho cả 3 và 4, tức là a chia hết cho 12