# Sum of irrational numbers

Well, in this question it is said that $\sqrt[100]{\sqrt3 + \sqrt2} + \sqrt[100]{\sqrt3 - \sqrt2}$, and the owner asks for "alternative proofs" which do not use rational root theorem. I wrote an answer, but I just proved $\sqrt[100]{\sqrt3 + \sqrt2} \notin \mathbb{Q}$ and $\sqrt[100]{\sqrt3 - \sqrt2} \notin \mathbb{Q}$, not the sum of them. I got (fairly) downvoted, because I didn't notice that the sum of two irrational can be either rational or irrational, and I deleted my (incorrect) answer. So, I want help in proving things like $\sqrt5 + \sqrt7 \notin \mathbb{Q}$, and $(1 + \pi) - \pi \in \mathbb{Q}$, if there is any "trick" or rule to these cases of summing two (or more) known irrational numbers (without rational root theorem).

Thanks.

-
In general, it's hard to tell. We know not the irrationality of $e+\pi$, to give a famous example. For algebraic numbers, things are a bit easier. –  Ｊ. Ｍ. Dec 15 '11 at 18:18
@J.M. Do transcedental numbers have anything that makes it harder to prove? –  Ian Mateus Dec 15 '11 at 18:23
Probably the fact that our knowledge of them is paltry compared to algebraics. Hence we have conjectures like Schnauel's. –  Ｊ. Ｍ. Dec 15 '11 at 18:25
Aside from lacking any algebraic structure, transcendental numbers are also hard to work with because they're defined in terms of a property they don't have, rather than one they do. So it's impossible to prove anything about them "from the definition." That is, they're defined as numbers that aren't the root of any integer polynomial. With algebraic numbers, you can always start a proof off like "If $\alpha$ is algebraic then $a_n\alpha^n + \dots + a_1\alpha +a_0=0$ for some integers $a_i$." So right off the bat, you know something about algebraics. –  Dimitrije Kostic Dec 15 '11 at 18:57
There is one little useful fact: if $x$ is algebraic and $y$ is transcendental, then $x+y$ is transcendental; so is $xy$, unless $x=0$. So, for example, $\pi+\sqrt2$ and $\pi\sqrt2$ are both transcendental. –  Gerry Myerson Dec 15 '11 at 23:34

## 1 Answer

To prove that $\sqrt5+\sqrt7$ is irrational:

$\sqrt 5+\sqrt 7=\frac{a}{b}$

$\frac{a^2}{b^2}=12+\sqrt{35}$

$\frac{a^2-12b^2}{b^2}=\sqrt{35}$

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

$35|a^2-12b^2$

$35^2|(a^2-12b^2)^2$

$35^2|(b^2)^2$

Both the numerator and denominator are multiples of an even power of 2. Contradiction.

The method can be extended to many other sums of nth roots.

-
I don't understand the last step, can you explain it in more detail? Also, I think there is a mistake in the first step: shouldn't it say $\frac{a^2}{b^2} = 12 + 2 \cdot \sqrt{35}$? –  Dan Brumleve Jul 6 '12 at 7:04
If Ian knows how to prove that $\sqrt{35}$ is irrational, it is enough to note that $\sqrt{35}=\frac12\left((\sqrt5+\sqrt7)^2-12\right)$, which would be rational if $\sqrt 5+\sqrt 7$ were. –  Jonas Meyer Sep 4 '13 at 2:59