第六节 直接证明与间接证明一、直接证明内容 综 合法 分析法定 义 利用已知条件和某些数学定 义 、公理、定理等， 经过 一系列的 ，最后推 导 出所要 证 明的 结论从 要 出 发 ，逐步寻 求使它成立的 ，直到最后，把要 证 明的 结论归结为 判定一个明 显 成立的条件 (已知条件，定理，定 义，公理等 )为 止实质 由因 导 果 (顺 推 证 法 ) 执 果索因推理 论证成立证明的结论充分条件内容 综 合法 分析法框 图表示文字语 言因 为 所以 或由 得 要 证 只需 证 即 证 二、间接证明反证法：假设原命题 (即在原命题的条件下，结论不成立 )，经过正确的推理，最后得出 ，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫反证法不成立矛盾1分析法是从要证明的结论出发，逐步寻求使结论成立的( )A充分条件 B必要条件C充要条件 D等价条件答案： A2用反证法证明命题 “如果 a b，那么 时，假设的内容是 ( )答案： D3 P= (m、 n、 a、 b、c、 d均为正数 )，则 p、 q的大小为 ( )A pq B pqC p q D不确定答案： B解析： q=p.
