Mistake museum

Mistake Museum

The exhibits here are not silly slips — they are mistakes that clever people make too. For each one, find the flaw yourself first, then open the diagnosis. 224 exhibits so far.

Vol. 1 Factorization Techniques hall

Exhibit

Stopping halfway

The wrong step: , done.
What went wrong? Think first, then open

Diagnosis It is a product, yes, but is still a difference of squares, so it can be split further. It is like writing as and handing in your test.

The right step: . Every time you write down a factor, ask again: “can it be split further?”

“Keep going until no factor can be split any further”

From: What Is Factorization?

Exhibit

The result is not a product

The wrong step: .
What went wrong? Think first, then open

Diagnosis The last operation is an addition, so the whole thing is still a sum. A factorization must be a product as a whole.

The right step: . To check, look at the outermost operation: is it multiplication?

“Look at the last operation. It must be multiplication”

From: What Is Factorization?

Exhibit

Losing the 1

The wrong step: or
What went wrong? Think first, then open

Diagnosis The second term is taken out completely, but what is left is not “nothing”: it is . Drop it, and multiplying back gives only : a term is missing.

The right step: . The bracket has as many terms as the original.

“When a whole term is taken out, a 1 stays behind”

From: Taking Out a Common Factor

Exhibit

Not taking everything out

The wrong step:
What went wrong? Think first, then open

Diagnosis In the bracket, and still share the factor . Take out the largest common factor: the gcd of the coefficients, and each letter to its lowest power.

The right step: . When you are done, look inside the bracket again: is there still a common factor?

“After taking it out, look inside the bracket once more”

From: Taking Out a Common Factor

Exhibit

Taking out a minus sign and forgetting to change signs

The wrong step:
What went wrong? Think first, then open

Diagnosis Taking out means dividing every term by : , not . Multiply back: , the wrong sign.

The right step: . When you take out a minus sign, every term in the bracket changes sign.

“Take out a minus sign, and every sign in the bracket flips”

From: Taking Out a Common Factor

Exhibit

The square of a sum = the sum of the squares?

The wrong step: , so .
What went wrong? Think first, then open

Diagnosis A square of side contains and , and also two pieces of size . Leave them out and the area is short by .

The right step: . has no middle term , so it is not a perfect square; is .

“A perfect square has three terms, and the middle one is 2ab”

From: Using the Formulas

Exhibit

Using a formula once and stopping

The wrong step: , done.
What went wrong? Think first, then open

Diagnosis is still a difference of squares, so you can use the formula again.

The right step: . After each formula, check every factor to see whether it splits further.

“After using a formula, check every factor again”

From: Using the Formulas

Exhibit

The signs in the difference of cubes

The wrong step:
What went wrong? Think first, then open

Diagnosis Multiply back: , which has two extra middle terms. In the difference of cubes, the second bracket has plus , so that the middle terms cancel.

The right step: . To remember it: the first bracket has the same sign as the original, and the middle term of the second bracket has the opposite sign.

“Cube formulas: same sign first, opposite sign after”

From: Using the Formulas

Exhibit

Putting brackets after a minus sign without changing signs

The wrong step:
What went wrong? Think first, then open

Diagnosis The second group is . When you take out , , so the bracket should be , not .

The right step: . After adding brackets, multiply back straight away to check.

“With a minus sign in front of a bracket, every sign inside flips”

From: Factoring by Grouping

Exhibit

Stopping halfway and calling it the answer

The wrong step: , done.
What went wrong? Think first, then open

Diagnosis The last operation on the right is still an addition: it is a sum of two terms, not a product.

The right step: Take out the common factor once more: .

“Grouping is only a means; the result must be a product”

From: Factoring by Grouping

Exhibit

Adding without subtracting

The wrong step:
What went wrong? Think first, then open

Diagnosis An extra appeared out of nowhere, so the value changed. The first equals sign is already false: at the left side is and the right side is .

The right step: When you add you must also subtract : .

“Whatever you add, you must subtract”

From: Splitting and Adding Terms

Exhibit

Giving up as soon as you see a sum of squares

The wrong step: is a sum of squares, so it cannot be factored.
What went wrong? Think first, then open

Diagnosis “ cannot be factored” is about and treated as letters. Here happens to be a perfect square, so adding it and subtracting it produces a difference of squares.

The right step: First ask: is the square of something? If so, add a term. .

“A sum of squares can hide a difference of squares”

From: Splitting and Adding Terms

Exhibit

Matching the sum, forgetting the sign of the product

The wrong step: , because .
What went wrong? Think first, then open

Diagnosis The sum really is , but : the constant has the wrong sign. The constant term is negative, so the two numbers must have opposite signs.

The right step: Look at the constant first: opposite signs. Then find a pair that differs by : and . So .

“Check the sign of the product before you hunt for the sum”

From: The Cross Method

Exhibit

Adding straight across when the leading coefficient is not 1

The wrong step: : split as and and write .
What went wrong? Think first, then open

Diagnosis Multiply back and the middle term is , not . When the leading coefficient is not , where each number sits changes what the cross products add up to.

The right step: Swap the and the : , whose cross products add to . Always multiply back to check.

“It is a cross, so the positions are part of the answer”

From: The Cross Method

Exhibit

Checking only one cross

The wrong step: , because , and … close enough.
What went wrong? Think first, then open

Diagnosis The constant is right, but the coefficient of comes out as , not , and the coefficient of is , not . Two of the three crosses are wrong.

The right step: Swap the signs of the two constants: . term: ✓; term: ✓.

“The double cross has three crosses, and you must check every one”

From: Quadratics in Two Variables

Exhibit

Factoring only the quadratic part

The wrong step: , done.
What went wrong? Think first, then open

Diagnosis The right-hand side is still a sum. Factoring the quadratic part is only the first cross; the linear terms and the constant have not gone into the brackets yet.

The right step: Write it as , then use the other two crosses to find and .

“The first two columns are only the start; the third column finishes the job”

From: Quadratics in Two Variables

Exhibit

Using a formula before taking out the common factor

The wrong step: , done.
What went wrong? Think first, then open

Diagnosis The equation is true, but each bracket still has a common factor , so it is not factored completely.

The right step: Take out the common factor first: . The first question is always “Is there a common factor?”

“Common factor first, formula second. Never the other way round”

From: Putting It All Together

Exhibit

Not substituting back after a substitution, or not factoring completely

The wrong step: Let . , so the answer is .
What went wrong? Think first, then open

Diagnosis There is no in the problem; it is only a temporary label. After substituting back to , both factors are still quadratics with three terms, so you have to keep checking.

The right step: .

“Substitute back, then check again”

From: Putting It All Together

Exhibit

Substituting with the wrong sign in the Remainder Theorem

The wrong step: To find the remainder when is divided by , work out .
What went wrong? Think first, then open

Diagnosis The divisor is at . The Remainder Theorem says: dividing by leaves the remainder ; and , so .

The right step: Work out . Rule of thumb: the number that makes the divisor zero.

“Divide by x + 2, substitute −2”

From: Linear Factors of a Polynomial

Exhibit

Trying only integers when the leading coefficient is not 1

The wrong step: : tried and , and only and are roots, so it has only two linear factors.
What went wrong? Think first, then open

Diagnosis The leading coefficient is , so the candidates also include , with denominator . : the factor was missed.

The right step: The candidates are , where is a divisor of the constant term and is a divisor of the leading coefficient. Here: .

“Numerator from the constant term, denominator from the leading coefficient”

From: Linear Factors of a Polynomial

Exhibit

Not using every equation

The wrong step: Write . From and we get , , so it factors as .
What went wrong? Think first, then open

Diagnosis One equation was never checked: the coefficient of , , should equal , but . There are more equations than unknowns, and every one of them must hold.

The right step: These constants ( and ) do not work; switch to and : , , all three equations hold, giving .

“Once you have solved, substitute into the equations you did not use as well”

From: The Method of Undetermined Coefficients

Exhibit

Thinking only of positive factors of the constant

The wrong step: The constant term of is , so it must be ; there is no integer solution, so it cannot be factored.
What went wrong? Think first, then open

Diagnosis is another way to split it. Try : and give , .

The right step: . When you set up the shape, consider both the positive and the negative splits.

“When splitting the constant, remember that minus times minus is plus”

From: The Method of Undetermined Coefficients

Exhibit

Mistaking a cyclic expression for a symmetric one

The wrong step: In the three letters play the same role, so it is symmetric, and swapping and leaves it unchanged.
What went wrong? Think first, then open

Diagnosis Swapping and gives , which is not the same expression (take : the original is , the swapped one is ). It is unchanged only under the rotation .

The right step: A symmetric expression is unchanged when any two letters are swapped; a cyclic expression only needs to be unchanged when the three letters are rotated in turn. Every symmetric expression is cyclic, but not the other way round.

“Symmetric ⇒ cyclic, but cyclic ⇏ symmetric”

From: Cyclic and Symmetric Expressions

Exhibit

Stopping before the degrees match

The wrong step: : setting gives , so it equals .
What went wrong? Think first, then open

Diagnosis The original has degree , while has degree only . A linear factor is still missing; the two cannot differ by just a constant.

The right step: The missing linear factor must also be unchanged by rotation, so it can only be . Substitute one set of numbers to find : the original .

“Count the degrees first, then pin down the remaining factor”

From: Cyclic and Symmetric Expressions

Exhibit

Not reading which numbers the problem allows

The wrong step: Factor over the reals: , done.
What went wrong? Think first, then open

Diagnosis Over the rationals that really is the end. But the problem says over the reals, so is allowed, and splits further.

The right step: . has no real roots, so over the reals this is as far as it goes.

“First read “over which numbers”, then decide whether you are done”

From: Factoring over the Reals and the Complex Numbers

Exhibit

Negative discriminant = can never be split?

The wrong step: The discriminant of is , so it cannot be factored at all.
What went wrong? Think first, then open

Diagnosis only says it has no real roots, so it cannot be split over the reals. Over the complex numbers, every quadratic has two roots and splits into two linear factors.

The right step: Say it in full: is irreducible over the reals; over the complex numbers it equals , where .

““Cannot be factored” must always come with “over which numbers””

From: Factoring over the Reals and the Complex Numbers

Exhibit

The criterion does not apply = reducible?

The wrong step: No prime satisfies the conditions for , so it can be factored.
What went wrong? Think first, then open

Diagnosis Eisenstein's criterion is a sufficient condition: if the conditions hold, the polynomial is irreducible; if they do not, it tells you nothing. is of course irreducible over the rationals.

The right step: Prove it another way. Replace by to get , and the criterion works with . Or simply: a quadratic with no rational root is irreducible.

“When a sufficient condition fails, the question stays open”

From: Irreducible Polynomials

Exhibit

No rational root = irreducible?

The wrong step: Neither candidate rational root of is a root, so it is irreducible over the rationals.
What went wrong? Think first, then open

Diagnosis Having no rational root only means there is no linear factor. A quartic could still be a product of two quadratics: .

The right step: “No rational root ⇒ irreducible” is true only for quadratics and cubics. From degree four up, you also have to rule out “quadratic × quadratic” and so on (undetermined coefficients), or use the criterion.

“No root ≠ no factor (when the degree is 4 or more)”

From: Irreducible Polynomials

Vol. 2 Equations and Systems of Equations hall

Exhibit

Seeing a minus sign and calling it negative

The wrong step: has a minus sign in front, so is negative.
What went wrong? Think first, then open

Diagnosis is a slot, and a negative number can go into it. Put in and becomes , which is positive; put in and is . The minus sign only means “take the opposite”.

The right step: First ask what kind of number is: if then is negative, if then , and if then is positive.

“A letter carries its own sign; the minus sign just means “the opposite””

From: Look at a and 1

Exhibit

Forgetting the hidden 1 in front of x

The wrong step:
What went wrong? Think first, then open

Diagnosis is just . Take lot of away from lots of and you are left with lots of , not the number .

The right step: Write the hidden out: .

“No coefficient written means the coefficient is 1, not 0”

From: Look at a and 1

Exhibit

Cancelling without checking the condition

The wrong step: for every number .
What went wrong? Think first, then open

Diagnosis Put into the slot and you get : the denominator is , so it is undefined.

The right step: Add the condition: when , .

“Before you divide, ask “could this be 0?””

From: Look at a and 1

Exhibit

Moving a term without changing its sign

The wrong step: ; moving terms gives .
What went wrong? Think first, then open

Diagnosis “Moving from the right to the left” really means subtracting from both sides, so what appears on the left is , not . The same goes for moving to the right: you subtract from both sides.

The right step: , so and . Check: left side , right side .

“Moving a term means adding or subtracting on both sides; crossing the equals sign flips its sign”

From: Linear Equations in One Unknown

Exhibit

Clearing denominators but missing terms without one

The wrong step: ; multiply both sides by to get , so .
What went wrong? Think first, then open

Diagnosis Multiplying both sides by means multiplying every term by . The and the have no denominator, but they are on the balance too, so they must become and . Substituting back gives it away: the left side is , the right side is .

