数学归纳法
数学归纳法(mathematical induction)是一种数学证明方法,常用于证明命题(命题是对某个现象的描述)在自然数范围内成立。随着现代数学的发展,自然数范围内的证明实际上构成了许多其他领域(比如数学分析)的基础,所以数学归纳法对于整个数学体系至关重要。
数学归纳法本身非常简单。如果我们想要证明某个命题对于自然数n都成立,那么:
第一步 证明命题对于n = 1成立。
第二步 假设命题对于n成立,n为任意自然数,证明在此假设下,命题对于n+1成立。
命题得证
想一下上面的两个步骤。它们实际上意味着,命题对于n = 1成立 -> 命题对于n = 2成立 -> 命题对于n = 3成立……直到无穷。因此,命题对于任意自然数都成立。这就好像多米诺骨牌,我们确定n的倒下会导致n + 1的倒下,然后推倒第一块骨牌,就能保证任意骨牌的倒下。