Definition 3 数学归纳方法 第二数学归纳法: IP(n0)∧Vk(k>n0∧P(m0)∧P(n0+1)∧…∧P(k) →P(k+1)→ynP(m) 1、归纳基础:P(n) 2、归纳步骤:Vk(k>n∧P(mo)∧P(n0+1) ∧…∧P(k)→P(k+1) 2/24/202111:37PM Deren Chen Zhejiang univ数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 6 第二数学归纳法： [P(n0 ) ∧ k ( k > n0 ∧ P(n0 ) ∧ P(n0+1) ∧ … ∧ P(k) → P(k+1)) ]→  n P(n) 1、归纳基础：P(n0 ) 2、归纳步骤： k ( k > n0 ∧ P(n0 ) ∧ P(n0+1) ∧ … ∧ P(k) → P(k+1)) Definition 3