Introduction to Mathematical Proofs

Learn the fundamentals of mathematical proofs and how to construct logical arguments.

Advanced25 minLesson

Definition

A mathematical proof is a logical argument that demonstrates why a mathematical statement must be true. Proofs use established facts, definitions, and logical rules to reach an undeniable conclusion.
A proof consists of:
  • Given information (premises or hypotheses)
  • Logical steps (each justified by a rule or previously proven fact)
  • Conclusion (the statement being proven)
The structure of a simple proof:
Where is our starting assumption and is what we want to prove.

Try it now

What is a mathematical proof?

Worked Examples

Prove that the sum of any two even numbers is even.

1

Define what even means

A number is even if for some integer Definition established

2

Let the two even numbers be and

By definition: and where are integersExpress in terms of definition

3

Add the two numbers

Factor out 2

4

Identify the form

is , which is the definition of evenMatches even definition

5

State conclusion

Therefore, is evenQED

Common Mistakes

Using specific examples instead of general proof

Why it's wrong: Showing that is even only proves that ONE case works, not ALL cases.

Correct: Use variables () to represent ANY two even numbers.

Assuming what you want to prove

Why it's wrong: You cannot use the conclusion in your reasoning - that is circular logic.

Correct: Start only from given information and definitions, then derive the conclusion.

Missing justification for steps

Why it's wrong: Every step must be justified by a definition, axiom, or previously proven theorem.

Correct: Always state WHY each step follows from the previous one.

Confusing implication direction

Why it's wrong: If , knowing does NOT tell us is true.

Correct: Be careful: converse and inverse of a true statement may be false.

Interactive Visual

Truth Table

P ∧ Q
PQP ∧ Q
FFF
FTF
TFF
TTT

T= TrueF= False

Interactive Sandbox

Expression Calculator

Try these:

History

No calculations yet

Practice Problems

16 problems
Problem 1 of 16
Easy

What is a mathematical proof?

Why It Matters

Mathematical proofs are the foundation of all mathematics and critical thinking:
  • Certainty: Unlike science which relies on evidence, proofs provide absolute certainty
  • Computer Science: Program verification and algorithm correctness rely on proofs
  • Law: Legal arguments follow similar logical structures
  • Philosophy: Logical reasoning is essential for philosophical arguments
  • Problem Solving: Learning to prove develops systematic thinking skills
Every theorem you use in mathematics was proven by someone using these techniques!

Real World Applications

Computer Science: Algorithm Correctness

Software engineers use proofs to verify that programs work correctly for all inputs.

Example:

Proving a sorting algorithm always produces a sorted list requires mathematical induction.

1Try It Yourself

A loop repeats times. Each iteration doubles a counter starting at 1.

Prove the final value is .

Step 1: Write the mathematical expression

After iterations, the value is:

Cryptography: Security Proofs

Modern encryption relies on mathematical proofs to guarantee security.

Example:

The security of RSA encryption is based on the proven difficulty of factoring large numbers.

2Try It Yourself

If you can factor the product of two primes, you can break the code.

Why is 15 easier to factor than 437?

Step 1: Write the mathematical expression

Compare the number of factors to check:

Legal Reasoning: Building Arguments

Lawyers construct logical arguments similar to mathematical proofs.

Example:

Legal reasoning follows 'If the evidence shows X, and X implies guilt, then the defendant is guilty.'

3Try It Yourself

Rule: All contracts require consideration (exchange of value). Person A signed a document but received nothing.

Is this a valid contract?

Step 1: Write the mathematical expression

Apply the logical rule:

Key Takeaways

  • 1A mathematical proof is a logical argument showing why a statement must be true
  • 2Direct proof: assume the hypothesis, derive the conclusion step by step
  • 3Proof by contradiction: assume the opposite is true, reach a contradiction
  • 4Every step must be justified by a definition, axiom, or proven theorem
  • 5Proofs must work for ALL cases, not just specific examples

Frequently Asked Questions

An axiom is a statement accepted as true without proof. A theorem is a statement that has been proven using axioms and other theorems.
An axiom is a statement accepted as true without proof. A theorem is a statement that has been proven using axioms and other theorems.
Testing examples only shows specific cases work. A proof guarantees ALL cases work. For example, we cannot test infinitely many numbers, but a proof covers them all.
QED stands for 'quod erat demonstrandum' (Latin for 'what was to be demonstrated'). It marks the end of a proof.

Glossary

Proof
A logical argument demonstrating that a mathematical statement is true
Theorem
A mathematical statement that has been proven to be true
Axiom
A statement accepted as true without proof; a starting point for reasoning
Hypothesis
The starting assumption in a conditional statement (the 'if' part)
Conclusion
The result that follows from the hypothesis (the 'then' part)
Contradiction
A logical impossibility; two statements that cannot both be true
QED
Abbreviation marking the end of a proof (quod erat demonstrandum)

More in This Topic