Critiquing & Improving Solutions — I can critique and improve another solution by identifying missing justification or incorrect assumptions. - Grade 11 Math

SECTION 1

Historical Context & Motivation

Mathematics has never been a solo endeavor. Throughout history, the greatest breakthroughs came not from isolated geniuses working in silence, but from communities of thinkers who critiqued, challenged, and refined one another's arguments. The practice of peer critique — carefully examining a proposed solution for errors, hidden assumptions, and missing justifications — is one of the oldest and most powerful tools in mathematical reasoning. Without it, false results would persist unchecked, and mathematics would lose the rigor that makes it so trustworthy.

The idea that every claim needs a clear chain of reasoning stretches back to ancient Greece, where Euclid laid out geometry from a handful of axioms and demanded that every theorem follow logically from them. Over the centuries, mathematicians discovered that even brilliant work could contain subtle flaws — flaws that only careful critique could uncover. Today, the same skill is central to modern mathematical practice and is embedded in the Common Core Standard for Mathematical Practice #3: "Construct viable arguments and critique the reasoning of others."

~300 BCE • Euclid's Elements

Euclid of Alexandria compiled Elements, establishing the standard that every geometric theorem must be justified step by step from axioms. This set the template for rigorous proof.

1821 • Cauchy's Rigorous Calculus

Augustin-Louis Cauchy re-examined the foundations of calculus and found that many earlier "proofs" relied on unstated assumptions about limits and continuity. His critiques led to a more rigorous framework.

1879 • Kempe's Flawed Four-Color Proof

Alfred Kempe published a proof of the Four-Color Theorem that the mathematical community accepted for over a decade, until Percy Heawood identified a critical logical gap in 1890. This demonstrated how vital sustained peer critique is.

1994 • Wiles & Fermat's Last Theorem

Andrew Wiles submitted his proof of Fermat's Last Theorem. A peer reviewer found a subtle error; Wiles spent another year fixing it. The final, corrected proof became one of the greatest achievements in modern mathematics — improved through critique.

These stories share a common theme: solutions are strengthened through constructive critique. Even the most accomplished mathematicians benefit from having others examine their reasoning. The question we explore in this lesson is: How can you develop that same critical eye to identify missing justifications and incorrect assumptions in a solution?

SECTION 2

Core Principles of Solution Critique

Before you can spot errors in someone else's work, you need a clear framework for what makes a solution valid and complete. A strong mathematical solution does more than just arrive at the right number — it explains why each step follows from the previous one, states the rules or properties being used, and makes its assumptions visible. The following four principles form the backbone of effective mathematical critique.

Logical Flow

Every step must follow from the previous one through a recognized mathematical rule, theorem, or definition. If a step seems to "jump" to a conclusion, the logical flow is broken.

Explicit Justification

Each transformation or claim should reference the property it relies on — distributive property, triangle angle sum, etc. A step without a stated reason is a missing justification.

Stated Assumptions

Every solution starts with assumptions — sometimes obvious, sometimes hidden. An incorrect assumption (like assuming a variable is positive without being told) can invalidate everything that follows.

Domain Awareness

The solution must respect the domain of the problem. For instance, dividing both sides by a variable without checking whether that variable could be zero is a common and dangerous oversight.

✦

KEY TAKEAWAY

Think of a mathematical proof like a chain: each link is a logical step, and the chain is only as strong as its weakest link. When you critique a solution, you're testing every link — tugging on it to see if it holds. A missing justification is a link made of paper, and an incorrect assumption is a link that's attached to the wrong chain entirely.

SECTION 3

Visual Explanation — Anatomy of a Flawed Solution

The diagram below dissects a sample algebraic solution and highlights the types of errors a critical reader should catch. Study each annotation to build your eye for spotting gaps in reasoning.

This diagram traces a flawed solution to x² − 4x = 0. Red borders mark errors: a missing justification at Step 2 and an incorrect assumption at Step 3, where dividing by x loses the solution x = 0. The green box at the bottom shows the corrected approach using factoring and the Zero Product Property.

