数列{an}的各项均为正值，a1，对任意n∈N*，，bn=log2（an+1）都成立．（1）求数列{an}，{bn}的通项公式；（2）当k＞7且k∈N*时，证明

题型：四川省月考题难度：来源：

数列{a_n}的各项均为正值，a₁，对任意n∈N*，，b_n=log₂（a_n+1）都成立．
（1）求数列{a_n}，{b_n}的通项公式；
（2）当k＞7且k∈N*时，证明对任意n∈N*都有成立．

答案

解：（1）由，得
（a _n+1+2a_n+1）（a _n+1﹣2a_n﹣1）=0，
数列{a_n}的各项为正值，a _n+1+2a_n+1＞0，
∴a _n+1=2a_n+1，
∴a _n+1+1=2（a_n+1），
∵a₁+1=2≠0，
∴数列{a_n+1}为等比数列．
∴，，即为数列{a_n}的通项公式．
∵b_n=log₂（an+1），
∴．
（2）设S==，
∴2S=（）+（）+（）+…+（），
当x＞0，y＞0时，x+y，，
∴（x+y）（）≥4，
∴，当且仅当x=y时等号成立．
在2S=（）+（）+（）+…+（）中，k＞7，n＞0，n+1，n+2，…，nk﹣1全为正，
所以2S＞+=，
∴S＞＞=2（1﹣）＞2（1﹣）=，
故对任意的n∈N*都有成立．