Question

设a_n为常数，且a_n=3^n-1-2a_n-1（n∈N^*）．
（1）证明对任意n≥1，有；
（2）假设对任意n≥1有a_n＞a_n-1，求a的取值范围．

Answer

（1）选择利用数学归纳法为妥，需要注意的是有归纳假设ak到ak+1的变形，利用归纳假设，注意目标的形式就能得到结果；另外可以利用递推数列来求得通项公式，当然需要对递推数列的an+1=pan+f（n）这种形式的处理要合适；这种形式的一般处理方法是：两边同时除以pn+1或者是构造一个等比数列，构造法有一定的技巧，如本题可设an-a3n=-2（an-1-a3n-1），
（2）由（1）的结论可作差an-an-1＞0并代入运算，由于含有（-1）n的形式要注意对n=2k-1和n=2k进行讨论，只需取k=1，2时得到a的取值范围即可，另外一个思路是只需取n=1，2时得到a的范围，然后分n=2k-1和n=2k进行证明an-an-1＞0．具体解法参见参考答案．
【解析】
（1）证法一：
（i）当n=1时，由已知a1=1-2a，等式成立；
（ii）假设当n=k（k≥1）等式成立，
则，
那么
=．
也就是说，当n=k+1时，等式也成立．
根据（i）和（ii），可知等式对任何n∈N，成立．

证法二：如果设an-a3n=-2（an-1-a3n-1），
用an=3n-1-2an-1代入，可解出．
所以是公比为-2，
首项为的等比数列．
∴．
即．

（2）解法一：由an通项公式．
∴an＞an-1（n∈N）等价于．①
（i）当n=2k-1，k=1，2，时，
①式即为
即为．
②式对k=1，2，都成立，
有．
（ii）当n=2k，k=1，2时，
①式即为．
即为．
③式对k=1，2都成立，有．
综上，①式对任意n∈N*，成立，有．
故a的取值范围为．
解法二：如果an＞an-1（n∈N*）成立，
特别取n=1，2有a1-a=1-3a＞0．a2-a1=6a＞0．
因此．下面证明当．时，
对任意n∈N*，an-an-1＞0．
由an的通项公式5（an-an-1）=2×3n-1+（-1）n-13×2n-1+（-1）n5×3×2n-1a．
（i）当n=2k-1，k=1，2时，
5（an-an-1）=2×3n-1+3×2n-1-5×3×2n-1a＞2×2n-1+3×2n-1-5×3×2n-1=0
（ii）当n=2k，k=1，2时，
5（an-an-1）=2×3n-1-3×2n-1+5×3×2n-1a＞2×3n-1-3×2n-1≥0．
故a的取值范围为．