离散数学-逻辑与证明基础1.7（证明简介）

直接证明

在直接证明中，我们假设 p 为真，并使用公理、定义、先前已证的定理和推理规则来证明 q 也必须为真。

定义 1 如果存在整数 $k$ 使得 $n=2k$，则整数 $n$ 是偶数；如果存在整数 $k$ 使得 n = 2k + 1$，则 $n$ 是奇数。（注意，每个整数要么是偶数，要么是奇数，没有整数既是偶数又是奇数。）当两个整数都是偶数或都是奇数时，它们具有相同的奇偶性；当一个是偶数而另一个是奇数时，它们具有相反的奇偶性。

例1 给出定理“如果 $n$ 是奇整数，那么 $n^2$ 是奇数”的直接证明。

解答：注意，这个定理表述为 $\forall n(P(n)\to Q(n))$，其中 $P(n)$ 是“$n$ 是奇整数”，$Q(n)$ 是“$n^2$ 是奇数”。正如我们所说，我们将在数学证明中遵循通常的惯例，通过证明 $P(n)$ 蕴含 $Q(n)$，而不是明确地使用全称实例化。

为了开始这个定理的直接证明，我们假设这个条件语句的前提为真，也就是说，我们假设 $n$ 是奇数。根据奇整数的定义，$n=2k+1$，其中 $k$ 是某个整数。我们希望证明 $n^2$ 也是奇数。我们可以对方程 $n=2k+1$ 的两边平方，以得到表达 $n^2$ 的新方程。

当我们这样做时，得到

$$n^2=(2k+1{)}^2=4k^2+4k+1=2(2k^2+2k)+1$$

根据奇数的定义，我们可以得出 $n^2$ 是奇整数（它比两倍某个整数大1）。因此，我们已经证明了如果 $n$ 是奇整数，那么 $n^2$ 也是奇数。

例2 给出定理“如果 $m$ 和 $n$ 都是完全平方数，那么 $mn$ 也是完全平方数”的直接证明。（若存在整数 $b$ 使得 $a=b^2$，则整数 $a$ 为完全平方数。）

解答：根据完全平方数的定义，可以得出存在整数 $s$ 和 $t$，使得 $m=s^2$ 和 $n=t^2$。

通过将 $m$ 代入 $s^2$，并将 $n$ 代入 $t^2$ 到 $mn$ 中，可以看到：

$$mn=s^2{t}^2=(ss)(tt)=(st)(st)=(st{)}^2，$$

利用了乘法的交换律和结合律。因此，根据完全平方数的定义，$mn$ 也是一个完全平方数，因为它是整数 $st$ 的平方。我们已经证明了如果 $m$ 和 $n$ 都是完全平方数，那么 $mn$ 也是一个完全平方数。

反证法

例3 证明：如果 $n$ 是整数且 $3n+2$ 是奇数，那么 $n$ 是奇数。

解答： 我们首先尝试直接证明。为了构建直接证明，我们首先假设 $3n+2$ 是一个奇整数。根据奇数的定义，我们知道 $3n+2=2k+1$，其中 $k$ 是一个整数。我们可以使用这个事实来证明 $n$ 是奇数吗？我们看到 $3n+1=2k$，但似乎没有任何直接的方法可以得出 $n$ 是奇数的结论。由于我们的直接证明尝试失败了，我们接下来尝试用反证法证明。

反证法的第一步是假设条件语句“如果 $3n+2$ 是奇数，那么 $n$ 是奇数”的结论为假；即，假设 $n$ 是偶数。然后，根据偶数的定义，$n=2k$，其中 $k$ 是整数。将 $2k$ 代入 $n$，我们得到 $3n+2=3(2k)+2=6k+2=2(3k+1)$。这告诉我们 $3n+2$ 是偶数（因为它是 2 的倍数），因此不是奇数。这就是该定理前提的否定。由于条件语句的结论的否定意味着假设为假，原始条件语句成立。我们的反证法证明成功了；我们已经证明了定理“如果 $3n+2$ 是奇数，那么 $n$ 是奇数”。