Notice how the original solver arrived at a partially correct answer — x = 4 is indeed a solution. This is what makes flawed solutions tricky: they often look right on the surface. The critical reader's job is to examine the process, not just the answer. Ask yourself at every step: "What rule allows this?" and "What am I assuming here?" These two questions will catch the vast majority of errors.

SECTION 4

Mathematical Framework — A Critique Checklist

Critiquing a solution is systematic, not random. The following framework gives you a structured approach to evaluating any mathematical argument. While this isn't a formula in the traditional sense, it functions like one: apply each check in order, and you'll build a thorough critique.

Check 1 — Verify Assumptions

ASSUMPTION CHECK

If a step requires condition C, verify that C is given or provable.

Common hidden assumptions include: a variable is nonzero (needed before dividing), a quantity is positive (needed before taking even roots), or a function is continuous (needed for the Intermediate Value Theorem). If the condition C is not guaranteed, the step is invalid.

Check 2 — Trace Logical Flow

LOGICAL CHAIN

Given → Step 1 → Step 2 → ⋯ → Conclusion

Each arrow (→) represents an implication. For the chain to be valid, every arrow must be justified by a theorem, definition, or given fact. A gap occurs when a step cannot be derived from what precedes it using known mathematical rules.

Check 3 — Test with Special Cases

COUNTEREXAMPLE TEST

If one example satisfies the given conditions but violates the conclusion, the argument is invalid.

Try boundary values (0, 1, −1), extreme values, and any values the solver might have overlooked. Even one counterexample is enough to disprove a general claim.

Check 4 — Confirm Completeness

COMPLETENESS CHECK

All cases must be addressed; all solutions must be found.

A quadratic equation has up to two solutions, an absolute value equation can split into two cases, and a proof involving "or" statements may require multiple branches. Omitting a case is a form of incomplete justification.

💡

Quick Reference

When reading any solution, keep four questions on repeat: (1) What is being assumed? (2) What justifies this step? (3) Does a counterexample break it? (4) Are all cases covered?

SECTION 5

Common Error Types in Mathematical Solutions

Not all errors are created equal. Some are computational slips that a quick re-check can catch, while others are deep structural problems that undermine the entire argument. The diagram below categorizes the most common errors you'll encounter when critiquing solutions in high school mathematics, organized by severity.

This taxonomy divides solution errors into three categories. Computational errors are the easiest to spot and fix. Structural/logical errors — like dividing by a variable that might be zero or skipping justifications — are more dangerous. Conceptual errors reveal deeper misunderstandings and require the most effort to address.

When you critique a peer's solution, it's natural to focus on arithmetic first — those errors are the most visible. However, effective critique prioritizes structural and conceptual errors because they affect whether the solution method itself is valid. A solution with perfect arithmetic but a flawed logical structure is far worse than one with a minor calculation slip in an otherwise correct approach.

SECTION 6

Worked Example — Critiquing and Improving a Proof

Let's walk through a full critique of a student solution. Read the problem and the proposed solution, then follow the step-by-step analysis to see how a careful critic identifies and fixes the errors.

ℹ

The Problem

Prove that if n is an integer and n² is even, then n is even.

⚠

Student's Proposed Solution

"Let n be even. Then n = 2k for some integer k. So n² = (2k)² = 4k² = 2(2k²), which is even. Therefore, if n² is even, then n is even." ✗

Step-by-Step Critique & Improvement

1
Step 1 — Identify the Claim and Its Structure

The problem asks us to prove: "If n² is even, then n is even." This is a conditional statement of the form P → Q, where P is "n² is even" and Q is "n is even."

The claim structure is: P → Q
2
Step 2 — Check the Direction of the Argument

The student's proof starts by assuming n is even (that is, assuming Q) and then shows n² is even (that is, concluding P). This actually proves Q → P, which is the converse of what was asked. Proving the converse does NOT prove the original statement.

INCORRECT ASSUMPTION: The student assumed the conclusion instead of the hypothesis.
3
Step 3 — Identify the Correct Proof Strategy

