4

I am trying to solve this equation:

Given $x,y\in \text {Z}$: Solve : $x^4+x-y^4+y=2x^2y^2(x^4-y^4+1)^3$

Obviously, when $x=0$, it is easy to find that $y=0,y=1$ and $y=0$ then $x=0, x=-1$.

My question is how to find another solutions.

My try is factorization, but the power of $x,y$ is too big, i guess there is relation between $x,y$ so i tried to divide polynomial $x^4+x-y^4+y-2x^2y^2(x^4-y^4+1)^3$ by $xy$ or $xy-1$ (base on CAS gives solutions $x,y$ and $xy=0,xy=1$) but i failed.

I am bad at inequalities so i can't find another approach.

Every help is precious to me,thank you for reading.

OnTheWay
  • 2,669

2 Answers2

3

Write $a=x+y$, $b=x-y$, $c=x^2+y^2$ then the equation becomes $$2a(bc+1)=(c-ab)(c+ab)(abc+1)^3.$$ Now if $|a|>1$ and $|bc|>1$ then by the fundamental theorem of arithmetic either $a$ or $bc+1$ must contain three copies of all the prime factors of $abc+1$. However $a$ is coprime with $abc+1$, so $bc+1$ must contain three copies of all the prime factors of $abc+1$, an impossibility. Hence there are no integer solutions other than the trivial cases.

★ Note that

$$ \begin{align} c-ab&=x^2+y^2-(x^2-y^2)=2y^2\\ c+ab&=x^2+y^2+(x^2-y^2)=2x^2\\ abc&=x^4-y^4\\ \end{align} $$

Suzu Hirose
  • 11,660
  • Thank you for you effort, if you don't mind, can you explain more about case when absolute value is bigger than $1$ and leads to there are no integer solutions other than the trivial cases. – OnTheWay Sep 02 '22 at 10:25
  • The numbers on the left and the numbers on the right of the equation have to have the same prime factorisation. If a>2 then $a\times integer+1$ cannot possibly have factors in common with $a$, so this is insoluable. – Suzu Hirose Sep 02 '22 at 10:27
  • @Sil Yes my logic seems to be flawed. Do you think this argument can be rescued? – Suzu Hirose Sep 02 '22 at 10:28
  • I only see $\gcd(bc+1,abc+1)=\gcd(bc+1,a-1)$, but that probably won't help – Sil Sep 02 '22 at 10:30
  • Do you think we can do something with the cube? – Suzu Hirose Sep 02 '22 at 10:30
  • 1
    I guess we still have $(abc+1)^3 \mid 2(bc+1)$ and so $|abc+1|^3 \leq 2|bc+1|$ which seems too restrictive – Sil Sep 02 '22 at 10:46
  • Suzu, how do things change if the problem is actually intended to be $x^4+x-y^4-y=2x^2y^2(x^4-y^4+1)^3 ; ; ? ; ; $ I think this fairly likely. – Will Jagy Sep 03 '22 at 16:39
1

Given $x,y\in\mathbb Z\;,\;$ solve the following equation :

$x^4+x-y^4+y=2x^2y^2\left(x^4-y^4+1\right)^3\;.$

We can rearrange the terms in the following way :

$x+y-1=2x^2y^2\left(x^4-y^4+1\right)^3-\left(x^4-y^4+1\right)\;,$

$x+y-1=\left(x^4-y^4+1\right)\left[2x^2y^2\left(x^4-y^4+1\right)^2-1\right].\;\;\color{blue}{(*)}$

There are four possible cases :

$1)\;x=0\;,\;$

$2)\;x\ne0\;\land\;y=0\;,$

$3)\;x\ne0\;\land\;y\ne0\;\land\;x=y\;,$

$4)\;x\ne0\;\land\;y\ne0\;\land\;x\ne y\;.$

First case : $\;x=0\;.$

If $\;x=0\;,\;$ from the equation $(*)\;,\;$ we get that

$y-1=y^4-1\;,$

$y=y^4\;,$

$y\left(1-y^3\right)=0\;,$

$y=0\;\lor\;y=1\;.$

Hence, we have obtained the following two solutions :

$\begin{cases}x=0\\y=0\end{cases}\;\lor\;\begin{cases}x=0\\y=1\end{cases}\;.$

Second case : $\;x\ne0\;\land\;y=0\;.$

If $\;x\ne0\;\land\;y=0\;,\;$ from the equation $(*)\;,\;$ we get that

$x-1=-x^4-1\;,$

$x=-x^4\;,$

$x\left(1+x^3\right)=0\;,$

and, since $\;x\ne0\;,$ it follows that

$1+x^3=0\;,$

$x=-1\;.$

Hence, we have obtained the following solution :

