参考解析:解析:本题希望启发大家深化对数学归纳法本质的理解,而深化的逻辑思维还会产生推广、创新的意念。 可以将命题P(m,n)的定义域以二维点阵图来描述。 (1,1) (1,2) (1,3), (1,4),… (2,1) (2,2) (2,3), (2,4),… (3,1) (3,2) (3,3), (3,4),… 每一对自然数(m,n)表示一个点(m表示行号,n表示列号,行数与列数均无限)。 试题中已经说明,对左上角的点(1,1)已经证明了P(1,1)的正确性,即已经建立了数学归纳的基础,现在来研究分析各选项中的推理关系:从(1,1)点基础能否推导到所有的点(m,n)。 选项A的推理关系“m1,n1时,P(m,n)→P(m+1,n+1)”说明从任一点(m,n)出发可以推导到它的右下点(m+1,n+1)。显然,根据(1,1)点基础,以及这样的推理关系,只能推断出该命题对(2,2),(3,3),…,(n,n),…,(在图上呈现为对角线上所有的点)正确。 选项B的推理关系“m1,n1时,P(m,n)→P(m,n+1)以及P(m+1,n+1)”说明从任一点(m,n)可以推导到它的右邻居点和右下点。显然,根据(1,1)点的基础,以及这两个推理关系,只能推断出该命题对所有的点(m,n)(m≤n)(在图上呈现为对角线及其上三角所有的点)正确。 选项C的推理关系“m1,n1时,P(m,n)→P(m+1,n)以及P(m,n+1)”说明从任何一点可以推导到它的下邻居点和右邻居点。显然,根据(1,1)点的基础,以及前一个推理关系,就能推导到第一列的所有点;再根据后一个推理关系,就能推断出该命题对图上所有的点都正确。 选项D的推理关系“n1时,P(1,n)→P(1,n+1);m1,n1时,P(m,n)→P(m+1,n+1)”说明从第一行的任何一点可以推导到它的右邻居点;从图中任何一点可以推导到其右下 点。显然,根据(1,1)点基础,以及前一个推理关系,可以推导到第一行所有的点;再根据后一个推理关系,只能推断出该命题对所有的点(m,n)(m≤n)(在图上呈现为对角线及其上三角所有的点)正确。 因此,选项C是正确的。 按同样的思维方式,数学归纳法还可以做更多的推广。 例1:P(1)正确:n1时{P(1),P(2),…,P(n)}→P(n+1),则n1时P(n)正确。 例2:P(素数)正确:n2时P(n)→P(n-1),则n1时P(n)正确。 例3:P(1),P(2),…,P(2n)正确;m+n为偶数时{P(m),P(n)}→P((m+n)/2),则n1时P(n)正确。 例4:P(1,1),P(1,2)正确;{P(m,n),P(m,n+1)}→{P(m,n+2),P(m+1,n)},则m1,n1时P(m,n)正确。