The right step: , so . Check: left side , right side .

“When you multiply, everything on the balance gets multiplied”

From: Linear Equations in One Unknown

Exhibit

Dividing both sides by a letter that might be 0

The wrong step: Solve for : divide both sides by to get .
What went wrong? Think first, then open

Diagnosis Before dividing by , nobody asked whether could be . When the equation is , and every number is a solution, not just .

The right step: Write two cases: when , ; when , can be any number.

“Before dividing by a letter, split into “it is 0” and “it is not 0””

From: Linear Equations with Letter Coefficients

Exhibit

Saying “no solution” as soon as the coefficient is 0

The wrong step: In , when the coefficient of is , so the equation has no solution.
What went wrong? Think first, then open

Diagnosis A coefficient of only tells you that you cannot divide. Whether there is a solution depends on the right side: when the right side is also , the equation becomes , and there are infinitely many solutions.

The right step: When the coefficient is , substitute that value of the letter into the right side too: if the right side is not there is no solution; if it is also there are infinitely many.

“0·x = b: if b ≠ 0, no solution; if b = 0, everything is a solution”

From: Linear Equations with Letter Coefficients

Exhibit

Writing only one case when removing an absolute value

The wrong step: , so and .
What went wrong? Think first, then open

Diagnosis Two numbers have absolute value : and . On the number line there are two points units from , one on each side.

The right step: or , so or .

“An absolute value is a distance, so look on both sides”

From: Using and Rearranging Linear Equations

Exhibit

Taking every case's answer as a solution

The wrong step: . When : , so . When : , so . So or .
What went wrong? Think first, then open

Diagnosis Each result only counts inside its own piece. does not satisfy , and does not satisfy . Substituting back shows it too: when the left side is and the right side is .

The right step: Neither result lies in its own piece, so both are rejected: the original equation has no solution. (You could also see this at the start: the left side is at least , so we need , and then gives , a contradiction.)

“A number found in one piece must be checked against that piece”

From: Using and Rearranging Linear Equations

Exhibit

Changing only half the signs when subtracting

The wrong step: minus : , so .
What went wrong? Think first, then open

Diagnosis Subtracting means subtracting the whole expression: . The being subtracted becomes .

The right step: , so , , and substituting back gives . If you are unsure, multiply both sides of the second equation by and add instead.

“Subtracting an equation means adding its opposite, so every term changes sign”

From: Linear Systems in Two Unknowns

Exhibit

Forgetting the right side when multiplying

The wrong step: Multiply both sides of by : .
What went wrong? Think first, then open

Diagnosis “Both sides” includes the constant on the right of the equals sign. Multiply only the left and you get a different line, which no longer passes through the original intersection.

The right step: . Multiply every term; do not miss one.

“When you multiply both sides, the right side is a side too”

From: Linear Systems in Two Unknowns

Exhibit

Eliminating a different unknown each time

The wrong step: Eliminate from ① and ② to get an equation in and ; eliminate from ② and ③ to get an equation in and .
What went wrong? Think first, then open

Diagnosis Together the two new equations still contain all three unknowns , and . The problem has not got any smaller.

The right step: Eliminate the same unknown twice: for example, eliminate from ① and ②, and again from ① and ③. Both new equations contain only and , and now you really have a system in two unknowns.

“When eliminating, pick one unknown and get rid of it completely”

From: Linear Systems in Several Unknowns

Exhibit

Using the same pair of equations twice

The wrong step: Eliminate from ① and ② to get ④; then eliminate from ① and ② to get ⑤. Then solve ④ and ⑤.
What went wrong? Think first, then open

Diagnosis ④ and ⑤ both come from ① and ② only; equation ③ never appears. Only two of the three conditions are used, so you cannot get a unique answer.

The right step: Every one of the three equations must be used. A common choice: ① with ②, and ① with ③ (or ② with ③).

“However many equations there are, make every one of them do some work”

From: Linear Systems in Several Unknowns

Exhibit

Adding without subtracting

The wrong step:
What went wrong? Think first, then open

Diagnosis expands to , which has an extra compared with the original. A corner filled in out of nowhere has to be given back, or the expression changes.

The right step: . When you are done, expand the right side to check.

“Whatever you add, subtract again”

From: Learning to Complete the Square

Exhibit

Forgetting the 2 outside the bracket

The wrong step:
What went wrong? Think first, then open

Diagnosis The is added inside the bracket, but the bracket is multiplied by , so in total an extra was added.

The right step: . Add and subtract inside the bracket first, then multiply the bracket out at the end.

“If the leading coefficient is not 1, take it out first and complete the square inside the bracket”

From: Learning to Complete the Square

Exhibit

“One equation, two unknowns, so it cannot be solved”

The wrong step: is only one equation but has two unknowns, so and cannot be found.
What went wrong? Think first, then open

Diagnosis Usually that is true. But here the left side is a sum of two non-negative numbers: neither can be negative, so neither can make up for the other. A sum of forces both terms to be .

The right step: and , so and . One equation doing the work of two.

“If a sum of squares is 0, every square is 0”

From: Learning to Complete the Square

Exhibit

Dividing both sides by x and losing a root

The wrong step: Solve : divide both sides by to get .
What went wrong? Think first, then open

Diagnosis might be , and you cannot divide by . In fact, substitute : . It is exactly the root that was divided away.

The right step: Move everything to one side and factor: , , so or .

“Never just cancel an expression containing the unknown; move the terms first, then factor”

From: Solving Quadratic Equations

Exhibit

Writing only the positive square root

The wrong step: Solve : taking square roots gives , so .
What went wrong? Think first, then open

Diagnosis Two numbers have square : and . Write only one and you block the road .

The right step: , so or . Substitute both back to check.

“When you take square roots, write both the positive and the negative one”

From: Solving Quadratic Equations

Exhibit

Losing the sign of −b in the formula

The wrong step: Solve : .
What went wrong? Think first, then open

Diagnosis Here , and the formula has , which is . Read off each coefficient together with its sign.

The right step: First write down ; then , so .

“Write down a, b and c with their signs first, then put them into the formula”

From: Solving Quadratic Equations

Exhibit

Working out Δ but forgetting that the x² coefficient cannot be 0

The wrong step: The equation has two distinct real roots. Find the range of : , so .
What went wrong? Think first, then open

Diagnosis also satisfies , but then the equation becomes , a linear equation with only one root. Saying “two roots” already requires it to be a quadratic equation.

The right step: Write both conditions together: and , so and .

“If the x² coefficient contains a letter, first write “it is not 0””

From: The Discriminant

Exhibit

Writing “has real roots” as Δ > 0

The wrong step: The equation has real roots, so and .
What went wrong? Think first, then open

Diagnosis “Has real roots” includes the case of two equal roots. When the equation is with root , which certainly counts as having real roots.

The right step: Has real roots , so . Use only when the question says “two distinct real roots”.

“Real roots means ≥; distinct real roots means >”

From: The Discriminant

Exhibit

Subtracting when c is negative

The wrong step: : .
What went wrong? Think first, then open

Diagnosis , so . Lose the minus sign and drops from to .

The right step: . When and have opposite signs, is always positive.

“If a and c have opposite signs, Δ must be positive, a handy check”

From: The Discriminant

Exhibit

Forgetting to flip the sign of the sum

The wrong step: For the sum of the roots is and the product is .
What went wrong? Think first, then open

Diagnosis Expand and the linear term is , so the sum of the roots is the opposite of the linear coefficient. Here the roots are and , and their sum is clearly .

The right step: and .

“The sum flips sign, the product does not”

From: Vieta's Formulas

Exhibit

Using Vieta's formulas without checking Δ

The wrong step: The equation has two real roots . , so the minimum is .
What went wrong? Think first, then open

Diagnosis A sum of squares of two real numbers can never be negative! The trouble is that at we get : the equation has no real roots at all, so do not exist.

The right step: First make sure real roots exist: means , so or . In that range is smallest at , where it equals (and both roots are ).

“Vieta's formulas are about roots, so first make sure the roots exist”

From: Vieta's Formulas

Exhibit

Forgetting to divide by a when the leading coefficient is not 1

The wrong step: For the sum of the roots is and the product is .
What went wrong? Think first, then open

Diagnosis You read the sum and product straight off the coefficients only for an equation like , with leading coefficient . Here the leading coefficient is , so divide both sides by first.

The right step: Divide by : . So and .

“Make the leading coefficient 1 first, or remember to divide by a”

From: Vieta's Formulas

Exhibit

Stopping once you have t

The wrong step: Solve : let , so , and the answers are and .
What went wrong? Think first, then open

Diagnosis and are values of , not of . The question asks for ; is just a helper we brought in ourselves.

The right step: Send each back through : gives , and gives . Four roots in all.

“A substitution is a round trip. Whatever you replaced, you must turn back at the end”

From: Higher-Degree Equations

Exhibit

Taking the square root of a negative t

The wrong step: Solve : with , or , so or .
What went wrong? Think first, then open

Diagnosis means . The square of a real number is never negative, so this branch has no real solutions. And the square of is , not .

The right step: When you set , write next to it. Reject , which leaves only .

“When you substitute, bring along the range of the new letter too”

From: Higher-Degree Equations

Exhibit

Dividing both sides by x and losing x = 0

The wrong step: Solve : divide both sides by , so and .
What went wrong? Think first, then open

Diagnosis When both sides are , so it is a root too. Dividing by assumes , and that step quietly threw this root away.

The right step: Move everything to one side and take out the common factor: , so .

“Reduce the degree by factoring, not by cancelling”

From: Higher-Degree Equations

Exhibit

Stopping once you have a root, without checking

The wrong step: Solve : clearing denominators gives , so . The solution is .
What went wrong? Think first, then open

Diagnosis At the denominator is , so neither side of the original equation means anything. is only a root of the polynomial equation , not of the original. A root like this is called an extraneous root.

The right step: Substitute into the common denominator: . So is extraneous and must be rejected. The original equation has no solution.

“The last step of a fractional equation is always the check”

From: Fractional Equations

Exhibit

Forgetting to multiply a term that has no denominator

The wrong step: Solve : multiply both sides by to get , so .
What went wrong? Think first, then open

Diagnosis “Multiply both sides by ” means multiply every term. The has no denominator, but it must be multiplied too: it becomes . Substitute back: the left side is and the right side is . Not equal.

The right step: , that is, , so . Then check it: it is extraneous, so the original equation has no solution.

“When you multiply by the common denominator, do not skip a single term”

From: Fractional Equations

Exhibit

Writing down every root you get after squaring

The wrong step: Solve : squaring gives , that is, , so or .
What went wrong? Think first, then open

Diagnosis At the left side is and the right side is . A square root can never equal a negative number. What actually satisfies is , which becomes exactly the same equation as the original once you square.

The right step: Substitute each one back into the original equation: at both sides are , so it works; is an extraneous root and is rejected. So .

“Squaring mixes up a = b and a = −b, so you must substitute back into the original equation”

From: Radical Equations

Exhibit

Squaring the right side one term at a time

The wrong step: Solve : squaring gives , so , and or .
What went wrong? Think first, then open

Diagnosis is not : there is a in the middle. Substitute back: the left side is and the right side is . Not equal.

The right step: , so , , and or . Check: at both sides are ; at the left side is and the right is , so it is extraneous. So .

“You square the whole right side, using the perfect square formula”

From: Radical Equations

Exhibit

Finding y by substituting x back into the quadratic equation

The wrong step: Solve , : elimination gives or . Substituting into gives , so is a solution too.
What went wrong? Think first, then open

Diagnosis is on the circle but not on the line: . The quadratic equation gives two values of for each , and only one of them also satisfies the linear equation.

The right step: Always substitute back into the linear equation: . For , ; for , . The solutions are and .

“Substitute back into the linear equation, so each x gets exactly one y”

From: Quadratic Systems in Two Unknowns

Exhibit

Dividing both sides by an expression with an unknown and losing a solution

The wrong step: Solve , : divide both sides of the first equation by to get , so . The solution is .
What went wrong? Think first, then open

Diagnosis Dividing by assumes . But does satisfy (), and then . So is a solution too, and the division threw it away. This is the opposite of an extraneous root: a lost root.

The right step: Move everything to one side and take out the common factor: , so or . Substitute each into to get and .

“Never divide by something that could be 0. Turn it into “a product equals 0” instead”

From: Quadratic Systems in Two Unknowns

Exhibit

Swapping the step sizes in the general solution

The wrong step: One solution of is , so all integer solutions are , .
What went wrong? Think first, then open

Diagnosis Try : , and . Adding to adds to the left side, and taking from takes away . They do not cancel.

The right step: The changes must cancel: add (the coefficient of ) to and the left side gains ; take (the coefficient of ) from and it loses . So , .

“The step for x is the coefficient of y, the step for y is the coefficient of x, one up and one down”

From: Integer Solutions of Equations

Exhibit

Thinking only of positive factors

The wrong step: Find the integer solutions of : , so there are .
What went wrong? Think first, then open

