Maths Olympiad Prep

Library / IMO Selection /5 of 10

IMO Selection

Combinatorics Difficulty 8.2 Shortlist Prove it Switzerland

Problem:

Let nn be a positive integer. Prove that there exists a finite sequence SS consisting of only zeros and ones, satisfying the following property: For any positive integer d≥2d \geq 2, when SS is interpreted as a number in base dd, the resulting number is non-zero and divisible by nn.

Remark: The sequence S=sksk−1⋯s1s0S=s_{k} s_{k-1} \cdots s_{1} s_{0} interpreted in base dd is the number ∑i=0ksidi\sum_{i=0}^{k} s_{i} d^{i}.

Solutions — 2

Solution 1

Solution:

Working in any base d≥2d \geq 2, by pigeonhole, two of the numbers
1,11,111,…,11⋯11⏞n+1 1, 11, 111, \ldots, \overbrace{11 \cdots 11}^{n+1}
have the same residue  mod n\bmod n. Therefore their difference
D=11⋯11⏞t00⋯00⏞k with k,t≤n D = \overbrace{11 \cdots 11}^{t} \overbrace{00 \cdots 00}^{k} \text{ with } k, t \leq n
is divisible by nn in base dd. But then also
n∣D⋅dn−k⋅(1+dt+d2t+⋯+dn!−t)=11⋯11⏞n!00⋯00⏞n n \mid D \cdot d^{n-k} \cdot \left(1 + d^{t} + d^{2t} + \cdots + d^{n!-t}\right) = \overbrace{11 \cdots 11}^{n!} \overbrace{00 \cdots 00}^{n}
in base dd. But the representation of this number is independent of dd, hence we have found our sequence of zeros and ones.

Solution 2

Solution:

It suffices to find a non-empty, finite set σ∈N\sigma \in \mathbb{N} such that
n∣∑s∈σds n \mid \sum_{s \in \sigma} d^{s}
for all d≥2d \geq 2. Consider the set σ={φ(n),2φ(n),…,nφ(n)}\sigma = \{\varphi(n), 2\varphi(n), \ldots, n\varphi(n)\}. For d≥2d \geq 2, if (d,n)=1(d, n) = 1:
∑s∈σds=∑k=1n(dφ(n))k=n \sum_{s \in \sigma} d^{s} = \sum_{k=1}^{n} \left(d^{\varphi(n)}\right)^{k} = n
Else, if g=(d,n)≠1g = (d, n) \neq 1, let n=xyn = x y with (x,y)=(y,d)=1(x, y) = (y, d) = 1 and yy maximal:
∑s∈σds=∑k=1n(dφ(n))k≡dφ(n)(dnφ(n)−1)dφ(n)−1≡0 mod x \sum_{s \in \sigma} d^{s} = \sum_{k=1}^{n} \left(d^{\varphi(n)}\right)^{k} \equiv \frac{d^{\varphi(n)}\left(d^{n\varphi(n)}-1\right)}{d^{\varphi(n)}-1} \equiv 0 \quad \bmod x
which makes sense, as dφ(n)−1d^{\varphi(n)}-1 is coprime to xx, and true since vp(x)≤vp(n)≤φ(n)v_{p}(x) \leq v_{p}(n) \leq \varphi(n) (ask raphi for an elaborate explanation). And yy divides this sum by the first argument as above. Now n=xyn = x y divides the sum since (x,y)=1(x, y) = 1.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.