Class: CSE 16 Subject: computer-science discrete-math Date: 2024-11-12 Teacher: Prof. Musacchio
Proof by Contradiction
Example
- Proposition Every non-zero rational number can be expressed as a product of two irrational numbers. Reworded as ” If r is a non-zero rational number, then r is a product of two irrational numbers.”
- Proof Suppose is a non-zero rational number. Then for integers and . Also, can be written as a product of two numbers as follows:
- Assume for the sake of contradiction that is rational.
- This means:
- for integers and , so
- But we know , which combines with the above equation to give:
- This means is rational, which is a contradiction because we know it is irrational.
- Therefore is irrational
- Hence is a product of two irrational numbers