Cho a,b là các số nguyên dương thỏa mãn p=a^2+b^2 là số nguyên tố và p-5 chia hết cho 8 . Giả sử x,y là các số nguyên thỏa mãn ax^2-by^2 chia hết cho p. Chứng minh rằng cả 2 số x,y chia hết cho p
Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
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
\(\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.