反证法的证明步骤
定理的证明方法？
定理的证明方法？
证明定理的方法主要归纳为以下几种：
1)直接证明：通过证明当 p 为真时 q 必然为真而进行的对 p-gtq 的证明。
2)反证法：反证法是一种间接证明方法，利用条件语句 p-gtq 等价于它的倒置 ￢q-gt￢p 的事实，换句话说，就是通过证明 q 是假时 p 一定是假来证明 p-gtq 为真。当不容易找到直接证明时用反证会很有效。在反证中，要假设条件语句的结论为假，并使用直接证明法表明这意味着前提必为假。
3)归谬证明：归谬证明也是一种间接证明方法，假设我们想证明 p 是真的，假定可以找到矛盾式 q 使得 ￢p-gtq 为真，因为 q 是假的，￢p-gtq 为真，我们能够得出 ￢p 必然为假，这意味着 p 为真。这样我们的目标就变成了如何寻找矛盾式 q，以此来帮助我们证明 p 为真。因为无论 r 是什么命题，r ^ ￢r 都是矛盾式。也就是说，如果我们能够证明对某个命题 r，￢p-gt( r ^ ￢r ) 为真时，就能证明 p 是真的。这种类型的证明称为归谬证明。
归谬也能够用于证明条件语句。在这样的证明中，首先假设结论的否定。然后应用定理前提和结论否定得到一个矛盾式。因此可以把条件语句的反证改写成归谬证明。
4)穷举证明：通过检查一系列的所有情况所建立的结果得到的证明。
5)分情形证明：把情况分解为覆盖所有可能的单独情况的证明。一个穷举证明是分情形证明的特殊类型。
6)不失一般性：假定一个证明可以通过减少需要证明的情形来证明的一个法则。也就是通过证明定理的其中一种情况，其它的一系列情况通过简单的变化来论证。
7)反例：使得P(x)为假的元素x。
8)构造性的存在性证明：证明具有特定性质的元素存在，通过显示地方式来寻找这样的元素。
9)非构造性的存在性证明：证明具有特定性质的元素存在，但不是显示地寻找这样的元素。给出非构造性证明的一种普通方法是使用归谬证明。
10)唯一性证明：证明具有特定性质的元素唯一地存在。
此外，还有许多重要的证明方法有：数学归纳法、康托尔对角化方法、计数论证方法等。这里不做过多的阐述。
如何用反证法证明a平行b,b平行c,则a平行c？
已知：a//b,b//
c 求证：a//
c 证明：假设a与c相交 ∴b与c相交 又∵这与b//c相矛盾 ∴假设不成立 ∴原结论a//c成立