Diagnosis The question asks for integer solutions, not positive integer solutions. Two negative numbers can also multiply to : , , , .

The right step: There are factor pairs, positive and negative, and each gives one solution: in all. For example, , gives .

“First make sure whether you want integer solutions or positive integer solutions”

From: Integer Solutions of Equations

Exhibit

Concluding the roots are integers because Δ is a perfect square

The wrong step: : is a perfect square, so both roots are integers.
What went wrong? Think first, then open

Diagnosis A perfect-square only guarantees that the square root comes out exactly, so the roots are rational. The formula still divides by : , giving and .

The right step: Use “ is a perfect square” as the first sieve. After that, actually work out the roots and see whether the numerator is divisible by .

“A square Δ is a necessary condition, not a sufficient one”

From: Integer Roots of Quadratic Equations

Exhibit

Writing down only the positive factor pairs

The wrong step: , so can only be , , .
What went wrong? Think first, then open

Diagnosis The problem only says the roots are integers, not positive integers. are integer factorizations too. Leave them out and you lose and .

The right step: List every integer factor pair of : , , , with matching signs. Then work out for each one.

“Integer factors can be positive or negative. List them all, then sift”

From: Integer Roots of Quadratic Equations

Exhibit

Is the average speed the average of the speeds?

The wrong step: Going there at km per hour and coming back the same way at km per hour, the average speed for the round trip is km/h.
What went wrong? Think first, then open

Diagnosis Average speed is total distance ÷ total time. The return trip is slower, so it takes longer and makes up more of the total time. That pulls the average speed toward .

The right step: Let each way be km. The total time is hours, so the average speed is km/h.

“First ask “total ÷ total”. Do not rush to add the two speeds and divide by 2”

From: Word Problems with Equations

Exhibit

The two clocks are not lined up

The wrong step: The truck leaves hour before the car. Let them meet after hours: .
What went wrong? Think first, then open

Diagnosis The two 's in this equation are not the same length of time: the truck has been driving hour longer than the car. You must first say clearly whose start is measured from.

The right step: Let them meet hours after the car leaves. Then the truck has driven for hours: .

“When you choose the unknown, say exactly from which moment and which point it is measured”

From: Word Problems with Equations

Exhibit

Stopping once you have x

The wrong step: B leaves hour early and A chases. Let B be caught hours after B leaves; solving gives . Answer: A took hours to catch B.
What went wrong? Think first, then open

Diagnosis is how long B has been traveling. A left hour later and traveled for only hours. The equation was solved correctly, but the question was answered wrongly.

The right step: After solving, go back and reread what the question asks: A chased for hours. Then check that the answer makes sense (no negative times, whole numbers of people, …).

“The last step is to answer, not to solve”

From: Word Problems with Equations

Exhibit

Forgetting to go back and check after simplifying

The wrong step: Solve : multiply both sides by to get , so .
What went wrong? Think first, then open

Diagnosis Multiplying both sides by leaves the solutions unchanged only if . The answer is exactly , which makes the denominators of the original equation , so the original equation means nothing there.

The right step: Substitute into the denominator to check: , so it is an extraneous root and is rejected. The original equation has no solution.

“After clearing denominators or squaring both sides, you must go back and check the roots in the original equation”

From: A Map of Equations

Vol. 3 Linear and Quadratic Functions hall

Exhibit

Checking the exponent and forgetting k ≠ 0

The wrong step: is a linear function, so and .
What went wrong? Think first, then open

Diagnosis When , the coefficient of is and the expression becomes . Its graph is a horizontal line: that is not a linear function.

The right step: Write both conditions together: and . So only works.

“For a linear function y = kx + b, write k ≠ 0 first”

From: Linear Functions: Graphs and Properties

Exhibit

Treating an intercept as a distance

The wrong step: The line has -intercept and meets the -axis at .
What went wrong? Think first, then open

Diagnosis An intercept is a coordinate of the crossing point, so it can be negative: put and you get . For the crossing with the -axis put : gives . Do not flip the sign out of habit.

The right step: It meets the -axis at , so the -intercept is ; it meets the -axis at .

“To find where a line meets one axis, set the other coordinate to 0”

From: Linear Functions: Graphs and Properties

Exhibit

Flipping the sign of the vertex's x-coordinate

The wrong step: The vertex of is .
What went wrong? Think first, then open

Diagnosis Vertex form is , with subtracted inside the bracket. , so . Or think directly: when is the squared term ? When .

The right step: The vertex is and the axis of symmetry is .

“The vertex's x-coordinate is the x that makes the squared term 0”

From: Quadratic Functions: Graphs and Properties

Exhibit

Forgetting the coefficient outside the bracket when completing the square

The wrong step: .
What went wrong? Think first, then open

Diagnosis The added inside the bracket gets multiplied by the outside, so you really added . You must subtract afterwards, not .

The right step: . Expand to check: .

“Whatever you add inside the bracket, take back “coefficient × it” outside”

From: Quadratic Functions: Graphs and Properties

Exhibit

“Two real roots”, forgetting it must be a quadratic first

The wrong step: The equation has two different real roots, so and .
What went wrong? Think first, then open

Diagnosis also satisfies , but then the equation is , which has only one root. To talk about “two roots”, the equation must be quadratic.

The right step: and .

“Before you use the discriminant, check that the leading coefficient is not 0”

From: Functions and Quadratic Equations

Exhibit

“Only one crossing”, thinking only of tangency

The wrong step: The graph of meets the -axis at only one point, so and .
What went wrong? Think first, then open

Diagnosis The problem says “function”, not “quadratic function”. When it is the line , which also meets the -axis at exactly one point.

The right step: Two cases: (a line), or and (tangent). So or .

“If it does not say “quadratic”, discuss the case where the leading coefficient is 0”

From: Functions and Quadratic Equations

Exhibit

Multiplying by −1 without flipping the inequality sign

The wrong step: ; multiplying both sides by gives , so or .
What went wrong? Think first, then open

Diagnosis When you multiply both sides of an inequality by a negative number, the inequality sign must flip. The correct result is .

The right step: , that is, , with solution . Check in the original: , correct.

“Multiply (or divide) by a negative and the sign turns round; check with a number at the end”

From: Functions and Quadratic Inequalities

Exhibit

Taking the square root of x² > 4 as if it were an equation

The wrong step: , so .
What went wrong? Think first, then open

Diagnosis “” is not a meaningful range. says that the distance from to the origin is greater than , which is two pieces of the number line.

The right step: Rewrite it as . The graph is above the -axis outside the roots: or .

“You cannot take square roots of both sides of an inequality the way you do with an equation”

From: Functions and Quadratic Inequalities

Exhibit

“Holds for all x”, missing the case where the leading coefficient is 0

The wrong step: holds for every real , so and , giving .
What went wrong? Think first, then open

Diagnosis When the inequality becomes , which also holds for every . The method above silently assumed it was quadratic.

The right step: Two cases: works; for we need and , that is, . Together: .

“If the leading coefficient contains a letter, look at the case where it equals 0 separately”

From: Functions and Quadratic Inequalities

Exhibit

Taking the vertex without looking at the interval

The wrong step: Minimum of on : , so the minimum is .
What went wrong? Think first, then open

Diagnosis only happens at , and is not in . On this interval the function keeps going up.

The right step: The axis is to the left of the interval, so the minimum is at the left endpoint: at , .

“First ask whether the vertex is inside the interval”

From: Maxima and Minima of Functions

Exhibit

An axis with a letter in it, and no case analysis

The wrong step: The minimum of on is .
What went wrong? Think first, then open

Diagnosis The minimum is at the vertex only when the axis falls inside the interval (). For the minimum is ; for it is .

The right step: Write three cases: for ; for ; for .

“If the axis can move, split into three cases, left, inside and right”

From: Maxima and Minima of Functions

Exhibit

Thinking a perfect-square discriminant means integer roots

The wrong step: For , is a perfect square, so both roots are integers.
What went wrong? Think first, then open

Diagnosis A perfect-square only guarantees that the roots are rational. The roots are , that is, and : the numerator must also be divisible by .

The right step: Once you have , actually work out the roots, or factor instead: .

“A square Δ is only the entry ticket; you still have to check the roots”

From: Problems on Integer Roots

Exhibit

Not checking whether the equation is quadratic

The wrong step: All roots of are integers: gives roots and , so .
What went wrong? Think first, then open

Diagnosis The problem did not say “quadratic equation”. When the equation is , whose only root is also an integer, and this has been missed.

The right step: Deal with first (it works), then with . The answer is .

“If the leading coefficient contains a parameter, look at it being 0 on its own first”

From: Problems on Integer Roots

Exhibit

Finding the vertex and forgetting the restriction in the problem

The wrong step: Cost price yuan; at a price of yuan the profit is , with vertex at , so set the price at yuan. (The problem says the price may not exceed yuan.)
What went wrong? Think first, then open

Diagnosis is not in the allowed range. On the piece the profit keeps rising with the price, so the highest point is at the edge of the range.

The right step: Take : yuan.

“In word problems the variable always has a range; write the range before you look for the max or min”

From: Applications of Functions

Exhibit

Mistaking the h–t graph for the path of the ball

The wrong step: A ball is thrown straight up and its height has a parabola as its graph, so the ball flies along a parabola and lands meters away.
What went wrong? Think first, then open

Diagnosis The horizontal axis is time, not horizontal distance. The ball moves on one vertical line the whole time; the “” on the graph is seconds, not meters.

The right step: Before reading a graph, check what each axis stands for: at seconds , so the ball lands back where it started after seconds.

“Read the axes before you read the graph”

From: Applications of Functions

Vol. 4 Triangles and Quadrilaterals hall

Exhibit

Checking only one inequality

The wrong step: Segments of length , , : since , they make a triangle.
What went wrong? Think first, then open

Diagnosis “The sum of two sides is greater than the third” must hold for all three pairings. Of course and . The dangerous one is against : .

The right step: You only need to check whether the two shorter ones together are longer than the longest one. Here , so no triangle.

“Add the two shortest and compare with the longest”

From: Triangles: Basic Concepts and Properties

Exhibit

Splitting an isosceles triangle into cases and forgetting to check them

The wrong step: An isosceles triangle has sides and , so its perimeter is or .
What went wrong? Think first, then open

Diagnosis Splitting into two cases is right, but for each case you must ask “does this triangle exist?” With legs of , : there is no such triangle.

The right step: Only legs of work, so the perimeter is .

“In a case analysis, go back and check every case”

From: Triangles: Basic Concepts and Properties

Exhibit

Comparing bases when the heights are different

The wrong step: and have bases and , so their areas are in the ratio .
What went wrong? Think first, then open

Diagnosis “Area ratio = base ratio” only holds when the heights are the same. If the two bases are not on the same line, or the triangles do not share the apex, the heights are usually different.

The right step: First look for a common height (bases on the same line, same apex) or a common base (then compare heights). If there is neither, build a bridge with a third triangle.

“First make sure what is shared, then compare”

From: Triangle Area and Side–Angle Theorems

Exhibit

Comparing the wrong segments in the common-side theorem

The wrong step: and share the side , and meets at , so the area ratio is .
What went wrong? Think first, then open

Diagnosis is how the shared side itself is split, and that compares with . The area ratio of two triangles on a common side is the ratio of the distances from the two other vertices to .

The right step: . To remember it: compare the vertices that are not on the shared side.

“The shared side is not in the ratio; the two other vertices are”

From: Triangle Area and Side–Angle Theorems

Exhibit

Treating “side-side-angle” as a congruence criterion

The wrong step: , , , so .
What went wrong? Think first, then open

Diagnosis The equal angle is not the angle between the two known sides and ; it is opposite one of them. The same two sides and the same opposite angle can give two different triangles, one wide and one narrow.

The right step: For SAS the angle must sit between the two sides (here that would be ). If the known angle is opposite a side, find one more condition: another angle (AAS), or show that it is a right angle (HL).

“The A in SAS is written in the middle, and it must sit in the middle too”

From: Congruent Triangles

Exhibit

Corresponding vertices not lined up

The wrong step: From we get .
What went wrong? Think first, then open

Diagnosis In a congruence statement the order of the letters is the correspondence: , , . corresponds to , not .

The right step: Read by position: the side made of letters 1 and 2 matches the side made of letters 1 and 2, so , , . When you write a congruence, put corresponding vertices in the same positions.

“Line up corresponding vertices when you write it, then just read by position”

From: Congruent Triangles

Exhibit

Using the area ratio as the ratio of similarity

The wrong step: Two similar triangles have ratio of similarity , so their areas are also in the ratio .
What went wrong? Think first, then open

Diagnosis Scaling by multiplies the base by and the height by , so the area is multiplied by .

The right step: The area ratio is . The other way round: if the area ratio is , take square roots to get the ratio of similarity .

“Lengths scale by k, areas by k²”

From: Similar Triangles

Exhibit

Wrong denominator in a ratio cut by a parallel line

The wrong step: , , , so .
What went wrong? Think first, then open

Diagnosis In the side corresponding to is , not . is correct, but it equals .

