各项均为正整数的数列{an},满足an+1=an+bn,其中bn是an的末位数字,下列关于数列{an}的说法正确的是( )
A.如果a1是5的倍数,那么数列{an}与数列{2n}必有相同的项
B.如果a1不是5的倍数,那么数列{an}与数列{2n}必没有相同的项
C.如果a1不是5的倍数,那么数列{an}与数列{2n}只有有限个相同的项
D.如果a1不是5的倍数,那么数列{an}与数列{2n}有无穷多个相同的项
正确答案是D.
分析与解 如果a1是5的倍数,那么{bn}为0,0,0,⋯或5,0,0,⋯,而2的方幂不可能以5或0结尾,因此{an}中的任何一项都不在数列{2n}中;如果a1不是5的倍数,那么{bn}从第二项起必然进入2,4,8,6,2,4,8,6,⋯的循环(进入时的数字和b1有关),必然存在am=4k,其中k∈N∗.此时取与2k尾数相同的2的方幂,设为2p,则有2p=10q+2k,
其中p,q∈N∗.这样就有am=4k=2p+1−20q,
也就是说am经过q轮+2+4+8+6后必然得到2p+1.由于符合要求的p有无穷多个,因此数列{an}与数列{2n}有无穷多个相同的项.
注 本题解决思路是:循环一次(+2+4+8+6)后,数列中的数增加20,如果每次增加的是10,那么只要找个位数相同的2的较大的方幂即可.现在考虑将所有的数除以2再寻找个位数相同的2的方幂,对原来的数先做一个筛选,即选择4的倍数,这样除以2之后尾数仍然为2,4,6,8中的某个,问题解决.