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.
