049 向前展望，向后推理-逆向归纳法的应用例子