格式如下：
∵①所假设的结论,对于第一项成立
②假设结论在第k项成立,
则当对n=k+1项时,…………
（利用n=k是结论成立,通过计算说明也成立）
∴由①②得,…结论成立