πŸ”’ Matthews Numbers β€” When Triangular Numbers Play the Splitting Game

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


Part 0 β€” Warm-Up: Stacking Bowling Pins (10 min)

The Big Idea

"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

Quick Practice (hands up β€” shout it out!)

Row count $n$Triangular number $T_n = 1+2+\cdots+n$
11
21 + 2 = 3
31 + 2 + 3 = 6
41 + 2 + 3 + 4 = 10
51 + 2 + 3 + 4 + 5 = ?
61 + 2 + … + 6 = ?
101 + 2 + … + 10 = ?

βœ‹ "Adding all those numbers gets tedious. Is there a shortcut?"

The Gauss Trick β€” A Shortcut Formula

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:

PositionTopBottomColumn sum
1st11011
2nd2911
3rd3811
4th4711
5th5611
6th6511
7th7411
8th8311
9th9211
10th10111

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$.

Key Rule

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!) βœ…

Part 1 β€” The Simplified Version: Digit Splitting (β‰ˆ 15–20 min)

Setting the Scene

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?"

Worked Examples

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$ βœ….

NumberSplitLeftRightLeft = 2 Γ— Right?
212 | 121$2 = 2 \times 1$ βœ…
424 | 242$4 = 2 \times 2$ βœ…
10510 | 5105$10 = 2 \times 5$ βœ…
221122 | 112211$22 = 2 \times 11$ βœ…
904590 | 459045$90 = 2 \times 45$ βœ…

✍️ Work in pairs for 3 minutes: Find at least 3 more numbers with a double split.

Hint: some more examples

$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$. βœ…

The Key Insight β€” Structure of "Double-Split" Numbers

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
21$2 \times 10 + 1 = 21$$21 \times 1 = 21$
42$2 \times 100 + 1 = 201$$201 \times 11 = 2{,}211$
63$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.


Part 2 β€” The Real Challenge ⭐ (β‰ˆ 20–25 min)

The Problem

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-by-Step Guided Discovery

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.

NumberSplitCheck $L = 2R$Is it $T_n$?
212 | 1$2 = 2 \times 1$ βœ…$T_6 = \frac{6 \times 7}{2} = 21$ βœ…
10510 | 5$10 = 2 \times 5$ βœ…$T_{14} = \frac{14 \times 15}{2} = 105$ βœ…
2,21122 | 11$22 = 2 \times 11$ βœ…$T_{66} = \frac{66 \times 67}{2} = 2{,}211$ βœ…
9,04590 | 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.

Dead-End: Why "Just Searching" Is Painful

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!


β˜• Break (5 min)


Part 3 β€” Theory & Formalisation (β‰ˆ 15–20 min)

Tool 1: Testing Whether a Number Is Triangular

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.

Worked Example

Is $N = 222{,}111$ triangular?

Tool 2: Why Consecutive Integers Are Coprime

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.

Tool 3: What About the Factor of 2?

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)$?

Tool 4: The Chinese Remainder Theorem (CRT)

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!)

How We'll Use CRT

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.


Solution 1 β€” Brute-Force Enumeration Bronze

Setting Up the Range

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$.

The Search

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$
111222,111$1{,}776{,}889$$1{,}333$$1333^2 = 1{,}776{,}889$ βœ…$666$
153306,153$2{,}449{,}225$$1{,}565$$1565^2 = 2{,}449{,}225$ βœ…$782$
371742,371$5{,}938{,}969$$2{,}437$$2437^2 = 5{,}938{,}969$ βœ…$1{,}218$
445890,445$7{,}123{,}561$$2{,}669$$2669^2 = 7{,}123{,}561$ βœ…$1{,}334$

All other $k$ values in $[100, 499]$ fail.

Verification

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}$


Solution 2 β€” Algebraic Modular Analysis Silver

Key Observation

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$.

Setting Up the 8 Systems

Choice labelFor $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}$

Solving the Systems (detailed)

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. ❌

Summary Table

#$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}$


