# Thread: Prove 2^(1/2) + 6^(1/2) is irrational?

1. ## Prove 2^(1/2) + 6^(1/2) is irrational?

I know how to prove that $\displaystyle \sqrt{2}$ and $\displaystyle \sqrt{6}$ are both themselves irrational, but how would you go about proving that

$\displaystyle \sqrt{2} + \sqrt{6}$ is irrational?

I've tried making the assumption that $\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b}$ where $\displaystyle a$ and $\displaystyle b$ are both natural numbers, but it hasn't gotten me anywhere yet. I've manipulated the expression and made some observations when I see certain expressions in the form of $\displaystyle 2n$ or $\displaystyle 2n+1$, therefore being either even or odd, but I can't seem to get to a proper proof. I have though, after making the rational assumption, run into multiple "contradictions", things that just can't be equal. But I'm not certain if these are the type of contradictions that count towards proving the irrationality, or if I made a simple mistake to arrive at the contradictions.

I'm also trying to prove the irrationality of $\displaystyle \sqrt{2} + \sqrt{3}$, its next to the other question in my textbook, and I also have had the same experience with this number as well. thanks in advance for any help.

2. Here is a hint. Starting in similar way as you did, assume that $\displaystyle \sqrt{2} +\sqrt{6}=r$, where $\displaystyle r$ is some rational number.
Now consider $\displaystyle r^2$ ...

3. I found this question rather interesting, as I have never actually thought about what operations

we can apply on certain classes of irrational numbers (as in the class of all irrational

square roots of rational numbers), and still get a rational number.

Although I support melese's method, it will not always succeed in telling when $\displaystyle \sqrt{a}+\sqrt{b}$ is irrational.

