设数列 $\left\{a_n\right\}$ 满足 $\left|a_n-\dfrac {a_{n+1}}2\right|\leqslant 1,n\in \mathbb N^*$．
【难度】
【出处】
2016年高考浙江卷（理）
【标注】
-
求证：$\left|a_n\right|\geqslant 2^{n-1}\left(\left|a_1\right|-2\right)\left(n\in \mathbb N^*\right)$；标注答案略解析根据已知，有$$\left|\dfrac{a_{n+1}}{2^{n+1}}-\dfrac{a_n}{2^n}\right|\leqslant \dfrac{1}{2^n},n=1,2,\cdots ,$$累加，有$$\left|\dfrac{a_n}{2^n}-\dfrac{a_{n-1}}{2^{n-1}}\right|+\left|\dfrac{a_{n-1}}{2^{n-1}}-\dfrac{a_{n-2}}{2^{n-2}}\right|+\cdots +\left|\dfrac{a_2}{2^2}-\dfrac{a_1}{2}\right|\leqslant \dfrac 1{2^{n-1}}+\dfrac{1}{2^{n-2}}+\cdots +\dfrac 12=1-\dfrac{1}{2^{n-1}},$$由绝对值不等式可得$$\left|\dfrac{a_n}{2^n}-\dfrac{a_1}2\right|\leqslant 1-\dfrac{1}{2^{n-1}},$$再由绝对值不等式可得$$\dfrac{|a_1|}2-\dfrac{|a_n|}{2^n}\leqslant 1-\dfrac{1}{2^{n-1}},$$即$$|a_n|\geqslant 2^{n-1}(|a_1|-2)+2,$$这样就证明了 $\left|a_n\right|\geqslant 2^{n-1}\left(\left|a_1\right|-2\right)\left(n\in \mathbb N^*\right)$．
-
若 $\left|a_n\right|\leqslant \left(\dfrac 32\right)^n,n\in \mathbb N^*$，证明：$\left|a_n\right|\leqslant 2,n\in \mathbb N^*$．标注答案略解析在 $(1)$ 的基础上，不难证明对任意 $n,m\in\mathbb N$，有$$|a_{n+m}|\geqslant 2^{m}(|a_{n}|-2),$$只需要取 $n,n+1,\cdots ,n+m$ 的情形累加即得．
结合已知条件，有$$\left(\dfrac 32\right)^{n+m}\geqslant 2^m(|a_n|-2),$$即$$\left(\dfrac 34\right)^m\geqslant \left(\dfrac 23\right)^n (|a_n|-2).$$假设 $|a_n|>2$，那么对任何正整数 $n$，右侧为确定的正数，记为 $f(n)$，此时取 $m=\left[{\log_{\frac 34}}f(n)\right]+1$，则有$$\left(\dfrac 34\right)^m<f(n)=\left(\dfrac 23\right)^n (|a_n|-2),$$矛盾．
因此原命题得证．
题目
问题1
答案1
解析1
备注1
问题2
答案2
解析2
备注2
