数学通讯争鸣：反证法应用评析.pdfVIP

4：0数学通讯一2015年第5期(下半月)·争鸣·

。

，，．

．

≤；氢

0．，0

bc。+ca。．Ps与P属“反对”关系，不难验证，两者都

评析

为假命题．可见P假不能断定P真．同样地，P假

l问题2371使用反证法时只需否定结论P-57不足以断定P真．所以说，观点2是错误的．

人教A版和北师大版教材关于反证法的描述

本问题共收到评析稿件6篇，比较一致的看法

都是：“先假设原命题结论不成立，即在原命题的条

是：学生提供的证法是不正确的，并没有在假设结论

件下，假设结论的反面成立，在此基础上，经过正确

不成立时推得合理的矛盾，实际上没有完成原问题

的推理，得出矛盾，说明假设不成立，从而证明原命

的证明．观点1的分析基本正确但没有剖析证明过

题成立．”这明确告诉我们：使用反证法不能不考虑

程中的本质错误，而观点2是错误的．

、．t．．÷．原命题的条件(题设)．换言之，反证法证题时提出的

来稿前三名的作者是：王安寓(江苏省南京市六

一^鸟兀Hv假设命题，是原命题(由题设与结论组成)的否定(矛

合实验高级中学)，汪长银(安徽省太湖县大石初

t．．．s￡

盾)命题，而并非简单地“对结论进行否定”．

中)，马殿荣(北京市朝阳区南沙滩甲l号3303室)．

再看“一位学生”的证明．首先，我们无法从其表

选登1个人认为：观点1正确，观点2错误．

述中断定他提出的假设命题是Ps还是Pz．如果是

该学生未能证得原问题．

Ps，则他“对上述三式分别平方并相加”得到的命题

一般来说，数学上对于全称否定命题如“对任意

自然是：“对任意满足a+b。+C一1的实数a，b，C，

满足条件n+b。+C=1的实数日，b，C，都有l口一b

都有口b~bc+ca÷”(记为P。)．由口一6一f一可

l，l6一cl，lf—al中至少有一个不超过-6-’(记为

否定P，从而P假，但如前所述，P假不能得到P

P)，其否定(或矛盾)命题应为“存在满足a++