反证法示例

1. 公式
   观察依据

   手写符号$\mathbb{N}$用于假设行及后续的隶属关系陈述。

2. 声音
   观察依据

   说话者表示将用“符号 N”表示自然数。

$\mathbb{N}$

自然数的集合。

自然数。

1. 公式
   观察依据

   手写行内容为“设 x 为最后一个$\mathbb{N}$”，后接“$x \in \mathbb{N}$”。

2. 声音
   观察依据

   说话者说：“我们设 x 为最后一个自然数。”

x

在反证假设下，任选的一个元素，用以代表假定中最大或最后的自然数。

在视频所述假设下，$x \in \mathbb{N}$。

1. 公式
   观察依据

   手写行显示“$x+1 \in \mathbb{N}$”和“$x+1 > x$”。

2. 声音
   观察依据

   说话者解释道：若取一个自然数并加一，则得到一个更大的自然数。

$x+1$

$x$的后继，构造出来以产生一个比所假设的最后一个自然数更大的自然数。

在视频的假设下，$x+1 \in \mathbb{N}$ 只要 $x \in \mathbb{N}$。

1. 公式
   观察依据

   主讲人写下“设 x、y 为偶数”，随后在乘积式中使用了 x。

2. 声音
   观察依据

   主讲人说：“因此，我们设 x 和 y 为两个偶数，它们代表所有偶数。”

x

作为乘积中一个因数的任意偶数。

偶数；后续表示为$x=2c$与$c\in\mathbb{N}$。

1. 公式
   观察依据

   主讲人写下“设 x、y 为偶数”，随后在乘积式中使用了 y。

2. 声音
   观察依据

   主讲人说：“若 y 是偶数，则 y 也必为某个其他数的两倍。”

y

作为乘积中第二个因数的任意偶数。

偶数；后续表示为$y=2p$与$p\in\mathbb{N}$。

1. 公式
   观察依据

   主讲人写下“$x = 2c$，其中 $c \in N$。”

2. 声音
   观察依据

   主讲人说：“因此，我们设 x 为 c 的两倍，其中 c 是一个自然数。”

1. 视频未明确说明$\mathbb{N}$是否包含$0$，或从$1$开始。

c

一个自然数倍数，表明$x$是偶数。

屏幕上所写的$c\in\mathbb{N}$。

1. 公式
   观察依据

   主讲人写下 `$y = 2p p \in N$。`

2. 声音
   观察依据

   说话人说：“因此我们设 y 等于 p 的两倍，其中 p 是一个自然数。”

1. 视频未明确说明$\mathbb{N}$是否包含$0$，还是从$1$开始。

p

一个自然数乘子，表明$y$是偶数。

屏幕上所写的$p\in\mathbb{N}$。

1. 公式
   观察依据

   符号$\mathbb{N}$出现在书面定义中$c$和$p$之后。

2. 声音
   观察依据

   主讲人称$c$和$p$为自然数。

1. 该片段未说明$\mathbb{N}$所采用的确切约定。

$\mathbb{N}$

用作乘子的自然数集合$c$和$p$。

数集。

1. 公式
   观察依据

   x 等于2乘以 c

x

一个任意的偶数

x 属于自然数集

1. 公式
   观察依据

   y 等于2乘以 p

y

另一个任意的偶数

y 属于自然数集

1. 公式
   观察依据

   c 属于自然数集

c

一个自然数，使得 $x = 2c$

c 属于自然数集

1. 公式
   观察依据

   p 属于自然数集

p

一个自然数，使得 $y = 2p$

p 属于自然数集

1. 声音
   观察依据

   主讲人说：“我们将采用反证法，即PBC。”

2. 公式
   观察依据

   缩写“Pbc.”写在假设行之前。

视频将第一个例题介绍为反证法，并在页面上简写为“Pbc.”。该方法包括：先假设所求命题的反面成立，再由此推出矛盾。

1. 目标命题是写在页面顶部的命题：自然数有无穷多个。

