Is this proof correct (Rationality of a number)?
Is this proof correct (Rationality of a number)?
Is $sqrt[3] 3+sqrt[3]9 $ a rational number? My answer is no, and there is my proof. I would like to know if this is correct:
Suppose this is rational. So there are positive integers $m,n$ such that $$sqrt[3]3+sqrt[3]9=sqrt[3]3(1+sqrt[3]3)=fracmn$$
Let $x=sqrt[3]3$. We get $x^2+x-fracmn=0 rightarrow x=frac-1+sqrt1+frac4mn2$.
We know that $x$ is irrational and that implies $sqrt1+frac4mn$ is irrational as well (Otherwise $x$ is rational). Write $x=sqrt[3]3$, multiply both sides by $2$ and then raise both sides to the power of $6$ to get:
$$24^2=left(left(sqrt1+frac4mn-1right)^3right)^2rightarrow 24=left(sqrt1+frac4mn-1right)^3=left(1+frac4mnright)cdot sqrt1+frac4mn-3left(1+frac4mnright)+3sqrt1+frac4mn-1$$
Let $sqrt1+frac4mn=y,1+frac4mn=k $.
We get: $25=ky-3k+3yrightarrow y=frac25+3kk+3$, So $y$ is rational. But we know $y$ is irrational (again, otherwise $sqrt[3]3$ is rational) which leads to a contradiction. So the answer is No, $sqrt[3]3+sqrt[3]9$ is irrational.
Is this proof correct? Is there another way to prove this? Thanks!
$begingroup$
Notice that after raising both sides to the power of 6, your next step is to take the square root of both sides. Why not just raise to the power of 3 to begin with?
$endgroup$
– Théophile
Sep 8 '18 at 12:09
$begingroup$
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
$endgroup$
– Omer
Sep 8 '18 at 12:11
$begingroup$
The proof looks correct to me.
$endgroup$
– saulspatz
Sep 8 '18 at 12:19
$begingroup$
Yes, it looks correct; the reasoning stands. Now, as lulu said, it is a lot of work and can be greatly simplified. Even if you keep the general structure here, you can save some writing in several places: apart from the power of 6 that I mentioned, also look at $1+frac4mn$. This is clearly rational, and it's a bit cumbersome to write out, so why not replace it with something else? Indeed, you call it $k$, but why not make that substitution earlier, on the previous line? But let's be consistent and call it something like $fracm'n'$ instead of $k$ to show that it is rational.
$endgroup$
– Théophile
Sep 8 '18 at 12:20
3 Answers
3
Alternatively, denote $x=sqrt[3] 3+sqrt[3]9$ and cube it to get a cubic equation with integer coefficients:
$$x^3=3+3^2(sqrt[3]3+sqrt[3]9)+9 Rightarrow \
x^3-9x-12=0.$$
According to the rational root theorem, the possible rational roots are: $pm (1,2,3,4,6,12)$. However, none of them satisfies the equation. Hence, $x$ is irrational.
Your proof is correct.
Let $alpha = sqrt[3]3 + sqrt[3]9 = sqrt[3]3(1+sqrt[3]3)$. We have
$$alpha^3 = 3(1+sqrt[3]3)^3 = 3(3 + 3sqrt[3]3 + 3sqrt[3]9 + 3) = 12 + 9(sqrt[3]3 + sqrt[3]9) = 12 + 9alpha$$
Hence $alpha^3 - 9alpha -12 = 0$.
However, the polynomial $x^3-9x-12$ is irreducible over $mathbbQ$ by the Eisenstein criterion for $p = 3$ so it cannot have any rational roots. Therefore $alpha$ is not rational.
As everyone else has said, your proof is correct but more laborious than necessary. Here's an approach that I think may minimize the amount of calculation.
Let $x=root3of3$, so we're interested in $y=x^2+x$. The fact that $x$ is a cube root suggests thinking about things involving $x^3$, and if you're lucky the following identity, involving both $x^3$ and $y$, may come to mind: $x^3-1=(x-1)(x^2+x+1)$. Aha! The left-hand side of this is a rational number, namely 2. And if $y$ is rational then the second factor on the right is also rational. But that would require $x-1$, and hence $x$, to be rational, which it certainly isn't. So $y$ can't be rational after all, and we're done.
(An easy generalization of the argument shows that things like $root5of7+root5of7^2+root5of7^3+root5of7^4$ are always irrational.)
Thanks for contributing an answer to Mathematics Stack Exchange!
But avoid …
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Required, but never shown
Required, but never shown
By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.
$begingroup$
This seems like a lot of work. We know $x$ satisfies a cubic polynomial over $mathbb Q$,namely $x^3-3$. If it also satisfies a quadratic then the quadratic and the cubic would have to a common factor, which is clearly not the case (since the cubic has no rational roots).
$endgroup$
– lulu
Sep 8 '18 at 11:56