【数据结构】证明法

@H_502_2@@H_502_2@

反证法

@H_404_5@

基本概念：
一般地，假设原命题不成立（即 在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立，这样的证明方法叫做反证法。@H_502_2@ @H_404_5@ 基本操作： @H_502_32@ @H_404_5@分清命题\(p=>q\)的条件和结论； @H_404_5@做出与命题结论\(q\)相矛盾的假定\(┐q\)； @H_404_5@由\(p\)和\(┐q\)出发，应用正确的推理方法，推出矛盾结果； @H_404_5@

断定产生矛盾结果的原因，在于开始所作假定\(┐q\)不真，于是原结论\(q\)成立，从而间接地证明了命题\(p=>q\)为真。@H_502_2@

第三步所说的矛盾结果，通常是指推出的结果与已知条件、定义、定理或临时假定矛盾、以及自相矛盾等。@H_502_2@

@H_404_5@

适用性：
适用于“正难则反”的证明题
凡是“至少”、“唯一”或含有否定词的命题适宜用反证法。@H_502_2@

数学归纳法

@H_404_5@基本概念：
从初始情况，逐渐递推出n的结论。 @H_404_5@ 基本步骤：
一般地，证明一个与正整数n有关的命题，可按下列步骤进行： @H_502_32@ @H_404_5@（归纳奠基）证明当n取第一个值\(n_0\)时命题成立； @H_404_5@（归纳递推）假设n=k(k≥\(n_0\))时命题成立，证明当n=k+1时命题也成立。
只要完成上面两个步骤，即可断定（递推出）命题从\(n_0\)开始的所有正整数n都成立。 @H_404_5@ 格式： @H_502_32@ @H_404_5@当n=1时,显然成立. @H_404_5@假设当n=k时（把式中n换成k,写出来）成立, @H_404_5@则，当n=k+1时,（这步比较困难,化简步骤往往繁琐,考试时可以直接写结果)该式也成立. @H_404_5@由（1）（2）得,原命题对任意正整数均成立，原命题成立。 @H_404_5@注意：
用数学归纳法证明命题时，需注意： @H_502_32@ @H_404_5@第一步是基础，首先要验证n=\(n_0\)时成立，注意\(n_0\)不一定为1； @H_404_5@第二步是依据，在第二步中，关键是要正确合理地运用归纳假设，尤其要弄清k到k+1的变化，两个步骤缺一不可，且书写必须规范。 @H_404_5@适用性：
只适用于与正整数n有关的命题的证明方法 @H_404_5@补充：
用数学归纳法还可以解决数列中的归纳猜想问题，基本步骤是：观察、归纳、猜想、证明，一般要根据已知条件和递推关系，先求出数列的前几项，然后总结归纳其中的规律，猜想结论，再利用数学归纳法证明。猜想是证明的前提和对象，因此务必保持猜想的正确性，同时注意数学归纳法的书写步骤。

综合例题

证明 n 个节点的无向连通图最少有 n-1 条边。@H_502_2@

@H_404_5@ 数学归纳法： @H_502_32@ @H_404_5@当n=1时，最少有0条边，显然成立； @H_404_5@假设当n=k(k≥1)时，最少有k-1条边，命题成立，则 @H_404_5@当n=k+1时，图中分为两部分，一部分为k个结点最少有k-1条边，第二部分为一个单独的结点，若其需与其他结点相连通，得添加一条边，故最少有(k-1)+1=k条边。 @H_404_5@故原命题成立。

设图G有n个结点，n＋1条边，证明：G中至少有1个结点度数大于等于3。@H_502_2@

@H_404_5@ 反证法：  @H_502_32@ @H_404_5@假设G=<V,E>，任意v∈V，deg(v)≤2。所有结点的度数之和2(n+1)小于2n。 @H_404_5@即2(n+1)≤2n，化简后，2≤0，矛盾。  @H_404_5@故G中至少有1个结点度数大于等于3。

设无向图G有9个结点，每个结点的度数不是5就是6，证明：G中至少有5个6度结点或至少有6个5度结点。@H_502_2@

@H_404_5@ 反证法： @H_502_32@ @H_404_5@假设6度结点小于5个且5度结点小于6个，则只可能有5个5度结点，4个6度结点(其他情况结点数的和小于9)。 @H_404_5@此时，各结点度数之和为：5×5+4×6=25+24=49。与结点度数之和为偶数(边数两倍)矛盾。  @H_404_5@故G中至少有5个6度结点或至少有6个5度结点。