1. 公式
   观察依据

   符号$\mathbb{N}$出现在假设行中，也出现在“$x \in \mathbb{N}$”中。

2. 声音
   观察依据

   主讲人表示，他将用“符号N”表示自然数。

视频用$\mathbb{N}$表示自然数。在第一个证明中，这一记号既用于关于有限性的假设，也用于诸如$x \in \mathbb{N}$这样的隶属关系陈述中。

1. 作为第一个例题中所讨论对象的全集。

1. 公式
   观察依据

   手写行中包含“$x+1 \in \mathbb{N}$”和“$x+1 > x$”。

2. 声音
   观察依据

   主讲人说，若取一个自然数并加一，则得到另一个自然数，且该数更大。

在第一个证明中，视频利用了如下事实：从 $x \in \mathbb{N}$ 可以构造出 $x+1$，它仍是一个自然数，且满足 $x+1>x$。这一关键构造产生了比假定的最后一个自然数更大的自然数。

1. 在假设$x$是最后一个自然数之后应用。

2. 视频以非正式方式陈述该性质，而非直接引用皮亚诺公理的名称。

1. 自然数的记号

1. 声音
   观察依据

   主讲人说：“任何一个偶数都可以写成某个其他数的两倍”，并举出例子$10=2(5)$。

2. 公式
   观察依据

   主讲人写下 `$x = 2c c \in N$.` 和 `$y = 2p p \in N$.`

1. 本片段未明确讨论负的偶数或零。

在本片段中，偶数被代数地刻画为另一个数的两倍。主讲人将这一定义应用于任意因子$x$和$y$，将它们分别写作$x=2c$和$y=2p$，其中$c,p\in\mathbb{N}$。

1. 该表示法被应用于证明中两个任意的偶数$x$和$y$。

2. 本片段用$\mathbb{N}$表示乘数，但未说明$0\in\mathbb{N}$是否如此。

1. 声音
   观察依据

   主讲人说：“我们再次采用反证法。即PBC。因此，我们将假设其相反命题。”

2. 公式
   观察依据

   主讲人写下“假设两个偶数的乘积是奇数。”

此处引入的方法是：为证明一个全称命题，先假设其相反命题成立，并试图导出矛盾。对于当前命题，“两个偶数的乘积是偶数”的相反命题被写作“两个偶数的乘积是奇数。”

1. 当目标是证明某命题对所有相关对象成立，而非仅验证若干例子时，采用此方法。

2. 本片段尚未得出矛盾。

1. 公式
   观察依据

   主讲人写下“积 = xy”，然后写成“= (2c)(2p)”，再化为“= 4cp”，最后写成“= 2(2cp)。”

2. 声音
   观察依据

   主讲人说：“现在我们来求积。我们这两个偶数的积是 xy，也就是 2c 乘以 2p……而 2c 乘以 2p 等于 4cp……把 4 乘以 cp 换一种写法，就是 2cp 的两倍。”

1. 最终的代数式清晰可见，但视频片段在此结束，尚未从中推出任何矛盾。

一旦将 $x$ 和 $y$ 表示为偶数，它们的积便转化为 $2$ 的倍数：$xy=(2c)(2p)=4cp=2(2cp)$。这表明该积具有偶数的代数形式。

1. $x=2c$ 和 $y=2p$，其中 $c,p\in\mathbb{N}$ 是本视频片段前文已确立的量。

1. 偶数的定义

1. 公式
   观察依据

   $x = 2c$，其中 c 是自然数

偶数被定义为：任何可表示为另一个整数的两倍的整数。在本视频中，它被具体表示为 $x = 2c$，其中 c 是一个自然数。

1. c 必须是整数或自然数

1. 声音
   观察依据

   假设两个偶数的乘积是奇数……此处出现矛盾……因此，我们假设的反面成立。

用反证法证明一个命题时，首先假设该命题的否定为真。然后从这一假设出发进行逻辑推理，直至推出一个数学矛盾。该矛盾说明最初的假设不成立，从而证明原命题为真。

