选择适当的跨度

作者: 天目春辉 | 来源:发表于2022-02-01 08:10 被阅读0次

    逻辑结构P\left(n\right)是关于正整数n的命题(或性质),k为一个给定的正整数,如果

    (1)P\left(1\right),P\left(2\right),\cdots ,P\left(k\right)成立;

    (2)由P\left(n\right)成立可推出P\left(n+k\right)成立.

    那么,对任意n\in \mathbb{N}^{*},P\left(n\right)都成立.

    这里k是一个跨度,当k=1时,就是第一数学归纳法.有时在处理问题时,利用大跨度要方便得多.

    2022-02-01-01

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

    证明:对任意正整数n\geqslant 3,都存在一个完全立方数,它可以表示为n个正整数的立方和.

    证明

    对比不定方程x^{3}+y^{3}=z^{3}没有正整数解的结论,可了解问题的背景.

    n=3时,由3^{3}+4^{3}+5^{3}=6^{3}可知命题对n=3成立;

    n=4时,由5^{3}+7^{3}+9^{3}+10^{3}=13^{3}(这个等式是Euler最早发现的),可知命题对n=4成立.

    现设命题对n\left(\geqslant 3\right)成立,即存在正整数x_{1}<x_{2}<\cdots<x_{n}<y,使得
    x_{1}^{3}+x_{2}^{3}+\cdots+x_{n}^{3}=y^{3},
    则利用6^{3}=3^{3}+4^{3}+5^{3},可知
    \begin{aligned} \left(6y\right)^{3}&=\left(6x_{n}\right)^{3}+\cdots+\left(6x_{2}\right)^{3}+\left(6x_{1}\right)^{3}\\ &=\left(6x_{n}\right)^{3}+\cdots+\left(6x_{2}\right)^{3}+\left(5x_{1}\right)^{3}+\left(4x_{1}\right)^{3}+\left(3x_{1}\right)^{3}. \end{aligned}
    这表明命题对n+2成立.

    所以,对任意n\geqslant 3,命题都成立.

    2022-02-01-02

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

    n为不小于3的正整数.证明:可以将一个正三角形剖分为n个等腰三角形.

    证明

    n=3时,设O为正三角形ABC的外心,则\triangle AOB\triangle BOC\triangle COA都是等腰三角形,故命题对n=3成立.

    n=4时,设DEF分别是正三角形ABC的边BCCAAB的中点,则\triangle AEF\triangle FBD\triangle DCE\triangle DEF都是等腰三角形,故命题对n=4成立.

    n=5时,如图所示,设O为正三角形ABC的外心,DE分别是BCCA的中点,FBO的中点利用直角三角形斜边上的中线等于斜边的一半,可知\triangle ABO\triangle BFD\triangle FOD\triangle DEC\triangle ADE都是等腰三角形.故命题对n=5成立.

    图1

    现设每一个正三角形都能剖分为n\left(\geqslant 3\right)个等腰三角形(即命题对n成立),则对正三角形ABC,设DEF分别为BCCAAB的中点,并将正三角形AEF依归纳假设剖分为n个等腰三角形,将这n个三角形与\triangle BDF\triangle CDE\triangle DEF合并,即构成正三角形ABC的一个个数为n+3的等腰三角形剖分.故命题对n+3成立.

    综上所述,对任意n≥3,命题成立.

    相关文章

      网友评论

        本文标题:选择适当的跨度

        本文链接:https://www.haomeiwen.com/subject/xtjkkrtx.html