Proofs
Proofs
Proofs
1. Direct Proof
Definition: In a direct proof, we start with known facts or premises and apply
logical steps to reach the statement we want to prove. This method is often
used for statements in the form ”If P , then Q.”
Structure:
• Assume P is true.
• Use logical steps to deduce Q directly.
Example 1: Prove that the sum of two even numbers is even.
Solution:
• Let the two even numbers be 2a and 2b for integers a and b.
• Their sum is 2a + 2b = 2(a + b), which is divisible by 2, hence even.
• Therefore, the sum of two even numbers is even.
1
2. Proof by Contrapositive
Definition: Instead of proving ”If P , then Q,” we prove ”If ¬Q, then ¬P .”
This is logically equivalent and often simpler in cases where proving P ⇒ Q
directly is challenging.
Structure:
3. Proof by Contradiction
Definition: To prove a statement P , assume that ¬P is true and show that
this leads to a contradiction. This contradiction implies that P must be true.
Structure:
• Assume ¬P (the opposite of what we want to prove).
2
• Show that this assumption leads to a logical contradiction, implying that
P must be true.
√
Example 1: Prove that 2 is irrational.
Solution:
√
• Assume the opposite: 2 is rational.
√
• Then 2 = ab , where a and b are integers with no common factors.
a2
• Squaring both sides, 2 = b2 ⇒ a2 = 2b2 .
4. Mathematical Induction
Definition: Mathematical induction is used to prove statements about integers,
typically involving a sequence or pattern. The proof consists of two steps: the
base case and the inductive step.
Structure:
• Base Case: Prove the statement is true for the initial integer (often n = 1
or n = 0).
3
• Base Case: For n = 1, the left side is 1, and the right side is 1×2
2 = 1, so
it holds.
k(k+1)
• Inductive Step: Assume it holds for n = k: 1 + 2 + · · · + k = 2 .
(k+1)(k+2)
• Show it holds for n = k + 1: 1 + 2 + · · · + k + (k + 1) = 2 .
Exercises:
• Prove that 1 + 3 + 5 + · · · + (2n − 1) = n2 .
Summary Table