1. 依赖经典逻辑，即一个命题不能既为真又为假

1. 公式
   观察依据

   页面标题为“证明自然数有无穷多个。”

2. 声音
   观察依据

   主讲人说：“我们将证明自然数有无穷多个。”

3. 公式
   观察依据

   结论行显示为“=> $\mathbb{N}$有无穷多个。”

自然数有无穷多个。

1. 除证明中使用的普通算术事实外，未提出任何额外假设。

2. 证明通过假设其否定命题展开：即$\mathbb{N}$仅有有限多个。

这是关于集合$\mathbb{N}$的存在性无穷断言；证明通过假设其相反的有限情形，并导出矛盾来完成。

1. 公式
   观察依据

   第二页标题为：“证明两个偶数的乘积也是偶数。”

2. 声音
   观察依据

   主讲人说：“我们将证明两个偶数的乘积也是偶数。”

1. 该片段在展示这一第二个命题的任何证明步骤之前就结束了。

两个偶数的乘积也是偶数。

1. 有两个数是偶数。

2. 它们的乘积按通常的乘法意义进行计算。

对所有偶数对成立的全称命题。

1. 公式
   观察依据

   页面上写出的标题是：“证明：两个偶数的积仍是偶数。”

2. 声音
   观察依据

   主讲人说：“我们要证明的是：对任意偶数而言，当你将任意两个偶数相乘时，所得结果仍是偶数。”

对任意两个偶数，它们的积也是偶数。

1. 任取两个偶数。

2. 它们的积通过普通乘法运算得到。

对所有偶数对成立。

1. 声音
   观察依据

   说话人说：“所以如果它不是偶数，那它一定是奇数。”

1. 该片段未形式化定义奇性，也未证明奇偶二分性；而是将其作为默认成立的事实使用。

如果一个数不是偶数，那么它就是奇数。

1. 当前讨论的对象是一个其奇偶性正被考察的数。

隐含地对证明中所考虑的所有数普遍成立。

1. 公式
   观察依据

   证明：两个偶数的乘积仍是偶数。

对任意整数 x 和 y，若 x 是偶数且 y 是偶数，则它们的乘积 xy 是偶数。

1. x 是一个偶整数

2. y 是一个偶整数

对整数 x 和 y 的全称量化

1. 公式
   观察依据

   手写证明显示：“反证法。”，接着是“假设$\mathbb{N}$的数量是有限的。”，然后是“设x为最后一个$\mathbb{N}$。”，再后是“$x \in \mathbb{N}$”、“$x+1 \in \mathbb{N}$”、“$x+1 > x$”，最后是“⇒ $\mathbb{N}$的数量是无限的。”

2. 声音
   观察依据

   主讲人逐条叙述每一步：假设结论不成立，选取最后一个自然数，构造$x+1$，指出它仍是自然数且更大，从而得出矛盾。

1. 视频未明确写出否定引入这一逻辑规则，而是用口头语言陈述了矛盾。

1. 公式

   $$\text{Assume that there is a finite amount of } \mathbb{N}.$$
   解释

   从反证法开始，先否定所要证明的命题。

   步骤依据

   视频中直接将其作为反证法论证的开场步骤陈述。

   视频直接表达
2. 公式

   $$\text{let } x \text{ be the last } \mathbb{N}.$$
   解释

   如果自然数集是有限的，那么其中就存在一个最大或最后一个自然数；称它为$x$。

   步骤依据

   说话者指出，有限意味着必然存在一个最后的数。

   视频直接表达
3. 公式

   $$x \in \mathbb{N}$$
   解释

   记录所选的这个最后元素属于自然数集。

   步骤依据

   该内容明确写在页面上并被口头说出。

   视频直接表达
4. 公式

   $$x+1 \in \mathbb{N}$$
   解释

   构造$x+1$的后继数，并断言它仍是自然数。

   步骤依据

   说话者指出，对任意自然数加一，所得结果仍是自然数。

   视频直接表达