The right step: . Whenever the third sides and are involved, always use “side of the small triangle : side of the big triangle”.

“Part to part, or whole to whole; never mix them”

From: Similar Triangles

Exhibit

Concluding “collinear” because the product is 1

The wrong step: , , all lie on the sides of the triangle (not on extensions), and , so , , are collinear.
What went wrong? Think first, then open

Diagnosis When all three points are inside the sides, no straight line can pass through all three sides at once. In this case a product of is about Ceva: the three lines , , are concurrent.

The right step: First count how many of the points are on extensions of the sides: or → Ceva (lines concurrent); or → Menelaus (points collinear).

“One formula, two theorems; count the points on extensions first”

From: Theorems on Proportional Segments in a Triangle

Exhibit

The three ratios do not join up end to end

The wrong step: Ceva's theorem: .
What went wrong? Think first, then open

Diagnosis The third ratio is upside down. The correct version walks once round the triangle, , and every ratio is “vertex to dividing point : dividing point to next vertex”.

The right step: . To check it, read the letters of the numerators and denominators in a row: you should end up back where you started.

“Start at a vertex and walk once round, back to the start”

From: Theorems on Proportional Segments in a Triangle

Exhibit

Mixing up the definitions of incenter and circumcenter

The wrong step: The incenter is where the perpendicular bisectors of the sides meet, so it is the same distance from all three vertices.
What went wrong? Think first, then open

Diagnosis The point at equal distances from the three vertices lies on the perpendicular bisectors of the sides. It is the center of the circumcircle: the circumcenter. The incenter is where the three angle bisectors meet; it is at equal distances from the three sides, and it is the center of the incircle.

The right step: Circumcenter ↔ perpendicular bisectors ↔ equal distances to the vertices ↔ circumcircle. Incenter ↔ angle bisectors ↔ equal distances to the sides ↔ incircle.

“Circle through the vertices, circumcenter; circle hugging the sides, incenter”

From: The Four Centers of a Triangle

Exhibit

Assuming all four centers are inside the triangle

The wrong step: is the circumcenter of , so is inside the triangle and .
What went wrong? Think first, then open

Diagnosis In an obtuse triangle the circumcenter and the orthocenter move outside; in a right triangle they land on a side or a vertex. When is obtuse, .

The right step: In any problem with a circumcenter or an orthocenter, first check whether the triangle is acute, right or obtuse. If the problem does not say, split into cases. The centroid and the incenter are always inside, so they are never a worry.

“Circumcenter and orthocenter can go out; centroid and incenter never do”

From: The Four Centers of a Triangle

Exhibit

Thinking the midpoint triangle has the shortest perimeter

The wrong step: Of all inscribed triangles, the midpoint triangle is the most “balanced”, so it has the shortest perimeter: half the perimeter of the original triangle.
What went wrong? Think first, then open

Diagnosis The midpoint triangle really does have half the original perimeter, but it is usually not the shortest. The shortest one needs “angle of incidence = angle of reflection” at every vertex, and midpoints cannot do that (unless the original triangle is equilateral).

The right step: In an acute triangle, the inscribed triangle with the shortest perimeter is the orthic triangle (the feet of the three altitudes). Only in an equilateral triangle are the feet exactly the midpoints, so only there do the two coincide.

“Balanced is not the same as shortest; the shortest path is the path of light”

From: Triangles Inscribed in a Triangle

Exhibit

Forgetting the condition “acute triangle”

The wrong step: In , , and its orthic triangle is the inscribed triangle with the shortest perimeter.
What went wrong? Think first, then open

Diagnosis In an obtuse triangle two of the feet lie on extensions of the sides, so the orthic triangle is not even inscribed. In this case the perimeter has no minimum: the closer and get to , the closer the perimeter gets to ( is the altitude), but it never reaches it.

The right step: Check the type of triangle first. You can only say “the orthic triangle has the shortest perimeter” for an acute triangle.

“Before using a result, check its conditions”

From: Triangles Inscribed in a Triangle

Exhibit

Assuming both given sides are legs

The wrong step: A right triangle has two sides of length and , so the third side is .
What went wrong? Think first, then open

Diagnosis The problem does not say whether is a leg or the hypotenuse. If is the hypotenuse, the third side is .

The right step: Two cases: if and are both legs, the third side is ; if is the hypotenuse, the third side is . ( cannot be the hypotenuse, because the hypotenuse is the longest side.)

“Ask first: which side is the hypotenuse?”

From: Right Triangles

Exhibit

Not taking the longest side as c in the converse

The wrong step: Sides , , : , so it is not a right triangle.
What went wrong? Think first, then open

Diagnosis The converse of the Pythagorean theorem checks whether the squares of the two shorter sides add up to the square of the longest side. Here the longest side is .

The right step: , so it is a right triangle, with the right angle opposite the side of length .

“Only the longest side can be the hypotenuse”

From: Right Triangles

Exhibit

Assuming a given angle is the apex angle (or a base angle)

The wrong step: An isosceles triangle has an angle of , so its base angles are .
What went wrong? Think first, then open

Diagnosis could be the apex angle or a base angle. If it is a base angle, the other base angle is also and the apex angle is .

The right step: Two cases: apex with base angles , or base angles with apex . You only skip the cases when the given angle is obtuse or right: then it can only be the apex angle.

“In an isosceles triangle, “an angle” or “a side” always raises the question “which one?””

From: Isosceles Triangles

Exhibit

Using “the three lines coincide” for lines to a leg

The wrong step: and is the median to the leg , so .
What went wrong? Think first, then open

Diagnosis The three lines that coincide are the bisector of the apex angle, the median to the base and the altitude to the base. Lines from the base vertex to a leg do not have this property (unless the triangle happens to be equilateral).

The right step: Only use it for the line from the apex to the base. The median, altitude and angle bisector to a leg are usually three different lines.

“The three lines only coincide on the axis of symmetry”

From: Isosceles Triangles

Exhibit

Using “the sum of distances is constant” in any triangle

The wrong step: is any point inside an isosceles triangle, so the sum of its distances to the three sides equals the altitude to a leg.
What went wrong? Think first, then open

Diagnosis The proof needs “all three sides equal ” so that can be taken out as a common factor. When the sides are not all equal, the sum is different near a long side and near a short side.

The right step: Only an equilateral triangle (for points inside it or on its sides) has “sum of distances to the three sides = altitude”. An isosceles triangle has a weaker result: for a point on the base, the sum of its distances to the two legs equals the altitude to a leg.

“The constant comes from “all three sides equal”; drop one and it is gone”

From: Equilateral Triangles

Exhibit

Rotating without saying where the equilateral triangle comes from

The wrong step: Rotate about to , so .
What went wrong? Think first, then open

Diagnosis A rotation only guarantees . To get you also need the angle of rotation to be : then is isosceles with apex angle , and only that makes it equilateral.

The right step: Write both steps: rotation ⇒ ; angle of rotation ⇒ ⇒ is equilateral ⇒ .

“60° is the key word, so write it down”

From: Equilateral Triangles

Exhibit

Judging the midpoint quadrilateral by the sides of the original

The wrong step: The four sides of the original quadrilateral are all different, so its midpoint quadrilateral is just a general parallelogram and cannot be a rhombus.
What went wrong? Think first, then open

Diagnosis Each side of the midpoint quadrilateral is half of one of the diagonals and parallel to it. Its shape is decided by the two diagonals of the original quadrilateral, not directly by its sides.

The right step: Diagonals equal ⇒ the midpoint quadrilateral is a rhombus; diagonals perpendicular ⇒ a rectangle; both ⇒ a square. A quadrilateral with four different sides can easily have equal diagonals.

“For the midpoint quadrilateral, look at the diagonals, not the sides”

From: Quadrilaterals: Basic Concepts and Properties

Exhibit

Thinking a concave quadrilateral has an angle sum other than 360°

The wrong step: A concave quadrilateral has one angle “dented in”, so its angles add up to less than .
What went wrong? Think first, then open

Diagnosis At the dented vertex, the interior angle is the one greater than (on the inside of the quadrilateral). The diagonal that lies inside still splits the quadrilateral into two triangles.

The right step: Every quadrilateral, convex or concave, has angle sum . Turn on “Angles” in the figure above and drag a vertex inward to check.

“An interior angle is measured on the inside, and it can be more than 180°”

From: Quadrilaterals: Basic Concepts and Properties

Exhibit

“One pair of opposite sides parallel, the other pair equal”

The wrong step: and , so quadrilateral is a parallelogram.
What went wrong? Think first, then open

Diagnosis One pair of opposite sides is parallel and the other pair is equal. An isosceles trapezoid satisfies both conditions, and it is not a parallelogram.

The right step: The criterion needs the same pair of opposite sides to be “parallel and equal”: and . Or use “both pairs of opposite sides parallel” or “both pairs of opposite sides equal”.

“Parallel and equal must be about the same pair of sides”

From: Parallelograms

Exhibit

Thinking the diagonals of a parallelogram are equal

The wrong step: is a parallelogram, so .
What went wrong? Think first, then open

Diagnosis The diagonals of a parallelogram bisect each other, but they are usually not equal. Equal diagonals are a property of rectangles.

The right step: Parallelogram: and . If you want , first prove it is a rectangle.

“Bisecting each other ≠ equal”

From: Parallelograms

Exhibit

A quadrilateral with equal diagonals is a rectangle

The wrong step: In quadrilateral , , so it is a rectangle.
What went wrong? Think first, then open

Diagnosis The criterion says “a parallelogram with equal diagonals is a rectangle”. Drop “parallelogram” and an isosceles trapezoid, or even a very irregular quadrilateral, can have equal diagonals.

The right step: First prove it is a parallelogram (for example, the diagonals bisect each other), then add equal diagonals. Together: a quadrilateral whose diagonals are equal and bisect each other is a rectangle.

“The criteria for rectangles and rhombuses all stand on the shoulders of “parallelogram””

From: Rectangles and Rhombuses

Exhibit

Using “half the product of the diagonals” for any quadrilateral

The wrong step: A parallelogram has diagonals and , so its area is .
What went wrong? Think first, then open

Diagnosis needs perpendicular diagonals (rhombus, square, kite). In a general parallelogram the diagonals do not meet at a right angle, and the area is smaller than this.

The right step: Only use this formula once you know the diagonals are perpendicular. Otherwise use “base × height”.

“A formula comes with its conditions: perpendicular first, then ½·d₁·d₂”

From: Rectangles and Rhombuses

Exhibit

Four equal sides make a square

The wrong step: All four sides of the quadrilateral are equal, so it is a square.
What went wrong? Think first, then open

Diagnosis Four equal sides only guarantee a rhombus. Push a square frame out of shape: the sides stay the same length, but the angles change.

The right step: Square = rhombus + one right angle = rectangle + one pair of equal neighboring sides. Check both sides and angles.

“A square must pass two tests: equal sides and a right angle”

From: Squares

Exhibit

Perpendicular, equal diagonals make a square

The wrong step: The diagonals of the quadrilateral are perpendicular and equal, so it is a square.
What went wrong? Think first, then open

Diagnosis “Bisect each other” is still missing. Two segments of the same length that are perpendicular but do not cross at their midpoints have endpoints that do not form a square.

The right step: Diagonals that bisect each other (parallelogram), are equal (rectangle) and are perpendicular (rhombus): only all three together make a square.

“Bisect, equal, perpendicular; you cannot leave out a single one”

From: Squares

Exhibit

Taking “half the difference of the bases” as the midline

The wrong step: A trapezoid has bases and , so its midline has length .
What went wrong? Think first, then open

Diagnosis The midline (joining the midpoints of the legs) is half the sum of the bases. Half the difference of the bases is a different segment: the one joining the midpoints of the diagonals.

The right step: Midline . It is the segment joining the midpoints of the diagonals that has length , and it lies on the same line as the midline.

“Midpoints of the legs → half the sum; midpoints of the diagonals → half the difference”

From: Trapezoids

Exhibit

Counting a parallelogram as a trapezoid

The wrong step: A parallelogram has a pair of parallel opposite sides, so it is a special trapezoid.
What went wrong? Think first, then open

Diagnosis By the textbook definition, a trapezoid has exactly one pair of parallel opposite sides; the other pair (the legs) is not parallel. A parallelogram has two such pairs, so it does not count.

The right step: To prove a quadrilateral is a trapezoid, say two things: one pair of opposite sides is parallel, and the other pair is not (or the parallel pair has unequal lengths).

“The definition of a trapezoid contains the word “only””

From: Trapezoids

Exhibit

Remembering “opposite angles supplementary” as “opposite angles equal”

The wrong step: Quadrilateral is inscribed in a circle and , so .
What went wrong? Think first, then open

Diagnosis Equal opposite angles are a property of parallelograms. In a cyclic quadrilateral, opposite angles are supplementary: the two arcs that and stand on make up the whole circle.

The right step: . The equal pair is a different one: equals the exterior angle at .

“Cyclic quadrilateral: opposite angles are supplementary, and an exterior angle equals the opposite interior angle”

From: Cyclic and Tangential Quadrilaterals

