MathLabs

第1問

正の整数 mm に対し、S(m)S(m) と P(m)P(m) をそれぞれ mm の各桁の和と積とする。任意の正の整数 nn に対し、a1,a2,…,ana_1,a_2,\ldots,a_n が S(a1)<S(a2)<⋯<S(an)S(a_1)<S(a_2)<\cdots<S(a_n) および S(ai)=P(ai+1)S(a_i)=P(a_{i+1})(i=1,2,…,ni=1,2,\ldots,n、ただし an+1=a1a_{n+1}=a_1)を満たすように取れることを示せ。
ステップ 1/3: 中央の数を構成する
ai:  2 occurs k+i−2 times,1 occurs 2k+i−1−2(k+i−2) times(2≤i≤n)a_i:\;2\text{ occurs }k+i-2\text{ times},\quad 1\text{ occurs }2^{k+i-1}-2(k+i-2)\text{ times}\quad(2\le i\le n)
詳しい解説

十分大きい正整数 k を選ぶ。2 から n まで、a_i の桁を 2 と 1 だけで構成し、表示した個数だけ現れるようにする。k を十分大きくすれば 1 の個数は非負である。