Question

[lalisa manoban]

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.

Answer 1

[Khánh Ngọc]

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

z	x	z-
4m + 1	4n + 1	4( m - n )
4m + 3	4n + 1	4 ( n - n ) + 2

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)\)

Answer 2

[lalisa manoban]

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