应用反证法解决立体几何问题.pdfVIP

高中数学教与学 2009童 应用反证法解决立体几何问题 辛 春 (江苏省溧阳市南渡高级中学 ，213371) 反证法属于间接证明法，是从反面的角度 已知：z a，mCa，z∥m，求证：z∥0t． 思考问题的证明方法．依据是逻辑思维规律中 证明 假设直线Z和平面 不平行，又 z 的矛盾律 (即在同一思维过程中，两个互相矛盾 ， 设zn =A．如果点A∈m，则和z∥m 的判断不能同时都为真，至少有一个是假的．) 矛盾；如果点A隹m，则Z和m成异面直线，这 和排中律 (即两个互相矛盾的判断不能同时都 也和z∥m矛盾，所以z∥ 假)．法国数学家阿达玛 (Hadamard)对其实质 作过精辟的概括：“若肯定定理的假设而否定其 结论，就会导致矛盾”．具体地讲，反证法就是从 否定命题的结论人手，并把对命题结论的否定 作为推理的已知条件，进行正确的逻辑推理，使 图 1 之得到与已知条件、已知公理、定理、法则或者 二、证明两条直线异面 已经证明为正确的命题等相矛盾的命题，矛盾 证明两条直线是异面直线可以用 “过平 的原因是假设不成立，所以肯定了原命题的结 面外一点及平面内一点的直线和平面内不过 论，从而使命题获得了证明． 该点的直线是异面直线．”这一异面直线的判 具体的实施步骤为：第一步 ：反设，即作 定定理 ，也可以用反证法． 出与求证结论相反的假设；第二步：归谬，即 将反设作为条件，并由此通过一系列的正确 例2 已知直线o，b，c不共面，它们相交 于点s，A∈0，D∈口，B∈b，E∈c(如图2)，求 推理导出矛盾 ；第三步：存真，即说明反设不 证：BD和AE是异面直线． 成立，从而肯定原命题成立． 立体几何较其它学科而言有困难的一面， 其中有些问题简直叫人束手无策．当山重水复 疑无路时，若遵循 “正难则反”的解题原则 ，应 用反证法，则常可柳暗花明又一村．况且反证法 是常用的数学解题方法．现列举反证法解决立 图 2 体几何的几类棘手问题，以期抛砖引玉． 证明 假设BD和AE不是异面直线，则 一 、 证明教材中的某些定理 BD和AE共面，设它们确定一个平面口，因此 高中数学教材中有些几何定理直接证明 有A ∈p，B∈卢，E ∈卢，D ∈卢．因为A ∈0，D 比较困难，若考虑用反证法，则可以化难为 E0，所以nc ．又因为S∈a，所 以S∈ ．因 易，使证明一帆风顺． S∈b，BEb，所以bc 同理cc卢，这与n， 例 1 如果平面外的一条直线和平面内的 b，c不共面矛盾，从而有BD和AE是异面直线． 一 条直线平行，那么这条直线平行于这个平面 三、证明点线共面 分析 本题的条件和结论是用文字语言