《离散数学》,屈婉玲、耿素云-KefeiChen陈克非.pptVIP

* 实例 例8 证明 A?B=A?B-A?B. 证 A?B=(A?~B)?(~A?B) =(A?~A)?(A?B)?(~B?~A)?(~B?B) =(A?B)?(~B?~A) =(A?B)?~(A?B) =A?B-A?B * 1.3 证明方法概述 ? 直接证明法 ? 间接证明法 ? 归谬法(反证法) ? 数学归纳法 ? 穷举法 ? 构造证明法 ? 空证明法 ? 平凡证明法 ? 举反例——命题为假的证明 * 待证明的命题的形式 形式1. 若A, 则B A?B 形式2. A当且仅当B A?B 形式3. 证明B B 都可归结为形式1 * 直接证明法 做法 假设A为真, 证明B为真. 例1 若n是奇数, 则n2也是奇数. 证 假设n是奇数, 则存在k?N, n=2k+1. 于是, n2 = (2k+1)2 = 2(2k2+2k)+1 得证n2是奇数. * 间接证明法 做法 证明“若B不成立, 则A不成立, 即 ?B? ?A” 例2 若n2是奇数, 则n也是奇数. 证 用间接证明法. 只要证:若n是偶数, 则n2也是偶数. 假设n是偶数, 则存在k?N, n=2k. 于是, n2 = (2k)2 = 2(2k2) 得证n2是偶数. * 归谬法(反证法) 做法 设A成立, 假设B不成立, 推出矛盾. 例3 若A-B=A, 则A?B=? 证 用归谬法, 假设A?B??, 则存在x,使得 x?A?B ? x?A且x?B ? x?A-B且x?B (A-B=A) ? (x?A且x?B)且x?B ? x?B且x?B, 矛盾 * 归谬法(续) 例4 证明 是无理数 证 假设 是有理数, 存在正整数n,m, 使得 =m/n, 不妨设m/n为既约分数. 于是m=n , m2=2n2, m2是偶数, 从而m是偶数. 设m=2k, 得 (2k)2=2n2, n2=2k2, 这又得到n也 是偶数, 与m/n为既约分数矛盾. 间接证明法是归谬法的特殊形式: 由B不成立推出A不成立, 与前提A成立矛盾. * 穷举法(分情况证明法) 待证明的命题形式为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，记P(n): 若nl，则n21. 试证明P(0)为真． P(0): 若01，则021. 平凡证明法(结论真证明法) 做法 证明B恒为真, 而不需要假设A为真. 例如 若a?b, 则a0?b0. 常在归纳证明的归纳基础中出现 * 归纳与猜想??数学研究的方法 命题的提出 例如, 观察 1=12 1+3=2