Help with Proof by contradiction.

I am a freshman college student and I am new to discrete mathematics. I tried to look for something in my textbook to help me figure out a problem I have but I don't really understand how to solve it. Here is the problem:

Prove by contradiction that for all x, y ∈ R, if x is rational and y is irrational, then x+y is irrational.

I'm not really sure what to do. Could I please get some help? Thank you!

Re: Help with Proof by contradiction.

Quote:

Originally Posted by

**blueaura94** Here is the problem:

Prove by contradiction that for all x, y ∈ R, if x is rational and y is irrational, then x+y is irrational.

Suppose that where is rational.

What do you know about

Re: Help with Proof by contradiction.

Quote:

Originally Posted by

**Plato** Suppose that

where

is rational.

What do you know about

Well since y is an element of R, wouldn't r-x equal y?

Re: Help with Proof by contradiction.

You are asked to prove "if x is rational and y is irrational, then x+y is irrational". It seems strange that you would be asked to use a "proof by contradiction" if you don't know what that means- but that seems to be what you are saying. A "proof by contradiction" starts by **denying** the conclusion, then show that leads to a contradiction. You want to prove "x+ y is irrational" so start by asserting that "x+ y is rational". Then y= (x+y)- x is the difference of two rational numbers. What does that tell you about y?

Re: Help with Proof by contradiction.

It would suggest to me that y is rational. Correct?

Re: Help with Proof by contradiction.

I'm sorry if I'm nto fully understanding.

Re: Help with Proof by contradiction.

Quote:

Originally Posted by

**blueaura94** It would suggest to me that y is rational. Correct?

Correct. First you assume the premises: that x is rational and y is irrational. Then you assume the negation of the conclusion, i,e., you assume that x + y is rational. This implies that y = (x + y) - x is rational as the difference of two rational numbers. This contradicts one of the assumptions. Therefore, the assumption "x + y is rational" is impossible and x + y is, in fact, irrational.