5. 公式

   $$x+1 > x$$
   解释

   比较大小，指出$x+1$严格大于$x$。

   步骤依据

   说话者指出，加一之后会得到一个更大的自然数。

   视频直接表达
6. 公式

   $$\text{Contradiction: } x \text{ was assumed to be the last natural number, but } x+1 \text{ is a larger natural number.}$$
   解释

   $x+1$的存在与“$x$是最后一个自然数”这一假设相矛盾。

   步骤依据

   视频中口头陈述此矛盾的来源。

   视频直接表达
7. 公式

   $$\Rightarrow \text{ There is an infinite amount of } \mathbb{N}.$$
   解释

   由于该假设导致矛盾，因此原命题成立。

   步骤依据

   最终手写结论行及说话人的结束语。

   视频直接表达

假设$\mathbb{N}$是有限的，这不可能，因此自然数有无穷多个。

1. 公式
   观察依据

   新页面出现，标题为“证明：两个偶数的乘积仍是偶数。”

2. 声音
   观察依据

   说话人引入下一个例子，并说明‘乘积’即指相乘。

1. 在片段结束前，未出现关于偶数乘积命题的代数设定、变量定义或证明步骤。

1. 公式

   $$\text{Prove that the product of two \text{偶数} numbers is also \text{偶数}.}$$
   解释

   第二个例子被宣布为一条待证明的新命题。

   步骤依据

   从新页面标题及口头介绍中读取。

   视频直接表达
2. 公式

   $$\text{product means multiply}$$
   解释

   说话人阐明该命题所涉及的运算。

   步骤依据

   片段末尾附近的口头解释。

   视频直接表达

该片段设立了第二条定理，但尚未给出其证明。

1. 公式
   观察依据

   黑板上显示如下序列：`$x = 2c c \in N$.`，`$y = 2p p \in N$.`，`乘积 = xy`，`= (2c)(2p)`，`= 4cp`，`= 2(2cp)`。该片段在矛盾尚未完成前即结束。

2. 声音
   观察依据

   主讲人逐个讲解每一步代换与化简，最后说“另一种写法是”，4 times cp would be twice 2cp."

1. 该推导在所提供的120秒片段内未完成，因为结束前尚未得出矛盾。

1. 公式

   $$x=2c,\ c\in\mathbb{N}$$
   解释

   依据偶数的定义，表示第一个任意偶数。

   步骤依据

   偶数的定义：一个数等于另一个数的两倍。

   视频直接表达
2. 公式

   $$y=2p,\ p\in\mathbb{N}$$
   解释

   以同样的方式表示第二个任意偶数。

   步骤依据

   偶数的定义：一个数等于另一个数的两倍。

   视频直接表达
3. 公式

   $$xy=(2c)(2p)$$
   解释

   将$x$和$y$的表达式代入乘积中。

   步骤依据

   利用前两行进行代入。

   视频直接表达
4. 公式

   $$(2c)(2p)=4cp$$
   解释

   将常数相乘，并合并变量。

   步骤依据

   基础算术运算，以及乘法的结合律与交换律。

   视频直接表达
5. 公式

   $$4cp=2(2cp)$$
   解释

   将该乘积重写为某个量的两倍。

   步骤依据

   提取公因式2，从$4cp$中。

   视频直接表达

在本片段中，两个假设的偶数之积已被重写为$2(2cp)$，即偶数的代数形式；矛盾步骤在片段结束前未展示。

1. 公式
   观察依据

   假设两个偶数的乘积是奇数。设 x、y 为偶数。$x = 2c$，c ∈ ℕ。$y = 2p$，p ∈ ℕ。乘积 = xy = (2c)(2p) = 4cp = 2(2cp)。⇒ 两个偶数的乘积是偶数。

1. 公式

   $$\text{Assume the product of two \text{偶数} numbers is odd.}$$
   解释

   写出待证定理的否定形式。

   步骤依据

   反证法证明的设定步骤。

   视频直接表达
2. 公式

   $$\text{Let } x, y \text{ be \text{偶数} numbers.}$$
   解释

   根据题目陈述引入任意偶数。

   步骤依据

   定理所给条件。

   视频直接表达
