已知等差数列{an}的通项公式为an=3n-2,等比数列{bn}中,b1=a1,b4=a3+1.记集合A={x|x=an,n∈N*},B={x|x=bn,n∈N*},U=A∪B,把集合U中的元素按从小到大依次排列,构成数列{cn}.
(Ⅰ)求数列{bn}的通项公式,并写出数列{cn}的前4项;
(Ⅱ)把集合∁UA中的元素从小到大依次排列构成数列{dn},求数列{dn}的通项公式,并说明理由;
(Ⅲ)求数列{cn}的前n项和Sn.
【答案】
分析:(I)根据等比数列的通项公式,算出b
n=2
n-1,从而得到数列{b
n}的前4项,再与{a
n}的前4项加以对照即可得到数列{c
n}的前4项;
(II)根据补集定义,得到数列{d
n}前4项分别为2、8、32、128,从而猜测{d
n}的通项公式为d
n=2
2n-1.然后加以证明:注意到d
n=b
2n,所以只需证明数列{b
n}中b
2n-1∈A且b
2n∉A.一方面b
2n+1-b
2n-1=4
n-4
n-1=3×4
n-1,从而b
2n+1=b
2n-1+3×4
n-1,结合整数的整除理论证出“若b
2n-1∈A,则b
2n+1∈A”,由此结合b
1∈A实施递推可得b
2n-1∈A;另一方面通过作差,证出b
2n+2=b
2n+3×2×4
n-1,根据“3×2×4
n-1”等于{a
n}的公差3k(k∈Z)倍,结合整数的整除理论可得b
2n 与b
2n+2要么同时属于A,要么同时不属于A,结合b
2=2∉A可得b
2n∉A.由以上两方面相综合,即可得到数列{d
n}的通项公式为d
n=2
2n-1;
(III)分两种情况:①当n=1时,根据{c
n}的定义易得S
1=1;②当n≥2时由(Ⅱ)的结论可得:{b
n}中的奇数项b
2n-1∈A,而偶数项b
2n∉A,因此发现存在整数k<n使
成立,再讨论整数k与n的关系算出
.由以上的讨论,即可得出数列{c
n}的前n项和S
n的表达式.
解答:解:(Ⅰ)设等比数列{b
n}的公比为q,
∵b
1=a
1=1,b
4=a
3+1=8,则q
3=8,∴q=2,∴b
n=2
n-1,…(2分)
∵数列{a
n}的前4项为1,4,7,10,数列{b
n}的前4项为1,2,4,8,
∴数列{c
n}的前4项为1,2,4,7; …(3分)
(Ⅱ)根据集合B中元素2,8,32,128∉A,猜测数列{d
n}的通项公式为d
n=2
2n-1.…(4分)
∵d
n=b
2n,∴只需证明数列{b
n}中,b
2n-1∈A,b
2n∉A(n∈N
*).
证明如下:
∵b
2n+1-b
2n-1=2
2n-2
2n-2=4
n-4
n-1=3×4
n-1,即b
2n+1=b
2n-1+3×4
n-1,
若?m∈N
*,使b
2n-1=3m-2,那么b
2n+1=3m-2+3×4
n-1=3(m+4
n-1)-2,
所以若b
2n-1∈A,则b
2n+1∈A.因为b
1∈A,重复使用上述结论,即得b
2n-1∈A(n∈N
*).
同理,b
2n+2-b
2n=2
2n+1-2
2n-1=2×4
n-2×4
n-1=3×2×4
n-1,即b
2n+2=b
2n+3×2×4
n-1,
因为“3×2×4
n-1”等于数列{a
n}的公差3的整数倍,由此说明b
2n 与b
2n+2(n∈N
*)同时属于A或同时不属于A,
当n=1时,显然b
2=2∉A,即有b
4=2∉A,重复使用上述结论,即得b
2n∉A,
∴综上所述,可得数列{d
n}的通项公式为d
n=2
2n-1; …(8分)
(Ⅲ)(1)当n=1时,所以因为b
1=a
1=1,所以S
1=1; …(9分)
(2)当n≥2时,由(Ⅱ)知,数列{b
n}中,b
2n-1∈A,b
2n∉A,
则?k∈N
*,且k<n,使得
=
.…(11分)
下面讨论正整数k与n的关系:
数列{c
n}中的第n项不外乎如下两种情况:
①b
2k=c
n或者②a
n-k=c
n,
若①成立,即有3(n-k)-2<2
2k-1<3(n-k+1)-2,
若②成立,即有2
2k-1<3(n-k)-2<2
2k+1,
∴
或者
,
显然
=
N
*,可得
.
综上所述,得S
n的表达式为
.…(14分)
点评:本题给出成等差数列和成等比数列的两个数列,将两个数列构成的集合并集中的项按从小至大的顺序排列,得到新的数列并求这个新数列的前n项和.着重考查了等差数列、等比数列的通项公式,等差数列、等比数列的前n项和公式,考查了分类讨论的数学思想和数列中的猜想、类比与递推的思想,对数学的综合能力要求较高,属于难题.