Solution 3 β€” Factor-Assignment Method Gold

Setup

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-by-Case Search

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}$


Solution 4 β€” The Perfect-Square Reformulation Diamond (optional)

Setup

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}$.

The Equation

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?
010❌
5511,10376❌ (leading 0)
6661,333111βœ…
7821,565153βœ…
1,2182,437371βœ…
1,3342,669445βœ…
1,4492,899525❌ ($k > 499$)
2,0004,0011,000❌ ($k > 499$)

Result: $\boxed{222{,}111 \quad 306{,}153 \quad 742{,}371 \quad 890{,}445}$


Summary β€” The Answer

The Four Six-Digit Matthews Numbers

$n$$T_n$Split$k$Verification
666222,111$222 \mid 111$111$222 = 2 \times 111$ βœ…
782306,153$306 \mid 153$153$306 = 2 \times 153$ βœ…
1,218742,371$742 \mid 371$371$742 = 2 \times 371$ βœ…
1,334890,445$890 \mid 445$445$890 = 2 \times 445$ βœ…

Why Are There Exactly 4 (and Not 8)?

Of the 8 possible CRT solutions modulo 2001, four are eliminated:

  1. $n = 0$ and $n = 2001$: $T_n$ is not a 6-digit number (too small / out of range).
  2. $n = 1449$ and $n = 2000$: $T_n$ has 7 digits (too large).
  3. $n = 551$: the split gives $152 \mid 076$ β€” leading zero disqualifies it.

Complete List of Matthews Numbers (all digit lengths)

Digits$T_n$$n$Split$k$
2216$2 \mid 1$β€”
310514$10 \mid 5$β€”
42,21166$22 \mid 11$11
49,045134$90 \mid 45$45
6222,111666222 | 111111
6306,153782306 | 153153
6742,3711,218742 | 371371
6890,4451,334890 | 445445
71,050,5251,449$1050 \mid 525$β€”

Why Multiple Solutions?

MethodKey IdeaPrerequisites
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

Extensions & Challenge Problems 🧩

πŸ₯‰ Bronze

  1. Five-digit Matthews numbers. Are there any 5-digit triangular numbers with a valid double split? Hint: Check all 4 possible splits (1|4, 2|3, 3|2, 4|1) using the size argument from Part 2.
  2. Three-digit check. Verify that $T_{14} = 105$ is the only 3-digit Matthews number. Hint: for a 1|2 split, the structure constant is $21$.

πŸ₯ˆ Silver

  1. Seven digits. Verify that $T_{1449} = 1{,}050{,}525$ is a Matthews number. Find all 7-digit Matthews numbers.
  2. Generalise the constant. Factorise $20{,}001$ and $200{,}001$. What does this tell you about 8- and 10-digit Matthews numbers?

πŸ₯‡ Gold

  1. Odd-digit impossibility? Show algebraically that no split position allows a valid 5-digit double split.
  2. The density question. As $d \to \infty$, does the count of $2d$-digit Matthews numbers grow, stay constant, or vanish?

πŸŽ“ Diamond (optional)

  1. Triple split. Define $A|B|C$ with $A = 3C$, $B = 2C$. Find all triangular triple-split numbers up to 9 digits.
  2. General ratio. Replace "twice" with "$r$ times" ($r \ge 2$). For which $r$ do infinitely many triangular $r$-split numbers exist?

Answer Key (for instructors)

Main Problem β€” Six-digit Matthews Numbers

The four six-digit Matthews numbers are:

  1. $T_{666} = \mathbf{222{,}111}$ β€” split $222 \mid 111$
  2. $T_{782} = \mathbf{306{,}153}$ β€” split $306 \mid 153$
  3. $T_{1218} = \mathbf{742{,}371}$ β€” split $742 \mid 371$
  4. $T_{1334} = \mathbf{890{,}445}$ β€” split $890 \mid 445$

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.

Bronze Extensions

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}$).

Silver Extensions

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).

Gold Extensions

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