倒推归纳法

倒推归纳法（reversed mathematical induction），是一种特殊的数学归纳法。设P (n)是依赖于自然数n的命题.如果P(n)对某一类特殊的无限多个自然数成立，而且由P(k+l)成立可以推出P(k)成立，则P(n)对任意的自然数n成立.