\(\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.

Giả sử 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

Giả sử 1 \(<\) x \(\le\)y. Đặt x+1=yk ( k là một là một số tự nhiên khác 0)

Ta có : x+1 = yk \(\le\) y+1 \(<\) y+y = 2y

=> yk \(<\) 2y

=> k\(<\)  2

Mà k là một là một số tự nhiên khác 0

Nên k=1

Thay k = x+1 vào y+1 ta được

        x+1+1 = x+2 chia hết cho x

Mà x chia hết cho x nên 2 chia hết cho x

=> x\(\in\left\{1;2\right\}\)

Với x=1 thì y=x+1=1+1=2

Với x=2 thì y=2+1=3

Vậy các cặp số (x;y) thỏa mãn : (1;2) ; (2;3)