For example when $\displaystyle a=3\ ,\ b=12$ (although it perfectly solves the original problem and I suggest

that you use that method in your excercise, since that's what was probably meant to be used).

Here's a nice way (in my opinion) to prove that if $\displaystyle \sqrt{a}\not\in\mathbb{Q}$

with $\displaystyle a,b\in\mathbb{Q}$, then $\displaystyle \sqrt{a}+\sqrt{b}$ is irrational.

Suppose the contrary. Then $\displaystyle \sqrt{a}+\sqrt{b} \in \mathbb{Q}$. Therefore

$\displaystyle \sqrt{a}-\sqrt{b} = \frac{a-b}{\sqrt{a}+\sqrt{b}} \in \mathbb{Q}$

But then $\displaystyle \sqrt{a} = \frac{1}{2}(\sqrt{a}-\sqrt{b})+\frac{1}{2}(\sqrt{a}+\sqrt{b}) \in \mathbb{Q}$, a contradiction.

4. You can also note that $\displaystyle \sqrt{2}+\sqrt{6}$ is a root of the polynomial $\displaystyle p(x)=16-16 x^2+x^4$. If $\displaystyle p$ has any rational roots, then they must be of the form $\displaystyle \pm 1, \pm 2, \pm 4, \pm 8, \pm 16$. But we can see that none of these are roots of $\displaystyle p$. Therefore, $\displaystyle \sqrt{2}+\sqrt{6}$ is irrational.

5. You can also note that is a root of the polynomial . If has any rational roots, then they must be of the form . But we can see that none of these are roots of . Therefore, is irrational
Or in general: $\displaystyle \sqrt{a}+\sqrt{b}$ has minimal polynomial $\displaystyle p(x) =x^4-2(a+b)x^2+(a-b)^2$ (wich can be found by looking at powers of $\displaystyle \sqrt{a}+\sqrt{b}$)

If $\displaystyle p(x)$ has any rational roots, it must be a divisor $\displaystyle d$ of $\displaystyle (a-b)^2$ . Now, we need to check that any divisor $\displaystyle d$ can not correspond with $\displaystyle \sqrt{a}+\sqrt{b}$. Thus showing $\displaystyle \sqrt{a}+\sqrt{b}$ is not an integer is also enough.

Still, Unbeatable0's method is cutest

6. Originally Posted by melese
Here is a hint. Starting in similar way as you did, assume that $\displaystyle \sqrt{2} +\sqrt{6}=r$, where $\displaystyle r$ is some rational number.
Now consider $\displaystyle r^2$ ...
I've just spent some time trying to find the proof, with little success, after noting $\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ for some rational $\displaystyle r$, and then considering $\displaystyle r^2$ as you said. I'm sure the proof is right under my nose, and I'm just not seeing it, do you have another hint? This is how far I got (granted, I could be "moving" in the wrong direction with these steps):

$\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ therefore

$\displaystyle r^2 = \frac{a^2}{b^2} = 8+2\sqrt{12} = 2(4 + \sqrt{12})$ that leads to this equation:

$\displaystyle (\frac{a^2}{2b^2} - 4)^2 = 12$

this led me to:

$\displaystyle (\frac{a^2}{2b^2})^2-8(\frac{a^2}{2b^2})+4 = 0$

But I feel like this is to complicated to be anywhere in the right direction, I did the isolation of the $\displaystyle \sqrt{12}$ and squared both sides in an attempt to get rid of irrationals so that I could use natural number factors to prove a common divisor between $\displaystyle a$ and $\displaystyle b$.

7. Originally Posted by mfetch22
I've just spent some time trying to find the proof, with little success, after noting $\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ for some rational $\displaystyle r$, and then considering $\displaystyle r^2$ as you said. I'm sure the proof is right under my nose, and I'm just not seeing it, do you have another hint? This is how far I got (granted, I could be "moving" in the wrong direction with these steps):

$\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ therefore

$\displaystyle r^2 = \frac{a^2}{b^2} = 8+2\sqrt{12} = 2(4 + \sqrt{12})$ that leads to this equation:

$\displaystyle (\frac{a^2}{2b^2} - 4)^2 = 12$

this led me to:

$\displaystyle (\frac{a^2}{2b^2})^2-8(\frac{a^2}{2b^2})+4 = 0$

But I feel like this is to complicated to be anywhere in the right direction, I did the isolation of the $\displaystyle \sqrt{12}$ and squared both sides in an attempt to get rid of irrationals so that I could use natural number factors to prove a common divisor between $\displaystyle a$ and $\displaystyle b$.
A series of subproofs by contradiction should suffice.

You got

$\displaystyle r^2 = 8+2\sqrt{12}$

Since by assumption r in Q, then r^2 in Q. Then 8 + 2*sqrt(12) is rational if and only if sqrt(12) is rational. (Prove by contradiction.) Then you can prove sqrt(12) is irrational in the manner that sqrt(2) is typically shown to be irrational. (Again, contradiction.) Alternatively, rewrite sqrt(12) as 2*sqrt(3) and prove sqrt(3) is irrational.

EDIT: melese's post #9 simplifies this by removing the first contradiction step.

8. Um, I think melese's method works for $\displaystyle \sqrt{3} + \sqrt{12}$

$\displaystyle \sqrt{3} + \sqrt{12} = r$ where $\displaystyle r$ is rational.

$\displaystyle r^2 = (\sqrt{3} + \sqrt{12})^2$
$\displaystyle r^2 = 3+12+2 \sqrt{36}$
$\displaystyle r^2 = 3+12+12$
$\displaystyle r^2 = 27$
$\displaystyle r = 3 \sqrt{3}$
$\displaystyle r_a = \sqrt{3}$, where $\displaystyle r_a$ is rational

After that, it's just a matter of proving that $\displaystyle \sqrt{3}$ is irrational

Also, be careful when you say that $\displaystyle a,b\in\mathbb{Q}$, because if $\displaystyle a$ and $\displaystyle b$ could be equal to $\displaystyle c^2$ and $\displaystyle d^2$ respectively, where $\displaystyle c,d\in\mathbb{Q}$, respectively ... then $\displaystyle \sqrt{a} + \sqrt{b} = c + d$.

9. Originally Posted by mfetch22
I've just spent some time trying to find the proof, with little success, after noting $\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ for some rational $\displaystyle r$, and then considering $\displaystyle r^2$ as you said. I'm sure the proof is right under my nose, and I'm just not seeing it, do you have another hint? This is how far I got (granted, I could be "moving" in the wrong direction with these steps):

$\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ therefore

$\displaystyle r^2 = \frac{a^2}{b^2} = 8+2\sqrt{12} = 2(4 + \sqrt{12})$ that leads to this equation:

$\displaystyle (\frac{a^2}{2b^2} - 4)^2 = 12$

this led me to:

$\displaystyle (\frac{a^2}{2b^2})^2-8(\frac{a^2}{2b^2})+4 = 0$

But I feel like this is to complicated to be anywhere in the right direction, I did the isolation of the $\displaystyle \sqrt{12}$ and squared both sides in an attempt to get rid of irrationals so that I could use natural number factors to prove a common divisor between $\displaystyle a$ and $\displaystyle b$.
To mfetch22, the direction I meant was very similar to what the user undefined did.
$\displaystyle r^2=8+\sqrt12;\ (r^2-8)/2=\sqrt12$. Then clearly the left side is rational, but $\displaystyle \sqrt12$ is not.
An imprtant thing to notice is that I used $\displaystyle r$ instead of $\displaystyle a/b$ because the latter can distract the computation.

10. Originally Posted by Bingk
Um, I think melese's method works for $\displaystyle \sqrt{3} + \sqrt{12}$

$\displaystyle \sqrt{3} + \sqrt{12} = r$ where $\displaystyle r$ is rational.

$\displaystyle r^2 = (\sqrt{3} + \sqrt{12})^2$
$\displaystyle r^2 = 3+12+2 \sqrt{36}$
$\displaystyle r^2 = 3+12+12$
$\displaystyle r^2 = 27$
$\displaystyle r = 3 \sqrt{3}$
$\displaystyle r_a = \sqrt{3}$, where $\displaystyle r_a$ is rational

After that, it's the regular way of proving an irrational is not rational ...

Also, be careful when you say that $\displaystyle a,b\in\mathbb{Q}$, because if $\displaystyle a$ and $\displaystyle b$ could be equal to $\displaystyle c^2$ and $\displaystyle d^2$ respectively, where $\displaystyle c,d\in\mathbb{Q}$, respectively ... then $\displaystyle \sqrt{a} + \sqrt{b} = c + d$.
That's right, but I considered the way I think melese meant it to be. i.e., getting to a contradiction $\displaystyle \sqrt{ab}\in\mathbb{Q}$.

In my proof I assumed $\displaystyle \sqrt{a}\not\in\mathbb{Q}$ so it's not possible that $\displaystyle a=c^2\ ,\ c\in\mathbb{Q}$

11. Thanks guys, I figured it out now, its so obvious now that I see the proof, but I guess thats how if often happens. Thanks again for everybodies help.

12. Originally Posted by mfetch22
I've just spent some time trying to find the proof, with little success, after noting $\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ for some rational $\displaystyle r$, and then considering $\displaystyle r^2$ as you said. I'm sure the proof is right under my nose, and I'm just not seeing it, do you have another hint? This is how far I got (granted, I could be "moving" in the wrong direction with these steps):

$\displaystyle \sqrt{2} + \sqrt{6} = \frac{a}{b} = r$ therefore

$\displaystyle r^2 = \frac{a^2}{b^2} = 8+2\sqrt{12} = 2(4 + \sqrt{12})$ that leads to this equation:

$\displaystyle (\frac{a^2}{2b^2} - 4)^2 = 12$

this led me to:

$\displaystyle (\frac{a^2}{2b^2})^2-8(\frac{a^2}{2b^2})+4 = 0$

But I feel like this is to complicated to be anywhere in the right direction, I did the isolation of the $\displaystyle \sqrt{12}$ and squared both sides in an attempt to get rid of irrationals so that I could use natural number factors to prove a common divisor between $\displaystyle a$ and $\displaystyle b$.
Why not express $\displaystyle \sqrt{6}{\sqrt{2}=\sqrt{2}\sqrt{3}\sqrt{2}=2\sqrt{ 3}$

Now you only need prove $\displaystyle \sqrt{3}$ is irrational.

$\displaystyle \sqrt{3}=\frac{x}{y}\ ?$

$\displaystyle 3=\frac{x^2}{y^2}\ \Rightarrow\ x^2=3y^2$

If $\displaystyle x^2$ is divisible by 3, then so is x, since the first square divisible by 3 is 9.

You can also show that y is divisible by 3, hence $\displaystyle \sqrt{3}$

cannot be expressed as an irreducible fraction.

It can be expressed as $\displaystyle \sqrt{3}=\frac{3\sqrt{3}}{3}=\frac{9\sqrt{3}}{9}\ etc$