题目内容
数列{an}是首项为a1,公差为d的等差数列,若数列{an}中任意不同的两项之和仍是该数列的一项,则称该数列是“封闭数列”(1)试写出一个不是“封闭数列”的等差数列的通项公式,并说明理由;
(2)求证:数列{an}为“封闭数列”的充分必要条件是存在整数m≥-1,使a1=md.
分析:(1)写出一个数列不是封闭数列的等差数列的通项公式,要利用条件中所给的任意不同的两项之和仍是该数列的一项进行验证,得到与事实矛盾的结果.
(2)要证明充分必要条件的问题,本题需要从两个方面来证明,一是证明充分性,二是证明必要性,证明时注意所取得数列的项来验证时,项要具有一般性.
(2)要证明充分必要条件的问题,本题需要从两个方面来证明,一是证明充分性,二是证明必要性,证明时注意所取得数列的项来验证时,项要具有一般性.
解答:解(1)如数列an=2n-7(n∈N*)不是“封闭数列”,---(1分)
∵a1=-5,a2=-3,∴a1+a2=-8,-------------------(2分)
依题,?n∈N*,使an=-8--------------(3分)
即2n-7=-8⇒n=-
∉N*,--------------(4分)
这与n∈N*矛盾
所以数列an=2n-7(n∈N*)不是封闭数列;--------------(5分)
(2)证明:(必要性)若存在整数m≥-1,使a1=md,则任取等差数列的两项as,at(s≠t),
于是as+at=a1+(s-1)d+md+(t-1)d=a1+(s+m+t-2)d=as+m+t-1--------(2分)
由于s+t≥3,m≥-1,∴s+t+m-1∈N*为正整数,-------------------(3分)
∴as+m+t-1∈{an},∴{an}是封闭数列------(4分)
(充分性)任取等差数列的两项as,at(s≠t),若存在ak使as+at=ak,
则2a1+(s+t-2)d=a1+(k-1)d⇒a1=(k-s-t+1)d--------------------(6分)
故存在m=k-s-t+1∈Z,使a1=md,--------------------(7分)
下面证明m≥-1.
当d=0时,显然成立.--------------------(8分)
对d≠0,若m<-1,则取p=-m≥2,对不同的两项a1和ap,存在aq使a1+ap=aq,
即2md+(-m-1)d=md+(q-1)d⇒qd=0,这与q>0,d≠0矛盾,
故存在整数m≥-1,使a1=md.--------------------------(9分)
∵a1=-5,a2=-3,∴a1+a2=-8,-------------------(2分)
依题,?n∈N*,使an=-8--------------(3分)
即2n-7=-8⇒n=-
1 |
2 |
这与n∈N*矛盾
所以数列an=2n-7(n∈N*)不是封闭数列;--------------(5分)
(2)证明:(必要性)若存在整数m≥-1,使a1=md,则任取等差数列的两项as,at(s≠t),
于是as+at=a1+(s-1)d+md+(t-1)d=a1+(s+m+t-2)d=as+m+t-1--------(2分)
由于s+t≥3,m≥-1,∴s+t+m-1∈N*为正整数,-------------------(3分)
∴as+m+t-1∈{an},∴{an}是封闭数列------(4分)
(充分性)任取等差数列的两项as,at(s≠t),若存在ak使as+at=ak,
则2a1+(s+t-2)d=a1+(k-1)d⇒a1=(k-s-t+1)d--------------------(6分)
故存在m=k-s-t+1∈Z,使a1=md,--------------------(7分)
下面证明m≥-1.
当d=0时,显然成立.--------------------(8分)
对d≠0,若m<-1,则取p=-m≥2,对不同的两项a1和ap,存在aq使a1+ap=aq,
即2md+(-m-1)d=md+(q-1)d⇒qd=0,这与q>0,d≠0矛盾,
故存在整数m≥-1,使a1=md.--------------------------(9分)
点评:本题考查一个新定义的问题,本题解题的关键是理解所定义的封闭数列具有的性质,注意这个性质的应用和等差数列本身性质的应用,本题是一个中档题目.
![](http://thumb.zyjl.cn/images/loading.gif)
练习册系列答案
相关题目
如果一个数列的通项公式是an=k•qn(k,q为不等于零的常数)则下列说法中正确的是( )
A、数列{an}是首项为k,公比为q的等比数列 | B、数列{an}是首项为kq,公比为q的等比数列 | C、数列{an}是首项为kq,公比为q-1的等比数列 | D、数列{an}不一定是等比数列 |