Ages: 11β14 Β· Duration: 90β120 minutes Β· Topics: Triangular Numbers, Digit Properties, Divisibility, Chinese Remainder Theorem Β· Date: February 2026
Source: FSJM (FΓ©dΓ©ration Suisse des Jeux MathΓ©matiques), Challenge 18 Β· Archives
"You're setting up bowling pins. The first row has 1 pin, the second row 2, the third row 3β¦ How many pins total when you've set up 4 rows?"
π£οΈ Pair discussion: compute $1 + 2 + 3 + 4$.
The answer is $1 + 2 + 3 + 4 = 10$. These are called triangular numbers β they count the dots in triangular arrangements:
Row 1: β’ β Tβ = 1 Row 2: β’ β’ β Tβ = 1+2 = 3 Row 3: β’ β’ β’ β Tβ = 1+2+3 = 6 Row 4: β’ β’ β’ β’ β Tβ = 1+2+3+4 = 10
| Row count $n$ | Triangular number $T_n = 1+2+\cdots+n$ |
|---|---|
| 1 | 1 |
| 2 | 1 + 2 = 3 |
| 3 | 1 + 2 + 3 = 6 |
| 4 | 1 + 2 + 3 + 4 = 10 |
| 5 | 1 + 2 + 3 + 4 + 5 = ? |
| 6 | 1 + 2 + β¦ + 6 = ? |
| 10 | 1 + 2 + β¦ + 10 = ? |
β "Adding all those numbers gets tedious. Is there a shortcut?"
There's a famous story about the mathematician Carl Friedrich Gauss. When he was about your age, his teacher asked the class to add up $1 + 2 + 3 + \cdots + 100$. While other students started adding one by one, Gauss found the answer almost instantly. Here's how:
βοΈ Let's discover his trick together, using $n = 10$:
Write the sum forwards and backwards, one above the other:
$$S = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10$$ $$S = 10 + 9 + 8 + 7 + 6 + 5 + 4 + 3 + 2 + 1$$Now add each column:
| Position | Top | Bottom | Column sum |
|---|---|---|---|
| 1st | 1 | 10 | 11 |
| 2nd | 2 | 9 | 11 |
| 3rd | 3 | 8 | 11 |
| 4th | 4 | 7 | 11 |
| 5th | 5 | 6 | 11 |
| 6th | 6 | 5 | 11 |
| 7th | 7 | 4 | 11 |
| 8th | 8 | 3 | 11 |
| 9th | 9 | 2 | 11 |
| 10th | 10 | 1 | 11 |
Every column sums to the same thing: $10 + 1 = 11$. And there are 10 columns.
So: $2S = 10 \times 11 = 110$, which means $S = \frac{110}{2} = 55$. β
β "Why does every column sum to 11?" Because each column pairs a number $k$ from the top with $11 - k$ from the bottom. Their sum is always $k + (11 - k) = 11 = n + 1$.
The $n$-th triangular number is the sum of the first $n$ positive integers:
$$T_n = 1 + 2 + 3 + \cdots + n = \frac{n(n+1)}{2}$$Why does this formula work? With the Gauss trick for any $n$:
Let's verify with a few examples:
| $n$ | Formula: $\frac{n(n+1)}{2}$ | By adding |
|---|---|---|
| 5 | $\frac{5 \times 6}{2} = \frac{30}{2} = 15$ | $1+2+3+4+5 = 15$ β |
| 6 | $\frac{6 \times 7}{2} = \frac{42}{2} = 21$ | $1+2+3+4+5+6 = 21$ β |
| 10 | $\frac{10 \times 11}{2} = \frac{110}{2} = 55$ | $1+2+\cdots+10 = 55$ β |
| 100 | $\frac{100 \times 101}{2} = \frac{10{,}100}{2} = 5{,}050$ | (Gauss's answer!) β |
Before today's main challenge, let's explore a curious idea: splitting a number's digits.
Rule: Take a number and cut its digit string into a left part and a right part. We say a number has a "double split" if the left part equals twice the right part.
Important constraint: The right part cannot start with 0. (Leading zeros don't make valid numbers!)
π§© "Can you find some numbers with a double split?"
Let's start with $21$. We split it as $2 \mid 1$. The left part is 2, the right part is 1. Is $2 = 2 \times 1$? Yes! β
Let's try $105$. We could split it as $1 \mid 05$, but 05 starts with a zero β not allowed! However, $10 \mid 5$ works: $10 = 2 \times 5$ β .
| Number | Split | Left | Right | Left = 2 Γ Right? |
|---|---|---|---|---|
| 21 | 2 | 1 | 2 | 1 | $2 = 2 \times 1$ β |
| 42 | 4 | 2 | 4 | 2 | $4 = 2 \times 2$ β |
| 105 | 10 | 5 | 10 | 5 | $10 = 2 \times 5$ β |
| 2211 | 22 | 11 | 22 | 11 | $22 = 2 \times 11$ β |
| 9045 | 90 | 45 | 90 | 45 | $90 = 2 \times 45$ β |
βοΈ Work in pairs for 3 minutes: Find at least 3 more numbers with a double split.
$63$: split $6 \mid 3$, since $6 = 2 \times 3$. β
$84$: split $8 \mid 4$, since $8 = 2 \times 4$. β
$168$: split $16 \mid 8$? That's $16 = 2 \times 8$ β . Or $1 \mid 68$? Is $1 = 2 \times 68$? No!
$3618$: split $36 \mid 18$, since $36 = 2 \times 18$. β
Let's figure out the algebra behind these numbers. We'll work through a concrete example first, then generalise.
Concrete example: 2211
The number $2211$ has 4 digits. We split it in the middle: left part $= 22$, right part $= 11$.
Now, how is $2211$ built from these two parts?
So: $2211 = 22 \times 100 + 11$.
Since the left part is twice the right part ($22 = 2 \times 11$), let's call the right part $k$. Then:
$$N = \underbrace{2k}_{\text{left}} \times 100 + \underbrace{k}_{\text{right}} = 2k \times 100 + k = k \times (200 + 1) = k \times 201$$Check: $k = 11$, and $11 \times 201 = 2{,}211$. β
General rule for any even digit count:
If a number $N$ has $2d$ digits total and we split it in the middle ($d$ digits on each side), with right part $= k$ and left part $= 2k$:
$$N = 2k \times 10^d + k = k \times (2 \times 10^d + 1)$$| Total digits | $d$ | Structure constant $= 2 \times 10^d + 1$ | Example |
|---|---|---|---|
| 2 | 1 | $2 \times 10 + 1 = 21$ | $21 \times 1 = 21$ |
| 4 | 2 | $2 \times 100 + 1 = 201$ | $201 \times 11 = 2{,}211$ |
| 6 | 3 | $2 \times 1000 + 1 = 2001$ | $2001 \times 111 = 222{,}111$ |
What range can $k$ take?
Both the left and right halves must have exactly $d$ digits. Let's think about what this means for $k$:
Combining both constraints for $d = 3$: $100 \le k \le 499$.
Why not $k = 500$? Because $2 \times 500 = 1000$, which is 4 digits, not 3. The total would be $1000|500 = 1{,}000{,}500$ β that's a 7-digit number, not 6!
Lesson: A 6-digit number with a midpoint double split must be a multiple of $2001$, with $100 \le k \le 499$.
π£οΈ "But what if we split at a position that's not the midpoint?" Good question β we'll check this in Part 2.
Matthews Numbers (FSJM, Challenge 18):
On his calculator, Mathias adds the natural whole numbers in order: $0 + 1 + 2 + 3 + 4 + \cdots$
Before typing each number (starting from the second), the calculator displays a provisional result:
$0, 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, \ldots$Matthew notes all the provisional results that can be split into two numbers such that the first is twice the second β for example: 21, 105, 2211, 9045, β¦
Matthew then chooses a six-digit number from those he has noted.
What is this number? Find all the possibilities.
Note: The split cannot be made just before a digit 0.
Step 1: What are the "provisional results"?
Look at what Mathias is doing on his calculator:
These are the triangular numbers $T_n = \frac{n(n+1)}{2}$:
$$T_0 = 0,\; T_1 = 1,\; T_2 = 3,\; T_3 = 6,\; T_4 = 10,\; T_5 = 15,\; T_6 = 21,\; \ldots$$β "Let's verify: is $T_6 = 21$?"
$$T_6 = \frac{6 \times 7}{2} = \frac{42}{2} = 21 \quad \checkmark$$Step 2: Verify the examples from the problem.
π§© Challenge: check each one before I show the answer.
| Number | Split | Check $L = 2R$ | Is it $T_n$? |
|---|---|---|---|
| 21 | 2 | 1 | $2 = 2 \times 1$ β | $T_6 = \frac{6 \times 7}{2} = 21$ β |
| 105 | 10 | 5 | $10 = 2 \times 5$ β | $T_{14} = \frac{14 \times 15}{2} = 105$ β |
| 2,211 | 22 | 11 | $22 = 2 \times 11$ β | $T_{66} = \frac{66 \times 67}{2} = 2{,}211$ β |
| 9,045 | 90 | 45 | $90 = 2 \times 45$ β | $T_{134} = \frac{134 \times 135}{2} = 9{,}045$ β |
Step 3: Where can we split a 6-digit number?
A 6-digit number $N$ sits between 100,000 and 999,999. Its digits can be cut at 5 possible positions. Let's check each one carefully:
Split 1 | 5 (1 digit on the left, 5 on the right)
The left part $L$ has 1 digit, so $L$ is between 1 and 9. Since $L = 2R$, we get $R \le 4.5$. But $R$ has 5 digits, so $R \ge 10{,}000$. We can't have both! β Impossible.
Split 2 | 4 (2 digits left, 4 right)
$L$ has 2 digits: $L \le 99$, so $R = L/2 \le 49$. But $R$ has 4 digits: $R \ge 1{,}000$. β Impossible.
Split 3 | 3 (3 digits each side) β
$L$ has 3 digits: $100 \le L \le 999$. $R$ has 3 digits: $100 \le R \le 999$.
$L = 2R$ gives $100 \le 2R \le 999$, so $50 \le R \le 499$. Combined with $R \ge 100$: we need $100 \le R \le 499$. This works! β
Split 4 | 2 (4 digits left, 2 right)
$R$ has 2 digits: $R \le 99$, so $L = 2R \le 198$. But $L$ has 4 digits: $L \ge 1{,}000$. β Impossible.
Split 5 | 1 (5 digits left, 1 right)
$R \le 9$, so $L = 2R \le 18$. But $L$ has 5 digits: $L \ge 10{,}000$. β Impossible.
Conclusion: The only valid split of a 6-digit number is 3 | 3 β three digits on each side.
From Part 1 (with $d = 3$), this means:
$$N = 2001 \times k \quad \text{where} \quad 100 \le k \le 499$$and $N$ must also be a triangular number.
One might try: "Let me check all multiples of 2001 from $2001 \times 100 = 200{,}100$ to $2001 \times 499 = 998{,}499$." That's 400 numbers to check by hand! We need smarter tools.
π£οΈ "So what equation do we need to solve?"
We need $T_n = 2001k$, which gives $\frac{n(n+1)}{2} = 2001k$. Multiply both sides by 2:
$$n(n+1) = 4002k$$So $n(n+1)$ must be divisible by $4002$. What are the prime factors of $4002$?
Factoring 4002 step by step:
So: $4002 = 2 \times 3 \times 23 \times 29$. Check: $23 \times 29 = 667$ β and $3 \times 667 = 2001$ β .
Now the key insight: $n$ and $n+1$ are consecutive integers, so they share no common factor. (Why? If some number $d$ divides both $n$ and $n+1$, then $d$ divides $(n+1) - n = 1$. The only number that divides 1 is 1. So $d = 1$.)
Each prime factor $2, 3, 23, 29$ must go entirely to either $n$ or $n+1$ β it can't be "split" between them.
This is where the Chinese Remainder Theorem enters β but first, a break!
We've been checking "is $N$ triangular?" by trying to find an $n$ with $\frac{n(n+1)}{2} = N$. Is there a quicker test? Yes!
Let's derive it step by step.
Start: We want to solve $\frac{n(n+1)}{2} = N$ for $n$.
Step 1: Multiply both sides by 2:
$$n(n+1) = 2N$$Step 2: Expand the left side:
$$n^2 + n = 2N$$Step 3: Move everything to one side to get a standard quadratic equation $an^2 + bn + c = 0$:
$$n^2 + n - 2N = 0$$Here $a = 1$, $b = 1$, $c = -2N$.
Step 4: Use the quadratic formula $n = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$:
$$n = \frac{-1 \pm \sqrt{1^2 - 4 \times 1 \times (-2N)}}{2 \times 1}$$Let's simplify the expression under the square root (the discriminant):
$$b^2 - 4ac = 1^2 - 4 \times 1 \times (-2N) = 1 - (-8N) = 1 + 8N$$β "Where did the $8N$ come from?"
It came from $-4ac$. We have $a = 1$ and $c = -2N$, so:
$-4 \times a \times c = -4 \times 1 \times (-2N) = +8N$
The $8$ is just $4 \times 2$: the $4$ is always in the quadratic formula, and the $2$ came from multiplying the original equation by 2 in Step 1.
So the formula becomes:
$$n = \frac{-1 \pm \sqrt{1 + 8N}}{2}$$Step 5: Since $n$ must be a positive whole number, we take the $+$ sign (the $-$ sign gives a negative number):
$$n = \frac{-1 + \sqrt{1 + 8N}}{2}$$For this to be a whole number, $1 + 8N$ must be a perfect square, and $\sqrt{1 + 8N}$ must be odd. (Actually the "odd" part comes for free: $8N$ is even, so $8N + 1$ is odd, and an odd perfect square always has an odd root. β )
The Triangularity Test: $N$ is a triangular number if and only if $8N + 1$ is a perfect square.
Is $N = 222{,}111$ triangular?
Claim: $\gcd(n, n+1) = 1$ for every positive integer $n$.
(In words: $n$ and $n+1$ have no common factor other than 1.)
Proof: Suppose some integer $d \ge 1$ divides both $n$ and $n+1$.
Concrete examples:
Why this matters: We need $4002 = 2 \times 3 \times 23 \times 29$ to divide $n(n+1)$. Since $\gcd(n, n+1) = 1$, no prime can divide both $n$ and $n+1$. Each prime factor goes entirely to one side.
We need $\frac{n(n+1)}{2} = 2001k$. The denominator 2 might worry us, but actually $n(n+1)$ is always even β because of the two consecutive numbers $n$ and $n+1$, one is always even and the other odd.
Examples: $7 \times 8 = 56$ (8 is even). $10 \times 11 = 110$ (10 is even). So dividing by 2 always works. The factor of 2 takes care of itself.
What really matters: which primes from $2001 = 3 \times 23 \times 29$ divide $n(n+1)$?
Theorem (CRT): If $m_1, m_2, \ldots, m_r$ are pairwise coprime, then for any target remainders $a_1, a_2, \ldots, a_r$, the system
$$x \equiv a_1 \pmod{m_1}, \quad x \equiv a_2 \pmod{m_2}, \quad \ldots$$has exactly one solution modulo $m_1 \times m_2 \times \cdots \times m_r$.
That's abstract. Let's see what it means concretely.
Worked CRT example: Find all $x$ such that $x \equiv 2 \pmod{3}$ and $x \equiv 1 \pmod{5}$.
This says: "$x$ leaves remainder 2 when divided by 3, and remainder 1 when divided by 5."
Method β list and match:
So: $x \equiv 11 \pmod{15}$. The CRT guarantees one answer in each block of $3 \times 5 = 15$.
A second worked example (three moduli):
Find $x$ such that $x \equiv 0 \pmod{3}$, $x \equiv 22 \pmod{23}$, $x \equiv 0 \pmod{29}$.
Step 1: $3 \mid x$ and $29 \mid x$ means $87 \mid x$. So $x = 87, 174, 261, \ldots, 1218, \ldots$
Step 2: We need $x \equiv 22 \pmod{23}$, i.e., $x + 1 \equiv 0 \pmod{23}$.
So $x \equiv 1218 \pmod{2001}$. (This exact value will appear as one of our solutions!)
For each prime $p$ in $\{3, 23, 29\}$, we need $p$ to divide either $n$ or $n+1$:
Each prime gives 2 choices. With 3 primes: $2^3 = 8$ systems. CRT gives a unique $n \pmod{2001}$ for each.
We need $100{,}000 \le T_n \le 999{,}999$.
Lower bound: $\frac{n(n+1)}{2} \ge 100{,}000 \implies n(n+1) \ge 200{,}000$. Estimate: $n \approx \sqrt{200{,}000} \approx 447.2$.
Upper bound: $\frac{n(n+1)}{2} \le 999{,}999 \implies n(n+1) \le 1{,}999{,}998$. Estimate: $n \approx 1{,}414.2$.
Range: $T_n$ is a 6-digit number exactly when $447 \le n \le 1{,}413$.
Check all $N = 2001k$ for $k \in [100, 499]$: is $8N + 1$ a perfect square?
| $k$ | $N = 2001k$ | $8N + 1$ | $\sqrt{8N+1}$ | Perfect square? | $n$ |
|---|---|---|---|---|---|
| 111 | 222,111 | $1{,}776{,}889$ | $1{,}333$ | $1333^2 = 1{,}776{,}889$ β | $666$ |
| 153 | 306,153 | $2{,}449{,}225$ | $1{,}565$ | $1565^2 = 2{,}449{,}225$ β | $782$ |
| 371 | 742,371 | $5{,}938{,}969$ | $2{,}437$ | $2437^2 = 5{,}938{,}969$ β | $1{,}218$ |
| 445 | 890,445 | $7{,}123{,}561$ | $2{,}669$ | $2669^2 = 7{,}123{,}561$ β | $1{,}334$ |
All other $k$ values in $[100, 499]$ fail.
Answer 1: $T_{666}$
$T_{666} = \frac{666 \times 667}{2} = \frac{444{,}222}{2} = 222{,}111$. Split: $222 \mid 111$. Is $222 = 2 \times 111$? Yes! β
Answer 2: $T_{782}$
$T_{782} = \frac{782 \times 783}{2} = \frac{612{,}306}{2} = 306{,}153$. Split: $306 \mid 153$. Is $306 = 2 \times 153$? Yes! β
Answer 3: $T_{1218}$
$T_{1218} = \frac{1218 \times 1219}{2} = \frac{1{,}484{,}742}{2} = 742{,}371$. Split: $742 \mid 371$. Is $742 = 2 \times 371$? Yes! β
Answer 4: $T_{1334}$
$T_{1334} = \frac{1334 \times 1335}{2} = \frac{1{,}780{,}890}{2} = 890{,}445$. Split: $890 \mid 445$. Is $890 = 2 \times 445$? Yes! β
Result: $\boxed{222{,}111 \quad 306{,}153 \quad 742{,}371 \quad 890{,}445}$
We need $2001 = 3 \times 23 \times 29$ to divide $T_n$. Since $\gcd(n, n+1) = 1$, each prime divides either $n$ or $n+1$.
| Choice label | For $p = 3$ | For $p = 23$ | For $p = 29$ |
|---|---|---|---|
| "$0$" | $n \equiv 0 \pmod{3}$ | $n \equiv 0 \pmod{23}$ | $n \equiv 0 \pmod{29}$ |
| "$-1$" | $n \equiv 2 \pmod{3}$ | $n \equiv 22 \pmod{23}$ | $n \equiv 28 \pmod{29}$ |
System 1: All "0" β $n \equiv 0$ (mod 3, 23, 29). So $2001 \mid n$, giving $n = 0$ or $2001$. Both outside $[447, 1413]$. β
System 2: $n \equiv 0$ (mod 3), $n \equiv 0$ (mod 23), $n \equiv 28$ (mod 29)
$69 \mid n$. Need $n \equiv 28 \pmod{29}$. Solving: $n = 69 \times 21 = 1{,}449$. Outside range. β
System 3: $n \equiv 0$ (mod 3), $n \equiv 22$ (mod 23), $n \equiv 0$ (mod 29)
$87 \mid n$ (since $3 \mid n$ and $29 \mid n$). Need $n + 1$ divisible by 23.
Check multiples of 87: $522, 609, 696, 783, 870, 957, 1044, 1131, \mathbf{1218}, 1305, 1392$.
$1218 + 1 = 1219$. $1219 / 23 = 53$. β β $n = 1{,}218$.
$T_{1218} = 742{,}371$. $k = 371$. Split: $742 \mid 371$. β
System 4: $n \equiv 0$ (mod 3), $n \equiv 22$ (mod 23), $n \equiv 28$ (mod 29)
$23 \mid (n+1)$ and $29 \mid (n+1)$: so $667 \mid (n+1)$. $n+1 = 667 \implies n = 666$, $n+1 = 1334 \implies n = 1333$.
Check $3 \mid n$: $666/3 = 222$ β ; $1333$: digit sum $= 10$, not divisible by 3. β
$n = 666$. $T_{666} = 222{,}111$. $k = 111$. Split: $222 \mid 111$. β
System 5: $n \equiv 2$ (mod 3), $n \equiv 0$ (mod 23), $n \equiv 0$ (mod 29)
$667 \mid n$. In range: $n = 667$ or $1334$.
Check $n \equiv 2 \pmod{3}$: $667 = 3 \times 222 + 1 \equiv 1$. No. $1334 = 3 \times 444 + 2 \equiv 2$. β
$n = 1{,}334$. $T_{1334} = 890{,}445$. $k = 445$. Split: $890 \mid 445$. β
System 6: $n \equiv 2$ (mod 3), $n \equiv 0$ (mod 23), $n \equiv 28$ (mod 29)
$87 \mid (n+1)$ [since $3 \mid (n+1)$ and $29 \mid (n+1)$]. Also $23 \mid n$.
Check $n = 87t - 1$ for $23 \mid n$: $t = 9$ gives $n = 782$. $782/23 = 34$. β
$n = 782$. $T_{782} = 306{,}153$. $k = 153$. Split: $306 \mid 153$. β
System 7: $n \equiv 2$ (mod 3), $n \equiv 22$ (mod 23), $n \equiv 0$ (mod 29)
$29 \mid n$, $69 \mid (n+1)$. $n = 551$: $552/69 = 8$. β Butβ¦
$T_{551} = 152{,}076$. $k = 76 < 100$. Split: $152 \mid 076$. Leading zero! β
Why $k = 76$ fails: The right half would be "076" β starts with zero. The problem forbids splitting just before a zero digit.
System 8: All "-1" β $2001 \mid (n+1)$. $n = 2000$. $T_{2000} = 2{,}001{,}000$ β 7 digits. β
| # | $n \bmod 3$ | $n \bmod 23$ | $n \bmod 29$ | $n$ | $T_n$ | Valid? |
|---|---|---|---|---|---|---|
| 1 | $0$ | $0$ | $0$ | $0$ (or $2001$) | β | β Out of range |
| 2 | $0$ | $0$ | $28$ | $1{,}449$ | $1{,}050{,}525$ | β 7 digits |
| 3 | $0$ | $22$ | $0$ | $1{,}218$ | $742{,}371$ | β |
| 4 | $0$ | $22$ | $28$ | $666$ | $222{,}111$ | β |
| 5 | $2$ | $0$ | $0$ | $1{,}334$ | $890{,}445$ | β |
| 6 | $2$ | $0$ | $28$ | $782$ | $306{,}153$ | β |
| 7 | $2$ | $22$ | $0$ | $551$ | $152{,}076$ | β Leading zero |
| 8 | $2$ | $22$ | $28$ | $2{,}000$ | $2{,}001{,}000$ | β 7 digits |
Result: Exactly four valid Matthews numbers: $\boxed{222{,}111 \quad 306{,}153 \quad 742{,}371 \quad 890{,}445}$
Instead of CRT, we directly assign prime factors of $4002 = 2 \times 3 \times 23 \times 29$ to $n$ or $n+1$.
Let $A$ = product of primes assigned to $n$, $B$ = product assigned to $n+1$. Then $A \mid n$, $B \mid (n+1)$, and $A \times B = 4002$.
Case A: $6 \mid n$ and $667 \mid (n+1)$.
$n + 1 = 667 \implies n = 666$. Is $6 \mid 666$? $666/6 = 111$. β
$T_{666} = 222{,}111$. $k = 111$. Split: $222 \mid 111$. β
Case B: $46 \mid n$ and $87 \mid (n+1)$.
Check multiples of 87 in range: $783 \implies n = 782$. $782/46 = 17$. β
$T_{782} = 306{,}153$. $k = 153$. Split: $306 \mid 153$. β
Case C: $174 \mid n$ (factors $\{2,3,29\}$) and $23 \mid (n+1)$.
Multiples of 174 in range: $522, 696, 870, 1044, \mathbf{1218}$.
$1218 + 1 = 1219$. $1219/23 = 53$. β
$T_{1218} = 742{,}371$. $k = 371$. Split: $742 \mid 371$. β
Case D: $1334 \mid n$ and $3 \mid (n+1)$.
Only $n = 1334$ in range. $1335/3 = 445$. β
$T_{1334} = 890{,}445$. $k = 445$. Split: $890 \mid 445$. β
Case E: $29 \mid n$ and $138 \mid (n+1)$.
$n = 551$: $552/138 = 4$. β But $T_{551} = 152{,}076$, $k = 76 < 100$. Leading zero! β
All remaining assignments give $n$ outside $[447, 1413]$.
Result: $\boxed{222{,}111 \quad 306{,}153 \quad 742{,}371 \quad 890{,}445}$
Let $m = 2n + 1$. Then $n(n+1) = \frac{m^2 - 1}{4}$ and $T_n = \frac{m^2 - 1}{8}$.
Quick check: $n = 6 \implies m = 13$. $\frac{169 - 1}{8} = \frac{168}{8} = 21 = T_6$. β
Derivation: $n^2 + n = n(n+1)$. We "complete the square":
$$n^2 + n = \left(n + \frac{1}{2}\right)^2 - \frac{1}{4}$$Multiply by 4: $4n^2 + 4n = (2n+1)^2 - 1 = m^2 - 1$.
So $T_n = \frac{n(n+1)}{2} = \frac{m^2-1}{8}$.
We need $\frac{m^2 - 1}{8} = 2001k$, giving $m^2 = 16{,}008k + 1$, i.e., $m^2 \equiv 1 \pmod{16{,}008}$.
$16{,}008 = 2^3 \times 3 \times 23 \times 29$. By CRT, this splits into conditions modulo 8, 3, 23, 29:
This gives $1 \times 2 \times 2 \times 2 = 8$ residue classes for $m$ modulo 16,008.
Range: $100 \le k \le 499$ gives $m \in [1{,}266,\; 2{,}826]$ approximately.
| $n$ | $m = 2n+1$ | $k = \frac{m^2-1}{16{,}008}$ | Valid? |
|---|---|---|---|
| 0 | 1 | 0 | β |
| 551 | 1,103 | 76 | β (leading 0) |
| 666 | 1,333 | 111 | β |
| 782 | 1,565 | 153 | β |
| 1,218 | 2,437 | 371 | β |
| 1,334 | 2,669 | 445 | β |
| 1,449 | 2,899 | 525 | β ($k > 499$) |
| 2,000 | 4,001 | 1,000 | β ($k > 499$) |
Result: $\boxed{222{,}111 \quad 306{,}153 \quad 742{,}371 \quad 890{,}445}$
| $n$ | $T_n$ | Split | $k$ | Verification |
|---|---|---|---|---|
| 666 | 222,111 | $222 \mid 111$ | 111 | $222 = 2 \times 111$ β |
| 782 | 306,153 | $306 \mid 153$ | 153 | $306 = 2 \times 153$ β |
| 1,218 | 742,371 | $742 \mid 371$ | 371 | $742 = 2 \times 371$ β |
| 1,334 | 890,445 | $890 \mid 445$ | 445 | $890 = 2 \times 445$ β |
Of the 8 possible CRT solutions modulo 2001, four are eliminated:
| Digits | $T_n$ | $n$ | Split | $k$ |
|---|---|---|---|---|
| 2 | 21 | 6 | $2 \mid 1$ | β |
| 3 | 105 | 14 | $10 \mid 5$ | β |
| 4 | 2,211 | 66 | $22 \mid 11$ | 11 |
| 4 | 9,045 | 134 | $90 \mid 45$ | 45 |
| 6 | 222,111 | 666 | 222 | 111 | 111 |
| 6 | 306,153 | 782 | 306 | 153 | 153 |
| 6 | 742,371 | 1,218 | 742 | 371 | 371 |
| 6 | 890,445 | 1,334 | 890 | 445 | 445 |
| 7 | 1,050,525 | 1,449 | $1050 \mid 525$ | β |
| Method | Key Idea | Prerequisites |
|---|---|---|
| Solution 1 (Brute Force π₯) | Test all $2001k$ for triangularity via $8N+1$ | Quadratic formula |
| Solution 2 (Modular π₯) | CRT gives 8 cases for $n \bmod 2001$ | CRT, modular arithmetic |
| Solution 3 (Factor Assignment π₯) | Assign primes of $4002$ to $n$ or $n+1$ | Coprimality, factoring |
| Solution 4 (Perfect Square π) | Substitute $m = 2n+1$ β $m^2 \equiv 1 \pmod{16008}$ | Quadratic residues, CRT |
The four six-digit Matthews numbers are:
Each equals $2001 \times k$ for $k \in \{111, 153, 371, 445\}$.
The near-miss $T_{551} = 152{,}076$ is rejected because split $152 \mid 076$ has a leading zero.
Problem 1: For a 5-digit number, all 4 splits fail by the digit-count argument. The only borderline case is 3|2, giving $N = 201k$ for $k \in [50, 99]$, but none of these are triangular. So: no 5-digit Matthews numbers.
Problem 2: $21k$ must be a 3-digit triangular number. Only $k = 5$ works ($21 \times 5 = 105 = T_{14}$).
Problem 3: $T_{1449} = 1{,}050{,}525$. Split: $1050 \mid 525$. $1050 = 2 \times 525$ β .
Problem 4: $20{,}001 = 3 \times 59 \times 113$ (three primes β $2^3 = 8$ CRT classes). $200{,}001 = 3 \times 66{,}667$ (factorise further for CRT class count).
Problem 5: For 5-digit numbers, the size constraints eliminate all asymmetric splits, and the 3|2 case yields no triangular numbers.
Problem 6: CRT classes grow as $2^{\omega(2 \times 10^d + 1)}$ where $\omega \sim \ln \ln(10^d) \approx \ln(d)$. So the class count grows polynomially in $d$.
This lecture was generated for a Math Circle session. See .copilot-instructions.md for authoring rules.
Source: FSJM, 38th competition, Challenge 18. Archives