Prove that is irrational.
Proof:
Assume, to the contrary, that is rational.
Then we can write , where and are coprime integers and .
Rearranging:
Analysis:
Since and are integers, and are also integers.
Therefore, is a rational number.
This means is rational.
Contradiction:
But we know that is irrational (proved in Exercise 1.2, Question 1).
This is a contradiction.
This contradiction has arisen because of our incorrect assumption that is rational.
Conclusion: is irrational.
Explanation
This proof follows the same contradiction method as Example 6 in the chapter (showing is irrational). We assume is rational and rearrange to express in terms of rational quantities.
Since the sum, difference, and quotient of rational numbers is rational, we conclude must be rational, which contradicts the known fact that is irrational.
Solution Steps
Step 1: Assume 3 + 2 is rational, so 3 + 2 = a/b with coprime a, b
Step 2: Rearrange: 2 = a/b - 3 = (a - 3b)/b
Step 3: Solve for : = (a - 3b)/(2b)
Step 4: Since a, b are integers, (a - 3b)/(2b) is rational
Step 5: This implies is rational, which contradicts known fact
Step 6: Conclude 3 + 2 is irrational