Exhibit

Remembering “equal sums of opposite sides” as “equal opposite sides”

The wrong step: Quadrilateral is circumscribed about a circle and , so .
What went wrong? Think first, then open

Diagnosis The result for a tangential quadrilateral is : the sums of the two pairs of opposite sides are equal, not the opposite sides themselves.

The right step: To find you need the other three sides: .

“Tangential quadrilateral: a + c = b + d”

From: Cyclic and Tangential Quadrilaterals

Vol. 5 Circles hall

Exhibit

Always taking “sector minus triangle” for a segment

The wrong step: In a circle of radius , the segment on a arc has area .
What went wrong? Think first, then open

Diagnosis When the arc is more than half the circle, the segment contains the center, so it is the sector plus a triangle. Subtracting the triangle throws away a piece that belongs to the segment.

The right step: Arc less than half the circle: segment sector triangle. Arc more than half: segment sector triangle. Here that gives . You can check it by taking the small segment away from the whole circle: .

“First ask whether the center is inside the segment or outside it”

From: Perimeter and Area of Circles, Sectors and Segments

Exhibit

Mixing up the arc-length and area formulas

The wrong step: A sector with central angle and radius has area .
What went wrong? Think first, then open

Diagnosis gives the arc length, which is a length. An area must have in it.

The right step: Sector area . Or find the arc length first, then use .

“Arc length is a fraction of the circumference; sector area is the same fraction of the circle's area”

From: Perimeter and Area of Circles, Sectors and Segments

Exhibit

Using “a diameter that bisects a chord is perpendicular to it” with no condition

The wrong step: and are both diameters of circle . Since passes through the midpoint of , .
What went wrong? Think first, then open

Diagnosis Any two diameters bisect each other at the center, yet they can meet at any angle. The converse of the perpendicular-diameter theorem needs the bisected chord to be not a diameter.

The right step: The correct statement: a diameter that bisects a chord (not a diameter) is perpendicular to that chord and also bisects the two arcs it cuts off. Before using it, check that the chord does not pass through the center.

“The converse hides a condition in brackets — the chord is not a diameter”

From: Symmetry of the Circle

Exhibit

Two parallel chords, only one picture drawn

The wrong step: In a circle of radius , chords and with . Their distances from the center are and , so the chords are apart.
What went wrong? Think first, then open

Diagnosis The problem never says the two chords are on the same side of the center. One can be above it and one below, with the center between them.

The right step: Same side of the center: . Opposite sides: . The answer is or .

“When a circle problem comes without a figure, first ask “could it be drawn another way?””

From: Symmetry of the Circle

Exhibit

Thinking a chord has only one inscribed angle

The wrong step: The circle has radius and chord , so the inscribed angle on chord is .
What went wrong? Think first, then open

Diagnosis Chord splits the circle into two arcs. With the vertex on the major arc the inscribed angle is ; with the vertex on the minor arc it is . The problem says “the inscribed angle on the chord” without saying which side the vertex is on, so you need both.

The right step: Find the central angle first: is equilateral, so . On the major arc the inscribed angle is ; on the minor arc it is . The answer is or .

“An arc gives one inscribed angle; a chord gives two”

From: Angles in a Circle

Exhibit

Treating an angle as inscribed when its vertex is not on the circle

The wrong step: Chords and meet at a point inside the circle, and arc is , so .
What went wrong? Think first, then open

Diagnosis “Half the arc it stands on” only holds when the vertex is on the circle. is inside, so is bigger than : you also have to add half of the opposite arc .

The right step: Join . is an exterior angle of , so it equals , that is, half of arc plus half of arc .

“First check whether the vertex is on, inside or outside the circle, then pick the formula”

From: Angles in a Circle

Exhibit

Hearing “tangent” and thinking only of external tangency

The wrong step: Two circles have radii and and are tangent, so the distance between their centers is .
What went wrong? Think first, then open

Diagnosis There are two kinds of tangency: the small circle can touch the big one from outside (externally tangent) or from inside (internally tangent). The problem only says “tangent”, so you need both.

The right step: Externally tangent: . Internally tangent: . The answer is or .

“Tangency comes in an inside and an outside version, and so does “no common point””

From: Points, Lines and Circles: Relative Positions

Exhibit

No common point, so they must be apart

The wrong step: Two circles have no common point and radii and , so the distance between centers is .
What went wrong? Think first, then open

Diagnosis When the small circle hides entirely inside the big one, the circles also have no common point.

The right step: No common point apart or one inside the other, that is, or .

“Two different stretches of the number line both mean “no common point””

From: Points, Lines and Circles: Relative Positions

Exhibit

Proving a tangent with half the condition missing

The wrong step: Line passes through the outer end of radius , so is a tangent to the circle.
What went wrong? Think first, then open

Diagnosis Infinitely many lines pass through , and only one of them is the tangent. The test has two conditions: the line passes through the outer end of a radius, and it is perpendicular to that radius. Both are needed.

The right step: There are two ways to prove a line is a tangent. If you know the line passes through a point on the circle: join and prove . If you don't know where the common point is: drop a perpendicular from to and prove its length equals the radius.

“Common point known — join the radius, prove perpendicular. Unknown — drop the perpendicular, prove it is a radius”

From: Tangents to a Circle

Exhibit

Matching the tangent–chord angle with the wrong arc

The wrong step: is a tangent and the tangent–chord angle . is any point on the circle, so .
What went wrong? Think first, then open

Diagnosis The tangent–chord angle equals the inscribed angle on the arc it encloses. If happens to lie on that enclosed arc, then stands on the other arc and equals .

The right step: First find the arc enclosed between the sides of the tangent–chord angle. Only an inscribed angle whose vertex is on the other arc equals .

“The tangent–chord angle equals an inscribed angle only when both stand on the same arc”

From: Tangents to a Circle

Exhibit

Equal angles, so concyclic — without checking they are on the same side

The wrong step: , so , , , are concyclic.
What went wrong? Think first, then open

Diagnosis If and are on opposite sides of line , then on one circle these two angles would be supplementary ( and ), not equal. A angle on each side means the four points are not concyclic.

The right step: When you use “equal angles”, state it in full: and are on the same side of , and . If they are on opposite sides, use “opposite angles are supplementary” instead: .

“Same side — look for equal angles; opposite sides — look for supplementary angles”

From: Concyclic Points

Exhibit

Adding two adjacent angles to get 180°

The wrong step: In quadrilateral , , so it has a circumcircle.
What went wrong? Think first, then open

Diagnosis says : that is the condition for a trapezoid or parallelogram. Concyclic points need two opposite angles to be supplementary.

The right step: Check whether (or ) is . In a general parallelogram, adjacent angles are supplementary and opposite angles are equal; unless it is a rectangle, it has no circumcircle.

“Opposite angles supplementary means concyclic; adjacent angles supplementary means parallel”

From: Concyclic Points

Exhibit

Using the chord length in the secant theorem

The wrong step: is a tangent and a secant meets the circle at and , with and . So .
What went wrong? Think first, then open

Diagnosis Both segments in the theorem are measured from : and . is the chord length, not measured from .

The right step: , so and .

“Every segment in the power-of-a-point theorems has one end at P”

From: The Power of a Point

Exhibit

Pairing up segments from different lines

The wrong step: Chords and meet at , so .
What went wrong? Think first, then open

Diagnosis The two segments you multiply must lie on the same line: the two pieces of one chord multiplied together equal the two pieces of the other chord multiplied together.

The right step: . If you can't remember, go back to similar triangles: , write , then cross-multiply.

“Multiply the two pieces on the same line”

From: The Power of a Point

Exhibit

Taking the radical axis to be the perpendicular bisector of the centers

The wrong step: The circles have centers and , so the radical axis is the perpendicular bisector of segment .
What went wrong? Think first, then open

Diagnosis Points on the perpendicular bisector are equally far from the two centers, that is, . The radical axis needs . The two agree only when the radii are equal.

The right step: The radical axis is indeed perpendicular to the line of centers, but its foot is shifted toward the smaller circle: . When the circles intersect it is easiest of all: the radical axis is the line through the common chord.

“The radical axis compares powers, not distances to the centers”

From: Power of a Point: Applications

Exhibit

Writing the power of a point inside the circle as positive

The wrong step: The circle has radius and , so the power of is .
What went wrong? Think first, then open

Diagnosis The power is defined as , in that order. When is inside the circle it is negative. Its absolute value is the product of the two pieces of any chord through .

The right step: The power of is ; every chord through has .

“Power = distance squared minus radius squared, negative inside the circle”

From: Power of a Point: Applications

Exhibit

Pairing up adjacent sides

The wrong step: In cyclic quadrilateral , .
What went wrong? Think first, then open

Diagnosis Ptolemy's theorem multiplies opposite sides: with , and with . Two adjacent sides share a vertex, so they are not a pair.

The right step: . A quick check: in every product, each of the four letters , , , should appear exactly once.

“Each product uses all four vertices exactly once”

From: Ptolemy's Theorem and Its Applications

Exhibit

Four points on a circle, but in the wrong order

The wrong step: , , , lie on one circle, so .
What went wrong? Think first, then open

Diagnosis The theorem is about a cyclic quadrilateral : the four points lie on the circle in the order , , , , so and are the diagonals. If the order around the circle is , , , , then is a side and the equation fails.

The right step: First read off the order of the four points around the circle and decide which two segments are the diagonals (they cross inside the circle). Then write the equation with the product of the diagonals on its own side.

“First work out which segments are the diagonals”

From: Ptolemy's Theorem and Its Applications

Exhibit

Thinking the incenter is equally far from the three vertices

The wrong step: is the incenter of , so .
What went wrong? Think first, then open

Diagnosis The point equally far from the three vertices is the circumcenter (where the perpendicular bisectors of the sides meet). The incenter is where the three angle bisectors meet, and it is equally far from the three sides.

The right step: Incenter: the distances from to , and are all . Circumcenter: . Only in an equilateral triangle are the incenter and circumcenter the same point.

“The circumcenter is equidistant from the vertices; the incenter is equidistant from the sides”

From: Circumcenter and Incenter of a Triangle

Exhibit

Taking ∠BIC to be 2∠A

The wrong step: is the incenter and , so .
What went wrong? Think first, then open

Diagnosis is the angle at the circumcenter: (a central angle is twice the inscribed angle, when is acute). The angle at the incenter has to be worked out from the angle bisectors.

The right step: .

“At the circumcenter it is 2∠A; at the incenter it is 90° + ½∠A”

From: Circumcenter and Incenter of a Triangle

Exhibit

No figure given, only one figure drawn

The wrong step: The circle has radius , chord , and is a point on the circle, so .
What went wrong? Think first, then open

Diagnosis The central angle is right, but can be on the major arc or on the minor arc. The inscribed angles in the two positions are supplementary.

The right step: on the major arc: ; on the minor arc: . Write both.

“In circle problems, count the cases first: which arc is the point on? Which side of the center is the chord? Internally or externally tangent?”

From: Miscellaneous Circle Problems

Vol. 6 Divisibility, Congruences and Diophantine Equations hall

Exhibit

Dividing a product, so dividing one of the factors

The wrong step: , so or .
What went wrong? Think first, then open

Diagnosis . The hides in the and the hides in the : the was split up between the two factors, and neither one got a whole .

The right step: You can only go from to when is prime, or when and are coprime. Here and , yet : all three statements are true.

“A composite number can be split up; a prime cannot”

From: Divisibility: Definitions and Basic Properties

Exhibit

Thinking 0 cannot be divided by anything

The wrong step: contains no at all, so .
What went wrong? Think first, then open

Diagnosis The definition of divisibility is “there is an integer with ”. , and is an integer.

The right step: Every nonzero integer divides : , . On the other hand, divides only itself, so whenever we write we assume .

“Go back to the definition: can you find that q?”

From: Divisibility: Definitions and Basic Properties

Exhibit

Calling 1 a prime

The wrong step: is divisible only by and itself, so is prime.
What went wrong? Think first, then open

Diagnosis A prime must have exactly two different positive divisors, and has only one. More importantly: if counted as a prime, then , and factorization would no longer be unique.

The right step: The positive integers fall into three groups: ; the primes (greater than , with only the two positive divisors and itself); and the composites. is a group of its own.

“1 is neither prime nor composite”

From: Primes and Composites

Exhibit

Trying only 2, 3 and 5

The wrong step: is odd, its digit sum is not divisible by , and it does not end in or , so is prime.
What went wrong? Think first, then open

Diagnosis , and the primes up to that are . The was never tried, and .

The right step: To decide whether is prime, try every prime up to .

“Go all the way up to the square root, and skip none”

From: Primes and Composites

Exhibit

Thinking “product of primes plus 1” is always prime

The wrong step: is not divisible by the first six primes, so it is prime.
What went wrong? Think first, then open

Diagnosis . It is only guaranteed not to be divisible by . Nobody promised it is not divisible by a bigger prime.

The right step: Euclid's argument only says that the prime factors of this number are not on the original list. That is already enough to show the list is incomplete.

