更新时间：2024-05-21 11:07
反向归纳法（Backward Induction）是主要应用于数学学科的一种思维方法。
设P（n）表示一个与自然数n有关的命题，若
（1）P（n）对无数多个自然数n都成立；
（2）假设P（k+1）成立，可推出P（k）也成立；
则P(n)对一切自然数n都成立。
用反证法易证反向归纳法原理的正确性。