高中奥数 2022-02-09

2022-02-09-01

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚先猜后证 P085 例03）

整数数列定义如下,,

求数列的通项公式.

解

题设所给的递推式难以确定能否由条件得出我们熟悉的常系数线性递推式呢?大胆猜测,、为待定的常数.

试算该数列的前面几项,可知,,,,.确定猜测中的、的值,猜想,.

下面用数学归纳法证明上述猜想.

当、时,上述猜想成立.

设对时,都有;立.则对的情形,我们有

注意到
$\begin{aligned} \left|2\left(\dfrac{a_{n+1}a_{n-1}-a_{n}^{2}}{a_{n}}\right)\right|&=\left|\dfrac{2a_{n-1}}{a_{n}}\right|\left|a_{n+1}-\dfrac{a_{n}^{2}}{a_{n-1}}\right|\\ &\leqslant \dfrac{1}{2}\left|\dfrac{2a_{n-1}}{a_{n}}\right|. \end{aligned}$
由归纳假设,可知.所以

利用为整数,且,得
$\begin{aligned} &\left|a_{n+2}-\left(3a_{n+1}+2a_{n}\right)\right|\\ =&\left|a_{n+2}-\dfrac{a_{n+1}^{2}}{a_{n}}\right|+\left|\dfrac{a_{n+1}^{2}}{a_{n}}-\left(3a_{n+1}+2a_{n}\right)\right|\\ <&\dfrac{1}{2}+\dfrac{1}{2}\\ =&1. \end{aligned}$
所以.于是猜想对的情形成立.

综上可知,数列满足,, .利用特征方程求解这个常系数齐次线性递推式,可得

2022-02-09-02

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚先猜后证 P086 例04）

函数定义如下,对,数是满足下述条件的最大正整数:存在一个由正整数组成的等差数列(这里项数小于3的数列也认为是等差数列),使得,并且.证明:对任意正整数,都有.

证明

题目并不要求确定每一个n的函数值,但从f的定义来看,只有每个的值都确定后才能方便地求出下一个值.

利用的定义作初始值的计算,可知
$\begin{aligned} &f(1)=1, f(2)=1, f(3)=2, f(4)=1, f(5)=2, f(6)=2, \\ &f(7)=2, f(8)=3, f(9)=1, f(10)=2, f(11)=2, f(12)=3, \\ &f(13)=2, f(14)=3, f(15)=2, f(16)=4, f(17)=1, f(18)=3, \\ &f(19)=2, f(20)=5, f(21)=1, f(22)=2, f(23)=2, f(24)=6, \\ &f(25)=1, f(26)=4, f(27)=2, f(28)=7, f(29)=1, f(30)=4, \\ &f(31)=2, f(32)=8, f(33)=1, f(34)=5, f(35)=2, f(36)=9, \\ &\ldots \ldots . \end{aligned}$
这些数据的列出不仅说明了当时,有,进一步,还促使我们猜测当时,有

下面对归纳来证:时,都成立.

当时,利用所列出的数据可知成立.

现设对都成立,考察的情形.

利用所算得的至值结合归纳假设可知是中最大的数,所以.

现在考察至中等于1的项,可知,结合的定义得.另一方面,对于以为末项的等差数列,若,则该数列的公差(因为若,则,,,中应有至少两个等于1,但由归纳假设,这4个数中只有),如果,那么由归纳假设及所列至的值可知,此时.因此.

再考察到的值,仅有(这里用到),从而.

最后,与讨论的值类似,可知.

所以,对任意,都成立.进而,对任意,都有.

说明
要猜出规律性的结果,每个问题需要试算的初始值个数不尽相同,仔细与信心都很重要.

2022-02-09-03

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚先猜后证 P087 例05）

对任意,记为满足且的非负整数.

数列定义如下

证明:每一个非负有理数恰好在数列中出现一次.

证明

如果写,那么条件式为

去分母在时是最方便的.这个猜测引出了下面的证明.

定义数列如下,

我们依次建立下述结论.

结论1对任意,都有.

对归纳予以证明.归纳过渡可依如下方式进行
$\begin{aligned} \dfrac{1}{x_{n+1}}&=1+2\rho\left(n+1\right)-x_{n}\\ &=1+2\rho\left(n+1\right)-\dfrac{y_{n}}{y_{n+1}}\\ &=\dfrac{1}{y_{n+1}}\left(\left(1+2\rho\left(n+1\right)\right)y_{n+1}-y_{n}\right)\\ &=\dfrac{y_{n+2}}{y_{n+1}}, \end{aligned}$
故.

结论2

对任意,都有

对归纳予以证明.事实上,若结论2对成立,那么

$\begin{aligned} y_{2n+3}&=\left(1+2\rho\left(2n+2\right)\right)y_{2n+2}-y_{2n+1}\\ &=\left(1+2\left(1+\rho\left(n+1\right)\right)\right)y_{2n+2}-y_{2n+1}\\ &=2y_{n+1}+\left(1+\rho\left(n+1\right)\right)y_{n+1}-\left(y_{n+1}+y_{n}\right)\\ &=y_{n+1}+\left(1+\rho\left(n+1\right)\right)y_{n+1}-y_{n}\\ &=y_{n+1}+y_{n+2}. \end{aligned}$
依此结合初始情况成立就可知结论2正确.

由结论2结合数学归纳法易证:对任意,都有1.

结论3对任意、,.,存在唯一的,使得.

对归纳予以证明.当时,,此时,而由结论2知,当时,与中至少有一个大于1,所以,故结论3对成立.

现设结论3对所有满足且的正整数对成立.考虑的情形,此时,分和两种情形讨论.

情形一 ,由,知,而,由归纳假设知,存在唯一的,使得,这时(这里用到结论2).

另一方面,若存在,、,使得,则,.这时如果与都为偶数,那么由结论2可知有两种不同的表示,与归纳假设矛盾.但是为奇数时,,与矛盾,故只是偶数,同理为偶数.从而,只有一个,使得.

情形二 ,同情形一类似讨论综上可知,结论3成立.

由结论1、结论3及,可知命题成立.

高中奥数 2022-02-09

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