若数列{an}满足:存在正整数T,对于任意正整数n都有an+T=an成立,则称数列{an}为周期数列,周期为T.已知数列{an}满足a1=m(m>0),an+1={an−1,an>1,1an,0<an⩽1.则下列结论中错误的是( )
A.若a3=4,则m可取3个不同的值
B.若m=√2,则数列{an}是周期为3的数列
C.∀T∈N∗且T⩾2,存在m>1,使得{an}是周期为T的数列
D.∃m∈Q且m⩾2,使得数列{an}是周期数列
正确答案是 D.
解 对于 A,有a2=5,14,从而a1=m=6,15,54,A 正确;
对于 B,数列{an}为√2,√2−1,√2+1,√2,√2−1,⋯,于是数列{an}的周期为3,正确;
对于 C,D,先考虑数列{an}的周期性:
如果a1=k+α,k∈N,0<α⩽1,则a2=k−1+α,a3=k−2+α,⋯,ak+1=α.要使得数列{an}有周期性,只需要ak+2=1α=a1=k+α,因为方程1α=k+α即α2+kα−1=0的正解α=−k+√k2+42∈(0,1],故α一定存在,从而存在m=k+α,使得数列{an}的周期为k+1.
于是对于 C,为了使得数列的周期为T,只需要取k=T−1⩾1,α=−k+√k2+42即可,此时m>1,C 正确;
对于 D,假设存在符合要求的m,那么数列中每一项均为有理数,设an的最简分数形式为an=pnqn,其中n∈N∗.显然若存在qk=1,那么数列{an}必然不为周期数列,因此数列中每一项的分母均不小于2.考虑到当出现某一项为上一项的倒数时,其分母必然减小,因此经过足够长的有限次运算后,必然存在某个qN=1,矛盾.因此不存在符合要求的m.
注 本题为2013年北京市海淀区高考二模选择压轴题.