先看这是课本P21的21题:

《习题解析》中,给出的第(3)题答案是错误的,属书本的文字编辑错误。这里纠错。答案应该是:

但是《习题分析》中的证明是正确的。
第(4)问的充要条件,由文氏图可以直接看出:

《习题解析》给出的答案如下:
-------------------------------------------------------------
“
”用反证法,证明:已知
,
若
, 则

这与
矛盾。
“
”显然。
-------------------------------------------------------------
大家看问题出在:

这里第二行是错误的。

-------------------------------------------------------------
那么对于原证明可以这么理解:
我的个人分析是:这里
是说,
存在
,使
成立(反正假设)。
<1>若
为空,则
;
<2>若
不为空,则
;
但是按照正常的推导如下:

(由于
)
所以<1>成立。
-------------------------------------------------------------
另,鹏弟给出另外的证明:

-------------------------------------------------------------
下面是小马同学穿过来的离线文件:


万分感谢大家的帮助。不断前行……
本文指出《习题解析》中第(3)题答案的文字编辑错误,并提供修正答案。同时,对第(4)问的充要条件进行解释,通过文氏图直接得出结论。另外,对证明过程中的错误进行更正,采用反证法证明已知条件下命题的正确性。同时,提供了鹏弟给出的另一种证明方法。
959