$\begin{cases}x=-1\\y=0\end{cases}.$

Third case : $\;x\ne0\;\land\;y\ne0\;\land\;x=y\;.$

If $\;x\ne0\;\land\;y\ne0\;\land\;x=y\;,\;$ from $\;(*)\;,\;$ we get that

$2x-1=2x^4-1\;,$

$2x=2x^4\;,$

$2x\left(1-x^3\right)=0\;,$

and, since $\;x\ne0\;,\;$ it follows that

$1-x^3=0\;,$

$x=1\;.$

Hence, we have obtained the following solution :

$\begin{cases}x=1\\y=1\end{cases}.$

Fourth case : $\;x\ne0\;\land\;y\ne0\;\land\;x\ne y\;.$

If $\;x\ne0\;\land\;y\ne0\;\land\;x\ne y\;,\;$ we get that

$\begin{align} \left|x^4-y^4+1\right|&=\left|(x+y)(x-y)\left(x^2+y^2\right)+1\right|\geqslant\\ &\geqslant\left|(x+y)(x-y)\left(x^2+y^2\right)\right|-1\geqslant\\ &\geqslant2\left|x+y\right|-1=\\ &=2\big|(x+y-1)+1\big|-1\geqslant\\ &\geqslant2\left|x+y-1\right|-3\;. \end{align}$

Since $\;2x^2y^2\left(x^4-y^4+1\right)^2-1\;$ is an odd number, it results that $\;\left|2x^2y^2\left(x^4-y^4+1\right)^2-1\right|\geqslant1\;.$

From the equation $\;(*)\;,\;$ it follows that

$\begin{align} \big|x+y-1\big|&=\left|x^4-y^4+1\right|\left|2x^2y^2\left(x^4-y^4+1\right)^2-1\right|\geqslant\\ &\geqslant\left|x^4-y^4+1\right|\geqslant2\left|x+y-1\right|-3\;, \end{align}$ hence ,

$\left|x+y-1\right|\leqslant3\;.$

Now, we are going to prove that $\;x\ne-y\;.$

If $\;x=-y\;,\;$ from the equation $\;(*)\;,\;$ it would follow that

$-1=2x^4-1\;,\;$ but it is a contradiction since $\;x\ne0\;.$

Hence, it results that $\;x\ne-y\;.$

So , $\;x^2\ne y^2\;$ because $\;x\ne y\;$ and $\;x\ne-y\;.$

Consequently,

$\begin{align} \left|x^4-y^4+1\right|&=\left|\left(x^2-y^2\right)\left(x^2+y^2\right)+1\right|\geqslant\\ &\geqslant\left|\left(x^2-y^2\right)\left(x^2+y^2\right)\right|-1\geqslant\\ &\geqslant1\cdot5-1=4\;,\\ &\text{indeed }\;x^2\ne y^2\;\text{ and }\;x^2\ne0\;,\;y^2\ne0\;. \end{align}$

Moreover, from the equation $\;(*)\;,\;$ it follows that

$\begin{align} 3\geqslant\big|x+y-1\big|&=\left|x^4-y^4+1\right|\left|2x^2y^2\left(x^4-y^4+1\right)^2-1\right|\geqslant\\ &\geqslant4\cdot1=4\;, \end{align}$

which is a contradiction and it means that there is not any solution in this fourth case.

Hence, all the solutions of the equation are the following ones :

$\begin{cases}x=0\\y=0\end{cases}\;\lor\;\begin{cases}x=0\\y=1\end{cases}\;\lor\;\begin{cases}x=-1\\y=0\end{cases}\;\lor\;\begin{cases}x=1\\y=1\end{cases}.$

Angelo
  • 12,328
  • $x=-1, y=0$ is a solution: $1+-1-0+0=0$ and $2\times 0^2\times-1^2\times(cube)=0$. – Suzu Hirose Sep 02 '22 at 11:30
  • @SuzuHirose, thank you, I am going to correct it. – Angelo Sep 02 '22 at 11:34
  • @Angelo, I neither understand your "So it would follow that $p\not\mid(x+y)[(x-y)(x^2+y^2)+1]$", nor why it would be a contradiction. Note also that the number $(x+y)(x−y)(x^2+y^2)+1=x^4-y^4+1$ does have prime factors in your first case (every prime divides $0$), and also in the forgotten fourth case mentionned by Suzu Hiroze. – Anne Bauval Sep 02 '22 at 12:28
  • @SuzuHirose, I have corrected my answer. Can you tell me what you think about it ? – Angelo Sep 02 '22 at 21:57
  • @AnneBauval, I have corrected my answer. Can you tell me what you think about it ? – Angelo Sep 02 '22 at 21:58