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

AI Thread Summary
The discussion focuses on proving the irrationality of ar+s or ar-s using proof by contradiction, where a is an irrational number and r is a nonzero rational number. Participants suggest starting the proof by assuming both ar+s and ar-s are rational, leading to a contradiction. It is noted that if both expressions are rational, their sum must also be rational. The conversation emphasizes that no specific choice for s is necessary to reach a contradiction, as the properties of rational and irrational numbers will suffice. The proof ultimately hinges on the inherent contradictions arising from the assumptions made about ar+s and ar-s.
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?
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top