Method line M23 · When and why do we use it?

Guess, Then Prove

In the Chinese book: 先猜后证

Try small cases, guess the pattern boldly, then prove it properly.

📖 §4.8 of 《解题方法与策略》

One idea, one pictureReveal the terms one at a time. When you have seen enough, type your guess for the formula in the box and click “Check”.

Loading figure…

In one sentence

Many problems do not tell you what the answer is. So work it out yourself:

try a few small cases → spot the pattern → write it as a conjecture → prove it.

Guessing gives you a direction; proving is what makes it an answer. Guess without proving and you can crash; try to prove without guessing and you do not know where to start. You need both steps.

Predict first

What is ? Do not just add it up: look at the table above and make a guess.

Choose an answer first; then you can see the result.

Example: the sum of the first n odd numbers

Step 1 / 4
Loading figure…
  1. Work out small cases

    ; ; . Do them by hand, do not skip.

Stop 1 · Guessing a linear function from a table (Vol. 3)

Make a row of joined squares out of matchsticks. How many matches do you need for squares?

Example: how many matches for n squares?

Step 1 / 4
Loading figure…
  1. Count small cases

    square takes matches, squares take , squares take .

Stop 2 · Guess a root, then divide (Vol. 1)

A cubic has no ready-made cross method. But you can guess a root first.

Predict first

. Which of these numbers is a root?

Choose an answer first; then you can see the result.

Example: factor x³ − 4x² + x + 6

Step 1 / 4
  1. Narrow down the candidates

    If an integer is a root, then , so must divide . The only candidates are .

Loading figure…
Try another polynomial: first guess a rational root from the constant term, then see whether the “rational roots” found by the workbench match your guess.

Stop 3 · A pattern in a table of powers (Vol. 6)

The first guess at this stop will be wrong. Once it is corrected, it becomes a famous theorem.

Example: the remainder of n to the power m − 1 when divided by m

Step 1 / 5
Loading figure…
  1. Mod 5: look at the n⁴ column

    Apart from row , the column is all s.

Stop 4 · Taking stones (Vol. 7)

Game problems are perfect for guess-then-prove: you can play the small positions by hand.

Example: take 1 to 3 stones each turn; whoever takes the last stone wins

Step 1 / 4
Loading figure…
  1. The smallest piles

    , or stones: the first player takes them all and wins. stones: however many the first player takes, the to left are all taken by the opponent, so the first player loses.

If you guess, you must prove

Predict first

Put points on a circle and join every pair with a chord (no three chords meet at one point inside the circle). For the circle is cut into regions. How many regions are there for ?

Choose an answer first; then you can see the result.
Loading figure…
Type 2^(n-1) in the box to test it, then count the regions for term in the picture.

Here is an even nastier one: the expression below gives primes for dozens of terms in a row.

Loading figure…
Reveal a few terms first, then choose a conjecture.

Practice

Exercise 1Basic

A convex quadrilateral has diagonals, a convex pentagon has , and a convex hexagon has . First guess a formula for the number of diagonals of a convex -gon and explain why it holds. Then answer: how many diagonals does a convex 12-gon have?

Exercise 2Advanced

Let . Work out , guess a formula for and prove it, then give . (Write the answer as a fraction, such as 3/4.)

Exercise 3Challenge

A pile has stones. Two players take turns; on each turn you may take , , or stones, and whoever takes the last stone wins. If the first player wants a guaranteed win, how many stones should they take on the first move?

Mistake Museum · Exhibits from this stop

Before you leave, look at the traps other people fell into here.See every exhibit in the museum →

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”

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”

Stops on this line

The same idea, used once in each of several places.

  1. Linear Functions: Graphs and PropertiesVol. 3 Linear and Quadratic Functions, ch. 1
  2. Linear Factors of a PolynomialVol. 1 Factorization Techniques, ch. 8
  3. Fermat's Little Theorem and Its UsesVol. 6 Divisibility, Congruences and Diophantine Equations, §2.3
  4. Operations and GamesVol. 7 Fun Problems in Combinatorics, ch. 4
  5. The Cross MethodVol. 1 Factorization Techniques, ch. 5