3. 公式

   $$x = 2c, c \in \mathbb{N}; \quad y = 2p, p \in \mathbb{N}$$
   解释

   利用偶数的定义表示这些偶数。

   步骤依据

   偶数的定义。

   视频直接表达
4. 公式

   $$\text{Product} = xy = (2c)(2p)$$
   解释

   将 x 和 y 的表达式代入乘积中。

   步骤依据

   代数代入。

   视频直接表达
5. 公式

   $$= 4cp = 2(2cp)$$
   解释

   化简代数表达式，并提取公因数2。

   步骤依据

   乘法的算术性质。

   视频直接表达
6. 公式

   $$\text{Since } 2cp \text{ is an integer, } 2(2cp) \text{ is an \text{偶数} number.}$$
   解释

   得出结论：所得乘积为偶数，因为它是2与一个整数的乘积。

   步骤依据

   偶数的定义。

   依据视频推导
7. 公式

   $$\text{This contradicts the assumption that the product is odd.}$$
   解释

   指出所推导出的结果（偶数）与初始假设（奇数）相矛盾。

   步骤依据

   逻辑矛盾。

   视频直接表达
8. 公式

   $$\therefore \text{ the product of two \text{偶数} numbers is \text{偶数}.}$$
   解释

   得出证明结论：由于假设导致了矛盾，因此原命题必然成立。

   步骤依据

   反证法原理。

   视频直接表达

两个偶数的乘积总是偶数。

1. 公式
   观察依据

   第一页陈述了问题，然后完整手写出证明过程。

2. 声音
   观察依据

   主讲人将此描述为反证法的一个例子，并逐行讲解论证过程。

证明自然数的个数是无限的。

1. 所讨论的集合是$\mathbb{N}$，即自然数集。

2. 所用的证明方法是反证法。

3. 所用的算术事实是：将1加到一个自然数上，得到一个更大的自然数。

从假设$\mathbb{N}$是有限集出发，推出矛盾，从而得出$\mathbb{N}$是无限集的结论。

1. 公式

   $$\text{Assume that there is a finite amount of } \mathbb{N}.$$
   解释

   首先假设待证命题的反面成立。

   步骤依据

   在视频中明确写出并口头说出。

   视频直接表达
2. 公式

   $$\text{let } x \text{ be the last } \mathbb{N}.$$
   解释

   在有限性假设下，选取一个假定的最大的自然数。

   步骤依据

   主讲人指出，有限性意味着必然存在‘最后一个’自然数。

   视频直接表达
3. 公式

   $$x \in \mathbb{N}$$
   解释

   说明所选元素的所属集合。

   步骤依据

   书写在页面上。

   视频直接表达
4. 公式

   $$x+1 \in \mathbb{N}$$
   解释

   构造后继元，并断言它仍为自然数。

   步骤依据

   在证明中口头陈述并书写。

   视频直接表达
5. 公式

   $$x+1 > x$$
   解释

   证明后继元严格更大。

   步骤依据

   在证明中口头陈述并书写。

   视频直接表达
6. 公式

   $$\Rightarrow \text{ There is an infinite amount of } \mathbb{N}.$$
   解释

   在得出矛盾后，得出原命题的结论。

   步骤依据

   最终手写结论及口头收尾。

   视频直接表达

存在无限多个$\mathbb{N}$。

矛盾在于：$x$被假定为最后一个自然数，而$x+1$也是自然数且满足$x+1>x$。

1. 公式
   观察依据

   第二页标题为“证明两个偶数的乘积仍是偶数。”

2. 声音
   观察依据

   主讲人将此作为另一个示例引入，并解释‘乘积’即指相乘。

1. 视频片段在证明开始前就结束了，因此本段中没有提供完整的解题过程。

证明两个偶数的乘积也是偶数。

1. 有两个数是偶数。

2. 所涉及的运算是乘法。

说明两个偶数相乘的结果仍是一个偶数。

