数学归纳法证明

本模块讲解数学归纳法的正式四步结构，以及适配CIE 9231进阶纯数1考试的求和、整除、矩阵幂三类证明的应用方法。