命题

若正整数数列 $a_n$ 严格单调递增，记 $a_n^{(m)}$ 为 $a_n$ 的 $m$ 次复合，$T_n^{(m)} = \displaystyle \sum_{i=1}^{a_n^{(m)}} a_i$，则

$$T_n^{(p-q)} + T_n^{(p+q)} \ge 2T_n^{(p)}$$

在有意义时成立，且等号成立当且仅当 $q=0$ 或 $a_n=n$。

由 $a_{n+1} - a_n \ge 1$ 累加得 $a_m - a_n \ge m - n$，于是 $a_n^{(p+1)}-a_n^{(p)} \ge a_n^{(p)} - a_n^{(p-1)}$，累加得 $a_n^{(p+q)}-a_n^{(p)} \ge a_n^{(p)} - a_n^{(p-q)}$。

于是 $\displaystyle \sum_{i=a_n^{(p)}+1}^{a_n^{(p+q)}} a_i\ge \sum_{i=a_n^{(p-q)}+1}^{a_n^{(p)}} a_i$，即 $T_n^{(p+q)} - T_n^{(p)} \ge T_n^{(p)} - T_n^{(p-q)}$。

等号成立当且仅当求和上下限分别相等，即 $a_n^{(p-q)} = a_n^{(p)} = a_n^{(p+q)}$。若 $a_n=n$，则 $a_n^{(m)} = n$，满足；否则 $a_n>n$，于是 $a_n^{m}$ 关于 $m$ 单调递增，于是 $q=0$。

版权所有

版权归属：Phantom-Bird

许可证：署名-非商业性-相同方式共享 4.0 国际 (CC-BY-NC-SA-4.0)

查看此页源代码

贡献者: Phantom-Bird

上一页学考政治易错点

下一页第二届广州市中学生第二精神病院选拔测试解答 · 下