Teacher Guide: Direct Proof

Learn to construct direct proofs by logically deriving conclusions from given hypotheses using definitions, axioms, and previously proven theorems.

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

Identify the hypothesis and conclusion in a conditional statement
Construct a direct proof using definitions and algebraic manipulation
Write clear, logical steps that connect hypothesis to conclusion
Apply direct proof to number theory statements

Prerequisites

• Understanding of conditional statements (if-then)
• Basic algebra and variable manipulation
• Familiarity with even and odd number definitions
• Knowledge of integer properties

Discussion Starters

1. Why is checking a few examples not the same as a proof?
2. Can you think of a statement that seems true but might be hard to prove directly?
3. How is mathematical proof different from scientific evidence?
4. What makes a proof convincing?

Common Misconceptions

Checking several examples proves a statement

The order of steps does not matter

Differentiation Ideas

For Struggling Students:

• Provide proof templates with fill-in-the-blank steps
• Focus on one type of proof (even/odd numbers) before diversifying
• Allow students to work in pairs to discuss each step

For On-Level Students:

• Prove statements about sums and products of even/odd numbers
• Write proofs without templates
• Identify errors in flawed proofs

For Advanced Students:

• Prove statements about divisibility and prime numbers
• Compare direct proof to proof by contradiction
• Create their own conjectures and prove them

Standards Alignment

HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)
Use the relation and the commutative, associative, and distributive properties to add, subtract, and multiply complex numbers
HSA-APR.C.4 (CCSS.MATH.CONTENT.HSA.APR.C.4)
Prove polynomial identities and use them to describe numerical relationships
MP3 (CCSS.MATH.PRACTICE.MP3)
Construct viable arguments and critique the reasoning of others

Lesson Resources

visualProof Structure Diagram
Shows the flow from hypothesis to conclusion
activityFill-in-the-Blanks Proof
Students complete missing steps in a proof
worksheetDirect Proof Practice
Five theorems to prove using direct proof

Lesson Content

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

Definition

A direct proof is a method of proving a mathematical statement by starting with known facts (the hypothesis) and using logical steps to arrive at the conclusion.

The structure of a direct proof: 1. Assume the hypothesis is true 2. Apply definitions, axioms, and theorems 3. Derive the conclusion through logical reasoning

If we want to prove "If , then " (written ):

Start by assuming is true
Use logical deductions to show must also be true

Worked Examples

Prove: If and are even integers, then is even.

State the hypothesis

Assume and are even integers → Given: and are even

Apply the definition of even

An even integer can be written as for some integer → and for integers

Add the two numbers

→

Factor out the common factor

→

Apply the definition of even again

Since is an integer, is even by definition → is even

Answer: Therefore, the sum of two even integers is always even. QED

Common Mistakes

Using specific examples instead of general proof

Why it's wrong: Showing that (even) proves nothing about ALL even numbers. A proof must work for every possible case.

Correct: Use variables and definitions. Write 'Let for some integer ' to represent ANY even number.

Assuming what you want to prove

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

Correct: Start only from the hypothesis and work forward. Never write 'Since is even...' until you have proven it.

Skipping logical steps

Why it's wrong: Each step must follow logically from previous steps. Gaps in reasoning can hide errors.

Correct: Justify every step with a definition, axiom, or previously proven theorem.

Why It Matters

Direct proof is the most fundamental proof technique in mathematics:

Foundation of mathematics: Every theorem you use was proven using direct proof or related methods
Computer science: Algorithm correctness proofs often use direct reasoning
Legal arguments: Lawyers construct arguments from evidence to conclusion
Scientific method: Deriving predictions from hypotheses uses the same logical structure
Problem solving: Breaking complex problems into logical steps

Mastering direct proof develops rigorous thinking that applies far beyond mathematics!

Real World Applications

Software Verification

Programmers use direct proof logic to verify that their code works correctly for all inputs.

Example:

To prove a sorting algorithm always produces sorted output, we show: if the input is a list, the output has the same elements in non-decreasing order.

1Try It Yourself

A program doubles every number in a list. We need to prove: if all input numbers are positive, all output numbers are positive.

Complete this direct proof.

Step 1: Write the mathematical expression

If , then

Legal Reasoning

Lawyers construct arguments that logically lead from evidence to conclusions.

Example:

If the contract states payment is due upon delivery, and delivery occurred on March 1, then payment was due on March 1.

2Try It Yourself

Law: All citizens over 18 can vote. Fact: Alex is a citizen. Fact: Alex is 21 years old.

Prove that Alex can vote.

Step 1: Write the mathematical expression

Structure the logical argument

Key Takeaways

1A direct proof assumes the hypothesis is true and derives the conclusion through logical steps
2Use definitions to translate words into mathematical expressions (e.g., even = )
3Each step must follow logically from previous steps using algebra, definitions, or theorems
4The proof ends when you reach the exact form of the conclusion
5QED (quod erat demonstrandum) marks the end of a proof

Frequently Asked Questions

How do I know when to use direct proof versus other methods?

Try direct proof first for positive statements like 'If A, then B.' If you get stuck, consider proof by contradiction or contrapositive. Direct proof works well when you can manipulate the hypothesis algebraically.

What does QED mean?

QED stands for 'quod erat demonstrandum' (Latin for 'which was to be demonstrated'). It signals the proof is complete. Some mathematicians use a square symbol (tombstone) instead.

How detailed should my steps be?

Each step should be justified by a definition, property, or theorem. If you skip steps, you risk hiding errors. When in doubt, include more detail.

Glossary

Direct proof: A proof method that assumes the hypothesis and uses logical deduction to derive the conclusion
Hypothesis: The 'if' part of a conditional statement; what we assume to be true
Conclusion: The 'then' part of a conditional statement; what we want to prove
QED: Abbreviation for 'quod erat demonstrandum,' marking the end of a proof
Theorem: A mathematical statement that has been proven to be true
Axiom: A statement accepted as true without proof; a starting point for reasoning