Prove the irrationality of ar+s or ar-s using proof by contradiction

INdeWATERS
Messages
17
Reaction score
0
Use proof by contradiction to prove the following: Let a be an irrational number and r a nonzero rational number. Prove that if s is a real number, then either ar+s or ar-s is irrational.

I am stuck with this proof. Here's what I have so far,

Proof Suppose, by way of contradiction, that this is not true. Then there exists a real number s such that it is not the case that ar+s or ar-s is irrational. By DeMorgan's Law we have ar+s and ar-s are both irrational. So choose s such that...??

(a) I have proved in class that an irrational number times a nonzero rational number (ar) is irrational, so no need to include that proof in the proof.
(b) Do I need to choose an s so that ar+s or ar-s is irrational? Would it suffice to let s be a rational number?

Thanks for the help!
 
Physics news on Phys.org
The contradiction of "either ar+s or ar-s is irrational" is "both ar+s and ar-s are rational". Try it from there.
 
Dick said:
The contradiction of "either ar+s or ar-s is irrational" is "both ar+s and ar-s are rational". Try it from there.

Proof: Suppose, by way of contradiction, that this is not true. Then there exists a real number s such that both ar+s and ar-s are rational.

I still don't see how to derive a contradiction. What should I choose s to be?

Thanks for you help!
 
INdeWATERS said:
Proof: Suppose, by way of contradiction, that this is not true. Then there exists a real number s such that both ar+s and ar-s are rational.

I still don't see how to derive a contradiction. What should I choose s to be?

Thanks for you help!

You don't have to choose s to to be anything in particular. If ar+s and ar-s are rational, then their sum is rational, isn't it?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
3K