Cho các số nguyên dương a > b thỏa mãn: ab − 1 và a + b nguyên tố cùng
nhau; ab + 1 và a − b nguyên tố cùng nhau. Chứng minh rằng: (a + b)^2 + (ab-1)^2 không phải là một số chính phương.