离散数学第三版要点分析.ppt

* 穷举法(分情况证明法) 待证明的命题形式为A= A1?A2?…?Ak ?B. 做法 证明A1?B, A2?B,…, Ak?B 均为真 例5 证明:max(a, max(b,c))=max(max(a,b),c) 证 情况 u=max(b,c) max(a,u) v=max(a,b) max(v,c) a ? b ? c c c b c a ? c ? b b b b b b ? a ? c c c a c b ? c ? a c a a a c ? a ? b b b b b c ? b ? a b a a a * 构造性证明法 要证明存在具有某种性质的客体 做法 在A为真的条件下, 构造出具有这种性质的客体 例6 对于每个正整数n, 存在n个连续的正合数. 证 令x=(n+1)! 则 x+2, x+3,…, x+n+1是n个连续的正合数: i | x+i, i=2,3,…,n+1 * 非构造性证明 例7 对于每个正整数n, 存在大于n的素数. 证 令x等于所有小于等于n的素数的乘积加1, 则 x不能被所有小于等于n的素数整除. 于是, x或者是素数, 或者能被大于n的素数整除. 因此,存在大于n的素数. * 空证明法与平凡证明法 空证明法(前件假证明法) 做法 证明A恒为假 例如 设n∈N