对于每项均是正整数的数列A：a1，a2，…，an，定义变换T1，T1将数列A变换成数列T1（A）：n，a1-1，a2-1，…，an-1． 对于每项均是非负整数的数列B：b1，b2，…，bm，定义变换T

题目

对于每项均是正整数的数列A：a₁，a₂，…，a_n，定义变换T₁，T₁将数列A变换成数列T₁（A）：n，a₁-1，a₂-1，…，a_n-1．
对于每项均是非负整数的数列B：b₁，b₂，…，b_m，定义变换T₂，T₂将数列B各项从大到小排列，然后去掉所有为零的项，得到数列T₂（B）．
又定义S（B）=2（b₁+2b₂+…+mb_m）+b₁²+b₂²+…+b_m²．
设A₀是每项均为正整数的有穷数列，令A_k+1=T₂（T₁（A_k））（k=0，1，2，…）．
（Ⅰ）如果数列A₀为2，6，4，8，写出数列A₁，A₂；
（Ⅱ）对于每项均是正整数的有穷数列A，证明S（T₁（A））=S（A）；
（Ⅲ）证明：对于任意给定的每项均为正整数的有穷数列A₀，存在正整数K，当k≥K时，S（A_k+1）=S（A_k）．

答案

（Ⅰ）A₀：2，6，4，8，T₁（A₀）：4，1，5，7，3，A₁：7，5，4，3，1；T₁（A₁）：7，5，4，3，1，T₁（A₁）：5，6，3，4，2，0，∴A₂：6，5，4，3，2．
（Ⅱ）证明：设每项均是正整数的有穷数列A为a₁，a₂，…，a_n，
则T₁（A）为n，a₁-1，a₂-1，…，a_n-1，
从而S（T₁（A））=2[n+2（a₁-1）+3（a₂-1）+…+（n+1）（a_n-1）]+n²+（a₁-1）²+（a₂-1）²+…+（a_n-1）²．
又S（A）=2（a₁+2a₂+…+na_n）+a₁²+a₂²+…+a_n²，
所以S（T₁（A））-S（A）=2[n-2-3-…-（n+1）]+2（a₁+a₂+…+a_n）+n²-2（a₁+a₂+…+a_n）+n=-n（n+1）+n²+n=0，
故S（T₁（A））=S（A）．
（Ⅲ）证明：设A是每项均为非负整数的数列a₁，a₂，a_n．
当存在1≤i＜j≤n，使得a_i≤a_j时，交换数列A的第i项与第j项得到数列B，
则S（B）-S（A）=2（ia_j+ja_i-ia_i-ja_j）=2（i-j）（a_j-a_i）≤0．
当存在1≤m＜n，使得a_m+1=a_m+2═a_n=0时，若记数列a₁，a₂，a_m为C，
则S（C）=S（A）．
所以S（T₂（A））≤S（A）．
从而对于任意给定的数列A₀，由A_k+1=T₂（T₁（A_k））（k=0，1，2，）
可知S（A_k+1）≤S（T₁（A_k））．
又由（Ⅱ）可知S（T₁（A_k））=S（A_k），所以S（A_k+1）≤S（A_k）．
即对于k∈N，要么有S（A_k+1）=S（A_k），要么有S（A_k+1）≤S（A_k）-1．
因为S（A_k）是大于2的整数，所以经过有限步后，必有S（A_k）=S（A_k+1）=S（A_k+2）=0．
即存在正整数K，当k≥K时，S（A_k+1）=S（A）．