证明技术

• 证明定理的方法
• 数学归纳法
• 按定义证明方法