Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
5  
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. –  J. M. 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. –  J. M. Dec 15 '11 at 18:25
1  
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
4  
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
show 4 more comments

1 Answer 1

up vote 4 down vote accepted

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.

share|improve this answer
1  
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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.