已知 {an} 是由非负整数组成的无穷数列,该数列前 n 项的最大值记为 An,第 n 项之后各项 an+1,an+2,⋯ 的最小值记为 Bn,dn=An−Bn.
1、若 {an} 为 2,1,4,3,2,1,4,3,⋯,是一个周期为 4 的数列(即对任意 n∈N∗,an+4=an),写出 d1,d2,d3,d4 的值.
2、设 d 是非负整数,证明:dn=−d(n=1,2,3⋯)的充分必要条件为 {an} 是公差为 d 的等差数列.
3、证明:若 a1=2,dn=1(n=1,2,3,⋯),则 {an} 的项只能是 1 或者 2,且有无穷多项为 1.
解析
1、本题考查对新定义的理解,按照定义代入实际数据操作即可.
根据题意,有n12345678an21432143An22444444Bn11111111dn11333333 因此 d1=d2=1,d3=d4=3.
2、本题考查对新定义的理解和等差数列的性质,找到新定义与等差数列的递推定义之间的联系是解决问题的关键.
充分性 若 {an} 是公差为 d 的等差数列,则由于 d∈N,有a1⩽a2⩽⋯⩽an⩽⋯,从而An=an,Bn=an+1,从而dn=An−Bn=an−an+1=−d,充分性得证.
必要性 若 dn=−d,则根据题意,有{An⩾an,Bn⩽an+1,⟹An−Bn⩾an−an+1⟹−d⩾an−an+1⟹an⩽an+1,与在充分性的证明过程类似,有An=an,Bn=an+1,于是an+1−an=Bn−An=d,必要性得证.
综上所述,命题得证.
3、本题考查推理论证能力,对于“只能”“无穷”相关的命题用反证法得到比较强的条件进行推理论证是解决问题的关键.
记“{an} 的项只能是 1 或者 2”为命题 p,“{an} 有无穷多项为 1”为命题 q. 因为 a1=2,所以 A1=2,又 d1=1,于是 B1=1,因此有an⩾B1=1,n∈N∗.
命题 p 的证明. 若不然,假设 {an} 中第一次出现不为 1 和 2 的项为 am,则Am−1=2,Bm−1=Am−1−dm−1=1,而Am=am⩾3,Bm=Am−dm⩾2,而Bm−1=min矛盾.因此 \{a_n\} 的项只能是 1 或者 2.
命题 q 的证明. 若不然,假设 \{a_n\} 中最后一个为 1 的项为 a_t,那么当 n>t 时,有 a_n=2,则A_t=2,\quad B_t=2,进而 d_t=A_t-B_t=0,矛盾.因此 \{a_n\} 有无穷多项为 1.
综上所述,\left\{ {a_n} \right\} 的项只能是 1 或者 2 ,且有无穷多项为 1 .