1. 公式

   $$\text{Introduce the statement to be proved.}$$
   解释

   视频在一张新页面上呈现该定理。

   步骤依据

   标题清晰可见，且主讲人进行了口头引入。

   视频直接表达
2. 公式

   $$\text{Clarify that product means multiply.}$$
   解释

   主讲人在引入任何代数符号之前，先用语言说明了该运算。

   步骤依据

   音频出现在本片段临近结束处。

   视频直接表达

本片段内未得出最终结论。

不适用，因为该证明在本片段结束前尚未开始。

1. 公式
   观察依据

   主讲人于页面右侧写下 `$6 \times 8 = 48$ ✓` 和 `$2 \times 4 = 8$ ✓`。

2. 声音
   观察依据

   主讲人说：“比如说，六乘以八得四十八……二乘以四得八……而八也是偶数，所以这个例子也成立。”

检验若干偶数的乘积，观察结果是否仍为偶数。

1. $6$和$8$是偶数。

2. $2$和$4$是偶数。

在代数证明之前，先给出具体实例来支持该一般性结论。

1. 公式

   $$6\times 8=48$$
   解释

   计算第一个示例乘积。

   步骤依据

   屏幕上显示直接的算术运算过程。

   视频直接表达
2. 公式

   $$2\times 4=8$$
   解释

   计算第二个示例乘积。

   步骤依据

   屏幕上显示直接的算术运算过程。

   视频直接表达

两个示例乘积$48$和$8$均为偶数。

主讲人用对勾标记每个示例，并口头指出结果均为偶数。

1. 公式
   观察依据

   $6 \times 8 = 48$ ✓；$2 \times 4 = 8$ ✓；$10 = 2(5)$

用具体数字验证：两个偶数的乘积是偶数。

1. 偶数6、8、2、4、10

说明将这些偶数相乘所得结果仍为偶数。

1. 公式

   $$6 \times 8 = 48$$
   解释

   将6与8相乘。

   步骤依据

   算术运算。

   视频直接表达
2. 公式

   $$2 \times 4 = 8$$
   解释

   将2与4相乘。

   步骤依据

   算术运算。

   视频直接表达
3. 公式

   $$10 = 2(5)$$
   解释

   证明 10 是一个偶数，方法是将其表示为 2 乘以一个整数。

   步骤依据

   偶数的定义。

   视频直接表达

48和8均为偶数，由此验证了该性质在这些例子中成立。

结果48和8均可被2整除，这与偶数的定义一致。

1. 图示
   观察依据

   一张白纸铺在木制书桌上，顶部写着标题“证明：自然数有无穷多个。”随后，手写证明逐行添加在下方。

2. 动画
   观察依据

   一只手握着记号笔，在标题下方依次书写每一步证明。

1. 一张白纸

2. 木质书桌背景

3. 记号笔

4. 手写体

1. 页面最初仅显示问题陈述。

2. 作者写下“反证法。”

3. 作者写下假设：$\mathbb{N}$的数量是有限的。

4. 作者写下“设x为最后一个$\mathbb{N}$。”和“$x \in \mathbb{N}$。”

5. 作者写下“$x+1 \in \mathbb{N}$”和“$x+1 > x$。”

6. 作者添加了结论句：“=> $\mathbb{N}$有无穷多个。”

1. 镜头自始至终固定在纸页正上方俯拍。

2. 第一个问题陈述始终显示在页面顶部，贯穿整个书写过程。

视觉推进过程与反证法的逻辑结构相呼应：先作假设，再在该假设下构造反例，继而导出矛盾，最终得出结论。

1. 动画
   观察依据

   第一张纸被移走，并换上一张新纸。

2. 图示
   观察依据

   新页面的标题为：“证明：两个偶数的乘积仍是偶数。”

1. 第一份已完成的证明稿

2. 第二张空白标题页

3. 记号笔

1. 第一份已完成的证明稿移出画面。

2. 一张带有不同定理标题的新页面出现。

