Vì x^2+1 chia hết xy+1 nên y^2(x^2+1) chia hết xy+1

hay x^2y^2 +y^2 chia hết xy+1.

Ta có x^2y^2+y^2=(x^2y^2 +2xy+1) +y^2 -2xy-1   Thêm và bớt 2xy+1

=(x^2y^2 +2xy+1) -2(xy+1) +y^2+1

=(xy+1)^2 -2(xy+1) +y^2+1 suy ra y^2+1  chia hết xy+1

Vì x^2+1 chia hết xy+1 nên y^2(x^2+1) chia hết xy+1

Hay x^2y^2 +y^2 chia hết xy+1.

Ta có x^2y^2+y^2=(x^2y^2 +2xy+1) +y^2 -2xy-1   Thêm và bớt 2xy+1

=(x^2y^2 +2xy+1) -2(xy+1) +y^2+1

=(xy+1)^2 -2(xy+1) +y^2+1 suy ra y^2+1  Chia hết xy+1

p=a^2+b^2 (1)

p là số nguyên tố, p-5 chia hết 8 => p lẻ >=13  và a,b có 1 chẵn 1 lẻ

A=a.x^2-b.y^2 chia hết cho p, nên có thể viết  A = p(c.x^2 -d.y^2) với c,d phải nguyên

và c.p = a và d.p = b

thay (1) vào ta thấy c=a/(a^2+b^2) cần nguyên là vô lý vậy A muốn chia hết cho p <=> x và y cùng là bội số của p 

Đặt \(p=8k+5\left(đk:K\in N\right)\)

Vì: \(\left(ax^2\right)^{4k+2}-\left(by^2\right)^{4k+2}⋮\left(ax^2-by^2\right)\)

\(\Rightarrow a^{4k+2}.x^{8k+4}-b^{4k+2}.y^{8k+4}⋮p\)

Mà \(a^{4k+2}.x^{8k+4}-b^{4k+2}.y^{8k+4}\)\(=\left(a^{4k+2}+b^{4k+2}\right).x^{8k+4}-b^{4k+2}\)\(\left(x^{8k+4}+y^{8k+4}\right)\)

Ta lại có: \(a^{4k+2}+b^{4k+2}=\left(a^2\right)^{2k+1}+\left(b^2\right)^{2k+1}⋮p\) ; p<d nên \(x^{8k+4}+y^{8k+4}⋮p\)

Làm tiếp đi 

IQ vô cực

\(\left(x-y\right)^2+2xy⋮4\)

\(\Rightarrow x^2-2xy+y^2+2xy⋮4\)

\(\Rightarrow x^2+y^2⋮4\)

\(\Rightarrow x^2⋮4;y^2⋮4\)

mà \(4⋮2\)

\(\Rightarrow x^2⋮2;y^2⋮2\Rightarrow x⋮2;y⋮2\)

\(\Rightarrow dpcm\)

 Bài làm của bạn Trí từ chỗ \(x^2+y^2⋮4\Rightarrow x^2,y^2⋮4\) thì bạn còn phải xét thêm trường hợp \(x,y\) cùng lẻ nữa. Vì số chính phương khi chia cho 4 chỉ có thể dư 0 hoặc 1 nên nếu \(x,y\) lẻ thì \(x^2+y^2\) chia 4 dư 2, không thỏa mãn. Vậy mới suy ra được \(x^2,y^2⋮4\). Còn lại bạn đúng hết rồi.