Tuesday, September 5, 2017

elementary number theory - Cube roots don't sum up to integer



My question looks quite obvious, but I'm looking for a strict proof for this. (At least, I assume it's true what I claim.)




Why can't the sum of two cube roots of positive non-perfect cubes be an integer?





For example: $\sqrt[3]{100}+\sqrt[3]{4}$ isn't an integer. Well, I know this looks obvious, but I can't prove it...



For given numbers it will be easy to show, by finding under- and upper bounds for the roots (or say take a calculator and check it...).



Any work done so far:



Suppose $\sqrt[3]m+\sqrt[3]n=x$, where $x$ is integer. This can be rewritten as $m+n+3x\sqrt[3]{mn}=x^3$ (by rising everything to the power of $3$ and then substituting $\sqrt[3]m+\sqrt[3]n=x$ again) so $\sqrt[3]{mn}$ is rational, which implies $mn$ is a perfect cube (this is shown in a way similar to the well-known proof that $\sqrt2$ is irrational.).



Now I don't know how to continue. One way is setting $n=\frac{a^3}m$, which gives $m^2+a^3+3amx=mx^3$ but I'm not sure whether this is helpful.




Maybe the solution has to be found similar to the way one would do it with a calculator: finding some bounds and squeezing the sum of these roots between two well-chosen integers. But this is no more then a wild idea.


Answer



Suppose $a+b=c$, so that $a+b-c=0$, with $a^3, b^3, c$ all rational.



Then we have $-3abc=a^3+b^3-c^3$ by virtue of the identity $$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-ac-bc)$$ (take $c$ with a negative sign)



Hence $a+b$ and $ab$ are both rational, so $a$ and $b$ satisfy a quadratic equation with rational coefficients.



There are lots of ways of completing the proof from here.



No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...