Cho x2 +y2 = 22
x,y thuộc Z
CM a) xy chia hết cho 12
b) xyz chia hết cho 60
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.
Do 1 số chính phương khi chia cho 3 chỉ có thể có số dư là 0 hoặc 1 nên nếu \(x,y⋮̸3\) thì \(z^2=x^2+y^2\equiv1+1\equiv2\left[3\right]\), vô lí. Vậy trong 2 số x, y phải tồn tại 1 số chia hết cho 3.
Tương tự, một số chính phương khi chia cho 4 chỉ có thể có số dư là 0 hoặc 1 nên nếu \(x,y⋮̸4\) thì \(z^2=x^2+y^2\equiv1+1\equiv2\left[4\right]\), vô lí. Vậy trong 2 số x, y phải có 1 số chia hết cho 4.
Từ 2 điều trên, kết hợp với \(\left(4,3\right)=1\), thu được \(xy⋮3.4=12\). Ta có đpcm.
a) Vì x - y chia hết cho 7 nên tích trên chia hết cho 7.
b) x - y chia hết cho 7 => x và y chia hết cho 7
=> Tổng đó chia hết cho 7
60 = 3.4.5
Ta cần c/m xyz chia hết cho 3; 4 và 5.
Xét x² + y² = z²
* 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.
=> x² + y² ≡ 1 + 1 = 2 ( mod 3 )
Vô lí vì z² ≡ 1 ( mod 3 )
Vậy tồn tại ít nhất 1 số ⋮ 3, do đó xyz ⋮ 3 (♠)
* 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.
*TH 1 : Cả x; y và z lẻ => x²; y² và z² chia 4 dư 1.
=> z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại }
*TH 2 : Có ít nhất 2 số chẵn => xyz⋮ 4
*TH 3 : Có 1 số chẵn và 2 số lẻ.
......+ Với x; y lẻ thì z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại do z chẵn nên z² ≡ 0 ( mod 4 )}
......+ Với x; z lẻ thì y² = z² - x² ≡ (z - x)(z + x). Ta có bảng sau :
........z...............x...........z-...
....4m+1.......4n+1.........4(m-n).......
....4m+3.......4n+1.......4(m-n)+2.......
Các trường hợp khác tương tự. Ta luôn có y² = (z-x)(z+x)⋮8. Trong khi y²⋮4 nhưng không⋮8 => mâu thuẫn.
Vậy tồn tại ít nhất 1 số⋮4 => xyz⋮4 (♣)
* 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.
+ TH 1 : x² ≡ 1 ( mod 5 ); y² ≡ 1 ( mod 5 ) => z² = x² + y² ≡ 2 ( mod 5 ) { loại }
+ TH 2 : x² ≡ -1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ -1 ( mod 5 ) { loại }
+ TH 3 : x² ≡ 1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ 0 ( mod 5 ) { loại }
Vậy tồn tại ít nhất 1 số⋮5 => xyz⋮5 (♦)
Từ (♠); (♣) và (♦) => xyz⋮3.4.5 = 60 ( đpcm )
60 = 3.4.5
Ta cần c/m xyz chia hết cho 3; 4 và 5.
Xét x² + y² = z²
* 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.
=> x² + y² ≡ 1 + 1 = 2 ( mod 3 )
Vô lí vì z² ≡ 1 ( mod 3 )
Vậy tồn tại ít nhất 1 số ⋮ 3, do đó xyz ⋮ 3 (♠)
* 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.
*TH 1 : Cả x; y và z lẻ => x²; y² và z² chia 4 dư 1.
=> z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại }
*TH 2 : Có ít nhất 2 số chẵn => xyz⋮ 4
*TH 3 : Có 1 số chẵn và 2 số lẻ.
......+ Với x; y lẻ thì z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại do z chẵn nên z² ≡ 0 ( mod 4 )}
......+ Với x; z lẻ thì y² = z² - x² ≡ (z - x)(z + x). Ta có bảng sau :
........z...............x...........z-...
....4m+1.......4n+1.........4(m-n).......
....4m+3.......4n+1.......4(m-n)+2.......
Các trường hợp khác tương tự. Ta luôn có y² = (z-x)(z+x)⋮8. Trong khi y²⋮4 nhưng không⋮8 => mâu thuẫn.
Vậy tồn tại ít nhất 1 số⋮4 => xyz⋮4 (♣)
* 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.
+ TH 1 : x² ≡ 1 ( mod 5 ); y² ≡ 1 ( mod 5 ) => z² = x² + y² ≡ 2 ( mod 5 ) { loại }
+ TH 2 : x² ≡ -1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ -1 ( mod 5 ) { loại }
+ TH 3 : x² ≡ 1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ 0 ( mod 5 ) { loại }
Vậy tồn tại ít nhất 1 số⋮5 => xyz⋮5 (♦)
Từ (♠); (♣) và (♦) => xyz⋮3.4.5 = 60 ( đpcm )
Các trường hợp khác tương tự. Ta luôn có y² = (z-x)(z+x)⋮8. Trong khi y²⋮4 nhưng không⋮8 => mâu thuẫn.???
60 = 3.4.5
Ta cần c/m xyz chia hết cho 3; 4 và 5.
Xét x² + y² = z²
* 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.
=> x² + y² ≡ 1 + 1 = 2 ( mod 3 )
Vô lí vì z² ≡ 1 ( mod 3 )
Vậy tồn tại ít nhất 1 số ⋮ 3, do đó xyz ⋮ 3 (♠)
* 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.
*TH 1 : Cả x; y và z lẻ => x²; y² và z² chia 4 dư 1.
=> z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại }
*TH 2 : Có ít nhất 2 số chẵn => xyz⋮ 4
*TH 3 : Có 1 số chẵn và 2 số lẻ.
......+ Với x; y lẻ thì z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại do z chẵn nên z² ≡ 0 ( mod 4 )}
......+ Với x; z lẻ thì y² = z² - x² ≡ (z - x)(z + x). Ta có bảng sau :
........z...............x...........z-...
....4m+1.......4n+1.........4(m-n).......
....4m+3.......4n+1.......4(m-n)+2.......
Các trường hợp khác tương tự. Ta luôn có y² = (z-x)(z+x)⋮8. Trong khi y²⋮4 nhưng không⋮8 => mâu thuẫn.
Vậy tồn tại ít nhất 1 số⋮4 => xyz⋮4 (♣)
* 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.
+ TH 1 : x² ≡ 1 ( mod 5 ); y² ≡ 1 ( mod 5 ) => z² = x² + y² ≡ 2 ( mod 5 ) { loại }
+ TH 2 : x² ≡ -1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ -1 ( mod 5 ) { loại }
+ TH 3 : x² ≡ 1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ 0 ( mod 5 ) { loại }
Vậy tồn tại ít nhất 1 số⋮5 => xyz⋮5 (♦)
Từ (♠); (♣) và (♦) => xyz⋮3.4.5 = 60 ( đpcm )
a) Vì x - y chia hết cho 7 nên 22(x - y) chia hết cho 7.
b) x - y chia hết cho 7 => x và y chia hết cho 7.
=> 8x + 20y chia hết cho 7.
..... Cx tương tự thôi, bạn tự làm