prove irrational numbers

[Millie]

we can prove that √5 is irrational through contradiction and same applies for √3.
but can we prove that √5 + √3 is irrational by contradiction?

[arildno]

Show that if \sqrt{5}+\sqrt{3} is rational, then so must \sqrt{5}-\sqrt{3} be rational.
Derive that, hence, \sqrt{5} is rational, a contradiction.

[HallsofIvy]

??? Are you saying that if x+ y is rational then x- y must be rational? What if x= \sqrt{5} and y= -\sqrt{5}?

[arildno]

??? Are you saying that if x+ y is rational then x- y must be rational? What if x= \sqrt{5} and y= -\sqrt{5}?
Not at all, but:
Let \sqrt{5}+\sqrt{3}=p where p is rational.
We therefore have:
\frac{2}{\sqrt{5}-\sqrt{3}}=p, that is:
\sqrt{5}-\sqrt{3}=m, m=2/p rational.

That is, since the difference of squares of \sqrt{5} and \sqrt{3} is rational, and \sqrt{5}+\sqrt{3},\sqrt{5}-\sqrt{3}\neq{0} my argument holds.

[Jeff Ford]

Is it possible for two irrational numbers to be added together to get a rational number?

[amcavoy]

Is it possible for two irrational numbers to be added together to get a rational number?

I don't know about that, but if you divide pi by phi you get a rational (they share a common irrational factor).

[arildno]

Is it possible for two irrational numbers to be added together to get a rational number?
Definitely, HallsofIvy gave an example of that.

[Gokul43201]

I don't know about that, but if you divide pi by phi you get a rational (they share a common irrational factor).And what might that be ?

[amcavoy]

And what might that be ?

I mean phi2.

http://members.ispwest.com/r-logan/fullbook.html

[Hurkyl]

The most algorithmic approach I know for these types of problems is to find an integer polynomial with your algebraic number as a root...

[CRGreathouse]

I don't know about that, but if you divide pi by phi you get a rational (they share a common irrational factor).

I mean phi2.

http://members.ispwest.com/r-logan/fullbook.html

Are you saying that \frac{\pi}{\phi^2}\in\mathbb{Q}?

Since \phi=\frac{1+\sqrt5}{2} is algebraic and algebraic numbers are closed under multiplication and division, that would mean that pi is algebraic (all rationals are algebraic). The paper you link to, though, admits that "\pi is a transcendental number" and that trancendentals aren't algebraic (by definition).

[matt grime]

Is it possible for two irrational numbers to be added together to get a rational number?

yes, as has been shown, but more gnerally (I can't recall where i first read this wordy description) but if you are trying to decide if two nasties can make a nice then try thinking if a nice minus a nasty can be nasty. here, obviously the rational minus irrational must be irrational, so anything like

1-sqrt(2) and sqrt(2) add together to give what you want.

the same works for continuous and discontinuous functions, invertible and uninvertible matrices, rational and irrational numbers, algebraic and transcendental numbers and so on.

[HallsofIvy]

I looked at the paper referred to above. There are no proofs at all. The author refers to φ2 as a "composite" number with no explanation of what "composite" is supposed to mean for a non-integer number. All he does is show that 15 decimal place computations come out the same, then spends the rest of the paper defining "fraction", "rational", "irrational", etc.

[StonedPanda]

proof: if n is rational and m is irrational set n + m = l is rational then l + (-n) = m is rational, a contradiction

[CRGreathouse]

I looked at the paper referred to above. There are no proofs at all. The author refers to φ2 as a "composite" number with no explanation of what "composite" is supposed to mean for a non-integer number. All he does is show that 15 decimal place computations come out the same, then spends the rest of the paper defining "fraction", "rational", "irrational", etc.

Yes, that was what most bothered me. Normally there's a certain semblance of internal consistency in these pseudoproofs, but this one just didn't define enough to come to a contradiction that I was patient enough to find.

[Johnny Numbers]

we can prove that √5 is irrational through contradiction and same applies for √3.
but can we prove that √5 + √3 is irrational by contradiction?

You could also argue by contradiction that if
\sqrt5 + \sqrt3 is rational then so must (\sqrt5 + \sqrt3)^2 and something bad will happen.