第一章逻辑与证明.ppt

* * * * 利用等价关系证明 例 1.5.15　证明对于所有的整数n，n为奇数当且仅当n－1为偶数。 证明：如果n为奇数，则n－1为偶数。 若n为奇数，则n＝2k＋1，其中k为某个整数。于是 n－1＝(2k＋1)－1＝2k，　所以n－1为偶数。 下面证明“如果n－1为偶数，则n为奇数”。 如果n－1为偶数，则n－1＝2k，其中k为某个整数。于是n＝2k＋1 所以n为奇数。证毕。 * 反例证明法 反驳　?x P(x) 只需在论域内找到一个x，使P(x)为假。 例 1.5.19 命题　“?n (2n+1)是素数”为假。 反例为n＝3时，23＝9，不是素数 * 1.7 证明方法和策略 穷举证明 分情况证明 存在性证明 唯一性证明 证明策略 * 1.7.2穷举证明 有些定理可以通过有关的小数量例子测验来证明——穷举证明 例，当n是一个正整数，且n ≤4时，(n+1)3 ≥3n 解：用穷举证明 对于n=1, (n+1)3 =23=8, 而31=3，即(n+1)3 ≥3n 对于n=2，(n+1)3 =33=27, 而32=9，即(n+1)3 ≥3n 对于n=3, (n+1)3 =43=64, 而33=27，即(n+1)3 ≥3n 对于n=4, (n+1)3 =53=125, 而34=81，即(n+1)3 ≥3n 对于论域中的每个n，都有(n+1)3 ≥3n * 分情况的证明法 例如，前提“x是一个实数”可以被分成两种情况：(a) x是一个非负实数 (b) x是一个负实数。 例1.5.14　证明对每个实数x，x≤|x|。 证明： 当x≥0时，根据绝对值的定义，|x|＝x，于是|x|≥x。当x0时，根据绝对值的定义，|x|＝－x，因为|x|＝－x0，0x，所以|x|x。 两种情况下都有|x|≥x，所以命题成立。 * 1.7.3 存在性证明 需在论域中找到一个x使P(x)为真即可。 例1.5.17 令a和b为实数且ab。证明存在实数x满足axb。 证明 只需找到一个实数x满足axb即可。实数 　　x＝ 显然满足axb。 * * 2.4 数学归纳法 Sn 表示n个正整数的和 Sn = 1 + 2 + ?+ n * * 前n个自然数之和为n(n+1)/2 证明：对n进行归纳。 当n=1时，有S(1)=1=1×(1+1)/2，故命题成立。 假设前n个自然数之和S(n)为n(n+1)/2。 接着证前n+1个自然数之和S(n+1)=(n+1)(n+2)/2。 根据S(n)的定义， 有S(n+1)=S(n)+n+1， 又由假设S(n)= n(n+1)/2，于是可以推得S(n+1)=n(n+1)/2+n+1=(n+2)(n+1)/2，命题得证。 * 数学归纳法原理 设对于每个正整数n，我们有一个陈述s(n)，假设 s(1)为真； 如对于所有的i，s(i)为真，s(i+1)也为真。 则对于所有正数n，s(n)为真。 * 定义： n 的阶乘定义 即如果n ≥ 1，n！等于所有1 到n 之间的整数的乘积。 特别是将0！定义为1 * 例2.4.3 使用归纳法证明 n!≥ 2n-1 对所有n ≥ 1 * 如果要验证命题 S(n0), S(n0＋1)，… 为真 则必须把基本步变成S(n0)为真 归纳步变为 对任意的n ≥ n0，如果S(n)为真，则S(n + 1)为真。 * 例2.4.5 用归纳法证明5n-1能被4整除。 基本步：n=1时显然为真 归纳步：设5n-1可被4整除 5n+1-1=5· 5n-1=(5n-1)+4· 5n可被4整除 所以对于n=1,2…, 5n-1能被4整除 * 对任意的自然数x和n，xn-1能被x-1除尽 证明：对n进行归纳。 基本步：当n=1时，定理显然成立。 归纳步：假设n-1时定理仍然成立，即假设对任意自然数x， xn-1-1能被x-1除尽。 接下来要证明的就是xn-1能被x-1除尽。 证明思路就是用xn-1-1来表达xn-1。 根据归纳假设xn-1-1能被x-1除尽，则： xn-1=x(xn-1-1) + (x-1) 由归纳假设，等式右边的第一项能被x-1除尽， 而第二 项本身就是x-1。 * 基本步： n=1时，式的两边都等于1+x。 归纳步： 假设(1+x)n≥1+nx对所有满足1+x0的x都成立 下面来考虑n+1时的情况。 要证明的是对所有满足1+x0的x， (1+x)n+1≥1+(n+1)x成立。 (1+x)n+1=(1+x)(1+x)n≥（根据归纳法）(1+x)(1+nx) =1+(n+1)x+nx2≥1+(n+1)x。 若n是自然数，且1+x0，则 (1+x)n≥1+nx *