Math Circle Lecture | Ages 11–14 | Duration: 90 minutes | Topics: Cryptarithms, place-value algebra, carry analysis, modular arithmetic
Source: FSJM 38th competition, Challenge 13 | Date: 2026-02-08
"What if every digit in a maths problem were replaced by a letter — and your job was to crack the code?"
🗣️ "Has anyone ever seen a coded addition before? Maybe in a puzzle book or a spy movie?"
A cryptarithm (or alphametic) is a puzzle where digits are replaced by letters:
The most famous cryptarithm was published in 1924:
S E N D
+ M O R E
---------
M O N E Y
We won't solve that one today — we have a different challenge. But first, let's make sure we understand how these puzzles work.
| Puzzle | Hint | Answer |
|---|---|---|
| $AB + BA = CCC$ where $A, B, C$ distinct | $CCC = 111 \times C$. What values of $C$ work? | $C = 1$: $11(A{+}B)=111$… not integer! |
| What is $111 \div 11$? | — | $10.09\ldots$ — not an integer |
| What about $C = 2$? $AB + BA = 222$? | $11(A{+}B) = 222$ | $A{+}B = 222/11$… not integer either! |
✍️ "Work with your neighbour for 2 minutes. Which value of $C$ makes $AB + BA = CCC$?"
Since $AB + BA = 11(A + B)$ and $CCC = 111C$, we need $11(A+B) = 111C$, i.e. $A + B = \frac{111C}{11}$. But $111/11$ is not an integer!
So no value of $C$ works — the puzzle $AB + BA = CCC$ is impossible. This teaches us: not every cryptarithm has a solution. We have to check carefully.
Before tackling a 5-digit puzzle, let's try a smaller one.
Mini-Puzzle: Find distinct digits $P, Q, R, S$ (no leading zeros) such that $$PQ + RQ = SSS$$ and maximise $PQ$.
Wait — $PQ$ is a 2-digit number and $RQ$ is a 2-digit number, but $SSS$ is a 3-digit number. Can two 2-digit numbers even sum to a 3-digit number?
The maximum of two 2-digit numbers is $99 + 99 = 198$. And $SSS$ ranges from $111$ to $999$. So $SSS$ can only be $111$ (since $198 < 222$).
Therefore $S = 1$ and $PQ + RQ = 111$.
Write the column equations:
| Column | Equation | Carry |
|---|---|---|
| Ones | $Q + Q = 1 + 10c_1$ | $c_1 \in \{0, 1\}$ |
| Tens | $P + R + c_1 = 1 + 10c_2$ | $c_2 \in \{0, 1\}$ |
| Hundreds | $c_2 = 1$ | (the leading 1 in $SSS$) |
From the hundreds column: $c_2 = 1$, so $P + R + c_1 = 11$.
From the ones column: $2Q = 1 + 10c_1$.
🧩 "Wait — neither works? What happened?"
This is a feature, not a bug. It shows us that the parity (even/odd) of the repeated letter is a powerful constraint.
Now let's try a solvable version!
Mini-Puzzle 2: Find distinct digits $A, B, C$ (no leading zeros) with $$AA + BB = CCC$$
Column equations:
From hundreds: $c_2 = C$. Since $c_2 \in \{0, 1\}$, we need $C = 0$ or $C = 1$. $C = 0$ gives $CCC = 000$ (not valid). So $C = 1$ and $c_2 = 1$.
From tens: $A + B + c_1 = 11$. From ones: $A + B = 1 + 10c_1$.
So $A + B = 11$ with $A, B$ distinct, non-zero, and $\ne 1$. Pairs: $(2, 9), (3, 8), (4, 7), (5, 6)$.
FSJM Challenge 13 — "Bravo to Future Winners" $$\begin{array}{r} G\;R\;A\;N\;D \\ +\; B\;R\;A\;V\;O \\ \hline X\;X\;X\;X\;X \end{array}$$ Each letter represents a unique digit (0–9). No number begins with 0.
What is the largest possible value of GRAND?
🗣️ "Take 30 seconds to count the letters. How many distinct digits do we need?"
The nine distinct letters are: $G, R, A, N, D, B, V, O, X$. Since there are only 10 digits (0–9), exactly one digit is unused.
✋ "If all five digits of the sum are the same letter $X$, what kind of number is $XXXXX$?"
$$XXXXX = X \times 11{,}111$$So the sum is a repdigit multiple of $11{,}111$, and $X \in \{1, 2, \ldots, 9\}$.
Label the carries $c_1, c_2, c_3, c_4$ from right to left (each is 0 or 1):
| Column | Position | Equation |
|---|---|---|
| Ones | $D + O$ | $= X + 10c_1$ |
| Tens | $N + V + c_1$ | $= X + 10c_2$ |
| Hundreds | $A + A + c_2$ | $= X + 10c_3$ |
| Thousands | $R + R + c_3$ | $= X + 10c_4$ |
| Ten-thousands | $G + B + c_4$ | $= X$ |
Notice something special: the hundreds and thousands columns both involve a letter added to itself (because $A$ and $R$ appear in the same position in both GRAND and BRAVO).
🧩 "Challenge: look at the hundreds column $2A + c_2 = X + 10c_3$ and the thousands column $2R + c_3 = X + 10c_4$. What does parity tell us?"
From hundreds: $X = 2A + c_2 - 10c_3$. Since $2A$ and $10c_3$ are even, $X$ has the same parity as $c_2$.
From thousands: $X = 2R + c_3 - 10c_4$. Similarly, $X$ has the same parity as $c_3$.
✍️ "Work in pairs: try both cases and see what values of $A$, $R$, and $X$ emerge."
Case $c_2 = c_3 = 1$ (X odd):
So $c_4 = 0$ is forced, giving $R = \frac{X-1}{2}$ and $A = R + 5$.
Then the ten-thousands column: $G + B = X$.
The tens column gives $N + V + c_1 = X + 10$, so $N + V = X + 10 - c_1$.
Conclusion: $X$ must be even. ✓
Key deductions:
With $c_2 = c_3 = 0$:
$$A = \frac{X}{2}, \qquad R = \frac{X}{2} + 5c_4$$| $X$ | $A = X/2$ | $R = X/2 + 5$ | $G + B = X - 1$ | Viable? |
|---|---|---|---|---|
| 2 | 1 | 6 | 1 | ❌ $G + B \ge 2$ |
| 4 | 2 | 7 | 3 | ❌ Only pair $(1,2)$, $B = A$ clash |
| 6 | 3 | 8 | 5 | ✅ $(G,B) = (4,1)$ |
| 8 | 4 | 9 | 7 | ❌ No valid $N,V,D,O$ |
Exercise 1: Used digits: $\{8, 4, 9, 6, 1\}$. Available: $\{0, 2, 3, 5, 7\}$. Need two disjoint pairs summing to 8. The only pair summing to 8 from this set is $\{3, 5\}$. That leaves $\{0, 2, 7\}$ for the second pair, and no two of those sum to 8. So $X = 8$ is impossible.
Exercise 2: We need $c_1 = 1$ (only possibility): $D + O = 16$, $N + V = 5$. From $\{0, 2, 5, 7, 9\}$:
Prerequisites: place-value notation, addition with carries.
We work column by column, right to left, tracking each carry.
Fact: $XXXXX = 11{,}111 \times X$ where $X \in \{1, \ldots, 9\}$.
Parity argument (from Part 3): $X$ must be even, $c_2 = c_3 = 0$, $c_4 = 1$.
This gives $A = X/2$, $R = X/2 + 5$, $G + B = X - 1$.
Checking each even $X$:
| $X$ | $A$ | $R$ | $G{+}B$ | Available digits | $D{+}O$ / $N{+}V$ needed | Result |
|---|---|---|---|---|---|---|
| 2 | 1 | 6 | 1 | — | — | ❌ $G,B \ge 1$ |
| 4 | 2 | 7 | 3 | — | — | ❌ $B=A$ clash |
| 6 | 3 | 8 | 5 | $\{0,2,5,7,9\}$ | $D{+}O=16, N{+}V=5$ | ✅ |
| 8 | 4 | 9 | 7 | $\{0,2,3,5,7\}$ | No disjoint pairs | ❌ |
Only $X = 6$ survives. With $(G,B) = (4,1)$ for maximum $G$:
The available digits $\{0, 2, 5, 7, 9\}$ must fill $N, D, V, O$ with:
To maximise $GRAND = 48{,}3ND$, choose $N = 5$ (not 0) and $D = 9$ (not 7):
Digit check:
| Letter | G | R | A | N | D | B | V | O | X |
|---|---|---|---|---|---|---|---|---|---|
| Digit | 4 | 8 | 3 | 5 | 9 | 1 | 0 | 7 | 6 |
Nine distinct digits, unused digit is 2. No leading zeros ($G = 4$, $B = 1$). ✓
Prerequisites: basic algebra, divisibility.
Since $R$ and $A$ appear in matching positions of both addends:
$$GRAND + BRAVO = (G + B) \cdot 10^4 + 2R \cdot 10^3 + 2A \cdot 10^2 + (N + V) \cdot 10 + (D + O)$$ $$= 11{,}111 \cdot X$$Let $s = G + B$, $t = N + V$, $u = D + O$. Substituting $A = X/2$ and $R = X/2 + 5$:
$$2{,}000R + 200A = 2{,}000(X/2 + 5) + 200(X/2) = 1{,}100X + 10{,}000$$Then:
$$10{,}000s + 1{,}100X + 10{,}000 + 10t + u = 11{,}111X$$ $$10{,}000(s + 1) + 10t + u = 10{,}011X$$With $s = X - 1$ (from the leading column with carry):
$$10{,}000X + 10t + u = 10{,}011X$$A beautiful simple equation! The remaining digits must satisfy: 10 times the sum of the tens-position letters plus the sum of the ones-position letters equals $11X$.
For $X = 6$: $10t + u = 66$.
Need $u \equiv 6 \pmod{10}$, so $u = 6$ or $u = 16$.
The equation $10t + u = 66$ uniquely forces $\{D,O\} = \{7,9\}$ and $\{N,V\} = \{0,5\}$.
Prerequisites: modular arithmetic (mod 9, mod 11).
We use two classical divisibility tests:
Mod 9 analysis:
The digit sum of $XXXXX$ is $5X$. The digit sum of $GRAND$ is $G + R + A + N + D$, and of $BRAVO$ is $B + R + A + V + O$.
If the unused digit is $m$, the total of all 9 assigned digits is $45 - m$. Since $R$ and $A$ are counted twice:
$$(45 - m) + R + A \equiv 5X \pmod{9}$$With $X = 6$, $A = 3$, $R = 8$: $56 - m \equiv 30 \equiv 3 \pmod{9}$.
Verification: $m = 2$, and $56 - 2 = 54 \equiv 0 \pmod{9}$. Hmm — let's recompute more carefully. Digit sum of GRAND: $4 + 8 + 3 + 5 + 9 = 29$. Digit sum of BRAVO: $1 + 8 + 3 + 0 + 7 = 19$. Sum: $48 \equiv 3 \pmod{9}$. Digit sum of $66{,}666$: $30 \equiv 3 \pmod 9$. ✓
Mod 11 analysis:
$11{,}111 = 11 \times 1{,}010 + 1$, so $XXXXX \equiv X \pmod{11}$.
Alternating sums: $(G + B) - 2R + 2A + (D + O) - (N + V) \equiv X \pmod{11}$.
Substituting: $5 - 16 + 6 + 16 - 5 = 6 \equiv 6 \pmod{11}$. ✓
Equivalently: $(D + O) - (N + V) = 16 - 5 = 11 \equiv 0 \pmod{11}$, which is consistent.
Both mod-9 and mod-11 checks confirm the solution independently.
| Quantity | Value |
|---|---|
| Largest $GRAND$ | $\boxed{48{,}359}$ |
| Corresponding $BRAVO$ | $18{,}307$ |
| Sum $XXXXX$ | $66{,}666$ ($X = 6$) |
| Unused digit | $2$ |
| Total valid solutions | 8 (4 essentially distinct) |
| $GRAND$ | $BRAVO$ | $XXXXX$ |
|---|---|---|
| 48,359 | 18,307 | 66,666 |
| 48,357 | 18,309 | 66,666 |
| 48,309 | 18,357 | 66,666 |
| 48,307 | 18,359 | 66,666 |
| 18,359 | 48,307 | 66,666 |
| 18,357 | 48,309 | 66,666 |
| 18,309 | 48,357 | 66,666 |
| 18,307 | 48,359 | 66,666 |
All 8 solutions share $X = 6$, $A = 3$, $R = 8$, unused digit $= 2$.
| Method | Key Idea | Prerequisites |
|---|---|---|
| Solution 1 🥉 | Column-by-column carry chain; parity eliminates odd $X$ | Place value, carries |
| Solution 2 🥈 | Combine into $10t + u = 11X$; Diophantine equation | Algebra |
| Solution 3 🥇 | Mod 9 and mod 11 divisibility checks | Modular arithmetic |
$AB + BA = 11(A + B) = CDC = 101C + 10D$.
$11(A+B) = 101C + 10D$. Since $11 \mid \text{LHS}$, need $101C + 10D \equiv 0 \pmod{11}$. We get $2C - D \equiv 0 \pmod{11}$, i.e. $D = 2C \pmod{11}$.
Key solution: $C = 1, D = 2$: $CDC = 121$, $A + B = 11$. Pairs: $(2,9), (3,8), (4,7), (5,6)$. So $92 + 29 = 121$, $83 + 38 = 121$, etc.
Smallest GRAND from the 8 solutions: $GRAND = 18{,}307$ (with $BRAVO = 48{,}359$).
$2 \times PQRST = XXXXX = 11{,}111X$. So $PQRST = 11{,}111X/2$. Since $PQRST$ is an integer, $X$ must be even. Each even $X$ gives a unique $PQRST$.
There are 4 solutions with $GRAND > BRAVO$ (those where $G = 4$, $B = 1$).
$GRAND + BRAVO = YYYYYY = 111{,}111Y$. Max sum of two 5-digit numbers: $199{,}998$. Only $Y = 1$ fits ($111{,}111$). The ten-thousands column gives $G + B + c_4 = 11$. Analysis proceeds similarly; the student should determine whether valid digit assignments exist.