“Claim only what your proof actually uses”

From: Primes and Composites

Exhibit

Both numbers divide n, so their product divides n

The wrong step: and , so .
What went wrong? Think first, then open

Diagnosis and share the factor : they “overlap”. only has to hold the least common multiple of and , which is , not .

The right step: and only give . When we have , and only then .

“Check whether they are coprime before combining two divisibilities”

From: Greatest Common Divisor and Least Common Multiple

Exhibit

Taking the final remainder 0 as the gcd

The wrong step: , , , so .
What went wrong? Think first, then open

Diagnosis A remainder of only says “it divides exactly, you can stop”. The answer is the divisor that divides exactly, which is the last nonzero remainder.

The right step: The last line is . The divisor there is , so .

“The answer is the last nonzero remainder”

From: Greatest Common Divisor and Least Common Multiple

Exhibit

Adding the “exponent plus one” numbers to count divisors

The wrong step: , so the number of divisors is .
What went wrong? Think first, then open

Diagnosis Choosing a divisor means making two independent decisions: the exponent of is one of , and the exponent of is one of . Every combination gives a different divisor, so you multiply.

The right step: There are : .

“Decisions made in steps multiply”

From: The Fundamental Theorem of Arithmetic

Exhibit

Taking the lcm to be the product

The wrong step: .
What went wrong? Think first, then open

Diagnosis and . A common multiple only needs the higher exponent of each prime: . The product counts both bars, so it has an extra factor of .

The right step: , and . Only for two coprime numbers is the lcm equal to the product.

“The lcm takes the higher bar, not both”

From: The Fundamental Theorem of Arithmetic

Exhibit

Cancelling on both sides of a congruence without thinking

The wrong step: . Cancel the on both sides to get .
What went wrong? Think first, then open

Diagnosis is true, but is not a multiple of . and share the factor : in , part of the is “eaten” by the .

The right step: When you cancel , divide the modulus by at the same time: from you only get . Only when can you cancel and keep the modulus.

“Add, subtract and multiply freely; before cancelling, check coprimality”

From: Congruences: Definitions and Basic Properties

Exhibit

Giving a negative number a negative remainder

The wrong step: divided by leaves remainder (or ).
What went wrong? Think first, then open

Diagnosis A remainder must be between and . means going back marks from , which lands on mark . And and differ by , not a multiple of , so they are not even in the same column.

The right step: , so the remainder is , that is, .

“Negative numbers go backwards round the clock”

From: Congruences: Definitions and Basic Properties

Exhibit

Reducing the exponent mod m as well

The wrong step: , so .
What went wrong? Think first, then open

Diagnosis Congruent numbers can be swapped in the base. The exponent is not a number being added or multiplied, and there is no such rule for it. In fact , while .

The right step: First find the period of the powers: , so the exponent should be reduced mod . , so .

“Reduce the base mod m and the exponent mod the period”

From: Congruences: Definitions and Basic Properties

Exhibit

Taking any m numbers as a complete residue system

The wrong step: are exactly numbers, so they form a complete residue system mod .
What went wrong? Think first, then open

Diagnosis They are all even. Divided by , they leave only the remainders , each one twice; the classes with remainder have no representative at all.

The right step: A complete residue system needs numbers that are pairwise incongruent, for example , or .

“Counting is not enough; check for collisions”

From: Residue Systems and Their Uses

Exhibit

Saying “ax also runs through all of them” without checking coprimality

The wrong step: When runs through a complete residue system mod , so does .
What went wrong? Think first, then open

Diagnosis . is always a multiple of , so it can only land on the three places , with arrows crowded onto each.

The right step: Only when does (and ) also run through a complete residue system. Mod , the values of that qualify are .

“If the multiplier is coprime to the modulus, the line-up stays in order”

From: Residue Systems and Their Uses

Exhibit

Using Fermat's little theorem when the modulus is not prime

The wrong step: By Fermat's little theorem, .
What went wrong? Think first, then open

Diagnosis is not prime, so the theorem says nothing about it. In fact , so .

The right step: Make sure the modulus is prime first. For a composite modulus, either find the period directly (here it is ) or split it into prime moduli and handle each one.

“Check the condition before using the theorem: is p prime?”

From: Fermat's Little Theorem and Its Uses

Exhibit

A base that is a multiple of p

The wrong step: .
What went wrong? Think first, then open

Diagnosis , so . The theorem needs : start from , multiply by , and once you fall into you never get out.

The right step: If you don't want to check this condition, use the other form: , which holds for every integer .

“a must not be a multiple of p”

From: Fermat's Little Theorem and Its Uses

Exhibit

Using the theorem backwards

The wrong step: , so is prime.
What went wrong? Think first, then open

Diagnosis . It just happens that , so . The theorem says “prime ⇒ remainder 1”, not “remainder 1 ⇒ prime”.

The right step: If the remainder is not , you can be sure the number is composite; if it is , you can conclude nothing. Try another base: .

“The theorem only works in one direction”

From: Fermat's Little Theorem and Its Uses

Exhibit

Parity matches, so it must be possible

The wrong step: After removing two cells there are as many black cells as white ones, so the board can certainly be covered with dominoes.
What went wrong? Think first, then open

Diagnosis Parity (or coloring) is only a security check: whatever fails it is impossible, but whatever passes it is not necessarily possible. For example, the removed cells might cut off a single cell in a corner. Black and white can still be equal, but the board obviously cannot be tiled.

The right step: To show that something “can be done”, you have to actually produce a way of doing it. A parity argument is only for showing that something “cannot be done”.

“Parity can rule things out, never in”

From: Odd and Even Numbers

Exhibit

Thinking a sum and a difference can have different parities

The wrong step: is even, while is odd.
What went wrong? Think first, then open

Diagnosis is even, so and always have the same parity.

The right step: The sum and the difference of two integers have the same parity. So is either odd or a multiple of ; it can never be a number with exactly one factor of .

“Sum and difference are both odd or both even”

From: Odd and Even Numbers

Exhibit

The remainders fit, so it must be a square

The wrong step: leaves when divided by and when divided by , both allowed for squares, so is a square.
What went wrong? Think first, then open

Diagnosis “A square leaves or when divided by ” is a condition every square must satisfy, not one that is enough. Plenty of numbers leave remainder : are not squares.

The right step: A remainder table can only rule things out: if the remainder is wrong, it is definitely not a square. To show that it is one, you have to find the number: , so sits strictly between two neighboring squares and is not a square.

“A remainder table rules out; it does not certify”

From: Perfect Squares

Exhibit

The product is a square, so each factor is a square

The wrong step: is a perfect square, so and are both perfect squares.
What went wrong? Think first, then open

Diagnosis , but neither nor is a square. The exponent of the prime is : even in total, but odd in each factor.

The right step: It is true with one extra condition, : when they are coprime, each prime appears on one side only, so if its exponent is even, it is even on that side.

“Coprime first, then each one is a square”

From: Perfect Squares

Exhibit

Forgetting to divide the step of the general solution by the gcd

The wrong step: has the particular solution , so the general solution is .
What went wrong? Think first, then open

Diagnosis Everything this gives really is a solution, but it misses two thirds of them: is also a solution (), and it is not on the list. Neighboring solutions differ by only , not .

The right step: The step is with : .

“Take the smallest possible step”

From: Linear Diophantine Equations (and Systems)

Exhibit

Making x and y both increase in the general solution

The wrong step: has the particular solution , so the general solution is .
What went wrong? Think first, then open

Diagnosis Put in : . Increasing makes the left side bigger, so has to decrease to make up for it.

The right step: . The change is : one goes up and one goes down, so they cancel. When you have written it down, check it with one value of .

“One goes up, the other goes down”

From: Linear Diophantine Equations (and Systems)

Exhibit

Forgetting negative divisors when splitting

The wrong step: , so or : only two integer solutions.
What went wrong? Think first, then open

Diagnosis The question asks for integer solutions, and are valid splits too. They give and .

The right step: For integer solutions, list both positive and negative divisors: solutions in all. Only when the problem asks for “positive integer solutions” may you drop the negative ones because of the range.

“For integer solutions, divisors come with both signs”

From: Common Methods for Diophantine Equations

Exhibit

No contradiction mod m, so the equation has a solution

The wrong step: Mod , the two sides of can match (with and both odd), so the equation has integer solutions.
What went wrong? Think first, then open

Diagnosis If one modulus finds no problem, that only shows this modulus is not good enough. Switch to mod : the left side is , the right side leaves , and there is an immediate contradiction.

The right step: The congruence method can only prove there are no solutions. To prove there is a solution, you have to actually produce one.

“One modulus letting it through does not mean all of them do”

From: Common Methods for Diophantine Equations

Exhibit

Finding the range, then not checking each case

The wrong step: From we get , so the solutions are the lattice points in this range.
What went wrong? Think first, then open

Diagnosis The range is a necessary condition: every solution is inside the box, but most points in the box are not solutions. Of the cells, only are solutions.

The right step: Once you have a finite range, patiently substitute the cases one by one (symmetry can save some of the work).

“Fencing in the range is only the first half”

From: Common Methods for Diophantine Equations

Exhibit

Thinking the formula gives every Pythagorean triple directly

The wrong step: Every Pythagorean triple can be written as .
What went wrong? Think first, then open

Diagnosis is a Pythagorean triple, but is not a sum of two positive squares (, , all fail), so the formula does not give it directly.

The right step: The formula (with , coprime and one odd, one even) gives every primitive Pythagorean triple; all the others are whole-number multiples of a primitive one: .

“Reduce to a primitive triple first, then use the formula”

From: The Pythagorean Equation

Exhibit

Forgetting “positive integers” in a descent

The wrong step: From any solution we can always get a smaller solution , so has no integer solutions.
What went wrong? Think first, then open

Diagnosis is plainly a solution. divided by is still , so nothing “gets smaller”: the descent stops here and gives no contradiction.

The right step: Infinite descent rules out positive integer solutions (or solutions that are not all zero). The conclusion should read: apart from , there are no integer solutions.

“Only 0 can keep getting “smaller” forever”

From: The Pythagorean Equation

Vol. 7 Fun Problems in Combinatorics hall

Exhibit

Adding when you should multiply

The wrong step: tops and pairs of pants; you pick one of each, so there are outfits.
What went wrong? Think first, then open

Diagnosis Choosing a top and choosing pants are things you do one after the other: every top can go with each of the pairs of pants. You only add when the cases are “either this or that”.

The right step: Draw a tree: branches on the first level, each splitting into more, so there are leaves.

“Steps multiply, cases add. First ask yourself: “and then” or “or”?”

From: Counting

Exhibit

Counting every handshake twice

The wrong step: people each shake hands once with everyone else. Each person shakes hands, so there are handshakes.
What went wrong? Think first, then open

Diagnosis When A shakes hands with B, that handshake is counted once among “A's ” and again among “B's ”. Every handshake has been counted times.

The right step: Each handshake is counted exactly times, so divide by : handshakes.

“When you finish counting, ask: how many times did I count each thing?”

From: Counting

Exhibit

Adding two cases that overlap

The wrong step: From to there are multiples of and multiples of , so numbers are “a multiple of or of ”.
What went wrong? Think first, then open

Diagnosis are multiples of both and , so they were counted once in each case. The addition principle needs cases that do not overlap.

The right step: Subtract the overlapping numbers once: .

“Before you add, check whether the cases have anything in common”

From: Counting

Exhibit

Saying “exactly” for “at least”, and “every” for “some”

The wrong step: balls go into boxes, so one box has exactly balls and each of the others has .
What went wrong? Think first, then open

Diagnosis The pigeonhole principle only promises that there is a box with at least . Putting all balls in one box is also allowed: then one box has and four boxes are empty.

The right step: All you can conclude is: at least one box has at least balls. Which box, and how many exactly, the principle does not tell you.

“The pigeonhole principle only says “there is” and “at least””

From: The Pigeonhole Principle

Exhibit

Not taking the worst case all the way

The wrong step: A bag has lots of red, yellow and blue socks. To be sure of getting socks of the same color, you need to take socks.
What went wrong? Think first, then open

Diagnosis is certainly enough, but the question asks for the smallest number. The unluckiest case is socks of each color ( socks, and still no of a color). Then just more is sure to complete a set.

The right step: socks. In general: fill every box to “one short of success”, then add .

“Imagine the unluckiest case first, then add just 1”

From: The Pigeonhole Principle

Exhibit

Boxes that are too big, so sharing a box proves nothing

The wrong step: There are points in a square of side . Cut the square into vertical strips; two points must share a strip, so they are at most apart.
What went wrong? Think first, then open

Diagnosis Two points in the same strip can be one at the top and one at the bottom, more than apart. A box is only useful if “being in the same box” automatically gives the conclusion you want.

The right step: Cut it into small squares of side : two points in the same small square are at most its diagonal, , apart.

“A good box: if two things share it, the conclusion holds”

From: The Pigeonhole Principle

Exhibit

“I tried lots of times and it never worked, so it's impossible”

