反证法的关键是在正确的推理下得出矛盾,这个矛盾可以是与_________________________________________等矛盾.
2.反证法常见矛盾类型
使用反证法应注意的几个问题 1.如果待证命题的相反判断有多种不同情况,需对各种不同情况一一导出矛盾,加以否定,才能使原判断得到充分肯定. 2.有些待证命题的相反判断虽然只有一种情况,但在证明过程中有必要进行分类,首先要求分类必须详尽无遗漏,并且就各类一一导出矛盾.
已知条件、假设、定义、公理、定理、事实