离散数学第三版资料.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，记P(n): 若nl，则n21. 试证明P(0)为真． P(0): 若01，则021. 平凡证明法(后件真证明法) 做法 证明B恒为真, 而不需要假设A为真. 例如 若a?b, 则a0?b0. 常在归纳证明的归纳基础中出现 * 归纳与猜想??数学研究的方法 命题的提出 例如, 观察 1=12 1+3=22 1+3+5=32 1+3+5+7=42 … … 猜想: 前n个奇数之和等于n2, 即 1+3+5+ … +(2n-1)=n2 * 数学归纳法的步骤 命题形式: ?x(x?N?x?n0), P(x) (1)归纳基础 证P(n0)为真 (2)归纳步骤 ?x(x?n0), 假设P(x)为真, 证P(x+1)为真. 称“P(x)为真”为归纳假设 例8 证明:对所有n?1, 1+3+5+ … +(2n-1)=n2 证 归纳基础. 当n=1时, 1=12, 结论成立. 归纳步骤. 假设对n?1结论成立, 则有 1+3+5+ … +(2n-1)+(2n+1)=n2 +(2n+1) = (n+1)2 得证当n+1时结论也成立. * 数学归纳法的步骤(续) 注意: 归纳基础与归纳步骤两者缺一不可 反例1 命题 ?n?1, 21+22++ 2n= 2n+1 假设?n?1, 结论成立, 则 21+22++ 2n+2n+1= 2n+1+2n+1 = 2n+2 对n+1结论成立. * 数学归纳法的步骤(续) 反例2 观察2n-1-1 是否被n整除 n 2n-1-1 整除 n 2n-1-1 整除 3 3 Y 10 511 N 4 7 N 11 1023 Y 5 15 Y 12 2047 N 6 31 N 13 4095 Y 7 63 Y 14 8191 N 8 127 N 15 16383 N 9 255 N 16 32767 N * 反例2(续) 由上表可能会提出下述命题 命题 设n?3, n是素数的充分必要条件是2n-1-1被n整除. 但此命题不真. 561=3?11?17是合数, 而2560-1能被561整除. n 2n-1-1 整除 n 2n-1-1 整除 17 65535 Y 21 1048575 N 18 131071 N 22 2097151 N 19 262143 Y 23 4194303 Y 20 524287 N 24 8388607 N * 第二数学归纳法 归纳基础 证明P(n0)为真 归纳步骤 ?x(x?n0), 假设P(n0),P(n0+1),…,P(x)为真, 证P(x+1)为真. 归纳假设 ?y(n0?y?x), P(y)为真 例9 任何大于等于2的整数均可表成素数的乘积 证 归纳基础. 对于2, 结论显然成立. 归纳步骤. 假设对所有的k(2?k?n)结论成立, 要证结论 对n+1也成立. 若n+1是素数, 则结论成立; 否则n+1=ab, 2?a,bn. 由归纳假设, a,b均可表成素数的乘积, 从而n+1 也可表成素数的乘积. 得证结论对n+1成立. * 注释 归纳基础 证P(n0),P(n0+1),…,P(n1)为真, n0?n1. 例10 可用4分和5分邮票组成n分邮资, n?12