是综合法．

（3）分析法便于思考，叙述较繁；综合法叙述条理清楚，不便于思考，综合法是分析法的逆向思维过程，表述简单，条理清楚．所以实际证题时，可将分析法、综合法结合起来使用，即：分析找思路，综合写过程．

8．反证法的定义

一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出 ，因此说明假设 ，从而证明了原命题 ，这样的证明方法叫做反证法．反证法是间接证明的一种基本方法．

9．反证法证题的原理

（1）反证法的原理是"否定之否定等于肯定"．

（2）用反证法解题的实质就是否定结论，导出矛盾，从而说明原结论正确．

10．反证法常见的矛盾类型

（1）反证法的关键是在正确的推理下得出矛盾．这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、公认的简单事实矛盾等．矛盾是在推理过程中发现的，不是推理之前设计的．

（2）反证法的适用对象

作为一种间接证明方法，反证法尤其适合证明以下几类数学问题：

①直接证明需分多种情况的；

②结论本身是以否定形式出现的一类命题--否定性命题；

③关于唯一性、存在性的命题；

④结论以"至多"、"至少"等形式出现的命题；

⑤条件与结论联系不够明显，直接由条件推结论的线索不够清晰，结论的反面是比原结论更具体、更容易研究的命题．

K知识参考答案：

1．已知条件 定义 公理 定理 推理论证

2．可知 未知 因 果 必要

3．P Q

4．结论 充分