例4 证明：如果 $n=ab$，其中 $a$ 和 $b$ 是正整数，那么 $a\le \sqrt{n}$ 或 $b\le \sqrt{n}$。

解答： 我们假设语句 ($a\le \sqrt{n})\vee (b\le \sqrt{n}$) 是假的。利用析取的含义以及德摩根律，我们得出这意味着 $a>\sqrt{n}\wedge b>\sqrt{n}$。我们可以将这些不等式相乘（利用如果 $0<s<t$ 且 $0<u<v$，则 $su<tv$ 的事实），得到 $ab>\sqrt{n}\cdot \sqrt{n}=n$。这表明 $ab\ne n$，这与 $n=ab$ 的陈述相矛盾。

定义 2 如果存在整数 $p$ 和 $q$，其中 $q\ne 0$，使得实数 $r=\frac{p}{q}$，那么称实数 $r$ 是有理数。不满足有理条件的实数称为无理数。

例5 证明：两个有理数的和是有理数。

解答： 我们首先尝试直接证明。首先，假设 $r$ 和 $s$ 是有理数。根据有理数的定义，可以得到存在整数 $p$ 和 $q$，且 $q\ne 0$，使得 $r=\frac{p}{q}$，并且存在整数 $t$ 和 $u$，其中 $u\ne 0$，使得 $s=\frac{t}{u}$。
$$r+s=\frac{p}{q}+\frac{t}{u}=\frac{pu+qt}{qu}$$

因为 $q\ne 0$ 且 $u\ne 0$，所以 $qu\ne 0$。因此，我们已经将 $r+s$ 表示为两个整数的比值，其中 $v=pu+qt$ 和 $w=qu$，并且 $w\ne 0$。这意味着 $r+s$ 是有理数。

例6 证明：如果 $n$ 是整数且 $n^2$ 是奇数，那么 $n$ 是奇数。

解答： 我们首先尝试直接证明。假设 $n$ 是整数且 $n^2$ 是奇数。根据奇数的定义，存在一个整数 $k$ 使得 $n^2=2k+1$。似乎没有明显的方法可以证明 $n$ 是奇数，因为对 $n$ 求解会得到方程 $n=\pm \sqrt{2k+1}$，这并没有多大用处。

我们接下来尝试用反证法证明。我们假设 $n$ 不是奇数。因为每个整数要么是奇数要么是偶数，这意味着 $n$ 是偶数。这意味着存在一个整数 $k$ 使得 $n=2k$。通过对该等式的两边平方，我们得到 $n^2=4k^2=2(2k^2)$，这意味着 $n^2$ 也是偶数，因为 $n^2=2t$，其中 $t=2k^2$。我们已经证明，如果 $n$ 是整数且 $n^2$ 是奇数，那么 $n$ 是奇数。我们的反证法证明成功了。

矛盾法

例7 证明：在任意选定的 22 天中，至少有四天落在一周的同一天。

解答： 设 $p$ 为命题“在 22 个选定的日子中，至少有四天落在同一天。”假设 $\neg p$ 为真。这意味着在这 22 天中，最多只有三天落在同一天。因为一周有七天，这意味着最多只有 21 天可以被选择，因为对于一周每一天最多只有三天落在该天。这与我们考虑的 22 天前提相矛盾。

例8 证明 $\sqrt{2}$ 是无理数。

解答： 设 $p$ 为命题“$\sqrt{2}$ 是无理数”。我们假设 $\neg p$ 为真。注意，$\neg p$ 是命题“$\sqrt{2}$ 是有理数”。

如果 $\sqrt{2}$ 是有理数，那么存在整数 $a$ 和 $b$，使得 $\sqrt{2}=\frac{a}{b}$，其中 $b\ne 0$ 且 $a$ 和 $b$ 互质（即分数 $\frac{a}{b}$ 已是最简分数）。这里我们利用了每个有理数都可以写成最简分数的事实。因为 $\sqrt{2}=\frac{a}{b}$，将该等式两边平方得到

