MathLabs

Bài 1

Với số nguyên dương mm, ký hiệu S(m)S(m) và P(m)P(m) lần lượt là tổng và tích các chữ số của mm. Chứng minh rằng với mọi số nguyên dương nn, tồn tại các số nguyên dương a1,a2,…,ana_1,a_2,\ldots,a_n thỏa mãn S(a1)<S(a2)<⋯<S(an)S(a_1)<S(a_2)<\cdots<S(a_n) và S(ai)=P(ai+1)S(a_i)=P(a_{i+1}) với i=1,2,…,ni=1,2,\ldots,n, trong đó an+1=a1a_{n+1}=a_1.
Bước 3 trên 3: Khép chu trình
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}
Phân tích chi tiết

Chọn a1a_1 với số chữ số như công thức; điều này thực hiện được khi 2k>2(k+n−1)2^k>2(k+n-1). Khi đó S(a1)=2kS(a_1)=2^k và P(a1)=2k+n−1P(a_1)=2^{k+n-1}. Vì vậy các tổng tăng nghiêm ngặt, mỗi S(ai)S(a_i) bằng tích kế tiếp, và S(an)=P(a1)S(a_n)=P(a_1), nên mọi yêu cầu đều đúng.