《具体数学》第1章 递归问题 部分习题

作业题

8

推一推即可发现周期性。
$Q_0$ = $\alpha$
$Q_1$ = $\beta$
$Q_2$ = $\frac{1+\beta }{\alpha }$
$Q_3$ = $\frac{1+\alpha +\beta }{\alpha \ast \beta }$
$Q_4$ = $\frac{1+\alpha }{\beta }$
$Q_5$ = $\alpha$
$Q_6$ = $\beta$

$\therefore$ $Q_n$ = $Q_{n\mathrm{m}\mathrm{o}\mathrm{d}5}$

9

a

证明$P(n)\to P(n-1)$
$x_n$ = $\frac{{\sum }_1^{n-1}{x}_i}{n-1}$
$P(n):x_1\dots x_n\le {\left(\frac{{\sum }_1^n{x}_i}{n}\right)}^n$
将$x_n$代入不等式右边，
得$x_1\dots x_{n-1}\ast x_n\le {\left(\frac{{\sum }_1^{n-1}{x}_i}{n-1}\right)}^n$
若$x_n=0$不等式显然成立。
若$x_n≠0$不等式两边同除$x_n$，得
$x_1\dots x_{n-1}\le {\left(\frac{{\sum }_1^{n-1}{x}_i}{n-1}\right)}^{n-1}$
即$P(n-1)$.

b

证明$P(n)$蕴含$P(2n)$
$$\frac{1}{2}{\log }_n(x_1\dots x_{2n})=\frac{1}{2}{\log }_n(x_1\dots x_n)+\frac{1}{2}{\log }_n(x_{n+1}\dots x_{2n})$$

$\because P(n)$成立，推
$$\frac{1}{2}{\log }_n(x_1\dots x_{2n})\le \frac{{\sum }_1^n{x}_i}{2n}+\frac{{\sum }_{n+1}^{2n}{x}_i}{2n}$$
即
$$\frac{1}{2}{\log }_n(x_1\dots x_{2n})\le \frac{{\sum }_1^{2n}{x}_i}{2n}$$
即
$$x_1\dots x_{2n}\le {\left(\frac{{\sum }_1^{2n}{x}_i}{2n}\right)}^{2n}$$
故$P(n)$蕴含$P(2n)$

c

数学归纳法即可
$n=2$ 时，成立，
假设$n=k$时成立
当$n=k+1$时，若$n$为偶数，因为命题$P(n/2)$成立，则命题$P(n)$成立；若$n$为奇数，存在一小于$n$的整数$m=\frac{n+1}{2}$，有$P(m)$成立，故$P(2m)$成立，所以$P(2m-1)$即$P(n)$成立
故蕴含了$P(n)$对所有$n$为真