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)を満たすように取れることを示せ。
ステップ 3/3: 巡回を閉じる
a1:  2 occurs k+n−1 times,1 occurs 2k−2(k+n−1) timesa_1:\;2\text{ occurs }k+n-1\text{ times},\quad 1\text{ occurs }2^k-2(k+n-1)\text{ times}
詳しい解説

表示した桁数をもつ a1a_1 を取る。これは 2k>2(k+n−1)2^k>2(k+n-1) とすれば可能である。このとき S(a1)=2kS(a_1)=2^k、P(a1)=2k+n−1P(a_1)=2^{k+n-1} である。ゆえに和は狭義に増加し、各 S(ai)S(a_i) は次の積に等しく、S(an)=P(a1)S(a_n)=P(a_1) となる。