Proof: Why Math Can Be Trusted

Welcome, students 👋 In mathematics, a proof is a logical explanation that shows a statement is always true. In IB Mathematics Analysis and Approaches SL, proof is important because it helps you move beyond examples and see why a rule works for every case, not just a few special ones. By the end of this lesson, you should be able to explain what proof is, use common proof methods, and connect proof to number patterns, algebra, and the rest of Number and Algebra.

Learning objectives:

Explain the main ideas and terminology behind proof.
Apply IB Mathematics Analysis and Approaches SL reasoning related to proof.
Connect proof to the broader topic of Number and Algebra.
Summarize how proof fits within Number and Algebra.
Use evidence and examples to support mathematical arguments.

A good proof is not just a long calculation. It is a clear chain of reasoning using definitions, known facts, and logical steps. In real life, this is like showing a friend why a recipe always works, instead of just saying it worked once 🍕.

What Proof Means in Mathematics

A proof is a sequence of statements that leads from accepted facts to a conclusion. Each step must follow logically from the previous one. In school mathematics, proofs often use definitions, algebraic manipulation, previously proven results, and properties of numbers.

For example, if you want to prove that a certain formula is true for all positive integers, checking the first few values is not enough. The pattern may look convincing, but proof gives certainty. This is one reason proof is so important in Number and Algebra: patterns can suggest a rule, but proof confirms it.

Some key terms are useful here:

A statement is a mathematical sentence that is either true or false.
A conjecture is a statement believed to be true based on evidence, but not yet proved.
A theorem is a statement that has been proven true.
A counterexample is one example that shows a statement is false.

For instance, the statement “all prime numbers are odd” is false because $2$ is prime and even. The number $2$ is a counterexample. In proof, a single counterexample is enough to disprove a universal claim.

Why Proof Matters in Number and Algebra

Proof connects directly to many parts of Number and Algebra. When you study number systems, exponentials, logarithms, or sequences, you often notice patterns. Proof helps you decide whether those patterns always hold.

Here are some common situations where proof appears:

Algebraic identities: showing two expressions are equal for all allowed values.
Number properties: proving whether a statement is true for all integers, even numbers, or multiples of a certain number.
Sequences and series: showing a formula for a pattern really matches every term.
Functions: proving relationships between inputs and outputs.

For example, suppose you notice that the sum of two odd numbers is always even. You may test examples like $3+5=8$ and $7+9=16$. These examples suggest the pattern, but proof explains why it always works.

Let odd numbers be written as $2a+1$ and $2b+1$, where $a$ and $b$ are integers. Then

$(2a+1)+(2b+1)=2(a+b+1)$

Since $a+b+1$ is an integer, the result is divisible by $2$, so it is even. This is a proof because it works for all odd numbers, not just some examples.

Common Proof Methods

In IB Mathematics Analysis and Approaches SL, you are expected to recognize and use several proof methods. The most important ones are direct proof, proof by contradiction, proof by counterexample, and sometimes mathematical induction, depending on the level of the content being studied.

Direct proof

A direct proof starts with what you know and moves step by step to the result you want.

Example: prove that the square of an even number is even.

If a number is even, write it as $2n$ where $n$ is an integer. Then

$(2n)^2=4n^2=2(2n^2)$

Because $2n^2$ is an integer, the result is of the form $2k$, so it is even.

This method is often useful in algebra because you can rewrite expressions using definitions and then simplify them.

Proof by contradiction

In proof by contradiction, you assume the statement is false and then show that this leads to something impossible.

A famous example is proving that $\sqrt{2}$ is irrational. Suppose $\sqrt{2}$ were rational. Then it could be written as $\frac{a}{b}$ in lowest terms, where $a$ and $b$ are integers and $b \neq 0$. Squaring gives

$2=\frac{a^2}{b^2}$

$a^2=2b^2$

This shows $a^2$ is even, so $a$ is even. Let $a=2k$. Then

$(2k)^2=2b^2$

which gives

$2k^2=b^2$

So $b^2$ is even, and therefore $b$ is even. But then both $a$ and $b$ are even, which contradicts the assumption that $\frac{a}{b}$ was in lowest terms. So $\sqrt{2}$ must be irrational.

This is a powerful proof method when a direct route is difficult.

Proof by counterexample

