已知数列 $\{a_{n}\}$ 满足：$a_{1}=0,a_{n}=\begin{cases}2a_{\frac{n}{2}}+1,&2\mid n,\\ \dfrac{n+1}{2}+2a_{\frac{n-1}{2}},&2\nmid n\end{cases},n=2,3,4,\cdots$．
【难度】
【出处】
无
【标注】
-
求 $a_{5}$，$a_{6}$，$a_{7}$；标注答案$a_{5}=5$，$a_{6}=5$，$a_{7}=8$解析$a_{1}=0$，$a_{2}=1$，$a_{3}=2$，$a_{4}=3$，$a_{5}=5$，$a_{6}=5$，$a_{7}=8$．
-
设 $b_{n}=\dfrac{a_{2^{n}-1}}{2^{n}}$，试求数列 $\{b_{n}\}$ 的通项公式；标注答案$b_{n}=\dfrac{n-1}{2}$解析因为$$b_{n+1}=b_{n}+\dfrac{1}{2},$$且$$b_{1}=\dfrac{a_{1}}{2}=0,$$所以 $b_{n}=\dfrac{n-1}{2}$．
-
对任意的正整数 $n$，试讨论 $a_{n}$ 与 $a_{n+1}$ 的大小关系．标注答案当 $n=1,3$ 或 $n=2k$ 时，$a_{n}<a_{n+1}$；当 $n=4k+1$ 时，$a_{n}=a_{n+1}$；当 $n=4k+3$ 时，$a_{n}>a_{n+1}$．其中 $k\in\mathbb N^{*}$解析
情形一 $n=1,3$ 时，因为 $a_{2}>a_{1}$，$a_{4}>a_{3}$，所以 $a_{n}<a_{n+1}$；情形二 $n=2k$，$k\in\mathbb N^{*}$ 时，$$\begin{split}a_{n}-a_{n+1}&=a_{2k}-a_{2k+1}\\ &=(1+2a_{k})-(k+1+2a_{k})\\ &=-k<0.\end{split}$$情形三 $n=4k+1$，$k\in\mathbb N^{*}$ 时，\[\begin{split}a_{n}-a_{n+1}&=a_{4k+1}-a_{4k+2}\\ &=(2k+2+2a_{2k})-(1+2a_{2k+1})\\ &=2k+2a_{2k}-2a_{2k+1}=0.\end{split}\]情形四 $n=4k+3$，$k\in\mathbb N^{*}$ 时，\[\begin{split}a_{n}-a_{n+1}&=a_{4k+3}-a_{4k+4}\\&=(2k+2+2a_{2k})-(1+a_{2k+2})\\&=2k+1+2a_{2k+1}-2a_{2k+2}\\&=2k+1+2(k+1+2a_{k})-2(1+2a_{k+1})\\&=4(k+a_{k}-a_{k+1})+1.\end{split}\]当 $k$ 为偶数时，$a_{k}-a_{k+1}=-\dfrac{k}{2}$，所以 $a_{n}-a_{n+1}>0$；
当 $k$ 为奇数时，设 $k=2m+1$，则\[\begin{split}k+a_{k}-a_{k+1}&=2m+1+(m+1+2a_{m})-(1+2a_{m+1})\\&=2(m+a_{m}-a_{m+1})+m+1
\\&\geqslant m+a_{m}-a_{m+1}.\end{split}\]于是问题可以化归至当 $k=1$ 时情形，此时$$k+a_{k}-a_{k+1}=0.$$因此对任意奇数 $k,k+a_{k}-a_{k+1}\geqslant 0$，于是 $a_{n}-a_{n+1}>0$．
综上，当 $n=1,3$ 或 $n=2k$ 时，$a_{n}<a_{n+1}$；当 $n=4k+1$ 时，$a_{n}=a_{n+1}$；当 $n=4k+3$ 时，$a_{n}>a_{n+1}$．其中 $k\in\mathbb N^{*}$．
题目
问题1
答案1
解析1
备注1
问题2
答案2
解析2
备注2
问题3
答案3
解析3
备注3
