Skip to content

Anatomy of a Mathematical Proof

Run the Anatomy of a Mathematical Proof MicroSim Fullscreen
Edit in the p5.js Editor

About This MicroSim

Breaking a proof into its component steps with visual flow arrows helps students see that proof is not a mysterious act of genius but a chain of logical steps that anyone can follow and verify. Explores standard axioms, sequential logical steps, definitions, and conclusions formatted specifically for TOK mathematical insights.

Lesson Plan

Grade Level

9-12 (High School / IB TOK)

Duration

20 minutes

Prerequisites

  • Understanding of what "Axioms", "Theorems", and "Deductive Logic" are.
  • Basic algebraic capabilities.

Learning Objectives

  • Illustrate the logical structure of a mathematical proof by tracing how each step follows from axioms and definitions.

Activities

  1. Exploration (7 min): Direct students to experiment with the flowchart for Euclid's proof of infinite primes. Instruct them to hover over each node (colored teal, amber, cream, etc.) to understand why that node serves as a foundational step (axiom vs. definition vs. contradiction).
  2. Guided Practice (8 min): Change the simulation to the "Pythagorean Theorem" setting or the "Irrationality of sqrt(2)" setting. Walk through the "coral" colored contradiction steps and explain how "reductio ad absurdum" functions as a valid method of gaining deductive mathematical knowledge.
  3. Assessment (5 min): Click the "Hide Steps" button. Can the students fill in the logical missing links? Put students in groups of 3 and see if they can collectively reason through completing the hidden flowchart nodes.

Assessment

  • Accuracy during the "Hide Steps" verification challenge.
  • Ability to verbally distinguish between an axiom and a deduced conclusion.

Quiz

Test your understanding of the anatomy of mathematical proofs.

1. In a formal mathematical proof, an "axiom" is best described as:

  1. A conclusion derived from a long sequence of inductive iterations.
  2. A statement that is assumed to be true without proof and forms the starting point of mathematical deduction.
  3. A logical fallacy introduced intentionally to prove a contradiction.
  4. A highly complex theorem that has yet to be solved by modern mathematicians.
Show Answer

The correct answer is B. Axioms function as the self-evident underlying foundations from which all other mathematical proofs are built. They are foundational assumptions that are accepted without requiring further proof, separating Mathematics uniquely from other Areas of Knowledge.

Concept Tested: Epistemological Foundations of Math