形式的命题及其逆命题、否命题硬慰茧逆否命题,会分析四种命.pptVIP

1.条件已知证明结论成立是充分性.结论已知推出条件成立 是必要性； 2.证明分为两个环节，一是充分性；二是必要性.证明时， 不要认为它是推理过程的“双向书写”，而应该进行由条件 到结论，由结论到条件的两次证明； 3.证明时易出现必要性与充分性混淆的情形，这就要分清 哪是条件，哪是结论. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 求证：关于x的方程x2＋mx＋1＝0有两个负实根的充要条件是m≥2. [思路点拨] Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. [课堂笔记]　(1)充分性：因为m≥2，所以Δ＝m2－4≥0， 方程x2＋mx＋1＝0有实根. 设x2＋mx＋1＝0的两个实根为x1、x2， 由根与系数的关系知x1x2＝1＞0. 所以x1、x2同号. 又因为x1＋x2＝－m≤－2， 所以x1、x2同为负根. Evaluation