你可以这么写，只是别扭。
x=a成立，x=m成立，则x=m+1时成立，可以证明 x>=a成立。
x=a成立，x=m成立，则x=m-1时成立，可以证明 x<=a成立。
但是往正向归纳和负向归纳不能同在一步骤，逻辑上是两个独立的归纳过程。

可以写当x=m, -m时成立，则 x=m+1, -(m+1)时成立。就是从某起点同时往正负方向各推进一步。本质是一样的，写法上偷懒而已。
但写法和一般归纳法不符，老师搞不好会扣点分。

【 在 niubi1ity 的大作中提到: 】
: -m成立则-(m+1)成立
: 不就是t成立则t-1成立吗？
--
FROM 123.114.90.*