有道理，确实应该在两个独立的归纳过程
  
【 在 ezShang (ezShang) 的大作中提到: 】
:  你可以这么写，只是别扭。
:  x=a成立，x=m成立，则x=m+1时成立，可以证明 x>=a成立。
:  x=a成立，x=m成立，则x=m-1时成立，可以证明 x<=a成立。
:  但是往正向归纳和负向归纳不能同在一步骤，逻辑上是两个独立的归纳过程。
--
FROM 183.139.149.*