3. 主讲人引入下一个例题，但视频结束前未写出任何证明步骤。

1. 继续采用相同的俯拍拍摄风格。

2. 场景仍为桌面铺纸的演示形式。

这一视觉过渡标志着论证主题从关于无穷性的反证法，转向一个尚未在本片段中展开证明的新奇偶性命题。

1. 图示
   观察依据

   一张白纸充满画面。定理陈述位于左上方，数值示例添加在右侧，随着片段推进，证明文字沿左侧逐行书写。

2. 动画
   观察依据

   一只手握着记号笔，按顺序逐行书写，摄像机始终保持固定俯拍视角。

1. 白纸

2. 手写的定理陈述

3. 右侧的数值示例列

4. 左侧的证明步骤

5. 记号笔

1. 首先在右侧添加示例$6\times8=48$和$2\times4=8$。

2. 然后在左侧写出矛盾假设。

3. 接着添加变量定义$x=2c$和$y=2p$。

4. 最后逐行写出乘积计算，直至得到$=2(2cp)$。

1. 摄像机角度始终保持俯拍且静止不动。

2. 原始定理陈述始终显示在屏幕顶部。

视觉结构将具体的数值验证与一般的代数证明分离开来，使从例子到普遍推理的过渡变得清晰明确。

1. 动画
   观察依据

   一只手在纸上书写反证法的证明步骤：从假设出发，经过代数推演，最终得出结论并标注‘证毕’。

1. 手

2. 笔

3. 纸

4. 数学文本

1. 随着证明的逐步构建，文本依次呈现在纸上。

1. 镜头角度固定于纸面。

直观展示数学证明的逐步逻辑构建过程。

1. 声音
   观察依据

   主讲人指出自然数有无穷多个是显而易见的，但紧接着强调：“这在数学中还不够好。我们必须能证明存在无穷多个。”

有人可能认为，某个命题若感觉显然，便无需正式论证。

本视频明确否定了这种想法，并坚持对$\mathbb{N}$的无穷性给出证明，而非仅依赖直觉。

1. 声音
   观察依据

   主讲人说：“乘积就是相乘。”

学习者在此语境下可能将“乘积”一词误解为除乘法以外的其他含义。

视频直接阐明：在第二个例子中，“乘积”指的是两个数相乘所得的结果。

1. 声音
   观察依据

   在验证了若干例子之后，主讲人说：“但我们希望证明：对任意偶数，当你将任意两个偶数相乘时，结果仍是偶数。因此我们必须使用代数。”

有人可能认为，仅验证像$6\times8=48$和$2\times4=8$这样的几个特例，就足以证明该命题对所有偶数成立。

视频明确对比了举例验证与覆盖所有偶数对的一般代数证明之间的区别。

1. 声音
   观察依据

   主讲人在将$4cp$重写为$2(2cp)$之前说道：“因此我们仍未发现任何矛盾。”随后片段立即结束。

仅从当前设定出发，有人可能推断反证法已经完成。

在所提供的120秒内，主讲人仅将乘积重写为$2(2cp)$，尚未依据‘该乘积为奇数’这一假设导出矛盾。

1. 声音
   观察依据

   主讲人宣布使用反证法，随后立即将其应用于关于自然数的命题。

2. 公式
   观察依据

   页面显示“Pbc.”，后接假设步骤与矛盾步骤。

方法条目“反证法”被用于证明“自然数有无穷多个”这一定理。

1. 公式
   观察依据

   符号$\mathbb{N}$出现在第一个证明的假设行、隶属关系行及结论行中。

要理解该定理及其反证法证明，需将$\mathbb{N}$理解为自然数集。

1. 公式
   观察依据

   “$x+1 \in \mathbb{N}$”和“$x+1 > x$”这两行用于与“$x$是最后一个自然数”这一假设构成矛盾。

矛盾步骤依赖于后继性质：$x+1$仍属于$\mathbb{N}$，且大于$x$。

1. 声音
   观察依据

   完成第一个反证法证明后，主讲人说：“我们再来看一个例子”，并引出关于乘积为偶数的命题。

