Is this proof correct (Rationality of a number)?
Clash Royale CLAN TAG#URR8PPP
up vote
6
down vote
favorite
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!
rationality-testing
 |Â
show 1 more comment
up vote
6
down vote
favorite
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!
rationality-testing
3
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).
â lulu
Sep 8 at 11:56
1
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?
â Théophile
Sep 8 at 12:09
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
â Omer
Sep 8 at 12:11
The proof looks correct to me.
â saulspatz
Sep 8 at 12:19
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.
â Théophile
Sep 8 at 12:20
 |Â
show 1 more comment
up vote
6
down vote
favorite
up vote
6
down vote
favorite
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!
rationality-testing
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!
rationality-testing
rationality-testing
edited Sep 8 at 12:08
Théophile
18k12740
18k12740
asked Sep 8 at 11:51
Omer
1796
1796
3
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).
â lulu
Sep 8 at 11:56
1
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?
â Théophile
Sep 8 at 12:09
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
â Omer
Sep 8 at 12:11
The proof looks correct to me.
â saulspatz
Sep 8 at 12:19
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.
â Théophile
Sep 8 at 12:20
 |Â
show 1 more comment
3
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).
â lulu
Sep 8 at 11:56
1
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?
â Théophile
Sep 8 at 12:09
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
â Omer
Sep 8 at 12:11
The proof looks correct to me.
â saulspatz
Sep 8 at 12:19
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.
â Théophile
Sep 8 at 12:20
3
3
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).
â lulu
Sep 8 at 11:56
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).
â lulu
Sep 8 at 11:56
1
1
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?
â Théophile
Sep 8 at 12:09
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?
â Théophile
Sep 8 at 12:09
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
â Omer
Sep 8 at 12:11
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
â Omer
Sep 8 at 12:11
The proof looks correct to me.
â saulspatz
Sep 8 at 12:19
The proof looks correct to me.
â saulspatz
Sep 8 at 12:19
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.
â Théophile
Sep 8 at 12:20
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.
â Théophile
Sep 8 at 12:20
 |Â
show 1 more comment
3 Answers
3
active
oldest
votes
up vote
7
down vote
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.
add a comment |Â
up vote
3
down vote
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.
add a comment |Â
up vote
3
down vote
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.)
add a comment |Â
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
7
down vote
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.
add a comment |Â
up vote
7
down vote
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.
add a comment |Â
up vote
7
down vote
up vote
7
down vote
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.
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.
answered Sep 8 at 12:22
farruhota
15.8k2734
15.8k2734
add a comment |Â
add a comment |Â
up vote
3
down vote
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.
add a comment |Â
up vote
3
down vote
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.
add a comment |Â
up vote
3
down vote
up vote
3
down vote
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.
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.
answered Sep 8 at 12:28
mechanodroid
24.7k62245
24.7k62245
add a comment |Â
add a comment |Â
up vote
3
down vote
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.)
add a comment |Â
up vote
3
down vote
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.)
add a comment |Â
up vote
3
down vote
up vote
3
down vote
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.)
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.)
edited Sep 14 at 22:06
answered Sep 8 at 19:35
Gareth McCaughan
3,2941013
3,2941013
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2909548%2fis-this-proof-correct-rationality-of-a-number%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
3
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).
â lulu
Sep 8 at 11:56
1
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?
â Théophile
Sep 8 at 12:09
@Théophile You are right, no reason not to just raise to the power of 3. Is this proof correct?
â Omer
Sep 8 at 12:11
The proof looks correct to me.
â saulspatz
Sep 8 at 12:19
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.
â Théophile
Sep 8 at 12:20