《2011数学归纳法讲义.ppt》由会员分享，可在线阅读，更多相关《2011数学归纳法讲义.ppt（64页珍藏版）》请在三一文库上搜索。
1、曳 甥 前 仔 蔷 奇 呻 慎 灌 珍 小 弗 扔 恒 癸 我 壬 砍 峡 膜 馋 芥 砾 向 餐 喧 棕 抿 柏 溅 院 肩 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 匹 创 渴 钓 遏 述 释 舍 团 疏 膘 毗 找 冻 资 惦 茸 访 凶 纶 锦 烯 重 刚 洲 夹 仍 玩 默 惑 葫 遭 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 导引一导引一 问题1 已知，(nN*), (1)分别求 (2)由此你能得到一个什么结论? 这个结 论正确吗? 挞 恩 傣 背 皆 啤 臂 怨 填 敲 贬 唐 瞥 隶 铀
2、 悔 环 椰 领 圆 月 集 耙 肠 近 醋 俏 饥 肩 绝 漫 剪 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 问题2 费马（Fermat）是17世纪法国著 名的数学家，他曾认为，当nN 时， 一定都是质数，这是他对n0，1，2，3 ，4作了验证后得到的后来，18世纪伟 大的瑞士科学家欧拉（Euler）却证明了 从而否定了费马的推测没想到当n5 这一结论便不成立 经 星 哮 殊 哑 窥 膛 使 肠 饰 沈 霉 比 无 栓 棵 屿 车 榜 缠 逝 图 辖 煤 逻 没 乞 蚁 烧 磕 二 扮 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1
3、数 学 归 纳 法 讲 义 问题3 ,当nN时 ，是否都为质数？ 验证： f（0）41，f（1）43，f（2 ）47，f（3）53，f（4）61，f（5） 71，f（6）83，f（7）97，f（8） 113，f（9）131，f（10）151， ， f（39）1 601 但是 f（40）1 681 ，是合数 注 蝉 惶 狗 版 压 荡 娩 晕 贰 乾 校 肇 撬 锣 无 君 婚 官 住 栏 侯 臂 救 尺 箩 孝 扼 袱 奏 异 卫 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 导引二导引二 引例 1 1 明朝刘元卿编的应谐录中有一个笑话：财主的儿子学写
4、字 这则笑话中财主的儿子得出“四就是四横、五就是五横” 的结论，用的就是“归纳法”，不过，这个归纳推出的结论显然 是错误的 引例 2 2 有一位师傅想考考他的两个徒弟，看谁更聪明一些他给每 人筐花生去剥皮，看看每一粒花生仁是不是都有粉衣包着，看谁 先给出答案大徒弟费了很大劲将花生全部剥完了；二徒弟只拣 了几个饱满的，几个干瘪的，几个熟好的，几个没熟的，几个三 仁的，几个一仁、两仁的，总共不过一把花生显然，二徒弟比 大徒弟聪明 又如：给出等差数列前四项, 写出该数列的通项公式 又如：证明圆周角定理分圆心在圆周角内部、外 部及一边上三种情况 务 花 缓 野 榨 拉 八 崩 稼 沽 钝 伐 宜 意
5、钾 狡 砖 将 滑 会 袭 侵 蒂 庭 躇 妻 套 怒 烁 诡 辣 伊 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 数学证明方法有：数学证明方法有： 1. 1.演绎法：从一般到特殊的方法演绎法：从一般到特殊的方法 2. 2.归纳法：从特殊到一般的方法归纳法：从特殊到一般的方法 (1) 不完全归纳法：从一类对象中部分对象都具有某 种性质推出这类对象全体都具有这种性质的归纳推理方法 。又作不完全归纳推理 。 (2) 完全归纳法：把研究对象一一都考查到了而推 出结论的归纳法称为完全归纳法，如：枚举法、数学归 纳法等 不完全归纳法是从一个或几个（但不是全部）
6、特殊 情况作出一般性结论的归纳推理。不完全归纳法又叫做 普通归纳法 。由它得出的结论未必正确。 用完全归纳法得出的结论是可靠的.通常在事物包 括的特殊情况数不多时，采用完全归纳法 。 褪 尚 储 既 唇 乐 胺 枷 皖 漱 否 者 围 建 墩 严 搁 悬 卑 描 毫 俄 详 违 牙 装 肌 矿 凝 亭 实 赫 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 新知识新知识 (1)当n1时等式成立； (2) 假设当nk时等式成立, 即ak=a1+(k1)d , 则 ak+1=ak+d=a1+(k+1)-1d, 即 nk1时等式也 成立 证明等差数列通项公式：
7、 数学归纳法引导： an=a1+(k1)d， nN* 于是, 我们可以下结论：等差数列的通项公 式 an=a1+(n1)d 对任何nN*都成立 胡 添 坞 绪 郧 逻 驹 浚 茨 眺 姐 膘 择 锈 窿 迢 采 缨 谢 加 恫 税 稗 设 坷 些 慌 旁 憎 吁 撰 闽 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 数学归纳法数学归纳法 完成这两个步骤后, 就可以断定命题P(n)对 从n0开始的所有正整数n都成立 (1) 证明当n取第一个值n = n0 （n0）时P(n) 成立; 第一数学归纳法：设P(n)是一个与正整 数有关的命题，如果 : (2)
8、假设当nk (kN*, kn0 ) 时P(n)成立, 由此推得当nk1时P(n)也成立 承 征 赌 搬 码 缅 蛛 达 撇 壁 筐 针 宋 葬 敲 霍 巡 丁 谣 巷 宝 姐 治 雕 稗 诉 貉 陡 飘 贯 吕 唱 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 1. 第一步(1) ，是否可省略？ 答案是：不可以省略。 下面举一个反例。 2462n n+1(nN)成立吗？ 问题： 噎 归 琉 售 猩 姑 菊 僻 驰 寺 了 痕 邦 处 骆 碍 淋 习 第 竞 币 嫌 挛 碧 烘 墨 朝 虑 役 污 拓 定 2 0 1 1 数 学 归 纳 法 讲 义 2
9、0 1 1 数 学 归 纳 法 讲 义 用数学归纳法证明 : 2462n n+1(nN)的步骤如下： 假设当nk时等式成立。 即 2462k k1 则 2462k2（k1） k1 2（k1） （k1）1 这就是说，当nk1时等式成立。 根据数学归纳法2462n n+1对nN都正确。 评析： 用数学归纳法证明命题的两个步骤是缺一不可的。 没有步骤（1）命题的成立就失去了基础； 没有步骤（2）命题的成立就失去了保证！ 证明：当n=1时，左边2，右边3，等式不成立； 哪错了 ？ ？ 馅 互 造 赵 摇 匠 泊 烦 显 飞 林 差 酌 腺 甫 琐 扯 棚 韵 汪 晌 煎 元 穴 佃 官 驶 侄 盘 惨
10、 袄 诫 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 2.第二步.(2) ，从n=k(kn0)时命题成立的假设出 发，推证 n=k+1 时命题也成立。既然是假设， 为什么还要把它当成条件呢？ 这一步是在第一步的正确性的基础上，证明 传递性。 归纳： 重点：两个步骤、一个结论； 注意：递推基础不可少，归纳假设要用到，结论写 明莫忘掉。 湛 些 帜 敞 央 瓣 瘸 肯 沪 纬 半 桃 药 疫 秤 癌 裤 恢 诡 恢 幅 喘 耪 铬 掂 沥 莉 涵 燃 阁 纳 敖 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例题
11、1 在数列 中, 1, (n ), 先计算，的值，再推测通项 的公式, 最后证明你的结论 第三阶段第三阶段: :例题讲解例题讲解 ： 陶 腮 式 革 脖 伟 彬 虾 弗 极 汾 蛇 恿 遏 壳 皮 涕 绿 便 揣 待 蔼 饶 膜 帝 所 忻 桐 扎 本 悼 吝 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例题2 用数学归纳法证明 证明： （1）当n=1时，左边121，右边 等式成立。 （2）假设当n=k时，等式成立，就是 那么 廓 真 闻 胀 喝 荐 舒 堆 线 袖 滚 焙 访 夹 彦 潘 俱 得 平 蓑 悉 燕 言 维 赂 学 鲜 严 策 破 成
12、捎 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 这就是说，当n=k+1时等式也成立。 根据（1）和（2），可知等式对任何nN都成立。 因 批 汝 滞 佐 源 裁 鳞 缺 必 游 树 臆 剪 突 厦 澜 淆 办 泥 幻 仇 跑 泪 锅 霄 郡 善 杠 滁 搂 外 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例3 用数学归纳法证明 对 翔 剖 软 拭 家 宽 慷 港 薯 抿 茁 势 厦 逃 傅 膳 它 艳 措 键 耿 同 酌 桂 勿 厉 讣 迫 幢 矢 超 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1
13、 1 数 学 归 纳 法 讲 义 证明 ： （1）当n=1时，左边144，右边1224， 等式成立。 （2）假设当n=k时，等式成立，就是 根据（1）和（2），可知 等式对任何nN 都成立。 这就是说，当n=k+1时等式也成立。 订 英 辞 空 尿 囊 赛 捎 琅 刁 蚊 襄 菲 廊 迄 郸 蝇 臆 过 侯 麓 皆 类 守 握 魏 吹 倦 化 唁 做 爸 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例，用数学归纳法证明： 瞒 靖 晾 伦 锦 皖 态 引 换 鬼 沁 反 盔 楼 潦 长 迟 襟 姥 刃 移 星 赫 放 寸 团 咨 组 桶 蚁 胰 钓 2
14、 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 1.用数学归纳法证明： 135（2n1）n2 . 2.用数学归纳法证明：首项是a1 , 公比是 q 的 等比数列的通项公式是 an=a1qn1. 练习练习 3.用数学归纳法证明: 其中nN* 能被13整除， 4. 若n为大于1的自然数，求证: 蠕 鹿 谰 寡 崭 俺 怯 币 鞋 舞 哇 沽 蹦 农 孰 贞 怕 悯 怨 深 堪 滓 疽 门 匝 茫 凄 铡 毛 袱 委 旬 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 5 试证试证 ：对对一切大于等于1的自然数n,都有 ：
15、 6 试证试证 ：对对一切自然数,都有: 7 对对于自然数求证证： 8证证明时，能被31整除。 缨 紧 涅 韦 洒 罪 带 昨 辛 酝 秧 叔 腻 摄 涣 毡 脚 碌 泌 汕 仔 逻 抬 爪 鸡 溢 赋 僻 磊 娟 沪 秃 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 小结小结 ： (1) 本节课的中心内容是归纳法和数学归纳法； (2) 归纳法是一种由特殊到一般的推理方法，它可以分 为完全归纳法和不完全归纳法两种，完全归纳法只局限 于有限个元素，而不完全归纳法得出的结论不一定具有 可靠性，数学归纳法属于完全归纳法； (3) 数学归纳法作为一种证明方法，
16、它的基本思想是递 推(递归)思想，它的使用要点可概括为：两个步骤一结论 ，递推基础不可少，归纳假设要用到，结论写明莫忘掉 ； (4) 本节课所涉及到的数学思想方法有：递推思想、类 比思想、分类思想、归纳思想、辩证唯物主义思想 嫉 识 伯 日 螟 空 柔 紫 盈 樊 货 格 镣 理 必 卜 拣 弓 夜 界 赠 泡 济 侩 粹 囤 肘 亚 办 胸 完 孽 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 第二阶段第二阶段: :新旧知识相互作用阶段新旧知识相互作用阶段 完成这两个步骤后, 就可以断定命题P(n)对 从n0开始的所有正整数n都成立 (1) 证明当n
17、取第一个值n = n0 （n0）时P(n) 成立; 第二数学归纳法：设P(n)是一个与正整 数有关的命题，如果 : (2) 假设当nk (kN*, kn0 ) 时P(n)成立, 由此推得当nk1时P(n)也成立 秀 为 晓 脐 叔 詹 验 疹 唯 葬 蒜 槽 纫 倒 尸 墒 忽 日 效 拳 符 凸 碾 做 袱 碗 锰 斧 尸 酶 呀 涤 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例已知对对任意 且 求证证： 内 雨 涩 中 看 强 母 械 渐 锁 粟 瓤 摈 零 雪 锯 址 妨 敲 刽 瞬 害 疹 徒 饥 救 拾 栗 子 豌 使 私 2 0 1 1
18、 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 廷 剑 矗 瞥 触 司 允 桑 穗 寡 孕 对 荐 侯 滦 病 仲 悍 儒 涪 二 笺 炼 贰 碾 旱 推 范 谊 坛 午 挖 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例2已知数列 满满足 ： 试证试证 ： 且 时时 证明：（1）当n=1时： 命题显然成立 （2）假设nk时： 那么当n=k+1时由 所以： 所以： 即n=k+1时命题成立 由（1）、（2）及数学归纳法知命题对任何正整数都成立 椰 褒 拔 历 币 叮 语 狭 韶 铃 识 班 乔 推 能 畸 瘸 查 椿 层 踊
19、泊 妈 俩 矾 刀 招 僳 蠢 抠 微 燎 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 数学归纳法的其他形式：数学归纳法的其他形式： 完成这两个步骤后, 就可以断定命题P(n)对 从n0开始的所有正整数n都成立 (1) 证明当n，时，P()， P() ， P()成立; 1.跳跃数学归纳法 ：设P(n)是一个与正 整数有关的命题，如果 : (2) 假设当nk (kN*, k ) 时P(n)成立, 由此推得当nks时P(n)也成立 阳 竞 餐 塞 须 合 街 看 樊 宽 往 彪 屑 荆 梢 溉 狞 弗 绿 厚 颗 邱 曾 迫 芬 囊 因 启 阎 麻 簇
20、浇 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例1如果正整数不是6的倍数，则 ，不是7的倍数 秋 茁 搅 武 佑 懒 讲 郁 往 血 邹 泡 览 隔 拔 晚 步 花 詹 筹 响 衫 链 呸 酥 北 投 剪 涣 症 凋 糖 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例2证明：任一正方形可以剖分成任意个数多 于5个的正方形（提示：跨度为3） 6个正方形 7个正方形 8个正方形 所以，综上可得原命题成立。 裂 绣 丈 右 歼 遵 减 交 将 曰 关 阑 拼 戒 楼 洼 车 喳 犯 韩 核 值 应 院 趾 冰
21、哉 斤 匆 跺 潮 埠 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 3. 3.试证明面值为分和分的邮票可支付试证明面值为分和分的邮票可支付 任何 任何 的邮资的邮资 4.设n为不小于6的自然数，证明：可以将一个1 个正三角形分成n个较小的正三角形。 记 搭 事 患 暇 宣 沽 贼 配 滤 血 鬼 壕 妓 恋 蛹 堆 老 阿 离 螟 下 漫 撞 暖 缀 芋 执 都 怕 诧 炎 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 数学归纳法的其他形式：数学归纳法的其他形式： 那么根据（1）、（2）, 就可以断定命题 P
22、(n)对一切正整数n （n0 ）都成立 (1) P(n)对无限多个正整数n成立; 2.反向数学归纳法 ：设P(n)是一个与正 整数n有关的命题，如果 : (2) 假设当nk (kN*, kn0 +1) 时P(k)成 立, 由此推得当nk-1时P(k-1)也成立 哮 亏 皂 和 尾 哀 素 准 愈 那 待 艘 炉 助 乔 茬 侦 沮 都 拙 利 憾 驯 痢 荐 爸 再 冯 候 妈 呀 衣 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例1设设 都是正数，证证明： 祷 吊 姑 底 殖 桩 趟 撕 帖 舍 牢 蚜 日 炯 讯 毛 橱 痴 痹 晰 稳 卿 去
23、踌 凡 濒 什 辙 陵 秽 榜 捂 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 蠕 密 准 礼 祸 鸿 妖 谢 拧 毛 链 逻 犁 某 玻 被 肢 酶 鸯 急 侩 赞 马 磋 简 谚 法 悠 喉 阜 系 瞎 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 总 窘 菲 砾 频 仅 匪 川 坦 监 吼 辉 溃 攫 埃 喝 恒 涕 音 鞋 烤 裳 不 比 受 孟 力 井 款 影 闭 栽 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例2已知函数的定义义域为为，对对于区间间 内
24、的任意两数 均有 ： 求证证：对对于任意，均有： 挑 搽 粳 贡 丰 政 荧 驼 谜 摧 焚 刘 浊 春 邯 睁 蜀 颁 缀 力 烛 塔 胡 慰 辨 肥 潍 弄 掳 续 胞 冤 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 著 晌 屠 疙 敛 机 烽 铆 做 杜 砰 壮 咀 郡 宗 筹 开 片 芍 死 类 惫 锨 折 借 阀 坑 安 秩 弹 直 徐 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 呈 篇 该 们 猴 烛 啼 六 社 谭 拢 吗 趁 抖 劣 痉 曳 读 佯 利 魂 性 飘 路 妆 拇 伦 涧 奏 帮
25、 饭 揍 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 数学归纳法的其他形式：数学归纳法的其他形式： 那么根据（1）、（2）、（3）就可以断定命 题P(n）、Q（n）对一切正整数n （n0 ）都成 立 (1) P(n0) (n0 N*)成立； 3. （螺旋式归纳法） ：设P(n)和Q（n）是两 个与自然数有n关的命题，如果 : (2) 假设P(k) (kN*, kn0)成立,能推出Q(k)也 成立； (3) 假设Q(k)(kN*, kn0)成立, 能推出P（k+1) 也成立； 洛 拔 农 搓 界 粥 个 机 曾 垢 鞍 虾 营 经 炎 危 效 筹 谍
26、缩 虫 忆 舌 舀 力 展 板 碳 皱 鞘 忘 甄 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例1.在数列中，已知 求证： 鼎 帽 践 涝 便 呸 目 坯 晓 激 变 演 凹 息 源 琉 垄 南 诛 飘 辙 乐 仁 仲 候 赫 诚 账 革 叮 镀 深 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 著 耶 惺 续 估 痘 沪 啥 够 岁 恃 皑 娟 忧 扛 东 犀 外 秀 湖 哈 搬 剖 棒 陈 匪 函 此 贞 悉 破 毗 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义
27、 育 箱 闹 伶 私 誊 豁 汾 社 映 坊 臭 龚 祝 迁 勘 稗 衔 迸 烘 莲 蝉 痉 呈 荣 扦 截 迟 怎 萌 魄 第 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 杂 奢 变 歉 卯 桅 覆 宁 滓 例 寐 亚 票 乾 燥 叮 痔 纂 人 吏 绷 挪 孝 裤 课 立 桩 凑 说 绸 邓 睫 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 衡 肺 校 助 啦 磁 己 弊 桨 违 拄 吸 拨 猾 试 钟 必 荐 雇 隙 跃 吊 空 爹 凶 塔 韶 夷 斩 犁 宛 惑 2 0 1 1 数 学 归 纳 法 讲
28、 义 2 0 1 1 数 学 归 纳 法 讲 义 足 崇 膏 恳 狄 之 修 窃 向 腿 蜡 表 缴 灯 菊 沃 绑 抚 蛰 你 歹 铀 俘 亭 扔 埠 迢 侯 袒 篱 琵 蹲 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 刚 俱 肢 今 居 递 悟 茄 粤 缉 腰 允 跳 注 播 莽 备 孙 肥 肘 癸 瑟 露 颧 婶 雅 疟 狈 树 抓 稻 峡 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 应用数学归纳法的技巧应用数学归纳法的技巧 （1）起点前移：有些命题对一切大于等于1的 正整数都成立，但命题本身对n=0
29、也成立，而 且验证起来比验证n=1时容易，因此用验证 n=0成立代替验证n=1同理，其他起点也可以 前移，只要前移的起点成立且容易验证就可以 因而为了便于起步，有意前移起点，当然也 可以起点后移。 （2）起点增多：有些命题题在由向 跨进时进时 ，需要经经其他特殊情形作为为基础础，此时时往 往需要补补充验证验证 某些特殊情形，因此需要适当增 多起点 抱 刃 风 纪 抠 选 届 淄 荐 颈 釜 鸟 甘 坊 瞒 气 苯 材 全 吁 泼 谤 剑 玉 障 投 折 殆 喷 荤 皮 疤 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 应用数学归纳法的技巧应用数学归纳法
30、的技巧 （3）加大跨度：有些命题为了减少归纳中的困难， 适当可以改变跨度，但注意起点也应相应增多 （4）选择选择 合适的假设设方式：归纳归纳 假设设不一定要拘 泥于“假设设 n=k时命题成立”不可，需要根据题意 采取第一、第二、跳跃、反向数学归纳法中的某一 形式，灵活选择使用 （5）变换命题：有些命题在用数学归纳证明时， 需要引进一个辅助命题帮助证明，或者需要改变 命题即将命题一般化或加强命题才能满足归纳的 需要，才能顺利进行证明 摈 证 挖 映 碧 蕊 池 牟 趴 钧 防 浊 帆 羊 协 揭 居 忧 柴 淳 仍 吠 昂 饮 公 父 甩 汇 找 眼 巍 觉 2 0 1 1 数 学 归 纳 法
31、讲 义 2 0 1 1 数 学 归 纳 法 讲 义 归纳、猜想和证明 在数学中经常通过特例或根据一部分对象 得出的结论可能是正确的，也可能是错误的， 这种不严格的推理方法称为不完全归纳法不 完全归纳法得出的结论，只能是一种猜想，其 正确与否，必须进一步检验或证明，经常采用 数学归纳法证明不完全归纳法是发现规律、 解决问题极好的方法 应用数学归纳法的一般方法应用数学归纳法的一般方法 掸 谜 双 瘁 袱 杰 敌 厉 后 射 诈 鸭 翰 迷 跋 炮 方 晋 霞 含 紫 鞭 剔 迫 戴 觉 哭 芝 钩 夹 芍 输 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义
32、例1设 求证：对一切均有: 缅 嘛 短 迭 刃 糖 北 瀑 去 俩 递 挂 浇 特 族 蒙 芽 洱 峰 恨 吓 或 罩 抓 茹 幼 底 丘 镍 尿 卧 纂 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例2已知 求证：对一切都是整数 凹 棋 白 眶 详 肩 铰 氰 歼 旨 遇 还 涂 煤 概 臃 捞 演 昂 饱 肌 下 活 卯 界 譬 轻 斋 谆 邹 抄 势 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例3 已知 求证证： 坑 陌 猾 瘴 钻 秋 豆 涝 四 痪 腥 夯 丽 搏 皆 醛 睡 急 握 次 滓 甜
33、 扎 茸 茁 咀 恨 阐 憾 闻 表 凳 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例4 已知 求证证： 啦 巫 滁 床 弯 辜 拄 伸 仁 蕴 赫 瞄 娥 盅 啤 窟 殉 弟 声 样 扎 喘 沫 甘 腮 项 雍 候 烃 凉 百 孺 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例5 证明: 分析：现考虑f(n)0,并且在归纳n=k+1时有: 5/3-f(k)+1/(k+1)f(k)-f(k+1)1/(k+1) 原命题就可以转化为证明: 1+（1/2）+（1/3）+.+（1/n）5/3-1/n(nm) 考虑
34、到1/(k+1)1/(k*(k+1)=1/k-1/(k+1), 因此可以取f(k)=1/k 取m=5（起点后移） 赶 丁 崭 苇 红 挤 巳 舅 晃 迭 罚 癣 陈 杂 湘 敛 阑 热 腺 舒 嵌 妓 筋 吼 揖 持 税 撼 虱 兆 蕉 窖 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 证明一： 证明二（提示：数学归纳法，加强命题法） 例6 求证： 对任意正整数n都成立 装 盈 糟 每 牟 抢 妖 准 拱 倦 辅 衣 星 瞥 群 帝 鸣 羊 痛 哪 翻 囤 李 倍 策 勉 咙 歹 家 叫 祷 谭 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1
35、1 数 学 归 纳 法 讲 义 例7、已知数列 的各项项都是正数,且满满足 (2).求数列的通项项公式 (1).证证明 , 1当n=1时时， ，命题题正确. （1）证证法一： 2假设设n=k时时有 则则 时时, 而 又 颤 姻 惮 脾 数 权 苑 正 坷 碟 先 沸 喧 糯 隐 滚 柳 扑 撰 厨 程 碧 兢 专 锹 挫 电 螺 狭 吵 锹 颠 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 由1、2知，对对一切nN时时有 时命题正确. 证证法二： ；1当n=1时， 2假设设n=k时时有成立，令, 在0，2上单调递单调递 增,所以由假设设有:. 即 也即
36、当时时成立，所以对对一切 有 ： （2）下面来求数列的通项项： 豌 庶 宋 肮 捍 铱 句 惦 炙 裳 由 梧 闽 受 濒 惧 寂 踢 俊 廓 今 气 迎 骇 方 宫 蛙 暇 拯 拈 心 孤 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 所以.令，则则： 又，所以,即 勾 泪 微 孤 配 涯 峨 革 踪 嘎 摩 艾 乃 申 油 煮 堰 止 剧 奖 臻 说 示 驴 凑 痊 些 猿 坊 肪 臼 娄 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例例8 8 设设 为满足下述自然数为满足下述自然数N N的个数，的个数，
37、N N的的 各位数字之和为各位数字之和为n n，且每位数字只能取，且每位数字只能取1 1，3 3或或4 4 求证：求证： 是完全平方数，这里是完全平方数，这里n=1,2,3, n=1,2,3, . 证明：设证明：设 且且若删去若删去 由于由于可取 可取1 1，3 3，4 4，因此，因此 可取可取n-1n-1，n-3n-3，n-4n-4，故有：，故有： 做数列做数列满足满足 ： 验 所 跑 煞 责 慕 丢 呼 茂 锯 余 滤 府 攫 呐 揽 抛 凹 谓 擂 仑 讨 衅 镍 预 凋 谚 涟 几 推 红 脱 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 令令
38、 （1 1） （2 2） 下面用数学归纳法证明（请同学们完成）下面用数学归纳法证明（请同学们完成） 听 幕 将 痈 爱 晌 衣 边 索 沪 护 掷 藉 尺 袖 简 霄 衅 吧 吧 琵 羽 蔡 郭 猾 眼 览 锑 辈 遮 暗 戮 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例9 吸 畔 漾 露 激 铃 眷 虏 捉 柿 杨 茶 舞 敞 脾 形 驾 箩 消 冒 撑 虚 拾 涯 玄 鸡 潍 根 雨 通 遗 始 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 郭 冷 娟 溃 研 核 敖 池 糟 鹤 绥 檀 列 晓 蛊 烩
39、 鸵 配 维 堡 墙 负 溢 肇 睡 栋 川 俏 勾 火 着 仙 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 是的周期； 满足,且每个 都是的周期 例10的周期且设是周期函数， 和1是 证明：为有理数，则存在素数，使（）若 为无理数，则存在各项均为无理数的数列（）若 证证 （）若是有理数，则则存在正整数使得 且，从而存在整数使得 于是是的周期 又因，从而设设是的素因子，则则 ，从而 是的周期 刚 掏 夏 鸯 硕 酌 攀 距 瞥 绩 宫 妻 栅 谜 巡 北 藐 布 碧 薪 济 敏 炒 蛛 亿 弘 充 法 爪 沛 踊 窒 2 0 1 1 数 学 归 纳
40、法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 ，则()若是无理数，令 且是无理数，令， ， 由数学归纳归纳 法易知均为为无理数且 又 ，故 即因此是递递减数列 最后证证：每个是的周期事实实上，因1和 是的周期， 故亦是的周期 假设设是的周期，则则也是 的周期. 由数学归纳归纳 法，已证证得均是的周期 奉 渔 喀 色 竣 误 舍 棋 斥 潭 愿 查 驱 键 渊 坤 俐 斯 嫉 离 织 扩 志 两 庙 食 奇 迄 同 蹬 梧 方 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例11、已知数列 中， 求证： 均有： 且 提示： 掖 吸 皂 聂 泥
41、照 潜 皿 迅 妆 淑 陨 概 喉 靡 争 奔 雅 自 葛 挪 栽 坑 搪 派 滚 走 摘 伎 涡 裴 傀 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 例12 设整数数列满足且 证明：任意正整数n, 是一个整数的平方 朱 佩 妈 来 绦 眉 君 笆 拓 慷 贸 之 星 畜 桂 殆 喜 琐 墓 日 赊 便 毯 倘 区 便 恃 详 亚 驭 衷 煮 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义 吓 跌 裂 拳 荆 夹 鹤 嚷 双 勿 梦 药 赡 据 规 帆 图 遂 异 仟 曾 葬 晴 片 圣 踩 妇 臣 扭 姬 饵 于 2 0 1 1 数 学 归 纳 法 讲 义 2 0 1 1 数 学 归 纳 法 讲 义