每日一题[1624]循环作差

设数列 {an},{bn},{cn} 满足 an+1=|bncn|bn+1=|cnan|cn+1=|anbn|nN.证明:对于任意正整数 a1,b1,c1,存在正整数 k,使得 ak+1=akbk+1=bkck+1=ck

解析    对任意正整数 n,用 An,Bn,Cn 表示 an,bn,cn 的升序排列.下面证明:

引理    存在正整数 n,使得 An,Bn,Cn 中至少有两个相等,即 An=BnCn,或者 AnBn=Cn. 若不然,则对任意正整数 n,都有 An<Bn<Cn,于是An+1=minC_{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}),因此命题得证.

此条目发表在每日一题分类目录,贴了标签。将固定链接加入收藏夹。

发表回复