A direct proof of "If n² is even, then n is even" would start by assuming n² is even. However, this is hard to work with directly. A better strategy is proof by contrapositive: prove "If n is NOT even (i.e., n is odd), then n² is NOT even (i.e., n² is odd)." The contrapositive is logically equivalent to the original statement.

Strategy: Prove the contrapositive (¬Q → ¬P)
4
Step 4 — Write the Improved Proof

Assume n is odd. Then n = 2k + 1 for some integer k. So n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1. Since 2k² + 2k is an integer, n² has the form 2m + 1, so n² is odd. We have shown that if n is odd then n² is odd, which is the contrapositive of the original claim.

Therefore, if n² is even, then n is even. ✓
5
Step 5 — Summarize the Critique

The original solution had a fundamental structural error: it proved the converse instead of the original statement. The student's algebra was correct, but the logical direction was backwards. The improved version uses proof by contrapositive, which is logically equivalent to the original claim and yields a clean, complete argument.

Errors found: 1 incorrect assumption (proving the converse), 1 missing justification (no stated proof strategy)

SECTION 7

Critique vs. Correction — Understanding the Difference

Critiquing a solution and correcting it are related but distinct skills. A good critique identifies what is wrong and why it is wrong, while a correction provides the improved version. Both are essential, but effective mathematical communication requires you to articulate the critique before jumping to the fix. The table below clarifies the distinction and gives you language to use in each situation.

Dimension	Critique	Correction
Goal	Identify and explain errors in reasoning	Provide a valid alternative solution
Focus	The process and logic of the solution	The final, correct result
Language	"This step assumes…" / "No justification is given for…"	"Instead, we should…" / "The correct approach is…"
Skill Level	Requires understanding what makes reasoning valid	Requires both critique skill and content mastery
Analogy	A food critic identifies what's wrong with the dish	A chef fixes the recipe

Critique identifies the problem; correction provides the fix. Strong mathematical thinkers do both.

✦

KEY TAKEAWAY

Imagine you're a building inspector examining a house under construction. Your critique is the inspection report: "The load-bearing wall on the second floor has no foundation support — this is structurally unsound." Your correction is the blueprint revision that adds the necessary support. Both are needed, but the inspection must come first — you can't fix what you haven't diagnosed.

SECTION 8

Connection to Advanced Mathematical Reasoning

The critique skills you're developing here are the same ones used by professional mathematicians, scientists, and engineers every day. In advanced mathematics, these skills scale up dramatically: proofs become longer, assumptions become more subtle, and the consequences of errors become more significant. The table below shows how the concepts in this lesson connect to more advanced work.

This Lesson	Advanced Version
Checking if a step has justification	Formal proof verification; automated theorem provers
Identifying hidden assumptions (e.g., x ≠ 0)	Axiomatic systems; independence of axioms (e.g., Axiom of Choice)
Testing with counterexamples	Disproof by counterexample in real analysis, topology, and abstract algebra
Proving the converse vs. the original	Biconditional proofs (if and only if); logical equivalence in formal logic
Peer critique of solutions	Peer review in academic journals; reproducibility in scientific research

The critique framework in this lesson scales directly to college mathematics and professional practice.

If you continue in mathematics, you'll encounter courses like Discrete Mathematics and Introduction to Proofs, where critiquing arguments is not just one skill among many — it is the course. The ability to read a proof, find the weak link, and either fix it or explain why it fails is what separates students who can solve problems from students who truly understand mathematics.

SECTION 9

Practice Problems

Apply your critique skills to the following problems. For each one, identify errors, explain why they are errors, and provide the corrected reasoning.

Question 1: CONCEPTUAL

A student claims: "I proved that all rectangles are squares because I showed that all squares are rectangles." What error in reasoning has the student made?

Show answer

The student has confused a statement with its converse. The statement "All squares are rectangles" (Q → P) is true, but its converse "All rectangles are squares" (P → Q) is false. Proving one does not prove the other. A rectangle with sides 3 cm and 5 cm is a counterexample: it is a rectangle but not a square. This is a structural/logical error because the student proved the wrong direction of the implication.

Question 2: BASIC CALCULATION

