● (砀山中学 安徽砀山 235300)
2012年安徽省数学高考理科压轴题的探究
●胡云浩(砀山中学 安徽砀山 235300)

(1)证明:{xn}是单调递减数列的充分必要条件是c<0;
(2)求c的取值范围,使数列{xn}是单调递增数列.
(2012年安徽省数学高考理科试题)
这道安徽省的高考压轴题考查了函数、数列、不等式等有关知识,综合性大、技巧性强、内蕴深厚,是一道既考知识又考能力的好试题.本题的2个小题一证一求,都与数列单调性的充要条件有关.对于考查数列单调性的问题,近年来的高考试题与竞赛题多有出现,而目前流行的解法都是就题论题,没有给出通法.本文将从函数的观点来揭示此类问题的命制思路,并给出求解通法.
为行文方便,约定:若数列{an}由初始值a1与递推式an+1=f(an)给出,则称函数y=f(x)为数列{an}的“原函数”.
定理1已知数列{an}的“原函数”y=f(x)在区间A上为增函数,an∈A.如果f(x)>x,f(x)=x,f(x) (1){an}为递增数列的充分必要条件是an∈A1; (2){an}为常数数列的充分必要条件是an∈A0; (3){an}为递减数列的充分必要条件是an∈A2. 结论较浅显,请读者自行证明. 定理2已知数列{an}的“原函数”y=f(x)在区间A上为增函数,an∈A.如果f(x)>x,f(x)=x,f(x) (1){an}为递增数列的充分必要条件是a1∈A1; (2){an}为常数数列的充分必要条件是a1∈A0; (3){an}为递减数列的充分必要条件是a1∈A2. 证明(1)(必要性) 因为{an}为递增数列,所以 an+1>an, 即 f(an)>an, 则 an∈A1, 因此 a1∈A1. (充分性) 用数学归纳法. 当n=1时,因为a1∈A1,所以 f(a1)>a1, 即 a2>a1. 假设当n=k时,结论成立,即 ak+1>ak. 当n=k+1时, ak+2=f(ak+1)>f(ak)=ak+1, 即 ak+2>ak+1. 由此可知,对于任意正整数n,都有an+1>an,即{an}为递增数列. (2)和(3)同理可证. 评注(1)定理中条件“函数y=f(x)为增函数”不可缺少,否则数列{an}不单调(易证). (2)从充分性的证明中可看出:当a1∈……