Historical Context & Motivation
Mathematics isn't just about getting the right answer — it's about knowing why the answer is right. Since the earliest civilizations, mathematicians have grappled with the question of certainty: how can you be absolutely sure a statement is true, not just for the examples you've checked, but for every possible case? This drive toward certainty gave rise to the concept of mathematical proof, a logical argument that establishes a result beyond all doubt.
In the IB Mathematics: Analysis and Approaches course, SL 1.7 introduces you to simple deductive proof. The central question is this: given a mathematical statement, how do you build an airtight argument that it must be true? And what's the difference between a statement that happens to be true for certain values and one that is always true?
Core Principles & Definitions
Before you can write a proof, you need to understand the key ideas that underpin mathematical reasoning at this level. Each concept below builds on the last, and together they form the toolkit you'll use whenever you prove a result in SL 1.7.
Deductive Proof
Equality vs Identity
LHS-to-RHS Method
Justified Steps
The Identity Symbol ≡
Visual Explanation — Equality vs Identity
The diagram above highlights the fundamental distinction you need to master. On the left, the equation 2x + 3 = 11 is a conditional statement — it's true only when x takes the value 4, and false for every other number. On the right, the identity (a + b)² ≡ a² + 2ab + b² is a universal truth that holds regardless of what numbers you substitute for a and b. When the IB asks you to 'prove' something, they almost always want you to show that an identity is true, not solve an equation. The method for doing this is the LHS-to-RHS approach, which we'll break down next.
Mathematical Framework — The LHS-to-RHS Method
The LHS-to-RHS method is the most common proof technique in SL 1.7. The idea is straightforward: you start with the left-hand side (LHS) of a proposed identity and, through a series of justified algebraic steps, transform it until it looks exactly like the right-hand side (RHS). If you can do this using only valid algebraic operations, you have proven the identity.
Key Algebraic Tools You'll Use
Detailed Breakdown — Anatomy of a Proof
Every well-written deductive proof follows a clear structure. Let's dissect the anatomy of a proof so that when you sit down to write one, you know exactly what to include. The diagram below shows the flow from the opening statement through to the concluding declaration.
Notice how the proof in the diagram flows in one direction — from LHS downward to RHS. At no point do we assume the result is true and work backward. Each step transforms the current expression into a simpler one, with a named justification in parentheses. This is the hallmark of deductive reasoning: every line follows necessarily from the one before it.
Worked Example
Let's walk through a complete proof that could appear on an IB SL exam. We'll prove an algebraic identity using the LHS-to-RHS method, showing every step with its justification.
Common Errors & How to Avoid Them
Even students who understand the concepts of proof can lose marks through avoidable mistakes. The table below lists the most common errors seen in IB proof questions, along with the correct approach.
| Common Error | Why It's Wrong | Correct Approach |
|---|---|---|
| Working on both sides simultaneously | This assumes the identity is true (what you're trying to prove), creating circular reasoning. | Start with one side only. Manipulate it step by step until it matches the other side. |
| Plugging in specific values as 'proof' | Checking one or two values shows the identity might be true, but doesn't prove it for all values. This is verification, not proof. | Use algebraic manipulation with variables. Specific values can only be used to disprove (by finding a counterexample). |
| Missing justifications for steps | A proof without reasons is just a list of equations. The examiner can't verify your logic. | Write a brief note in parentheses or words after each key step: (expanding), (factoring), (collecting like terms). |
| No concluding statement | Without a final statement, the examiner may not award the last mark. The proof feels incomplete. | End with 'Hence LHS = RHS, and the identity is proven' or a similar definitive statement, followed by □ or Q.E.D. |
| Sign errors when distributing negatives | Forgetting to distribute the minus sign to every term inside a bracket is the most frequent algebraic slip. | Write out the subtraction explicitly: −(a − b) = −a + b. Never skip this step mentally. |
Connection to Advanced Proof Techniques
The LHS-to-RHS method you've learned in SL 1.7 is just the beginning. As you progress through mathematics — whether in HL, university courses, or beyond — you'll encounter more powerful proof techniques. Understanding where simple deductive proof fits into the bigger picture helps you appreciate both its strengths and its limitations.
| Feature | Simple Deductive Proof (SL 1.7) | Advanced Techniques (HL / University) |
|---|---|---|
| Method | Algebraic manipulation: expand, factor, simplify | Proof by induction, contradiction, contrapositive |
| What it proves | Algebraic identities (statements true for all values) | Existence theorems, universal statements, impossibility results |
| Direction of reasoning | Forward: LHS → … → RHS | May be indirect (assume the opposite and derive a contradiction) |
| Typical IB context | Number & Algebra, Trigonometry identities | HL Paper 1: proof by induction, number theory |
| Prerequisites | Algebra 1 skills: expanding, factoring, fractions | Logic, set theory, and mathematical maturity |
If you continue to HL Analysis and Approaches, you'll encounter proof by mathematical induction, which is like a domino chain: you prove a statement works for a starting value, then show that if it works for any value k, it must also work for k + 1. You'll also meet proof by contradiction, where you assume a statement is false and show that this leads to an impossibility — famously used to prove that √2 is irrational. The deductive reasoning skills you're building now form the foundation for all of these techniques.
Practice Problems
Lesson Summary
In SL 1.7, you learn to write simple deductive proofs — logical arguments where every step is justified by a known algebraic rule. The primary technique is the LHS-to-RHS method: you pick the more complex side of a proposed identity and transform it, step by step, until it matches the other side. The crucial distinction is between an equation (true for specific values, symbol =) and an identity (true for all values, symbol ≡). You solve equations but you prove identities.
Key habits for exam success: always label LHS and RHS clearly, justify each algebraic manipulation, never work on both sides simultaneously (to avoid circular reasoning), and finish with a concluding statement. Remember that checking specific numbers is verification, not proof — only algebraic manipulation with variables establishes a result for all values. These deductive reasoning skills form the foundation for every advanced proof technique you'll encounter in higher mathematics.