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.

\(60=3.4.5\)

Ta cần chứng minh xyz chia hết cho 3 ; 4 và 5

\(∗\)Giả sử cả x ; y và z đều không chia hết cho 3

Khi đó x ; y và z chia cho 3 dư 1 hoặc dư 2 => x² ; y² và z² chia cho 3 dư 1

\(\Rightarrow x^2+y^2\equiv1+1=2\) ( mod 3 )

Vô lí vì  \(z^2\equiv1\) ( mod 3 )

Vậy tồn tại ít nhất 1 số chia hết cho 3, do đó \(xyz⋮3\) ( 1 )

\(∗\)Giả sử cả x ; y và z không chia hết cho 4

Khi đó x ; y và z chia cho 4 dư 1 ; 2 hoặc 3

- TH1 : Cả x ; y và z lẻ => x² ; y² và z² chia 4 dư 1

\(\Rightarrow x^2+y^2\equiv1+1=2\) ( mod 4 ) ( loại ) 

- TH2 : Có ít nhất 2 số chẵn => xyz chia hết cho 4

- TH3 : Có 1 số chẵn và 2 số lẻ

+) Với x ; y lẻ thì  \(z^2=x^2+y^2\equiv1+1=2\) ( mod 4 ) ( loại do z chẵn nên \(z^2\equiv0\) ( mod 4 ) )

+) Với x ; z lẻ thì \(y^2=z^2-x^2\equiv\left(z-x\right)\left(z+x\right)\) .Ta có bảng sau : 

Các trường hợp khác tương tự

Ta luôn có \(y^2=\left(z-x\right)\left(z+x\right)⋮8\)  . Trong khi đó y² không chia hết cho 4 nhưng lại chia hết cho 8 => Mâu thuẫn 

Vậy tồn tại ít nhất 1 số chia hết cho 4 \(\Rightarrow xyz⋮4\) ( 2 )

\(∗\)Giả sử cả x ; y và z không chia hết cho 5

Khi đó x ; y và z chia cho 5 dư 1 ; 2 ; 3 hoặc 4 => x² ; y² và z² chia cho 5 dư 1 hoặc -1

- TH1 : \(x^2\equiv1\) ( mod 5 ) ; \(y^2\equiv1\) ( mod 5 ) \(\Rightarrow z^2=x^2+y^2\equiv2\) ( mod 5 ) ( loại )

- TH2 : \(x^2\equiv-1\) ( mod 5 ) ; \(y^2\equiv-1\) ( mod 5 ) \(\Rightarrow z^2=x^2+y^2\equiv-1\) ( mod 5 ) ( loại )

- TH3 : \(x^2\equiv1\) ( mod 5 ) ; \(y^2\equiv-1\) ( mod 5 ) \(\Rightarrow z^2=x^2+y^2\equiv0\) ( mod 5 ) ( loại )

Vậy tồn tại ít nhất một số chia hết cho 5 \(\Rightarrow xyz⋮5\) ( 3 )

Từ ( 1 ) ; ( 2 ) và ( 3 ) \(\Rightarrow xyz⋮3.4.5=60\left(đpcm\right)\)

cảm ơn bạn Death Note đã giúp mk nhé!

lam thế  nao vậy?

ko hỉu

Giả thiết đã cho có thể viết lại được thành 3x²-2y²=1(1)

Từ đây, ta có x lẻ nên x²chia 8 dư 1 => 3x² chia 8 dư 3

Từ đo ta có 2y² chia 8 dư 2

=> y² chia 8 dư 1. Do đó: x²-y² chia 8 (2)

Tiếp theo ta sẽ chứng minh x²-y²chia hết cho 5 (3)

Chú ý rằng số dư của a² (a thuộc Z) khi chia cho 5 là 0;1 và 4

Từ (2) và (3) với chú ý (5;8)=1 ta thu được x²-y² chia hết cho 40 (đpcm)

a.Vì x,y là số nguyên dương

     => 1003 và 2y cũng là số nguyên dương                              

 Vì 2008 là số chẵn 

 mà 2y cũng là số chẵn

=> 1003x là số chẵn

Vì 1003 là số lẻ 

mà 1003x là số chẵn

=> x là số chẵn 

=> x chia hết cho 2 (đpcm)

                       Vậy ta có đpcm