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) 且当 i=1,2,…,ni=1,2,\ldots,n 时 S(ai)=P(ai+1)S(a_i)=P(a_{i+1}),其中 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),全部条件成立。