论文部分内容阅读
在立体几何学习的开始阶段，对于一些用公理、定理从正面论证比较困难的立体几何问题，常用反证法．反证法的基本步骤是：先假设命题的结论不成立，由这个假设，再利用某些正确的命题，经过推理导出矛盾的结论．这个矛盾可以与已知条件或其它真命题矛盾，也可以与假设矛盾，还可以相互矛盾．由此断定“假设命题不成立”是错误的，从而肯定命题成立．下面举例说明适合用反证法的一些典型题目．