设数列 {an},{bn},{cn} 满足 an+1=|bn−cn|,bn+1=|cn−an|,cn+1=|an−bn|,n∈N.证明:对于任意正整数 a1,b1,c1,存在正整数 k,使得 ak+1=ak,bk+1=bk,ck+1=ck.
解析 对任意正整数 n,用 An,Bn,Cn 表示 an,bn,cn 的升序排列.下面证明:
引理 存在正整数 n,使得 An,Bn,Cn 中至少有两个相等,即 An=Bn⩽Cn,或者 An⩽Bn=Cn. 若不然,则对任意正整数 n,都有 An<Bn<Cn,于是An+1=min且 C_{n+1}=C_n-A_n\leqslant C_n.进而C_{n+2}=C_{n+1}-A_{n+1}\leqslant C_n-1,这样对任意正整数 k,均有C_{2k+1}\leqslant C_1-k,而当 k>C_1 时,这显然不成立.因此引理得证. 根据引理不难得到接下来的 (A_{n+1},B_{n+1},C_{n+1})=(A_{n+2},B_{n+2},C_{n+2}),因此命题得证.