高中奥数 2022-01-08

2022-01-08-01

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚等差数列与等比数列 P028 例4）

数列定义如下

证明:此数列中有一个无穷子数列(由数列中的项组成的数列称为该数列的子数列)构成一个等差数列.

证明

记,则对任意,都有,即是一个由正整数组成的数列.

进一步,对任意,有

这表明是一个不增数列,所以,从某一项起变为一个常数(这是由于都为正整数).记这个常数为,那么从该项起有,因而,从该项起构成一个等差数列.

命题获证.

说明

本题的结论不依赖于初始值(只要即可),解决过程中用到一个显然的结论:任意一个由正整数组成的不增无穷数列从某项起将变为常数.

2022-01-08-02

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚等差数列与等比数列 P028 例5）

对任意给定的正整数,证明:存在由正整数组成的等差数列和等比数列,使得

证明

注意到,指数增长的速度大于线性增长,因此,不存在由正整数组成的递增的无穷等差数列和等比数列,使得对任意,都有,当然更不能满足(1),本题讨论的是有穷数列,其构造思路是让的公比尽量靠近1,但在相邻两项之间又有足够的空间.

考察由下面方式定义的数列和:

其中为待定的正整数.则是以为公差的等差数列,是以数列与数学归纳法为公比的等比数列.故只需证明:存在正整数,使得(1)成立。

一方面,对,由于,故当时,都有.因此

结合及是以为公比的等比数列,可知对任意,都有.

另一方面,我们证明:存在,使得对任意,都有.

事实上,

$\begin{aligned} b_{m} <a_{m} &\Leftrightarrow x^{n-m+1}(1+x)^{m-1}<x^{n}+m x^{n-1}-1 \\ & \Leftrightarrow x^{n}+\mathrm{C}_{m-1}^{m-2} x^{n-1}+\mathrm{C}_{m-1}^{m-3} x^{n-2}+\cdots+\mathrm{C}_{m-1}^{0} x^{n-m+1} <x^{n}+m x^{n-1}-1 \\ & \Leftrightarrow \mathrm{C}_{m-1}^{m-3} x^{n-2}+\cdots+\mathrm{C}_{m-1}^{0} x^{n-m+1}<x^{n-1}-1 \\ & \Leftrightarrow x\left(\mathrm{C}_{m-1}^{m-3} x^{n-3}+\cdots+\mathrm{C}_{m-1}^{0} x^{n-m}\right)<x^{n-1}-1 . \end{aligned}\qquad(2)$

利用,可知,因此如果

成立,那么(2)成立.

(3)式左边是关于的次多项式,而右边是的次多项式,所以,当充分大时,(3)式成立.

综上可知,满足条件的数列存在.

2022-01-08-03

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚等差数列与等比数列 P029 例6）

设为给定的正整数,对任意,数、都是正整数,等差数列.对应的集合为,.已知构成的一个-分划(即两两的交为空集,且).证明下述结论:

(1);

(2).

证明

利用母函数方法来处理,依题中条件可知,对,有

利用无穷递缩等比数列求和公式,知

于是,有

上式两边让从左边趋向于1,取极限即有,从而(1)成立现在对前式两边关于求导数,得

再在上式两边让从左边趋向于1,取极限得

于是

$\begin{aligned} \sum_{i=1}^{k} \dfrac{a_{i}}{d_{i}} &=1+\sum_{i=1}^{k} \dfrac{\left(d_{i}-1\right) d_{i}}{2 d_{i}^{2}} \\ &=1+\dfrac{1}{2} \sum_{i=1}^{k}\left(1-\dfrac{1}{d_{i}}\right) \\ &=1+\dfrac{1}{2}(k-1)\\ &=\dfrac{k+1}{2} . \end{aligned}$

这里用到结论(1).所以,命题成立.

说明

对比上一节例6,这里用到了无穷级数的理论,它是母函数方法处理中的重要技巧,在第7节中会详细说明何谓母函数、如何运用等问题.

高中奥数 2022-01-08

你可能感兴趣的:(高中奥数 2022-01-08)