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.
\(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 :
| 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 đó 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)\)
Gọi ước chung lớn nhất của x - z và y - z là d ( d \(\in\)\(ℕ^∗\))
\(\Rightarrow\hept{\begin{cases}x-z⋮d\\y-z⋮d\end{cases}}\)
\(\Rightarrow\left(x-z\right).\left(y-z\right)⋮d^2\)
\(\Rightarrow z^2⋮d^2\Rightarrow z⋮d\)
\(\Rightarrow\hept{\begin{cases}x⋮d\\y⋮d\end{cases}}\)
Mà x, y nguyên tố cùng nhau \(\Rightarrow d=1\)
\(\Rightarrow\)\(\left(x-z,y-z\right)=1\)
Mà (x-z)(y-z)=z^2 chính phương
x,y,z thuộc N*
\(\Rightarrow x-z\)và \(y-z\)đều là số chính phương
\(\Rightarrow\hept{\begin{cases}x-z=m^2\\y-z=n^2\end{cases}}\)
với m,n thuộc Z
\(\Rightarrow\left(x-z\right)\left(y-z\right)=z^2=m^2n^2\)
\(\Rightarrow z=mn\)
Ta có: (x-z)+(y-z)=(x+y)-2z
\(\Rightarrow\left(x+y\right)=m^2+n^2+2mn\)
\(\Rightarrow x+y=\left(m+n\right)^2\)
Mặt khác: \(\left(x-z\right)\left(y-z\right)=z^2\)
\(\Rightarrow xy-zy-zx+z^2=z^2\Rightarrow xy-zy-zx=0\)\(\Rightarrow xy-z\left(x+y\right)=0\Rightarrow xy=z\left(x+y\right)\)
\(\Rightarrow xyz=z^2\left(x+y\right)=z^2\left(m+n\right)^2\)là số chính phương với z thuộc N*, m,n thuộc Z (đpcm)
Vậy xyz là số chính phương.
Gọi ước chung lớn nhất của x - z và y - z là d ( d \(\in\)\(ℕ^∗\))
\(\Rightarrow\hept{\begin{cases}x-z⋮d\\y-z⋮d\end{cases}}\)
\(\Rightarrow\left(x-z\right).\left(y-z\right)⋮d^2\)
\(\Rightarrow z^2⋮d^2\Rightarrow z⋮d\)
\(\Rightarrow\hept{\begin{cases}x⋮d\\y⋮d\end{cases}}\)
Mà x, y nguyên tố cùng nhau \(\Rightarrow d=1\)
\(\Rightarrow\)\(\left(x-z,y-z\right)=1\)
Mà (x-z)(y-z)=z^2 chính phương
x,y,z thuộc N*
\(\Rightarrow x-z\)và \(y-z\)đều là số chính phương
\(\Rightarrow\hept{\begin{cases}x-z=m^2\\y-z=n^2\end{cases}}\)
với m,n thuộc Z
\(\Rightarrow\left(x-z\right)\left(y-z\right)=z^2=m^2n^2\)
\(\Rightarrow z=mn\)
Ta có: (x-z)+(y-z)=(x+y)-2z
\(\Rightarrow\left(x+y\right)=m^2+n^2+2mn\)
\(\Rightarrow x+y=\left(m+n\right)^2\)
Mặt khác: \(\left(x-z\right)\left(y-z\right)=z^2\)
\(\Rightarrow xy-zy-zx+z^2=z^2\Rightarrow xy-zy-zx=0\)\(\Rightarrow xy-z\left(x+y\right)=0\Rightarrow xy=z\left(x+y\right)\)
\(\Rightarrow xyz=z^2\left(x+y\right)=z^2\left(m+n\right)^2\)là số chính phương với z thuộc N*, m,n thuộc Z (đpcm)
Vậy xyz là số chính phương.
