Proofs — Lesson
1) Hook — The Curious Case of the Missing Mangoes
Imagine you are at a traditional Indian summer picnic under a mango tree in your village. Your friend claims that if you pick any two mangoes from the tree, their combined weight will always be less than 3 kilograms. How can you be sure this is true? You need a logical way to prove or disprove this claim without weighing every pair. This is where mathematical proofs come in — they help us establish truth with certainty, just like a detective solving a mystery using facts and logic.
2) Core Concepts — Understanding Proofs in Mathematics
A proof is a logical argument that establishes the truth of a mathematical statement beyond doubt. In IB Mathematics: Analysis and Approaches, you will encounter various types of proofs:
- Direct Proof: Start from known facts and use logical steps to arrive at the statement to be proven.
- Proof by Contradiction: Assume the statement is false and show that this assumption leads to a contradiction.
- Proof by Contrapositive: Prove that if the conclusion is false, then the hypothesis is false.
- Proof by Mathematical Induction: Used mainly for statements involving natural numbers.
Example 1: Direct Proof
Statement: The sum of two even integers is even.
Proof: Let the two even integers be 2a and 2b, where a, b ∈ ℤ.
Sum = 2a + 2b = 2(a + b). Since (a + b) is an integer, sum is divisible by 2, hence even.
Example 2: Proof by Contradiction
Statement: √2 is irrational.
Proof Sketch: Assume √2 is rational, i.e., √2 = p/q with p, q integers having no common factors. Squaring both sides gives 2 = p²/q² → p² = 2q², implying p² is even, so p is even. Let p = 2k. Substitute back to get 4k² = 2q² → 2k² = q², so q² is even, and q is even. This contradicts the assumption that p and q have no common factors. Hence √2 is irrational.
| Type of Proof | Method | When to Use |
|---|---|---|
| Direct Proof | Start with premises, use logic to reach conclusion. | Simple algebraic or arithmetic statements. |
| Proof by Contradiction | Assume negation, derive contradiction. | Statements difficult to prove directly (e.g., irrationality). |
| Proof by Contrapositive | Prove "if not Q then not P" instead of "if P then Q". | Conditional statements where contrapositive is easier. |
| Mathematical Induction | Prove base case, then prove for k+1 assuming true for k. | Statements involving natural numbers or sequences. |
3) Key Formulas/Rules
Direct Proof:
If P and P ⇒ Q are true, then Q is true.
Proof by Contradiction:
To prove P, assume ¬P and derive a contradiction.
Proof by Contrapositive:
To prove P ⇒ Q, prove ¬Q ⇒ ¬P.
Mathematical Induction:
- Base Case: Show statement true for n = 1.
- Inductive Step: Assume true for n = k, prove for n = k + 1.
4) Did You Know?
One of the earliest known proofs was by the ancient Indian mathematician Pingala (circa 3rd century BCE), who used inductive reasoning in his work on Sanskrit prosody, long before formal mathematical induction was named!
5) Exam Tips — Avoid These Common Mistakes
- Do not skip logical steps: Even if a step seems obvious, write it clearly to avoid losing marks.
- Avoid circular reasoning: Don’t assume the statement you want to prove as part of your proof.
- Use proper notation: Clearly state assumptions and conclusions using symbols like ∴ (therefore), ∵ (because), ⇒ (implies).
- Proof by contradiction: Explicitly state the assumption of the negation and show contradiction clearly.
- Practice previous IB questions: Proof questions often appear in Paper 2 and Internal Assessments. IB exams expect clarity and logical flow.
Previous Year Question Pattern:
IB exams often ask to prove simple algebraic identities, inequalities, or properties of numbers using direct proof or contradiction. For example:
- “Prove that the product of two odd integers is odd.” (Direct proof)
- “Prove by contradiction that √3 is irrational.”
- “Using mathematical induction, prove the formula for the sum of the first n natural numbers.”
Mastering proofs will not only help you score well but also sharpen your logical thinking — a skill invaluable in all walks of life!
Proofs — Mcq
Proofs — Mnemonic
Mnemonic 1: PROOF Steps - "P.R.O.O.F. = Prepare, Reason, Observe, Organize, Finalize" 📚✍️
- Prepare: Understand the theorem/problem clearly.
- Reason: Think logically about what is given and what to prove.
- Observe: Look for patterns, definitions, and known results.
- Organize: Arrange your steps in a clear, sequential order.
- Finalize: Write the conclusion with a proper statement like "Hence proved."
“Proof likho, tension mat lo, sab clear ho jayega bro!” 😄
Mnemonic 2: Hindi Rhyming Trick for Proof Types - "सीधा, विपरीत, विरोध से जीत" 🎯
- सीधा प्रमाण (Direct Proof): Seedha bol, sidha solve kar! (Directly prove by straightforward steps)
- विपरीत प्रमाण (Contrapositive Proof): Vipreet soch, asli raah dhoondh! (Prove by proving the contrapositive)
- विरोध से प्रमाण (Proof by Contradiction): Virodh dikha, sach pakka! (Assume opposite, find contradiction, conclude)
“Proof ka funda simple, bas yeh teen dhyan mein rakho!” 😎
Mnemonic 3: Funny Acronym for Proof Writing Etiquette - "C.L.E.A.R." ✨
- Claim: State what you want to prove.
- Logic: Use logical steps only.
- Evidence: Support with definitions, theorems, or axioms.
- Arrange: Keep your proof neat and sequential.
- Review: Check for gaps or errors before finalizing.
“Clear likho, marks milenge, tension door bhagega!” 🎉
Mission: Master This Topic!
Reinforce what you learned with fun activities
Ready to Battle? Test Your Knowledge!
Practice MCQs, build combos, climb the leaderboard!
Start Practice