The wrong step: On the board with two opposite corners missing, I tried more than twenty ways and every time two squares were left over, so it can't be covered.
What went wrong? Think first, then open

Diagnosis There are thousands upon thousands of ways to place the dominoes, and you tried only a tiny fraction. “I didn't find one” is not the same as “there isn't one”. Maybe try number 21 would have worked?

The right step: To prove something is impossible, you need a reason that works for every placement: each domino covers one black and one white square, but what is left is white and black. That one sentence rules out all placements at once.

“Examples can show “possible”, never “impossible””

From: Coloring

Exhibit

“The number of squares works out, so it can be covered”

The wrong step: A board has squares and , so it can be covered with bars of size .
What went wrong? Think first, then open

Diagnosis The number of squares dividing evenly is only a necessary condition. Color the board in colors along the diagonals: every bar covers exactly one square of each color. But the four colors have squares, which are not equal.

The right step: Besides counting all the squares, look for a coloring where every tile covers a fixed set of colors, then compare the number of squares of each color.

“The right area only gets you past the first check”

From: Coloring

Exhibit

“The colors have equal counts, so it can be covered”

The wrong step: Cut the second square of the first row out of a board. Color the diagonals in three colors: what is left is , all equal, so it can be covered with bars.
What went wrong? Think first, then open

Diagnosis Coloring can only prove that something is impossible. Equal counts only mean “this coloring found no contradiction”. Color again with the diagonals going the other way: the counts are , and there is the contradiction.

The right step: The only way to prove that it can be covered is to actually cover it. With the center square cut out, it can be covered in a pinwheel pattern.

“A coloring can veto, but it can never approve”

From: Coloring

Exhibit

“The invariant matches, so it must be possible”

The wrong step: A grid has two minus signs, at row 1, column 1 and row 2, column 2. The number of minus signs is even, the same parity as the goal (), so it can definitely be flipped to all plus.
What went wrong? Think first, then open

Diagnosis A matching invariant only means “this invariant does not object”. Try another invariant: the product of the four corners. Every flip changes exactly or corners, so it never changes either. Right now it is , and the goal has .

The right step: An invariant can only prove that something cannot be done. To prove that it can be done, you have to actually give a sequence of moves.

“An invariant is a veto, not a permit”

From: Operations and Games

Exhibit

“Take the most each time and you will get the last stone fastest”

The wrong step: stones, take to each turn, and whoever takes the last stone wins. I go first and always take , the fastest way, so I am sure to win.
What went wrong? Think first, then open

Diagnosis You take , leaving ; your opponent takes , leaving . From then on, whenever you take , your opponent takes , so each round removes : , and the last stone goes to your opponent.

The right step: Work backwards from the end: with stones left, the player to move loses. The first player should take stone, leaving .

“Games are not won by taking the most, but by leaving your opponent in a losing position”

From: Operations and Games

Exhibit

“Copy your opponent and you can't lose”

The wrong step: A row of coins; each turn take coin or neighboring coins. I go second: if my opponent takes the th coin from the left, I take the th from the right, so I always have a move.
What went wrong? Think first, then open

Diagnosis Your opponent's first move takes the th coin, right in the middle. Its mirror image is itself, so you cannot copy it. Now there are coins on each side, and it is your opponent who gets to copy you.

The right step: The symmetry strategy belongs to whoever makes the position symmetric first. In this game that is the first player: take the middle, then mirror.

“Before using symmetry, check whether something sits on the mirror line”

From: Operations and Games

Exhibit

An upper bound with no construction

The wrong step: Place kings on a board so that no two are neighbors. Each row holds at most , and there are rows, so at most kings fit.
What went wrong? Think first, then open

Diagnosis “At most ” is true, but nobody can actually place : once a row has kings, the next row has almost no room. An upper bound that cannot be reached is not the answer.

The right step: Cut the board into blocks of . Each block holds at most king, so the upper bound is ; then actually place . Only when the two sides are equal is the answer .

“Every upper bound needs a construction to meet it”

From: Extremal Problems in Combinatorics

Exhibit

“I can't add any more” is not the same as “the most”

The wrong step: On a board I placed kings, no two neighbors (at the crossings of rows 2, 4 and columns 2, 4), and there is nowhere to add a th, so the most is .
What went wrong? Think first, then open

Diagnosis Being unable to add one only shows that this particular placement is stuck. A different placement, at the crossings of rows 1, 3, 5 and columns 1, 3, 5, holds .

The right step: “The most” needs an argument that holds for every placement (cutting the board into blocks, for example), not an observation about your own placement.

“A dead end does not mean you have gone the farthest”

From: Extremal Problems in Combinatorics

Exhibit

The “witnesses” in the argument are not independent

The wrong step: In a yard, each of the squares in the first row must be watched by a guard, so at least guards are needed.
What went wrong? Think first, then open

Diagnosis One guard can watch neighboring squares in the same row at once. “Every square must be watched” does not mean “every square needs its own guard”.

The right step: Choose witness squares that are far enough apart: the four corners. No guard can see more than one corner, so at least guards are needed, and really are enough.

“When you count “at least how many”, first make sure no one can do two jobs”

From: Extremal Problems in Combinatorics

Vol. 8 Method lines hall

Exhibit

Borrowing without paying back

The wrong step: .
What went wrong? Think first, then open

Diagnosis expands to , which is more than the original . The corner you filled in was borrowed; if you never subtract it again, the value of the expression changes.

The right step: .

“Add a term, and you must take it away again”

From: Completing the Square line

Exhibit

Not taking the leading coefficient out properly

The wrong step: .
What went wrong? Think first, then open

Diagnosis The added inside the brackets is doubled by the outside: , so the extra amount is really , not .

The right step: . Borrow and pay back inside the brackets first, then multiply out.

“What you borrow inside the brackets, pay back inside the brackets”

From: Completing the Square line

Exhibit

Forgetting that the new variable has its own range

The wrong step: Solve : let , so or . Hence or .
What went wrong? Think first, then open

Diagnosis is not just any number: it is , so . would mean , and no real can do that. Treating as if it were and taking square roots creates two fake solutions out of nowhere.

The right step: Reject . Only is left, so . Substitute back into the original equation: . It works.

“When you substitute, carry the new variable's range across too”

From: Substitution line

Exhibit

Staying in the t-world and never coming back

The wrong step: Factor : let , giving . So the answer is .
What went wrong? Think first, then open

Diagnosis Only half of the substituting back was done. Once the lens comes off, each factor must be checked again in the -world: and can both still be factored by the cross method.

The right step: .

“After substituting back, ask once more “can it factor further?””

From: Substitution line

Exhibit

Using Vieta without checking the discriminant

The wrong step: The real numbers are the two roots of . , which is smallest when , with minimum .
What went wrong? Think first, then open

Diagnosis The sum of the squares of two real numbers can never be negative: the answer itself is shouting “something is wrong”. When , , so the equation has no real roots at all, and “the sum of the roots” and “the product of the roots” are promises nobody can keep.

The right step: First make sure there are roots: , that is, or . In this range, is smallest at , with minimum .

“First make sure the roots exist, then talk about their sum and product”

From: Discriminant and Vieta line

Exhibit

Forgetting it must be a quadratic equation first

The wrong step: The equation has two different real roots, so , which gives .
What went wrong? Think first, then open

Diagnosis satisfies , but then the equation is , which has only one root. The discriminant is a tool for quadratic equations: before using it, check that the coefficient of is not .

The right step: and .

“First check whether a is 0, then compute Δ”

From: Discriminant and Vieta line

Exhibit

Dividing by a coefficient that contains a letter

The wrong step: Solve for : divide both sides by to get .
What went wrong? Think first, then open

Diagnosis With as the main variable, is a “coefficient”. But it contains a letter, so it might be exactly : when the equation is , with no solution; when it is , and every is a solution. Dividing by loses both of these cases.

The right step: Split into three cases: if , then ; if , there is no solution; if , can be any number.

“When a coefficient contains a letter, first ask whether it could be 0”

From: The Principal Variable line

Exhibit

Assuming “a ≥ b ≥ c” for a cyclic expression too

The wrong step: In the letters can be cycled, so without loss of generality .
What went wrong? Think first, then open

Diagnosis “Without loss of generality ” needs the expression to stay the same when any two letters are swapped. This expression is only cyclic: gives , while gives , so swapping and changes the value. There are possible orderings, and cycling can only merge them into classes, not .

The right step: For a cyclic expression you may only say “without loss of generality, is the largest of the three”, and then you must deal with both cases and .

“Symmetric expressions allow a full ordering; cyclic ones only let you choose the largest”

From: Symmetry line

Exhibit

Bounding too generously

The wrong step: To prove : since , the left side is . Done.
What went wrong? Think first, then open

Diagnosis What you proved is “less than ”, but the problem asks for “less than ”. is bigger than , so this bound is too loose and proves nothing. The trouble is the first term: enlarging to throws away in one go.

The right step: Keep the first term as it is and start bounding from the second: the left side is .

“If a bound is too loose, bound fewer terms”

From: Bounding line

Exhibit

Forgetting the small cases the bounds do not cover

The wrong step: Since , is not a perfect square for any non-negative integer .
What went wrong? Think first, then open

Diagnosis The right-hand inequality is equivalent to . When , , so it is not squeezed at all, and is in fact a perfect square.

The right step: For it lies strictly between two consecutive squares, so it is not a square; check separately: it gives .

“Use an inequality only from where it starts to hold”

From: Bounding line

Exhibit

Base and height that do not belong together

The wrong step: A right triangle has legs and and hypotenuse , so its area is .
What went wrong? Think first, then open

Diagnosis In the area formula the “height” must be perpendicular to the chosen “base”. is a leg: it is perpendicular to the other leg, , not to the hypotenuse, .

The right step: With a leg as the base: . With the hypotenuse as the base, the height is the altitude to the hypotenuse, : .

“Whichever base you choose, use the height perpendicular to it”

From: The Area Method line

Exhibit

Writing a ratio of areas as a ratio of sides without thinking

The wrong step: is any point on , so .
What went wrong? Think first, then open

Diagnosis With and as bases, the two heights are the distances from to and from to . They are equal only when lies on the bisector of .

The right step: For any : the two triangles share the altitude from , so . Only when is the angle bisector is this ratio also equal to .

“A ratio of areas equals the ratio of the bases only when the heights are the same”

From: The Area Method line

Exhibit

Rotating and then adding straight away

The wrong step: Rotate about to , so .
What went wrong? Think first, then open

Diagnosis Two segments can be added only if , , are on one straight line. The rotation only guarantees ; it does not guarantee that the pieces join up straight. In a square they happen to, but in a general quadrilateral they may not.

The right step: First write one line: , so , , are collinear. Only then add.

“Before joining pieces, check they are collinear”

From: Translation, Rotation and Reflection line

Exhibit

Rotating even though the two sides are not equal

The wrong step: In , and . Rotate about so that lands on .
What went wrong? Think first, then open

Diagnosis Rotation does not change lengths. Since , cannot land on , so the rotated triangle does not fit against the original figure, and you get nothing out of it.

The right step: Before rotating, look for two equal segments that share a vertex. Their common endpoint is the center of rotation, and the angle between them is the angle of rotation.

“Equal segments sharing a vertex are what make a rotation work”

From: Translation, Rotation and Reflection line

Exhibit

Using a piece of a side instead of the whole side

The wrong step: , , , so .
What went wrong? Think first, then open

Diagnosis In the corresponding sides are and . is only a piece of ; it is not a side of either triangle.

The right step: , so the ratio of similarity is , and .

“Corresponding sides must be actual sides of the two triangles”

From: Building Similar Triangles line

Exhibit

Forgetting to square the area ratio

The wrong step: Two similar triangles have ratio of similarity , so their areas are also in the ratio .
What went wrong? Think first, then open

Diagnosis Area is a two-dimensional quantity, like “length × width”. If the base is scaled by , the height is scaled by too, so the area is scaled by .

The right step: Area ratio (ratio of similarity) squared .

“Lengths scale by the ratio, areas by its square”

From: Building Similar Triangles line

Exhibit

Using inscribed angles before checking the points are concyclic

The wrong step: In quadrilateral , , so , , , are concyclic and .
What went wrong? Think first, then open

Diagnosis Four points are concyclic when opposite angles are supplementary, not equal. , so these four points are not on one circle, and the inscribed angle theorem does not apply.

The right step: Before using circle properties, write down why the points are concyclic: opposite angles supplementary; or an exterior angle equal to the opposite interior angle; or two points on the same side seeing a segment at equal angles.

“First prove the points are concyclic, then use the circle”

From: Using Circle Properties line

Exhibit

Mixing up the two sides of a chord

The wrong step: and are both on the circle, so they see the chord at equal angles: .
What went wrong? Think first, then open

Diagnosis They are equal only when and are on the same side of the chord (on the same arc). If they are on opposite sides, the two angles stand on two different arcs that together make the whole circle, so they are supplementary.

The right step: Same side: . Opposite sides: .

“Same arc, equal angles; opposite arcs, supplementary angles”

