\(x^3+7x=y^3+7y\)
\(\Leftrightarrow\left(x^3-y^3\right)+\left(7x-7y\right)=0\)
\(\Leftrightarrow\left(x-y\right)\left(x^2+xy+y^2\right)+7\left(x-y\right)=0\)
\(\Leftrightarrow\left(x-y\right)\left(x^2+xy+y^2+7\right)=0\)
\(TH1:x-y=0\Rightarrow x=y\)
\(TH2:x^2+y^2+xy+7=0\)(pt này không có nghiêm nguyên)
Vậy x = y với x,y nguyên
\(\Leftrightarrow x^3-y^3+7x-7y=0\)
\(\Leftrightarrow\left(x-y\right)\left(x^2+xy+y^2\right)+7\left(x-y\right)=0\)
\(\Leftrightarrow\left(x-y\right)\left(x^2+xy+y^2+7\right)=0\)
\(\Leftrightarrow\orbr{\begin{cases}x-y=0\\x^2+xy+y^2+7=0\end{cases}}\)
\(\Leftrightarrow\orbr{\begin{cases}x=y\\\left(x+\frac{y}{2}\right)^2+\frac{3y^2}{4}+7=0\end{cases}}\)
Dễ thấy rằng vế dưới là vô nghiệm
\(\Rightarrow x=y\)
Vậy \(\forall x,y\in R\)thì \(x=y\)là nghiệm của pt trên
