第六章 不等式、推理与证明第五节.DOC

第六章不等式、推理与证明 第五节直接证明与间接证明 1．直接证明 内容 综合法 分析法 定义 利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立 从要证明的结论出发，逐步寻求使它成立的充分条件，直到最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止 思维过程 由因导果(顺推证法) 执果索因(逆推证法) 框图表示 P表示已知条件、已有的数学定义、公理、定理、性质等，Q表示所要证明的结论 →→…→ →→…→ 文字语言 因为……，所以……，或由……得……，或“” 要证(欲证)……，只需证……，即证…… 2．间接证明——反证法 要证明某一结论Q是正确的，但不直接证明，而是先去假设Q不成立(即Q的反面非Q是正确的)，经过正确的推理，最后得出矛盾，因此说明非Q是错误的，从而断定结论Q是正确的，这种证明方法叫做反证法． 1．判断下列结论是否正确(请在括号中打“√”或“×”) (1)综合法是直接证明，分析法是间接证明．(　　) (2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　　) (3)用反证法证明结论“ab”时，应假设“a≤b”．(　　) (4)反证法是指将结论和条件同时否定，推出矛盾．(　　) 答案：(1)×　(2)×　(3)√　(4)× 2．对于任意角θ，化简cos4θ－sin4θ＝