2. 图示
   观察依据

   新页面出现，标题为另一个不同的定理。

1. 该片段未展示第二个例子将采用哪种证明方法。

视频对比了两个示例命题：一个是通过反证法证明$\mathbb{N}$的无穷性，另一个是随后引入的关于乘积奇偶性的命题。

1. 声音
   观察依据

   主讲人是在明确提出‘要证明该命题对所有偶数成立’这一目标之后，才引入反证法的。

2. 公式
   观察依据

   所写的假设直接否定了定理陈述。

反证法被应用于命题“两个偶数的乘积是偶数”。

1. 公式
   观察依据

   定义$x=2c$和$y=2p$在乘积计算中被立即使用。

乘积的代数表达式依赖于先利用偶数的定义重写每个因数。

1. 声音
   观察依据

   讲述者从数值例子过渡到需要代数方法，以证明该命题对所有偶数都成立。

数值例子说明了该命题，但与适用于所有偶数的一般性证明形成对比。

1. 公式
   观察依据

   $x = 2c$ 在乘积 = xy = （2c)(2p）的推导中被使用

偶数的定义直接应用于证明推导中的代数步骤。

1. 声音
   观察依据

   讲述者在推导过程中明确指出‘这里就出现了矛盾’以及‘我们最初假设的反面成立’。

一般性的反证法在所展示的具体推导中得到了实例化应用。

1. 声音
   观察依据

   主讲人将该方法命名为反证法，并缩写为PBC。

1. 反证法作为第一个例题的证明方法

1. 公式
   观察依据

   完整的手写证明显示在第一页。

1. 反证法作为第一个例题的证明方法
2. 自然数的记号
3. 对一个自然数加一，结果仍在$\mathbb{N}$中，且数值变大
4. 自然数有无穷多个
5. 用反证法证明自然数有无穷多个
6. 例1：证明自然数有无穷多个。

1. 声音
   观察依据

   主讲人解释说，$x+1$是一个更大的自然数，这与假设$x$是最后一个自然数相矛盾。

1. 对一个自然数加一，结果仍在$\mathbb{N}$中，且数值变大
2. 用反证法证明自然数有无穷多个

1. 公式
   观察依据

   第二页的标题引出了偶数乘积定理。

2. 声音
   观察依据

   主讲人表示将要证明该定理，但视频片段在证明开始前就结束了。

1. 两个偶数的乘积是偶数
2. 例题2：证明两个偶数的乘积仍是偶数
3. 第二个例子的引入，但推导尚未完成。

1. 声音
   观察依据

   讲述者明确指出，仅靠例子是不够的，必须借助代数方法才能证明该命题对所有偶数都成立。

1. 说明该命题的数值示例
2. 待证命题
3. 反证法的设定

1. 公式
   观察依据

   板书上写着“假设两个偶数的乘积是奇数。”

2. 声音
   观察依据

   讲述者表示将假设其反面，并指出：若一个整数不是偶数，则必为奇数。

1. 反证法的设定
2. 待证命题
3. 在反证假设中运用奇偶二分性

1. 公式
   观察依据

   板书显示“$x = 2c$，其中 $c \in N$”和“$y = 2p$，其中 $p \in N$”。

2. 声音
   观察依据

   讲述者说，任意偶数都可以写成某个其他数的两倍。

1. 偶数的定义
2. x
3. y
4. c
5. p

1. 公式
   观察依据

   该乘积写作 `xy = (2c)(2p) = 4cp = 2(2cp)`。

1. 两个偶数之积的代数形式
2. 在反证假设下推导乘积的形式

1. 公式
   观察依据

   证明：两个偶数的乘积仍是偶数。

1. 反证法证明的推导过程
2. 定理：两个偶数的乘积是偶数

1. 声音
   观察依据

   假设两个偶数的乘积是奇数……这里就出现了矛盾……

1. 反证法

1. 公式
   观察依据

   $x = 2c$，其中 c 是自然数

1. 偶数的定义