Proving $sqrt3 + sqrt[3]{2}$ to be irrational
$begingroup$
In a test I tried to solve recently I came across the following question:
Prove $$sqrt3 + sqrt[3]{2}$$ is irrational
I tried proving it by saying it is equal to some rational number $$sqrt3 + sqrt[3]{2} = frac{m}{n}$$ and reaching a contradiction.
I tried squaring / cubing both sides and that didnt work. So how do I go about solving this problem?
number-theory irrational-numbers
$endgroup$
add a comment |
$begingroup$
In a test I tried to solve recently I came across the following question:
Prove $$sqrt3 + sqrt[3]{2}$$ is irrational
I tried proving it by saying it is equal to some rational number $$sqrt3 + sqrt[3]{2} = frac{m}{n}$$ and reaching a contradiction.
I tried squaring / cubing both sides and that didnt work. So how do I go about solving this problem?
number-theory irrational-numbers
$endgroup$
1
$begingroup$
Possible duplicate of Prove that $5^{1/3}+7^{1/2}$ is irrational
$endgroup$
– Watson
Jan 29 at 9:08
add a comment |
$begingroup$
In a test I tried to solve recently I came across the following question:
Prove $$sqrt3 + sqrt[3]{2}$$ is irrational
I tried proving it by saying it is equal to some rational number $$sqrt3 + sqrt[3]{2} = frac{m}{n}$$ and reaching a contradiction.
I tried squaring / cubing both sides and that didnt work. So how do I go about solving this problem?
number-theory irrational-numbers
$endgroup$
In a test I tried to solve recently I came across the following question:
Prove $$sqrt3 + sqrt[3]{2}$$ is irrational
I tried proving it by saying it is equal to some rational number $$sqrt3 + sqrt[3]{2} = frac{m}{n}$$ and reaching a contradiction.
I tried squaring / cubing both sides and that didnt work. So how do I go about solving this problem?
number-theory irrational-numbers
number-theory irrational-numbers
edited Jan 28 at 8:52
Asaf Karagila♦
307k33439770
307k33439770
asked Jan 28 at 7:38
Guysudai1Guysudai1
18011
18011
1
$begingroup$
Possible duplicate of Prove that $5^{1/3}+7^{1/2}$ is irrational
$endgroup$
– Watson
Jan 29 at 9:08
add a comment |
1
$begingroup$
Possible duplicate of Prove that $5^{1/3}+7^{1/2}$ is irrational
$endgroup$
– Watson
Jan 29 at 9:08
1
1
$begingroup$
Possible duplicate of Prove that $5^{1/3}+7^{1/2}$ is irrational
$endgroup$
– Watson
Jan 29 at 9:08
$begingroup$
Possible duplicate of Prove that $5^{1/3}+7^{1/2}$ is irrational
$endgroup$
– Watson
Jan 29 at 9:08
add a comment |
5 Answers
5
active
oldest
votes
$begingroup$
It might be useful to first prove the following two statements - the sum of a rational and irrational number is irrational, and the product of a rational and irrational number is irrational.
You can then move the $sqrt 3$ and get:
$sqrt[3] 2=frac{m}{n}-sqrt 3$
$2=(frac{m}{n}-sqrt 3)^3$
After expanding the term at the RHS, the two lemmas you proved might come in handy.
$endgroup$
add a comment |
$begingroup$
It's possible to find a polynomial that has $sqrt{3}+sqrt[3]{2}$ as a root, along with several other variations from choosing different square and cube roots.
$$left((x-sqrt{3})^3-2right)left((x+sqrt{3})^3-2right)=0$$
$$left(x^3-3sqrt{3}x^2+9x-3sqrt{3}-2right)left(x^3+3sqrt{3}x^2+9x+3sqrt{3}-2right)=0$$
$$x^6-9x^4-4x^3+27x^2-36x-23 = 0$$
By the rational root theorem, the only possible rational roots of that polynomial are $-23,-1,1,$ and $23$. $sqrt{3}+sqrt[3]{2}$ is between $1+1=2$ and $2+2=4$, so it isn't any of them. Also, as is easily verified, none of those possible roots actually are roots. The values at $pm 1$ are $1-9-4+27-36-23=-44$ and $1-9+4+27+36-23=36$, while at $pm 23$ the $x^6$ term is much larger than everything else combined.
This is not the easy way, of course.
$endgroup$
add a comment |
$begingroup$
Suppose $sqrt 3 + sqrt[3]2$ were rational; that is,
$sqrt 3 + sqrt[3]2 = r in Bbb Q: tag 1$
then
$sqrt[3]2 = r - sqrt 3; tag 2$
we cube:
$2 = r^3 - 3r^2sqrt 3 + 3r(sqrt 3)^2 - (sqrt 3)^3, tag 3$
or
$2 = r^3 - 3r^2 sqrt 3 + 9r - 3sqrt 3, tag 4$
or
$2 = r^3 + 9r - (3r^2 + 3)sqrt 3, tag 5$
or
$sqrt 3 = dfrac{2 - r^3 -9r}{3r^2 + 3} in Bbb Q, tag 6$
which contradicts the fact that
$sqrt 3 notin Bbb Q; tag 7$
therefore, (1) is false. $OEDelta$.
$endgroup$
add a comment |
$begingroup$
Let $sqrt3+sqrt[3]2=rinmathbb Q$.
Thus, $$2=(r-sqrt3)^3$$ or
$$2=r^3-3sqrt3r^2+9r-3sqrt3$$ or
$$sqrt3=frac{r^3+9r-2}{3(r^2+1)}inmathbb Q,$$
which is a contradiction.
$endgroup$
add a comment |
$begingroup$
Squaring is simpler than cubing. ;-)
Let $u=sqrt[3]{2}+sqrt{3}$. Then $sqrt{3}=u-sqrt[3]{2}$ and therefore
$$
(u^2-3)-2usqrt[3]{2}+sqrt[3]{4}=0
$$
If $uinmathbb{Q}$, this contradicts ${1,sqrt[3]{2},sqrt[3]{4}}$ being a basis of $mathbb{Q}(sqrt[3]{2})$ over $mathbb{Q}$, which stems from $x^3-2$ being irreducible over $mathbb{Q}$ (Eisenstein) and standard facts on simple algebraic extensions.
Even simpler: if $u$ is rational, then $mathbb{Q}(sqrt{3})$ is a subfield of $mathbb{Q}(sqrt[3]{2})$, which is ruled out by the dimension theorem.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090585%2fproving-sqrt3-sqrt32-to-be-irrational%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It might be useful to first prove the following two statements - the sum of a rational and irrational number is irrational, and the product of a rational and irrational number is irrational.
You can then move the $sqrt 3$ and get:
$sqrt[3] 2=frac{m}{n}-sqrt 3$
$2=(frac{m}{n}-sqrt 3)^3$
After expanding the term at the RHS, the two lemmas you proved might come in handy.
$endgroup$
add a comment |
$begingroup$
It might be useful to first prove the following two statements - the sum of a rational and irrational number is irrational, and the product of a rational and irrational number is irrational.
You can then move the $sqrt 3$ and get:
$sqrt[3] 2=frac{m}{n}-sqrt 3$
$2=(frac{m}{n}-sqrt 3)^3$
After expanding the term at the RHS, the two lemmas you proved might come in handy.
$endgroup$
add a comment |
$begingroup$
It might be useful to first prove the following two statements - the sum of a rational and irrational number is irrational, and the product of a rational and irrational number is irrational.
You can then move the $sqrt 3$ and get:
$sqrt[3] 2=frac{m}{n}-sqrt 3$
$2=(frac{m}{n}-sqrt 3)^3$
After expanding the term at the RHS, the two lemmas you proved might come in handy.
$endgroup$
It might be useful to first prove the following two statements - the sum of a rational and irrational number is irrational, and the product of a rational and irrational number is irrational.
You can then move the $sqrt 3$ and get:
$sqrt[3] 2=frac{m}{n}-sqrt 3$
$2=(frac{m}{n}-sqrt 3)^3$
After expanding the term at the RHS, the two lemmas you proved might come in handy.
answered Jan 28 at 7:49
GSoferGSofer
781313
781313
add a comment |
add a comment |
$begingroup$
It's possible to find a polynomial that has $sqrt{3}+sqrt[3]{2}$ as a root, along with several other variations from choosing different square and cube roots.
$$left((x-sqrt{3})^3-2right)left((x+sqrt{3})^3-2right)=0$$
$$left(x^3-3sqrt{3}x^2+9x-3sqrt{3}-2right)left(x^3+3sqrt{3}x^2+9x+3sqrt{3}-2right)=0$$
$$x^6-9x^4-4x^3+27x^2-36x-23 = 0$$
By the rational root theorem, the only possible rational roots of that polynomial are $-23,-1,1,$ and $23$. $sqrt{3}+sqrt[3]{2}$ is between $1+1=2$ and $2+2=4$, so it isn't any of them. Also, as is easily verified, none of those possible roots actually are roots. The values at $pm 1$ are $1-9-4+27-36-23=-44$ and $1-9+4+27+36-23=36$, while at $pm 23$ the $x^6$ term is much larger than everything else combined.
This is not the easy way, of course.
$endgroup$
add a comment |
$begingroup$
It's possible to find a polynomial that has $sqrt{3}+sqrt[3]{2}$ as a root, along with several other variations from choosing different square and cube roots.
$$left((x-sqrt{3})^3-2right)left((x+sqrt{3})^3-2right)=0$$
$$left(x^3-3sqrt{3}x^2+9x-3sqrt{3}-2right)left(x^3+3sqrt{3}x^2+9x+3sqrt{3}-2right)=0$$
$$x^6-9x^4-4x^3+27x^2-36x-23 = 0$$
By the rational root theorem, the only possible rational roots of that polynomial are $-23,-1,1,$ and $23$. $sqrt{3}+sqrt[3]{2}$ is between $1+1=2$ and $2+2=4$, so it isn't any of them. Also, as is easily verified, none of those possible roots actually are roots. The values at $pm 1$ are $1-9-4+27-36-23=-44$ and $1-9+4+27+36-23=36$, while at $pm 23$ the $x^6$ term is much larger than everything else combined.
This is not the easy way, of course.
$endgroup$
add a comment |
$begingroup$
It's possible to find a polynomial that has $sqrt{3}+sqrt[3]{2}$ as a root, along with several other variations from choosing different square and cube roots.
$$left((x-sqrt{3})^3-2right)left((x+sqrt{3})^3-2right)=0$$
$$left(x^3-3sqrt{3}x^2+9x-3sqrt{3}-2right)left(x^3+3sqrt{3}x^2+9x+3sqrt{3}-2right)=0$$
$$x^6-9x^4-4x^3+27x^2-36x-23 = 0$$
By the rational root theorem, the only possible rational roots of that polynomial are $-23,-1,1,$ and $23$. $sqrt{3}+sqrt[3]{2}$ is between $1+1=2$ and $2+2=4$, so it isn't any of them. Also, as is easily verified, none of those possible roots actually are roots. The values at $pm 1$ are $1-9-4+27-36-23=-44$ and $1-9+4+27+36-23=36$, while at $pm 23$ the $x^6$ term is much larger than everything else combined.
This is not the easy way, of course.
$endgroup$
It's possible to find a polynomial that has $sqrt{3}+sqrt[3]{2}$ as a root, along with several other variations from choosing different square and cube roots.
$$left((x-sqrt{3})^3-2right)left((x+sqrt{3})^3-2right)=0$$
$$left(x^3-3sqrt{3}x^2+9x-3sqrt{3}-2right)left(x^3+3sqrt{3}x^2+9x+3sqrt{3}-2right)=0$$
$$x^6-9x^4-4x^3+27x^2-36x-23 = 0$$
By the rational root theorem, the only possible rational roots of that polynomial are $-23,-1,1,$ and $23$. $sqrt{3}+sqrt[3]{2}$ is between $1+1=2$ and $2+2=4$, so it isn't any of them. Also, as is easily verified, none of those possible roots actually are roots. The values at $pm 1$ are $1-9-4+27-36-23=-44$ and $1-9+4+27+36-23=36$, while at $pm 23$ the $x^6$ term is much larger than everything else combined.
This is not the easy way, of course.
edited Jan 28 at 8:18
answered Jan 28 at 8:07
jmerryjmerry
16.5k11633
16.5k11633
add a comment |
add a comment |
$begingroup$
Suppose $sqrt 3 + sqrt[3]2$ were rational; that is,
$sqrt 3 + sqrt[3]2 = r in Bbb Q: tag 1$
then
$sqrt[3]2 = r - sqrt 3; tag 2$
we cube:
$2 = r^3 - 3r^2sqrt 3 + 3r(sqrt 3)^2 - (sqrt 3)^3, tag 3$
or
$2 = r^3 - 3r^2 sqrt 3 + 9r - 3sqrt 3, tag 4$
or
$2 = r^3 + 9r - (3r^2 + 3)sqrt 3, tag 5$
or
$sqrt 3 = dfrac{2 - r^3 -9r}{3r^2 + 3} in Bbb Q, tag 6$
which contradicts the fact that
$sqrt 3 notin Bbb Q; tag 7$
therefore, (1) is false. $OEDelta$.
$endgroup$
add a comment |
$begingroup$
Suppose $sqrt 3 + sqrt[3]2$ were rational; that is,
$sqrt 3 + sqrt[3]2 = r in Bbb Q: tag 1$
then
$sqrt[3]2 = r - sqrt 3; tag 2$
we cube:
$2 = r^3 - 3r^2sqrt 3 + 3r(sqrt 3)^2 - (sqrt 3)^3, tag 3$
or
$2 = r^3 - 3r^2 sqrt 3 + 9r - 3sqrt 3, tag 4$
or
$2 = r^3 + 9r - (3r^2 + 3)sqrt 3, tag 5$
or
$sqrt 3 = dfrac{2 - r^3 -9r}{3r^2 + 3} in Bbb Q, tag 6$
which contradicts the fact that
$sqrt 3 notin Bbb Q; tag 7$
therefore, (1) is false. $OEDelta$.
$endgroup$
add a comment |
$begingroup$
Suppose $sqrt 3 + sqrt[3]2$ were rational; that is,
$sqrt 3 + sqrt[3]2 = r in Bbb Q: tag 1$
then
$sqrt[3]2 = r - sqrt 3; tag 2$
we cube:
$2 = r^3 - 3r^2sqrt 3 + 3r(sqrt 3)^2 - (sqrt 3)^3, tag 3$
or
$2 = r^3 - 3r^2 sqrt 3 + 9r - 3sqrt 3, tag 4$
or
$2 = r^3 + 9r - (3r^2 + 3)sqrt 3, tag 5$
or
$sqrt 3 = dfrac{2 - r^3 -9r}{3r^2 + 3} in Bbb Q, tag 6$
which contradicts the fact that
$sqrt 3 notin Bbb Q; tag 7$
therefore, (1) is false. $OEDelta$.
$endgroup$
Suppose $sqrt 3 + sqrt[3]2$ were rational; that is,
$sqrt 3 + sqrt[3]2 = r in Bbb Q: tag 1$
then
$sqrt[3]2 = r - sqrt 3; tag 2$
we cube:
$2 = r^3 - 3r^2sqrt 3 + 3r(sqrt 3)^2 - (sqrt 3)^3, tag 3$
or
$2 = r^3 - 3r^2 sqrt 3 + 9r - 3sqrt 3, tag 4$
or
$2 = r^3 + 9r - (3r^2 + 3)sqrt 3, tag 5$
or
$sqrt 3 = dfrac{2 - r^3 -9r}{3r^2 + 3} in Bbb Q, tag 6$
which contradicts the fact that
$sqrt 3 notin Bbb Q; tag 7$
therefore, (1) is false. $OEDelta$.
answered Jan 28 at 8:03
Robert LewisRobert Lewis
48.4k23167
48.4k23167
add a comment |
add a comment |
$begingroup$
Let $sqrt3+sqrt[3]2=rinmathbb Q$.
Thus, $$2=(r-sqrt3)^3$$ or
$$2=r^3-3sqrt3r^2+9r-3sqrt3$$ or
$$sqrt3=frac{r^3+9r-2}{3(r^2+1)}inmathbb Q,$$
which is a contradiction.
$endgroup$
add a comment |
$begingroup$
Let $sqrt3+sqrt[3]2=rinmathbb Q$.
Thus, $$2=(r-sqrt3)^3$$ or
$$2=r^3-3sqrt3r^2+9r-3sqrt3$$ or
$$sqrt3=frac{r^3+9r-2}{3(r^2+1)}inmathbb Q,$$
which is a contradiction.
$endgroup$
add a comment |
$begingroup$
Let $sqrt3+sqrt[3]2=rinmathbb Q$.
Thus, $$2=(r-sqrt3)^3$$ or
$$2=r^3-3sqrt3r^2+9r-3sqrt3$$ or
$$sqrt3=frac{r^3+9r-2}{3(r^2+1)}inmathbb Q,$$
which is a contradiction.
$endgroup$
Let $sqrt3+sqrt[3]2=rinmathbb Q$.
Thus, $$2=(r-sqrt3)^3$$ or
$$2=r^3-3sqrt3r^2+9r-3sqrt3$$ or
$$sqrt3=frac{r^3+9r-2}{3(r^2+1)}inmathbb Q,$$
which is a contradiction.
answered Jan 28 at 8:06
Michael RozenbergMichael Rozenberg
109k1896201
109k1896201
add a comment |
add a comment |
$begingroup$
Squaring is simpler than cubing. ;-)
Let $u=sqrt[3]{2}+sqrt{3}$. Then $sqrt{3}=u-sqrt[3]{2}$ and therefore
$$
(u^2-3)-2usqrt[3]{2}+sqrt[3]{4}=0
$$
If $uinmathbb{Q}$, this contradicts ${1,sqrt[3]{2},sqrt[3]{4}}$ being a basis of $mathbb{Q}(sqrt[3]{2})$ over $mathbb{Q}$, which stems from $x^3-2$ being irreducible over $mathbb{Q}$ (Eisenstein) and standard facts on simple algebraic extensions.
Even simpler: if $u$ is rational, then $mathbb{Q}(sqrt{3})$ is a subfield of $mathbb{Q}(sqrt[3]{2})$, which is ruled out by the dimension theorem.
$endgroup$
add a comment |
$begingroup$
Squaring is simpler than cubing. ;-)
Let $u=sqrt[3]{2}+sqrt{3}$. Then $sqrt{3}=u-sqrt[3]{2}$ and therefore
$$
(u^2-3)-2usqrt[3]{2}+sqrt[3]{4}=0
$$
If $uinmathbb{Q}$, this contradicts ${1,sqrt[3]{2},sqrt[3]{4}}$ being a basis of $mathbb{Q}(sqrt[3]{2})$ over $mathbb{Q}$, which stems from $x^3-2$ being irreducible over $mathbb{Q}$ (Eisenstein) and standard facts on simple algebraic extensions.
Even simpler: if $u$ is rational, then $mathbb{Q}(sqrt{3})$ is a subfield of $mathbb{Q}(sqrt[3]{2})$, which is ruled out by the dimension theorem.
$endgroup$
add a comment |
$begingroup$
Squaring is simpler than cubing. ;-)
Let $u=sqrt[3]{2}+sqrt{3}$. Then $sqrt{3}=u-sqrt[3]{2}$ and therefore
$$
(u^2-3)-2usqrt[3]{2}+sqrt[3]{4}=0
$$
If $uinmathbb{Q}$, this contradicts ${1,sqrt[3]{2},sqrt[3]{4}}$ being a basis of $mathbb{Q}(sqrt[3]{2})$ over $mathbb{Q}$, which stems from $x^3-2$ being irreducible over $mathbb{Q}$ (Eisenstein) and standard facts on simple algebraic extensions.
Even simpler: if $u$ is rational, then $mathbb{Q}(sqrt{3})$ is a subfield of $mathbb{Q}(sqrt[3]{2})$, which is ruled out by the dimension theorem.
$endgroup$
Squaring is simpler than cubing. ;-)
Let $u=sqrt[3]{2}+sqrt{3}$. Then $sqrt{3}=u-sqrt[3]{2}$ and therefore
$$
(u^2-3)-2usqrt[3]{2}+sqrt[3]{4}=0
$$
If $uinmathbb{Q}$, this contradicts ${1,sqrt[3]{2},sqrt[3]{4}}$ being a basis of $mathbb{Q}(sqrt[3]{2})$ over $mathbb{Q}$, which stems from $x^3-2$ being irreducible over $mathbb{Q}$ (Eisenstein) and standard facts on simple algebraic extensions.
Even simpler: if $u$ is rational, then $mathbb{Q}(sqrt{3})$ is a subfield of $mathbb{Q}(sqrt[3]{2})$, which is ruled out by the dimension theorem.
answered Jan 28 at 10:14
egregegreg
185k1486206
185k1486206
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090585%2fproving-sqrt3-sqrt32-to-be-irrational%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Possible duplicate of Prove that $5^{1/3}+7^{1/2}$ is irrational
$endgroup$
– Watson
Jan 29 at 9:08