From: Using Circle Properties line

Exhibit

Keeping both roots

The wrong step: From we get or , so or .
What went wrong? Think first, then open

Diagnosis is the length of the segment , so it must be positive. is a root of the equation, but not a solution of this geometry problem, and quietly dropping the minus sign makes no sense at all.

The right step: , so reject it. .

“Take every root of the equation back to the figure and check it”

From: Algebra for Geometry line

Exhibit

Ignoring the range of x when finding a maximum

The wrong step: The inscribed rectangle has area , and at the vertex . The problem says the height of the rectangle is at most , so the maximum area is still .
What went wrong? Think first, then open

Diagnosis The vertex is at , but the problem only allows . If the vertex is outside the allowed range, its value is never reached.

The right step: On , increases as increases, so the maximum is at : .

“First write down which values x can take, then look for the maximum or minimum”

From: Algebra for Geometry line

Exhibit

The sum is even, so both numbers are even

The wrong step: is even, so and are both even.
What went wrong? Think first, then open

Diagnosis is even too. An even sum only tells you that and have the same parity: both even or both odd. Forget the “both odd” half and your argument is missing a whole case.

The right step: is even and have the same parity. Then split into two cases: “both even” and “both odd”. And remember: is even, and negative numbers are odd or even too ( is odd).

“Even = even + even, and also = odd + odd”

From: Parity line

Exhibit

The parity checks out, so it can be done

The wrong step: : take and both odd; then the left side is even and so is the right side. The parity matches, so the equation has integer solutions.
What went wrong? Think first, then open

Diagnosis Matching parity is only a necessary condition. Actually try it: the squares are just , and no two of them add up to . In fact, look at remainders when dividing by : the sum of two odd squares leaves , while leaves .

The right step: A parity argument can only show “it cannot be done”. To show “it can be done” you must give an actual method or an actual solution. When parity shows no contradiction, try again with a finer modulus.

“Parity can rule things out, but it can never rule them in”

From: Parity line

Exhibit

The product is a square, so each factor is a square

The wrong step: is a perfect square, so and are both perfect squares.
What went wrong? Think first, then open

Diagnosis , yet neither nor is a square. They share the prime factor : has one , has three, and together that makes four, an even number.

The right step: You need first. When they are coprime, each prime belongs to only one of the numbers, so the exponents cannot combine. Only then does “ is a square” imply “ and are both squares”.

“Check coprime first, then split the square”

From: Prime Factor Analysis line

Exhibit

Forgetting negative factors and 1

The wrong step: is prime, so the smaller factor and . That is the only answer.
What went wrong? Think first, then open

Diagnosis A prime written as a product of two integers can be , but also . Here gives , and is prime too.

The right step: When you split into integer factors, list both signs: or , giving or .

“Integer factor pairs come in positive and negative versions”

From: Prime Factor Analysis line

Exhibit

No contradiction, so it must have a solution

The wrong step: Divide both sides of by : the left side can leave and the right side leaves , so they match. Therefore the equation has integer solutions.
What went wrong? Think first, then open

Diagnosis When a modulus gives no contradiction, all it tells you is that this modulus does not help. Matching remainders are a long way from “really equal”. Switch to mod : the left side can only leave , and the right side leaves , a contradiction at once.

The right step: To prove there is no solution, one modulus that gives a contradiction is enough. To prove there is a solution, you must actually produce one.

“A modulus can prove “guilty”, never “innocent””

From: Choosing a Good Modulus line

Exhibit

Cancelling in a congruence without thinking

The wrong step: . Cancel from both sides: .
What went wrong? Think first, then open

Diagnosis When , , which also leaves on division by , but does not leave on division by . The you cancelled shares a factor with the modulus , and cancelling like that loses solutions.

The right step: When you cancel , divide the modulus by as well: , that is, is odd.

“Only cancel a number that is coprime to the modulus; otherwise divide the modulus too”

From: Choosing a Good Modulus line

Exhibit

An inequality true only for large numbers, used for all numbers

The wrong step: Since , lies between two consecutive squares, so it cannot be a perfect square.
What went wrong? Think first, then open

Diagnosis The right-hand inequality simplifies to . For it is simply false: gives and gives , both squares.

The right step: First solve for the range where the inequality holds () and squeeze only there; outside that range, check one by one. The answers are hiding exactly in these small cases.

“Estimation handles the big numbers; check the small ones by hand”

From: Estimation line

Exhibit

Bounding from one side only

The wrong step: : it is less than a square, so is not a perfect square.
What went wrong? Think first, then open

Diagnosis There are plenty of squares less than : , … A bound on one side rules nothing out. When , is a square.

The right step: Squeeze from both sides, and the two bounds must be consecutive squares: for , , and only that shows it is not a square. Check separately.

“You need both an upper and a lower bound, and they must be consecutive”

From: Estimation line

Exhibit

Two in the same box, but not the property you wanted

The wrong step: Take any integers and put them into boxes by their remainder when divided by . Two of them must leave the same remainder. So two of them must have a sum that is a multiple of .
What went wrong? Think first, then open

Diagnosis Two numbers with the same remainder have a difference that is a multiple of , but not necessarily a sum. For example, all leave remainder , and any two of them add up to something with remainder . The boxes were right; the conclusion was read wrongly.

The right step: First work out exactly what “two in the same box” guarantees. Remainder boxes guarantee that two of the numbers have a difference that is a multiple of . The original claim about the “sum” is simply false: the numbers above are a counterexample.

“Before building the boxes, ask what two in the same box would mean”

From: The Pigeonhole Principle line

Exhibit

Forgetting to add one to the average

The wrong step: objects go into boxes. remainder , so at least one box has objects.
What went wrong? Think first, then open

Diagnosis That is not wrong, but it says too little. If every box had at most , there would be at most objects, which is not enough room for . So you can guarantee .

The right step: Count by contradiction: suppose every box holds at most . Then there are at most objects. So at least one box holds . When there is a remainder, add to the quotient.

“Suppose no box is full enough, and see whether everything still fits”

From: The Pigeonhole Principle line

Exhibit

The color counts match, so it must be possible

The wrong step: Cut the 2nd cell of row 1 out of an 8×8 board and color it with 3-color diagonals: 21 cells each of A, B and C are left. Each 1×3 strip covers exactly one A, one B and one C, so 21 strips can certainly cover it.
What went wrong? Think first, then open

Diagnosis Coloring can only say “impossible”, never “possible”. Equal color counts are only a necessary condition: if the counts are wrong it certainly cannot be done, but if they are right it still might not be. In fact, color it with 3-color diagonals running the other way and that cell gives the game away: this board cannot be covered.

The right step: To prove that something can be done, you must actually do it (give a construction). Coloring proves “impossible”; “possible” takes hands-on work.

“Coloring only ever says no; to say yes, show a tiling”

From: Coloring and Assigning Values line

Exhibit

A coloring that does not suit the tile

The wrong step: An 8×8 board with one corner cut out: can it be covered with 1×3 strips? Color it as a checkerboard: 31 black and 32 white are left. That is close, there is no contradiction, so it can probably be done.
What went wrong? Think first, then open

Diagnosis The checkerboard coloring is made to measure for 1×2 dominoes: each domino covers exactly one black and one white. A 1×3 strip may cover two black and one white, or two white and one black, so for this tile the coloring is not fixed and of course shows nothing.

The right step: When choosing a coloring, first ask: does every tile always cover the same number of cells of each color? For 1×3 strips, color diagonally with three colors so that each strip covers exactly one cell of each color.

“Look at the shape of the tile first, then decide how to color”

From: Coloring and Assigning Values line

Exhibit

Dividing without checking for zero

The wrong step: Solve for : divide both sides by to get .
What went wrong? Think first, then open

Diagnosis When , , and you cannot divide by . The equation is then , and every number is a solution, not just .

The right step: Split into cases first: if , ; if , can be any number. Whenever you divide by an expression with letters in it, first ask whether it can be .

“Before dividing by a letter, ask whether it can be zero”

From: Cases and Enumeration line

Exhibit

Forgetting each case’s own conditions

The wrong step: An isosceles triangle has perimeter and integer sides. Sorting by the length of the equal sides, they can be , so there are triangles.
What went wrong? Think first, then open

Diagnosis Each case has to pass two tests. The base must be positive, so ; the two equal sides must add up to more than the base, , so . With equal sides there is no triangle at all (for example ).

The right step: The equal sides can only be or : and , so triangles. Splitting into cases only cuts the problem into pieces; the conditions inside each piece still have to be checked one by one.

“After working out each case, go back and check that case’s conditions”

From: Cases and Enumeration line

Exhibit

Checking many cases and calling it a proof

The wrong step: is prime for (), so it is prime for every natural number .
What went wrong? Think first, then open

Diagnosis However many cases you check, it is still only finitely many. In fact it stays prime all the way up to , but for , , which is not prime. Without the step “from to ”, a pattern can break at any moment.

The right step: Induction stands on two legs: ① the starting case holds; ② assuming case holds, you deduce that case holds. Small cases are only for guessing; the recursion is what proves.

“Checking is guessing; the recursion is the proof”

From: Recursion and Induction line

Exhibit

The right recursion, the wrong starting values

The wrong step: The tilings of a 2×n strip satisfy . That is the Fibonacci sequence , so a 2×6 strip has tilings.
What went wrong? Think first, then open

Diagnosis A recursion only tells you “how each term comes from the two before it”; it does not tell you where to start. Here and (both dominoes upright, or both lying flat), not .

The right step: Count the starting values by hand first: . Then use the recursion: . So . A recursion that uses the two previous terms needs two starting values.

“If the recursion uses several earlier terms, count that many starting values”

From: Recursion and Induction line

Exhibit

Taking a “smallest” that does not exist

The wrong step: Among all positive fractions, take the smallest one and call it …
What went wrong? Think first, then open

Diagnosis There is no smallest positive fraction: however small is, is a positive fraction too, and smaller. Reasoning about something that does not exist proves nothing.

The right step: First ask: “does a smallest one exist?”. Among finitely many numbers there is always a largest and a smallest; any collection of positive integers (even infinitely many) has a smallest. In any other situation, prove it exists first.

“Make sure the extreme one exists before you take it”

From: The Extremal Principle line

Exhibit

Assuming there is only one largest

The wrong step: Let be the largest number on the circle. Then both its neighbors are smaller than it, so…
What went wrong? Think first, then open

Diagnosis Several numbers can tie for largest. The neighbors are only not larger than it, and they may well be equal to it. In fact, the conclusion of the circle problem is exactly that “they are all equal”.

The right step: Write “”, not “”: the neighbors are , so their average is , and equality holds only if both neighbors equal .

“The largest need not be unique”

From: The Extremal Principle line

Exhibit

Counting twice, but not counting the same thing

The wrong step: people each shake hands times, so there are handshakes.
What went wrong? Think first, then open

Diagnosis Every handshake involves two people, so in “how many times did each person shake hands” it is counted twice. counts handshake-ends, not handshakes. The real number would be , which is not a whole number!

The right step: First say how many times each thing is counted: number of handshakes the sum of everyone's handshake counts. So that sum must be even, and “ people each shaking hands times” simply cannot happen.

“Before you count twice, ask how many times each thing is counted”

From: From Local to Global line

Exhibit

True in a special case, so you think it is proved

The wrong step: When is the midpoint of arc , , so for every point on the arc.
What went wrong? Think first, then open

Diagnosis Only one position was checked. Something true in a special position may well be false somewhere else. For example, “the altitude and the median coincide” is true in an isosceles triangle but false in a general one.

The right step: Specializing helps you find out what to prove. Once you know, write a proof for in a general position (here: Ptolemy’s theorem, or cut off on ).

“Special values find the answer; they do not prove it”

From: Generalize and Specialize line

Exhibit

Too special

The wrong step: To find in , take , : both sides are , so can be anything.
What went wrong? Think first, then open

Diagnosis These values make both sides at once, and holds for every , so you learn nothing.

The right step: Choose values that make both sides nonzero, for example : the left side is and the right side is , so .

“Be special, but not so special that both sides become 0”

From: Generalize and Specialize line

Exhibit

The first few cases work, so it must always work

The wrong step: Put points on a circle and join every pair with a chord. The circle is cut into regions, so the formula is .
What went wrong? Think first, then open

Diagnosis Count by hand: you get regions, not . Five examples were right and the sixth is wrong. Examples can help you guess; they cannot prove anything for you.

The right step: Once a conjecture is written down, there are only two ways forward: prove it, or find a counterexample. Here the true number of regions is , which happens to equal exactly when .

“However many examples you have, they are not a proof”

From: Guess, Then Prove line

Exhibit

Even forty examples are not enough

The wrong step: is prime for , so it is always prime.
What went wrong? Think first, then open

Diagnosis When , , which is composite. You can even see it without calculating: when , all three terms are multiples of .

The right step: A claim that something “always holds” needs a reason that works for a general . If you cannot find a reason, look hard for a counterexample.

“A conjecture is either proved or knocked down by a counterexample”

From: Guess, Then Prove line