数学归纳法的再认识

关于数学归纳法的再认识第1页，共23页，2023年，2月20日，星期四复习自然数的基数理论如何定义自然数及其运算？序数理论呢？算术系统：定义了加法和乘法的自然数系统，它是数学中最基础的一个公理系统。但已证明“算术系统的相容性不可能用自身的公理加以证明”。第2页，共23页，2023年，2月20日，星期四证明与自然数有关的命题上节课用序数理论数学归纳法的再认识设使……成立的所有a组成的集合为M，为证M＝N，证（1）1εM；（2）假定aεM，要证a+εM归纳公理可证第一数学归纳法数学归纳法的其他6种形式第3页，共23页，2023年，2月20日，星期四定理：第一数学归纳法设P(n)是关于自然数n的命题，若（1）(奠基)P(n)在n＝1时成立；（2）（归纳)在P(k)(k是任意自然数)成立的假定下可以推出P(k+1)成立，则P(n)对一切自然数n都成立．移动起点的第一数学归纳法n=n0

第4页，共23页，2023年，2月20日，星期四数学归纳法的再认识逻辑推理方法分演绎和归纳数学归纳法是完全归纳法吗？数学归纳法是一种演绎方法数学归纳法是一种递推法前面有限个我们可以逐个去验证，但是为了使判定的工作可以一个接一个地自动进行，需要设计一种方案：假定当自然数n取某一个值k时，命题已被判为真，那么若能证明当n＝k＋1时，命题也是真的，就做好了自动传递推证的准备工作。两步：奠基，启动递推装置；递推两步缺一不可第5页，共23页，2023年，2月20日，星期四防止貌合神离用数学归纳法证明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月20日，星期四数学归纳法的几种其他形式第二数学归纳法（串值归纳法）设P(n)是关于自然数n的命题，若P(n)在n=1时成立假设P(m)对于所有适合m<k的自然数m成立，则P(k)成立则P(n)对一切自然数n都成立增多起点的第二数学归纳法P(1)、P(2)真P(k)、P(k+1)真→P(k+2)真与第一数学归纳法的区别？若用“第一”不行，用“第二”是否有可能行？第7页，共23页，2023年，2月20日，星期四数学归纳法的几种其他形式（续）跳跃式归纳法（加大跨度）设P(n)是关于自然数n的命题，若P(1)、P(2)、…、P(m)真在P(k)(k是任意自然数）成立的假定下可以推出P(k+m)成立则P(n)对一切自然数n都成立第8页，共23页，2023年，2月20日，星期四数学归纳法的其他几种形式反向归纳法设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月20日，星期四数学归纳法的其他几种形式参变归纳法（对其中的一个用数学归纳法，另一个看作参数）二重归纳法（对一个用数学归纳法时同时再对另一个用数学归纳法）第10页，共23页，2023年，2月20日，星期四例：已知f(x)是定义在N上，又在N上取值的函数，并且(1)f(2)=2(2)对任何自然数m,n,有f(mn)=f(m)f(n)(3)当m>n时，f(m)>f(n)求证f(x)=x在N上恒成立例：设n>5,证明每一个正方形可以分为n个正方形。反向归纳法串值归纳法跳跃式归纳法第11页，共23页，2023年，2月20日，星期四用反向归纳法证明易证有无限多个自然数2n,使命题成立若f(x)=x,(x>1),可证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月20日，星期四用串值归纳法证明由串值归纳法第13页，共23页，2023年，2月20日，星期四用跳跃式归纳法证明先证可以分成6、7、8个正方形再假设命题对于n（n>8)成立，先将其分成n个正方形，再将其中一个正方形分为4个相等的正方形，原来的正方形就被分为n+3个第14页，共23页，2023年，2月20日，星期四例：已知大小可能不一的几个正方形，证明可以把它们剪拼成有限块，再重新拼成一个大正方形。勾股定理的割补证明赵爽对勾股定理的证明

ab第15页，共23页，2023年，2月20日，星期四刘徽对勾股定理的证明

第16页，共23页，2023年，2月20日，星期四观察、归纳与证明观察异同归纳猜想不完全归纳完全归纳（由每一对象都具有某种性质得到的）证明或推翻猜想第17页，共23页，2023年，2月20日，星期四探索一个整数是3、9、11的倍数的特征各是什么？一个整数是3的倍数，则各位上数字的和是3的倍数一个整数是9的倍数，则各位上数字的和是9的倍数一个整数是11的倍数，则其奇数位上数字的和减去偶数位上数字的和是11的倍数第18页，共23页，2023年，2月20日，星期四观察猜想要小心数列：1，2，4，8，16，？32√熟悉这个模式31

√1，2，4，8，16，31，An1，2，4，8，15，Bn1，2，4，7，

Cn1，2，3，

Dn4112657第19页，共23页，2023年，2月20日，星期四1，2，4，8，16，31，？Dn:1，2，3，4，……Cn:1，2，4，7，11，……Cn+1－Cn=Dn=nCn－Cn-1=n-1C2－C1=1所以Cn+1=1+(1+…+n)Cn=1+(1+…+n-1)=……同理求出Bn、An第20页，共23页，2023年，2月20日，星期四连接圆上所有点圆上的点数圆被分割成的区域数11223448516631757第21页，共23页，2023年，2月20日，星期四平面上凸n边形内部最多被分为m块，m+n即为所求圆上每4个点，连线后多1个点,