对于每项均是正整数的数列
A:
a1,
a2,…,
an,定义变换
T1,
T1将数列
A变换成数列
T1(
A):
n,
a1-1,
a2-1,…,
an-1.对于每项均是非负整数的数列
B:
b1,
b2,…,
bm,定义变换
T2,
T2将数列
B各项从大到小排列,然后去掉所有为零的项,得到数列
T2(
B).又定义
S(
B)=2(
b1+2
b2+…+
mbm)+

+

+…+

.设
A0是每项均为正整数的有穷数列,令
Ak+1=
T2(
T1(
Ak))(
k=0,1,2,…).
(1)如果数列
A0为2,6,4,8,写出数列
A1,
A2;
(2)对于每项均是正整数的有穷数列
A,证明:
S(
T1(
A))=
S(
A);
(3)证明:对于任意给定的每项均为正整数的有穷数列
A0,存在正整数
K,当
k≥
K时,
S(
Ak+1)=
S(
Ak).