Cho các số nguyên dương x;y;z thỏa mãn \(x^2+y^2=z^2\) .Chứng minh rằng x.y.z 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.
![](https://rs.olm.vn/images/avt/0.png?1311)
![](https://rs.olm.vn/images/avt/0.png?1311)
Giả sử (x;y) là cặp số nguyên dương cần tìm. Khi đó ta có:
(xy-1) I (x^3+x) => (xy-1) I x.(x^2+1) (1)
Do (x; xy-1) =1 ( Thật vậy: gọi (x;xy-1) =d => d I x => d I xy => d I 1).
Nên từ (1) ta có:
(xy-1) I (x^2+1)
=> (xy-1) I (x^2+1+xy -1) => (xy-1) I (x^2+xy) => (xy-1) I x.(x+y) => (xy-1) I (x+y)
Điều đó có nghĩa là tồn tại z ∈ N* sao cho:
x+y = z(xy-1) <=> x+y+z =xyz (2)
[Đây lại có vẻ là 1 bài toán khác]
Do vai trò bình đẳng nên ta giả sử: x ≥ y ≥ z.
Từ (2) ta có: x+y+z ≤ 3x => 3x ≥ xyz => 3 ≥ yz ≥ z^2 => z=1
=> 3 ≥ y => y ∈ {1;2;3}
Nếu y=1: x+2 =x (loại)
Nếu y=2: (2) trở thành x+3 =2x => x=3
Nếu y=3: x+4 = 3x => x=2 (loại vì ta có x≥y)
Vậy khi x ≥ y ≥ z thì (2) có 1 nghiệm (x;y;z) là (3;2;1)
Hoán vị vòng quanh được 6 nghiệm là: .....[bạn tự viết nhé]
Vậy bài toán đã cho có 6 nghiệm (x;y) là : .... [viết y chang nhưng bỏ z đi]
Giả sử (x;y) là cặp số nguyên dương cần tìm. Khi đó ta có:
(xy-1) I (x^3+x) => (xy-1) I x.(x^2+1) (1)
Do (x; xy-1) =1 ( Thật vậy: gọi (x;xy-1) =d => d I x => d I xy => d I 1).
Nên từ (1) ta có:
(xy-1) I (x^2+1)
=> (xy-1) I (x^2+1+xy -1) => (xy-1) I (x^2+xy) => (xy-1) I x.(x+y) => (xy-1) I (x+y)
Điều đó có nghĩa là tồn tại z ∈ N* sao cho:
x+y = z(xy-1) <=> x+y+z =xyz (2)
[Đây lại có vẻ là 1 bài toán khác]
Do vai trò bình đẳng nên ta giả sử: x ≥ y ≥ z.
Từ (2) ta có: x+y+z ≤ 3x => 3x ≥ xyz => 3 ≥ yz ≥ z^2 => z=1
=> 3 ≥ y => y ∈ {1;2;3}
Nếu y=1: x+2 =x (loại)
Nếu y=2: (2) trở thành x+3 =2x => x=3
Nếu y=3: x+4 = 3x => x=2 (loại vì ta có x≥y)
Vậy khi x ≥ y ≥ z thì (2) có 1 nghiệm (x;y;z) là (3;2;1)
Hoán vị vòng quanh được 6 nghiệm là: .....[bạn tự viết nhé]
Vậy bài toán đã cho có 6 nghiệm (x;y) là : .... [viết y chang nhưng bỏ z đi]
![](https://rs.olm.vn/images/avt/0.png?1311)
\(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 => x2 ; y2 và z2 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ẻ => x2 ; y2 và z2 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 đó y2 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 => x2 ; y2 và z2 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é!