This is not a proof that something is true. Instead, it is a way to prove a statement false. If a claim says “for all,” one counterexample is enough to disprove it.

For example, the statement “all terms in the sequence $n^2+n+1$ are prime” is false. If $n=3$, then

$3^2+3+1=13$

which is prime, but if $n=4$, then

$4^2+4+1=21$

which is not prime. Since the statement fails for $n=4$, it cannot be true for all values.

Mathematical induction

Induction is especially useful for statements involving the positive integers. It is often described as a chain reaction 🔗. You prove the first case, then show that if one case works, the next one also works.

A standard induction proof has two parts:

Base case: prove the statement for the first value, often $n=1$.
Inductive step: assume the statement is true for $n=k$ and prove it is true for $n=k+1$.

For example, prove that

$1+2+3+\cdots+n=\frac{n(n+1)}{2}$

for all positive integers $n$.

Base case: when $n=1$,

$1=\frac{1(1+1)}{2}=1$

so the statement is true.

Inductive step: assume

$1+2+\cdots+k=\frac{k(k+1)}{2}$

Then for $k+1$,

$1+2+\cdots+k+(k+1)=\frac{k(k+1)}{2}+(k+1)$

Factor out $k+1$:

$\frac{k(k+1)}{2}+(k+1)=(k+1)\left(\frac{k}{2}+1\right)$

$=(k+1)\left(\frac{k+2}{2}\right)=\frac{(k+1)(k+2)}{2}$

This matches the formula with $n=k+1$. Therefore, the statement is true for all positive integers $n$.

How to Write a Clear Proof

A strong proof is clear, organised, and complete. In exams, students sometimes lose marks not because the idea is wrong, but because the logic is hard to follow.

Useful habits include:

Start by stating what is known and what you want to prove.
Define variables clearly, such as letting an even number be $2n$.
Show every important transformation.
Use correct mathematical language like “therefore,” “since,” and “because.”
Finish with a sentence that directly answers the question.

For example, if asked to prove that the product of two consecutive integers is even, you might write the numbers as $n$ and $n+1$. But the product $n(n+1)$ is not always even if $n$ is arbitrary? Actually, one of two consecutive integers is always even, so their product is even. A clear proof is:

If $n$ is even, then $n(n+1)$ is even because it has an even factor.
If $n$ is odd, then $n+1$ is even, so $n(n+1)$ is even.

Because one of the consecutive integers must be even, the product is always even.

Proof, Patterns, and Algebraic Reasoning

Proof is a bridge between pattern-spotting and exact mathematics. In Number and Algebra, you often begin with a pattern in a table or sequence, then turn that pattern into a formula, and finally prove it.

Consider the pattern:

$1=1^2$
$1+3=4=2^2$
$1+3+5=9=3^2$

This suggests that the sum of the first $n$ odd numbers may be $n^2$. A proof by induction can confirm it. This shows a big idea in mathematics: examples help you guess, but proof gives certainty.

Proof also supports algebraic manipulation. For example, you may be asked to verify identities such as

$(a+b)^2=a^2+2ab+b^2$

Expanding the left side gives

$(a+b)(a+b)=a^2+ab+ba+b^2=a^2+2ab+b^2$

This is not just a calculation trick. It proves that the identity is always true.

Conclusion

Proof is one of the most important ideas in Number and Algebra because it turns observations into certainty. students, when you prove a result, you are showing that it works for every valid case, not just a few examples. In IB Mathematics Analysis and Approaches SL, proof strengthens your understanding of numbers, sequences, algebraic identities, and logical reasoning. It also teaches a valuable mathematical habit: do not stop at “it looks true” when you can show why it is true ✅.

Study Notes

A proof is a logical argument showing a statement is always true.
A conjecture is a statement that seems true from evidence but is not yet proved.
A theorem is a statement that has been proved.
A counterexample proves a universal statement false.
Common proof methods include direct proof, proof by contradiction, counterexample, and mathematical induction.
In direct proof, you start from definitions and known facts and work toward the conclusion.
In contradiction, you assume the opposite of what you want to prove and reach an impossibility.
Induction is useful for statements about positive integers and has a base case and an inductive step.
Proof is essential in Number and Algebra because it confirms patterns, identities, number properties, and sequence formulas.
Examples can suggest a rule, but proof is what makes the rule mathematically reliable.