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