MathLabs

Problem 5

Let nn be a positive integer. A Japanese triangle consists of 1+2+⋯+n1+2+\cdots+n circles arranged in an equilateral triangular shape such that for each i=1,2,…,ni=1,2,\ldots,n, the ii-th row contains exactly ii circles, exactly one of which is colored red. A ninja path in a Japanese triangle is a sequence of nn circles obtained by starting in the top row, then repeatedly going from a circle to one of the two circles immediately below it, and finishing in the bottom row. In terms of nn, find the greatest kk such that in each Japanese triangle there is a ninja path containing at least kk red circles.
Step 2 of 5: A doubling construction limits every path
In plain words

Grouping the rows into blocks of sizes 1, 2, 4, ..., 2^(e-1) and placing the red circles so that a single downward path can only ever pass one red circle per block caps the total at one red circle per block.

n=2e−1  ⟹  some triangle admits no path with more than e red circlesn=2^e-1\implies\text{some triangle admits no path with more than } e \text{ red circles}
Detailed analysis

For n=2e−1n=2^e-1, split the rows into ee consecutive groups of sizes 1,2,4,…,2e−11,2,4,\ldots,2^{e-1} (rows 11; rows 22–33; rows 44–77; …; rows 2e−12^{e-1}–2e−12^e-1). Within each group the red circles can be positioned (as in the official figures) so that any ninja path, once it commits to a branch inside a group, cannot reach the other red circles of that same group before leaving it. Hence a ninja path meets at most one red circle per group, i.e. at most e=⌊log⁡2n⌋+1e=\lfloor\log_2n\rfloor+1 red circles in total, showing kk cannot exceed this value.