11-17-2025, 08:22 AM
(This post was last modified: 11-17-2025, 08:24 AM by Leejohnston.)
What Is a Mathematical Proof? — From Intuition to Rigor
“Mathematics is not about numbers, but about reasons.”
Many students first meet maths as a collection of rules:
• “To add fractions, find a common denominator.”
• “To solve this equation, move x to one side.”
But *why* do those rules work?
This is where proof comes in. A mathematical proof is a carefully structured argument that shows, step by step, why something must be true — not just that it seems true from examples.
1. Experiments vs. Proof
In science, we often test an idea by experiment.
In maths, we “experiment” with numbers too, but that is only the beginning.
Example:
Try a few numbers:
2 + 4 = 6 (even)
3 + 5 = 8 (even)
10 + 12 = 22 (even)
It looks like:
even + even = even
Experiments suggest the pattern, but they never guarantee it for all even numbers.
A proof does.
2. The Structure of a Simple Proof
To prove “even + even = even”, we start from the definition:
• An even number is any number that can be written as 2k, where k is an integer.
Let the two even numbers be:
• First even: 2a
• Second even: 2b
Now add them:
2a + 2b = 2(a + b)
The sum is “2 × (a + b)”.
Since a and b are integers, (a + b) is also an integer.
Call it c = (a + b). Then:
2a + 2b = 2c
So the sum is also of the form “2 × integer” → it is even.
That’s it. We have:
• Used a definition
• Followed clear logical steps
• Reached a conclusion that holds for all even numbers, not just a few examples.
3. Definitions: The Foundations of Proof
Proofs rest on precise definitions.
Examples:
• Even number: an integer of the form 2k
• Prime number: an integer greater than 1 with no positive divisors apart from 1 and itself
• Rational number: a number that can be written as a fraction p/q with integers p, q and q ≠ 0
If the definitions are clear, then the logic built on them can be trusted.
This is why mathematicians care so much about the exact wording of a statement — a tiny change can completely change what is being claimed.
4. Types of Proof You’ll Meet
There are many styles of proof. Here are three of the most common:
1) Direct Proof
You start from what is given and use definitions and known results to reach the statement you want.
Example: The “even + even = even” proof above is direct.
2) Proof by Contradiction
You temporarily assume the statement is false and show that this assumption leads to a logical impossibility.
Famous example: the proof that there are infinitely many prime numbers.
3) Proof by Induction
You show a statement is true for a first case (often n = 1), then prove:
If it’s true for n, it must also be true for n + 1.
This creates a “domino effect” — all cases follow logically.
5. Why Proof Matters (Even for Non-Mathematicians)
Learning how proofs work trains you to:
• distinguish evidence from certainty
• spot hidden assumptions
• break a problem into small, justified steps
• communicate reasoning clearly
These skills are valuable far beyond mathematics — in science, coding, law, and everyday decision-making.
6. Try It Yourself — A Mini-Challenge
Can you complete this proof outline?
Claim: The sum of any two odd numbers is even.
1. By definition, an odd number can be written as 2k + 1.
2. Let the two odd numbers be 2a + 1 and 2b + 1.
3. Add them together and simplify.
4. Show that the result is of the form 2 × (integer).
If you can write this as a full sentence-style argument, you’ve just written a genuine proof.
The Lumin Archive
“Mathematics is not about numbers, but about reasons.”
Many students first meet maths as a collection of rules:
• “To add fractions, find a common denominator.”
• “To solve this equation, move x to one side.”
But *why* do those rules work?
This is where proof comes in. A mathematical proof is a carefully structured argument that shows, step by step, why something must be true — not just that it seems true from examples.
1. Experiments vs. Proof
In science, we often test an idea by experiment.
In maths, we “experiment” with numbers too, but that is only the beginning.
Example:
Try a few numbers:
2 + 4 = 6 (even)
3 + 5 = 8 (even)
10 + 12 = 22 (even)
It looks like:
even + even = even
Experiments suggest the pattern, but they never guarantee it for all even numbers.
A proof does.
2. The Structure of a Simple Proof
To prove “even + even = even”, we start from the definition:
• An even number is any number that can be written as 2k, where k is an integer.
Let the two even numbers be:
• First even: 2a
• Second even: 2b
Now add them:
2a + 2b = 2(a + b)
The sum is “2 × (a + b)”.
Since a and b are integers, (a + b) is also an integer.
Call it c = (a + b). Then:
2a + 2b = 2c
So the sum is also of the form “2 × integer” → it is even.
That’s it. We have:
• Used a definition
• Followed clear logical steps
• Reached a conclusion that holds for all even numbers, not just a few examples.
3. Definitions: The Foundations of Proof
Proofs rest on precise definitions.
Examples:
• Even number: an integer of the form 2k
• Prime number: an integer greater than 1 with no positive divisors apart from 1 and itself
• Rational number: a number that can be written as a fraction p/q with integers p, q and q ≠ 0
If the definitions are clear, then the logic built on them can be trusted.
This is why mathematicians care so much about the exact wording of a statement — a tiny change can completely change what is being claimed.
4. Types of Proof You’ll Meet
There are many styles of proof. Here are three of the most common:
1) Direct Proof
You start from what is given and use definitions and known results to reach the statement you want.
Example: The “even + even = even” proof above is direct.
2) Proof by Contradiction
You temporarily assume the statement is false and show that this assumption leads to a logical impossibility.
Famous example: the proof that there are infinitely many prime numbers.
3) Proof by Induction
You show a statement is true for a first case (often n = 1), then prove:
If it’s true for n, it must also be true for n + 1.
This creates a “domino effect” — all cases follow logically.
5. Why Proof Matters (Even for Non-Mathematicians)
Learning how proofs work trains you to:
• distinguish evidence from certainty
• spot hidden assumptions
• break a problem into small, justified steps
• communicate reasoning clearly
These skills are valuable far beyond mathematics — in science, coding, law, and everyday decision-making.
6. Try It Yourself — A Mini-Challenge
Can you complete this proof outline?
Claim: The sum of any two odd numbers is even.
1. By definition, an odd number can be written as 2k + 1.
2. Let the two odd numbers be 2a + 1 and 2b + 1.
3. Add them together and simplify.
4. Show that the result is of the form 2 × (integer).
If you can write this as a full sentence-style argument, you’ve just written a genuine proof.
The Lumin Archive