强数学归纳法(一般形式) 口设P(n)是与整数n有关的陈述,a和b是两个给定的 整数,且a≤b. 口如果能够证明下列陈述 口P(@,P(a+1),,P(b) 口对任意k≥b,P(@)A·AP()→P(k+1) 口则下列陈述成立 口对任意n≥,P(n): 设P(n)是与整数n有关的陈述,a和b是两个给定的 整数,且a b. 如果能够证明下列陈述 P(a), P(a +1), …, P(b). 对任意k b, P(a)… P(k)→P(k+1) 则下列陈述成立 对任意n a, P(n). 强数学归纳法(一般形式)