$2=\frac{a^2}{b^2}$.

因此，

$2b^2=a^2$.

根据偶数的定义，$a^2$ 是偶数。我们接下来使用“如果 $a^2$ 是偶数，那么 $a$ 也必须是偶数”这一事实。此外，因为 $a$ 是偶数，根据偶数的定义，设 $a=2c$，其中 $c$ 是某个整数。因此，

$2b^2=(2c{)}^2=4c^2$.

将该方程两边除以 2 得到

$b^2=2c^2$.

根据偶数的定义，这意味着 $b^2$ 是偶数。再次利用“如果一个整数的平方是偶数，那么这个整数本身也必须是偶数”的事实，我们得出 $b$ 也是偶数。

由于我们的假设 $\neg p$ 导致了矛盾，即 2 可以整除 $a$ 和 $b$，而 2 不能同时整除 $a$ 和 $b$，因此 $\neg p$ 必然为假。

因此，命题 $p$“$\sqrt{2}$ 是无理数”是真命题。我们已经证明了 $\sqrt{2}$ 是无理数。

等价证明

要证明一个双条件命题，即形式为 $p\leftrightarrow q$ 的陈述，我们需要证明 $p\to q$ 和 $q\to p$ 都为真。这个方法的有效性基于下述重言式：

$$(p\leftrightarrow q)\leftrightarrow (p\to q)\wedge (q\to p)$$.

例9 证明定理：“如果 $n$ 是整数，那么 $n$ 是奇数当且仅当 $n^2$ 是奇数。”

解答： 为了证明该定理，我们需要证明 $p\to q$ 和 $q\to p$ 都为真。

当我们证明一组命题是等价的时，我们可以建立任何链式的条件语句，只要可以在链中从一个语句过渡到任何其他语句。例如，我们可以通过证明 $p_1\to p_3,p_3\to p_2,$ 和 $p_2\to p_1$ 来表明 $p_1,p_2$ 和 $p_3$ 是等价的。

例10 证明关于整数 $n$ 的以下陈述是等价的：

p_1 ： n 是偶数。

p_2 ： n - 1 是奇数。

p_3 ： n^2 是偶数。

解答：我们将通过证明条件陈述 $p_1\to p_2$、$p_2\to p_3$ 和 $p_3\to p_1$ 为真，来展示这三个陈述是等价的。

我们使用直接证明来证明 $p_1\to p_2$。假设 $n$ 是偶数。那么 $n=2k$（其中 $k$ 是某个整数）。因此，$n-1=2k-1=2(k-1)+1$。这意味着 $n-1$ 是奇数，因为它是形如 $2m+1$ 的形式，其中 $m$ 是整数 $k-1$。

我们还使用直接证明来证明 $p_2\to p_3$。现在假设 $n-1$ 是奇数。那么 $n-1=2k+1$（其中 k 是某个整数）。因此，$n=2k+2$，从而 $n^2=(2k+2{)}^2=4k^2+8k+4=2(2k^2+4k+2)$。这意味着 $n^2是2k^2+4k+2$ 的两倍，因此是偶数。

为了证明 $p_3\to p_1$，我们使用反证法。也就是说，我们证明如果 $n$ 不是偶数，那么 $n^2$ 也不是偶数。

反例

当我们面对形式为 $\forall xP(x)$ 的陈述时，如果我们认为它是假的或它抵挡住了所有的证明尝试，我们会寻找一个反例。

例11 证明陈述“每个正整数都是两个整数平方的和”是错误的。

解答：不难找到一个反例，因为 3 不能表示为两个整数平方的和。为说明这一点，请注意不超过 3 的唯一完全平方数是 $0^2=0$ 和 $1^2=1$。此外，没有办法将 3 表示为两个这样的数的和（每个数为 0 或 1）。因此，我们已经证明了“每个正整数都是两个整数平方的和”是错误的。