什么情况下需要用数学归纳法?