A student solves |2x − 6| = 10 as follows: "2x − 6 = 10, so 2x = 16, so x = 8. The answer is x = 8." Critique this solution and provide the complete answer.

Show answer

The student has a missing case. When solving an absolute value equation |A| = B, we must consider two cases: A = B and A = −B. The student only addressed 2x − 6 = 10 (giving x = 8) but omitted 2x − 6 = −10. Solving the second case: 2x = −4, so x = −2. The complete solution is x = 8 or x = −2. We can verify: |2(−2) − 6| = |−10| = 10 ✓. This error falls under "incomplete case analysis" — a structural error.

Question 3: INTERMEDIATE

Critique the following solution: "Solve x² + 5x + 6 = 2. Factor: (x + 2)(x + 3) = 2. So x + 2 = 2 or x + 3 = 2, giving x = 0 or x = −1." Identify all errors, explain why each is an error, and provide the correct solution.

Show answer

There is a critical conceptual error. The Zero Product Property states that if AB = 0, then A = 0 or B = 0. It does not apply when the product equals 2 (or any nonzero number). You cannot conclude that one factor must be 2; for example, the factors could be 4 and 0.5. The correct approach is to first set the equation equal to zero: x² + 5x + 4 = 0. Then factor: (x + 1)(x + 4) = 0. By the Zero Product Property, x = −1 or x = −4. We can verify: (−4)² + 5(−4) + 6 = 16 − 20 + 6 = 2 ✓.

Question 4: APPLIED

A classmate claims that the equation 2x + 3 = 2x + 5 has infinitely many solutions because "you can plug in any value and both sides have 2x in them." Write a thorough critique of this reasoning, identify the incorrect assumption, and state the correct answer.

Show answer

The classmate's reasoning contains an incorrect assumption: they assume that because both sides share the term 2x, the equation must be true for all x. However, sharing a term does not make an equation an identity. Subtracting 2x from both sides gives 3 = 5, which is a false statement. This means the original equation is a contradiction — it has no solutions, not infinitely many. The justification is the Subtraction Property of Equality: if a = b, then a − c = b − c. Applying it here reveals the impossibility directly. This is also a missing justification error — the classmate never actually tested their claim by substituting a value or simplifying algebraically.

Question 5: CRITICAL THINKING

A student presents this "proof" that 1 = 2: "Let a = b. Then a² = ab. Subtract b² from both sides: a² − b² = ab − b². Factor: (a + b)(a − b) = b(a − b). Divide both sides by (a − b): a + b = b. Since a = b, substitute: b + b = b, so 2b = b, so 2 = 1." Find the exact step where the reasoning goes wrong, explain why, and identify which type of error it is.

Show answer

The error occurs at the step "divide both sides by (a − b)." Since we defined a = b at the start, we know a − b = 0. Dividing both sides of an equation by zero is undefined — it is not a valid algebraic operation. This is an incorrect assumption: the student assumed (a − b) ≠ 0, which directly contradicts the given condition a = b. It is also a missing justification because no reason was stated for why division by (a − b) is permitted. In our error taxonomy, this is both a structural error (dividing by zero) and a conceptual error (failing to recognize the contradiction with the given information). Every step that follows the invalid division is meaningless, which is why a false conclusion (1 = 2) is reached. This classic fallacy illustrates why we must always verify that a divisor is nonzero before dividing.

SUMMARY

Lesson Summary

Summary

Critiquing and improving mathematical solutions is a foundational practice that stretches from Euclid's axiomatic method to modern peer review. Every valid solution requires logical flow, explicit justification for each step, clearly stated assumptions, and attention to domain restrictions. When critiquing, use the four-check framework: verify assumptions, trace logical flow, test with counterexamples, and confirm completeness.

Errors fall into three categories — computational (low severity), structural/logical (high severity), and conceptual (critical severity). A strong critique identifies the error type, explains why it invalidates the reasoning, and proposes an improved solution. Remember: the most dangerous errors — like proving the converse instead of the original statement or dividing by a variable that could be zero — often hide behind correct-looking algebra. Always interrogate the logic, not just the arithmetic.