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

Click For Summary

Homework Help Overview

The discussion revolves around proving the irrationality of expressions involving an irrational number multiplied by a rational number and then added or subtracted by a real number. The subject area includes concepts from number theory and proof techniques, specifically proof by contradiction.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants are attempting to construct a proof by contradiction, questioning how to select the real number s and whether it should be rational. There is discussion about the implications of assuming both expressions ar+s and ar-s are rational.

Discussion Status

The discussion is ongoing, with participants exploring different angles of the proof. Some have provided guidance on the logical structure of the contradiction, while others express uncertainty about the choice of s and how to derive a contradiction from their assumptions.

Contextual Notes

Participants are navigating the constraints of the proof format and the definitions of rational and irrational numbers. There is an emphasis on the need for clarity in the assumptions made about the number 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?
 

Similar threads

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