反证法和同一法，都是间接证明法。

没有所谓的 必须直接证明。



【 在 gaocheng 的大作中提到: 】
: 这不算本题的证明，反过来说明很容易，但按照题目必须正向证明很难的。
:
--
FROM 112.96.173.*