数学归纳法的再认识.pptVIP

第1页，课件共23页，创作于2023年2月复习自然数的基数理论如何定义自然数及其运算？序数理论呢？算术系统：定义了加法和乘法的自然数系统，它是数学中最基础的一个公理系统。但已证明“算术系统的相容性不可能用自身的公理加以证明”。第2页，课件共23页，创作于2023年2月证明与自然数有关的命题上节课用序数理论数学归纳法的再认识设使……成立的所有a组成的集合为M，为证M＝N，证（1）1εM；（2）假定aεM，要证a+εM归纳公理可证第一数学归纳法数学归纳法的其他6种形式第3页，课件共23页，创作于2023年2月定理：第一数学归纳法设P(n)是关于自然数n的命题，若（1）(奠基)P(n)在n＝1时成立；（2）（归纳)在P(k)(k是任意自然数)成立的假定下可以推出P(k+1)成立，则P(n)对一切自然数n都成立．移动起点的第一数学归纳法n=n0第4页，课件共23页，创作于2023年2月数学归纳法的再认识逻辑推理方法分演绎和归纳数学归纳法是完全归纳法吗？数学归纳法是一种演绎方法数学归纳法是一种递推法前面有限个我们可以逐个去验证，但是为了使判定的工作可以一个接一个地自动进行，需要设计一种方案：假定当自然数n取某一个值k时，命题已被判为真，那么若能证明当n＝k＋1时，命题也是真的，就做好了自动传递推证的准备工作。两步：奠基，启动递推装置；递推两步缺一不可第5页，课件共23页，创作于2023年2月防止貌合神离用数学归纳法证明n3+5n能被6整除错证：（1）当n=1时，13+5×1=6，命题成立；（2）假设当n=k时，k3+5k能被6整除，当n=k+1时，(k+1)3+5(k+1)=(k+1)[(k+1)2+5]=k(k+1)(k+2)+6(k+1)因为三个连续自然数的积能被6整除，第2项也能被6整除，所以n=k+1时命题也成立。由（1）、（2），原命题成立。5=-1+6未用数学归纳法第6页，课件共23页，创作于2023年2月数学归纳法的几种其他形式第二数学归纳法（串值归纳法）设P(n)是关于自然数n的命题，若P(n)在n=1时成立假设P(m)对于所有适合mk的自然数m成立，则P(k)成立则P(n)对一切自然数n都成立增多起点的第二数学归纳法P(1)、P(2)真P(k)、P(k+1)真→P(k+2)真与第一数学归纳法的区别？若用“第一”不行，用“第二”是否有可能行？第7页，课件共23页，创作于2023年2月数学归纳法的几种其他形式（续）跳跃式归纳法（加大跨度）设P(n)是关于自然数n的命题，若P(1)、P(2)、…、P(m)真在P(k)(k是任意自然数）成立的假定下可以推出P(k+m)成立则P(n)对一切自然数n都成立第8页，课件共23页，创作于2023年2月数学归纳法的其他几种形式反向归纳法设P(n)是关于自然数n的命题，若有无限多个值使P(n)成立P(k)真可以推出P(k－1)真则P(n)对一切自然数n都成立螺旋归纳法设A(n)、B(n)是两个与自然数n有关的命题，若A(1)是成立的假设A(k)成立，能导出B(k)成立，假设B(k)成立，你导出A(k+1)成立则A(n)、B(n)对一切自然数n都成立第9页，课件共23页，创作于2023年2月数学归纳法的其他几种形式参变归纳法（对其中的一个用数学归纳法，另一个看作参数）二重归纳法（对一个用数学归纳法时同时再对另一个用数学归纳法）第10页，课件共23页，创作于2023年2月例：已知f(x)是定义在N上，又在N上取值的函数，并且(1)f(2)=2(2)对任何自然数m,n,有f(mn)=f(m)f(n)(3)当mn时，f(m)f(n)求证f(x)=x在N上恒成立例：设n5,证明每一个正方形可以分为n个正方形。反向归纳法串值归纳法跳跃式归纳法第11页，课件共23页，创作于2023年2月用反向归纳法证明易证有无限多个自然数2n,使命题成立若f(x)=x,(x1),可证f(x-1)f(x)≤x-1再证f(x-1)≥x-1f(x-1)f(x-2),∴f(x-1)≥f(x-2)+1≥f(x-3)+2≥…≥f(1)+x-2=x-1第12页，课件共23页，创作于2023年2月用串值归纳法证明由串值归纳法第13页，课件共23页，创作于2023年2月用跳跃式归纳法证明先证可以分成6、7、8个正方形再假设命题对于n（n8)成立，先将其分成n个正方形，再将其中一个正方形分为4个相等的正方形，原来的正方形就被分为n+3个第14页，课件共23页，创作于2023年2月