高中奥数 2022-02-02

2022-02-02-01

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚选择适当的跨度 P070 例03）

证明:对任意,不定方程

有无穷多组正整数.

解

证明当时,对任意、,都是的正整数解;当n=2时,取,、,令,,,就有,故命题对、成立.

现设命题对成立,对正整数、、,若,则,因此不定方程有无穷多组正整数解.

结合命题对成立,可知命题对任意成立.

说明此题还可依下述方法处理:令,其中、且(这样的、对有无穷多对使得的值彼此不同),则由二项式定理,可写,且(这是因为),两边取模,可知,即有,故是的正整数解.

2022-02-02-02

（来源: 数学奥林匹克小丛书第二版高中卷数列与数学归纳法冯志刚选择适当的跨度 P070 例04）

求所有的函数,使得

(1)对任意、,都有;

(2).

解

在(1)中令,得,故或,但,故.于是,由(1)知,对任意,都有.

现在先计算时,的值.

由条件及前面推出的结论知,而,故.进而,依次有
$\begin{aligned} f\left(2\right)&=f\left(1^{2}+1^{2}\right)=f\left(1\right)^{2}+f\left(1\right)^{2}=1+1=2;\\ f\left(4\right)&=f\left(2^{2}\right)=f\left(2\right)^{2}=4;\\ f\left(5\right)&=f\left(2^{2}+1^{2}\right)=f\left(2\right)^{2}+f\left(1\right)^{2}=5;\\ f\left(8\right)&=f\left(2^{2}+2^{2}\right)=f\left(2\right)^{2}+f\left(2\right)^{2}=8. \end{aligned}$
又由

结合,知.进而,.

利用及条件(1)可算出,再由,知,解得.

所以,对任意,都有.

下面选用跨度为5的方法来证明:对任意,都有.

为此需要用到下面的一些等式
$\begin{aligned} &\left(5k+1\right)^{2}+2^{2}=\left(4k+2\right)^{2}+\left(3k-1\right)^{2};\\ &\left(5k+2\right)^{2}+1^{2}=\left(4k+1\right)^{2}+\left(3k+2\right)^{2};\\ &\left(5k+3\right)^{2}+1^{2}=\left(4k+3\right)^{2}+\left(3k+1\right)^{2};\\ &\left(5k+4\right)^{2}+2^{2}=\left(4k+2\right)^{2}+\left(3k+4\right)^{2};\\ &\left(5k+5\right)^{2}=\left(4k+4\right)^{2}+\left(3k+3\right)^{2}. \end{aligned}$
这些等式中右边的每一项在时都小于左边的第一项,因此,利用条件(1)及归纳假设,我们每次可以确定这些等式左边第一项的函数值.即每次归纳向后推5个数都成立.

所以,对每个,都有.

说明从上面的例子可以发现,所谓用跨度为的方法去证成立,本质上是将分划为组命题再分别予以证明,当然,如果将此想法与第二部分专题选讲第二数学归纳法结合,各组命题之间还可以相互利用,本例中就体现了这个思想.

高中奥数 2022-02-02

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