Mathematics · Year 13

Active learning ideas

Year 12 Retrieval: Proof by Exhaustion and Counterexample

Active learning works here because students often confuse inverse operations with reciprocals and misapply range rules to composite functions. Hands-on activities make abstract notation concrete, turning 'f^-1(x)' from a symbol into a physical reversal of steps. Role play and debates help students rehearse correct reasoning before formalizing it on paper.

• National Curriculum Attainment Targets
• A-Level: Mathematics - Proof

• 20–35 min
• Pairs → Whole Class
• 3 activities

Activity 01

• Role Play
• 25 min · Small Groups

Role Play: The Function Machine Factory

Students act as different 'components' in a composite function machine. One student applies function f, the next applies function g, and they observe how the order of operations changes the final output, illustrating why fg(x) is not the same as gf(x).

Evaluate whether proof by exhaustion or a counterexample is the more efficient strategy for a given conjecture, justifying your choice with reference to the size of the case space.

Facilitation Tip

During the Function Machine Factory, circulate while students act out inverses using props like socks and shoes to catch notation mix-ups in real time.

What to look for

Present students with the conjecture: 'All prime numbers are odd.' Ask them to identify whether proof by exhaustion or a counterexample is the more efficient strategy and to provide their reasoning. Then, ask them to provide the counterexample if applicable.

• Apply
• Analyze
• Evaluate
• Social Awareness
• Self-Awareness

Activity 02

• Formal Debate
• 20 min · Whole Class

Formal Debate: To Invert or Not to Invert?

The class is given several functions (like y=x^2). One side must argue why the function cannot have an inverse, while the other side proposes specific domain restrictions that would make an inverse possible. They must use the 'horizontal line test' as evidence.

Analyse the completeness of a proof by exhaustion, determining whether every case has been rigorously covered and identifying any that have been overlooked.

Facilitation Tip

In the debate, assign students clear roles (pro-inversion, anti-inversion) and require them to cite domain/range evidence from their flowchart diagrams.

What to look for

Pose the conjecture: 'For any integer n, n^2 + n + 41 is prime.' Ask students to discuss in pairs: 'How would you attempt to prove this? What are the potential challenges with proof by exhaustion here? Can you find a counterexample, and if so, how did you find it?'

• Analyze
• Evaluate
• Create
• Self-Management
• Decision-Making

Activity 03

• Inquiry Circle
• 35 min · Small Groups

Inquiry Circle: Modulus in the Real World

Groups are given scenarios involving tolerances in manufacturing or distances between moving objects. They must construct modulus functions to model these situations and use graphing tools to find where the 'v-shape' vertex occurs and what it represents in context.

Construct a minimal counterexample to refute a plausible conjecture, explaining precisely why a single instance is sufficient to disprove a universal statement.

Facilitation Tip

For the modulus investigation, provide graph paper and colored pencils so students can visually trace how f(|x|) alters symmetry and intercepts.

What to look for

Give each student a different conjecture, e.g., 'The sum of two even numbers is always even,' or 'The product of two negative numbers is always positive.' Ask them to state whether they would use proof by exhaustion or a counterexample, write down their chosen proof strategy, and execute it to confirm or deny the conjecture.

• Analyze
• Evaluate
• Create
• Self-Management
• Self-Awareness

A few notes on teaching this unit

Teach this by starting with physical models before moving to abstract symbols. Research shows that students grasp composite functions better when they trace values through multiple machines in sequence. Avoid rushing to formal definitions; let students discover the need for domain restrictions through failed inversion attempts. Use peer teaching during debates to surface misconceptions early.

Successful learning looks like students distinguishing inverse functions from reciprocals in the factory activity, justifying inversion decisions in the debate, and accurately mapping modulus transformations in the real-world task. They should articulate why domain and range constraints matter when composing functions.

---

Watch Out for These Misconceptions

• During the Function Machine Factory, watch for students treating f^-1(x) as 1/f(x).

  Ask them to physically reverse a two-step process (e.g., adding 3 then multiplying by 2) and notice how this differs from dividing by 2 then subtracting 3.

• During the Structured Debate: To Invert or Not to Invert?, watch for students assuming the range of fg(x) is the same as f(x).

  Have them trace specific values through both machines in a flowchart, marking where the range narrows or expands after each stage.

---

Methods used in this brief

• Role Play
• Formal Debate
• Inquiry Circle