Back to Lesson

Teacher Guide: Introduction to Mathematical Proofs

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

Present LessonView Student Page

Use this lesson with your class

Free, no student accounts needed.

Share with students

Students open the lesson and practise with instant feedback.

Printable worksheet

All practice problems on paper, with a separate answer key.

Worksheet Answer key

Class quiz

10 questions on Mathematical Proofs. Students join with a name, you see everyone's score.

For Teachers

Learning Objectives
  • Explain the purpose and structure of a mathematical proof
  • Construct direct proofs using definitions and logical reasoning
  • Apply proof by contradiction to show statements are true
  • Identify common logical errors in mathematical arguments
  • Justify each step of a proof with appropriate reasoning
Prerequisites
  • • Understanding of basic algebraic manipulation
  • • Familiarity with integers, even numbers, and odd numbers
  • • Basic understanding of logical connectives (and, or, if-then)
Discussion Starters
  • 1. Why do mathematicians require proofs instead of just accepting patterns?
  • 2. Can you think of a pattern that seems true but fails for large numbers?
  • 3. How is mathematical proof different from scientific evidence?
  • 4. Why might assuming the opposite be a useful strategy in problem-solving?
Common Misconceptions

Several examples prove a statement is always true

Proof by contradiction always works

Variables make proofs harder, not easier

Differentiation Ideas

For Struggling Students:

  • • Provide proof templates with blanks to fill in
  • • Start with very simple proofs about even/odd numbers
  • • Use color coding to highlight hypothesis, steps, and conclusion

For On-Level Students:

  • • Practice direct proofs with number properties
  • • Introduce proof by contradiction with guided examples
  • • Have students explain each step's justification

For Advanced Students:

  • • Explore proof by mathematical induction
  • • Prove properties of prime numbers
  • • Analyze and critique complex proofs for validity
Standards Alignment
  • HSG-CO.C.9 (CCSS.MATH.CONTENT.HSG.CO.C.9)

    Prove theorems about lines and angles

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Construct viable arguments and critique the reasoning of others

Lesson Resources
  • visualProof Structure Diagram

    Visual breakdown of proof components

  • activitySpot the Error

    Students identify flaws in invalid proofs

  • worksheetDirect Proof Practice

    Guided practice with number theory proofs

Lesson Content

Everything students see: definition, examples, common mistakes, applications. Tap to open.

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.

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 integers → Express in terms of definition

3

Add the two numbers

→ Factor out 2

4

Identify the form

is , which is the definition of even → Matches even definition

5

State conclusion

Therefore, is even → QED

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.

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

What is the difference between a theorem and an axiom?

An axiom is a statement accepted as true without proof. A theorem is a statement that has been proven using axioms and other theorems.

Why do we need proofs if we can test examples?

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.

What does QED mean?

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

Direct Proof

Advanced25 min