逻辑结构 设是关于正整数的命题(或性质),为一个给定的正整数,如果
(1)成立;
(2)成立可推出成立.
那么,对任意,都成立.
这里是一个跨度,当时,就是第一数学归纳法.有时在处理问题时,利用大跨度要方便得多.
2022-02-01-01
(来源: 数学奥林匹克小丛书 第二版 高中卷 数列与数学归纳法 冯志刚 选择适当的跨度 P069 例01)
证明:对任意正整数,都存在一个完全立方数,它可以表示为个正整数的立方和.
证明
对比不定方程没有正整数解的结论,可了解问题的背景.
当时,由可知命题对成立;
当时,由(这个等式是Euler最早发现的),可知命题对成立.
现设命题对成立,即存在正整数,使得
则利用,可知
这表明命题对成立.
所以,对任意,命题都成立.
2022-02-01-02
(来源: 数学奥林匹克小丛书 第二版 高中卷 数列与数学归纳法 冯志刚 选择适当的跨度 P070 例02)
设为不小于3的正整数.证明:可以将一个正三角形剖分为个等腰三角形.
证明
当时,设为正三角形的外心,则、、都是等腰三角形,故命题对成立.
当时,设、、分别是正三角形的边、、的中点,则、、和都是等腰三角形,故命题对成立.
当时,如图所示,设为正三角形的外心,、分别是、的中点,为的中点利用直角三角形斜边上的中线等于斜边的一半,可知、、、和都是等腰三角形.故命题对成立.
图1现设每一个正三角形都能剖分为个等腰三角形(即命题对成立),则对正三角形,设、、分别为、、的中点,并将正三角形AEF依归纳假设剖分为个等腰三角形,将这个三角形与、、合并,即构成正三角形的一个个数为的等腰三角形剖分.故命题对成立.
综上所述,对任意,命题成立.
网友评论