模运算（第 1 部分）

1. 字幕依据
   观察依据

   幻灯片要点文字：“到达某个称为模数的特定值后，数值循环回绕。”

2. 声音
   观察依据

   讲解员指出，在模运算中，我们到达某个称为模数的特定值后，数值就会循环回绕。

modulus

整数系统循环回绕并重新开始的固定值。

在模运算中用作循环回绕边界的正整数；视频未明确说明其取值范围，仅称其为某个特定值。

1. 字幕依据
   观察依据

   幻灯片要点文字：“一种针对整数的算术体系。”

2. 声音
   观察依据

   讲解员指出，模运算是针对整数的一种算术体系。

integers

本节介绍中模运算体系所作用的数集。

整数；该片段未明确说明是否仅限于非负整数，还是包含所有整数。

1. 图示
   观察依据

   一个模拟钟面以循环方式排列着数字1至12。

2. 声音
   观察依据

   讲解者说，我们理解 24小时制只需 12 个数字。

12

模拟钟面上显示的小时刻度数量，用于演示循环回绕行为。

钟面上的小时刻度标记：1、2、……、12。

1. 声音
   观察依据

   讲述者说：“假设时间为15小时，即表示为下午3点。”

15

以一个24小时制的时间为例，说明其映射到12小时制显示的方式。

24小时制下的小时数。

1. 声音
   观察依据

   讲述者将15小时映射为下午3点。

$3 \text{ p.m.}$

与示例中 12小时对应的 15 小时制解读。

12小时制的读数。

1. 声音
   观察依据

   讲述者说：“如果时间为20小时，即表示为下午8点。”

20

另一个24小时制的时间，用作映射到12小时制显示的示例。

24小时制下的小时数。

1. 声音
   观察依据

   讲述者将20小时映射为下午8点。

$8 \text{ p.m.}$

与示例中 12小时对应的 20 小时制解读。

12小时制的读数。

1. 声音
   观察依据

   说话人说“13模12”，并解释当13除以12时，余数为1。

2. 公式
   观察依据

   口述记号对应于模运算$13 \bmod 12 = 1$。

$\bmod$

模运算：用给定的模数作除法后取余数。

此处应用于整数（如13）对模数12的运算。

1. 字幕依据
   观察依据

   幻灯片文字显示：“在密码学中，使用同余（≡）而非相等（=）。”

2. 声音
   观察依据

   说话人指出，同余关系用于密码学，并用该符号代替相等符号。

3. 公式
   观察依据

   所展示的例子使用了$15 \equiv 3 \pmod{12}$。

$\equiv$

同余关系符号，在模运算语境中替代普通相等符号使用。

用于指定模数下的整数之间，例如$15 \equiv 3 \pmod{12}$。

1. 字幕依据
   观察依据

   屏幕上显示的例子为：“15 ≡ 3 (mod 12)”。

2. 声音
   观察依据

   说话人多次提及“模12”，并在长除法示例中指出12为除数／模数。

3. 公式
   观察依据

   模数在同余式中写作$(\bmod 12)$。

($\bmod 12$)

附加在同余式上的模数值12；它指定了循环周期或除数。

此处为钟表模数，也用作长除法中的除数。

1. 公式
   观察依据

   长除法示意图中，15位于除号内部。

2. 声音
   观察依据

   说话人说：“我们取这个数15，并对它执行模12运算。”

15

例题中的被除数；即要对模12进行约化的整数。

模约化例题的整数输入。

1. 公式
   观察依据

   长除法示意图中，12位于除号外部，并再次出现在15下方。

2. 声音
   观察依据

   说话人说：“这个12是除数。”

12

例题$15 \bmod 12$及同余式$15 \equiv 3 \pmod{12}$中的除数／模数。

用于除法的正整数模数。

1. 字幕依据
   观察依据

   幻灯片标题：“模运算”

2. 字幕依据
   观察依据

   项目符号依次出现：“整数的算术系统。”、“在达到某个称为模数的特定值后循环回绕。”、“密码学中的核心数学概念。”

3. 声音
   观察依据

   讲解员将模运算定义为一种整数算术系统，并解释其在称为模数的特定值处发生循环回绕。

该视频将模运算介绍为一种作用于整数的算术系统，其中数值在达到一个称为模数的指定界限后循环回绕。同时指出，这一思想是密码学的核心。

1. 适用于整数。

2. 需要一个模数值来定义循环回绕行为。

3. 本片段呈现的是入门级定义，而非形式化的等价类构造。

1. 字幕依据
   观察依据

   项目符号文字：“在达到某个称为模数的特定值后循环回绕。”

2. 声音
   观察依据

   讲解员说，我们在达到某个称为模数的特定值后循环回绕。

此处模数是触发循环回绕的特殊值。一旦计数过程到达该值，系统便返回起点，而非无限延续下去。

1. 用于模运算中。

2. 本片段未引入模运算的精确形式化记号。

1. 模运算的定义

1. 字幕依据
   观察依据

   项目符号文字：“密码学中的核心数学概念。”

2. 声音
   观察依据

   解说员指出，模运算是密码学中的核心数学概念，且广泛使用的密码算法主要依赖于它。

本片段通过指出模运算是密码学的核心，并且广泛使用的密码算法依赖于它，来激发学习兴趣。本段未提及任何具体算法。

1. 这是视频中提出的一个激励性论断。

2. 本片段未提供任何密码算法的证明或示例。

1. 模运算的定义

1. 字幕依据
   观察依据

   标题页显示“模运算”，并列要点如下：“一种针对整数的算术系统。”“在达到某个称为模数的特定值后循环回绕。”“密码学中的核心数学概念。”

2. 声音
   观察依据

   说话人通过挂钟示例引入模运算，并指出钟面上仅表示12个整数。

3. 图示
   观察依据

   展示一个12小时制的模拟钟面，标有数字1至12。

视频将模运算定义为一种整数算术系统，其中数值在达到某个称为模数的特定值后循环回绕。以挂钟为例进行引入：小时每12个重复一次，因此该钟实现了模12的算术。

1. 适用于整数。

2. 使用一个固定的模数，该模数决定了循环回绕的临界点。

3. 在示例中，模数为12，因为钟表上有12个刻度。

1. 字幕依据
   观察依据

   第一张幻灯片的要点陈述：“密码学中的核心数学概念。”

2. 字幕依据
   观察依据

   第二张幻灯片陈述：“在密码学中，使用同余（≡）而非相等（=）。”

3. 声音
   观察依据

   主讲人指出，在密码学中使用同余而非相等。

该片段明确将模运算置于密码学语境中。它指出模运算是密码学的核心，并且在该领域中更倾向于使用同余符号而非普通的等号。

1. 视频中明确针对密码学进行了阐述。

2. 本片段未进一步解释其他密码学机制。

1. 模运算即整数的循环回绕算术。

1. 字幕依据
   观察依据

   幻灯片标题：“同余”。要点：“在密码学中，使用同余（≡）而非相等（=）。”

2. 声音
   观察依据

   主讲人指出，同余用该符号表示，而非等号。

3. 公式
   观察依据

   展示的示例为$15 \equiv 3 \pmod{12}$。

1. 该视频未超出示例与符号之外，给出全等关系的严格定义。

视频将全等关系引入为一种用$\equiv$表示的关系，以区别于普通等号$=$。在所展示的示例中，$15 \equiv 3 \pmod{12}$表示15与3关于模12相关，沿用了钟表示例中的同模思想。

1. 用于模运算语境中。

2. 在此片段中，模数在示例中被明确标为12。

3. 视频呈现了该记号，但未给出完整的严格定义。

1. 模运算即整数的循环回绕算术。

1. 公式
   观察依据

   静态幻灯片文字显示：“在密码学中，使用同余（≡）而非相等（=）。”

2. 声音
   观察依据

   说话者在整个示例中始终使用同余语言，而非普通等号语言。

该片段将符号$\equiv$引入为同余关系，并明确将其与普通等号$=$进行对比。随后的示例将两个数视为给定模数下的可互换代表元，而非数值上相等的整数。

1. 在密码学背景下呈现。

2. 用于带模数的模运算陈述。

1. 声音
   观察依据

   说话者说：“当我们有这个数，用这个数去除它，所得的余数就是这个数。”

2. 图示
   观察依据

   全部四个示例均通过橙色长除法布局加以验证，这些布局清晰展示了除数、被除数、商、乘积、减法线以及余数。

视频中采用的方法是：用长除法将左边的数$a$除以模数$n$，然后取余数作为右边的代表元$b$。该方法被呈现为一种验证屏幕上同余式成立的实用方式。

1. 该方法演示了被除数为正、模数为正的情形。

2. 主讲人称其为一种通俗解释。

1. 在密码学的模运算中，同余取代了相等。

1. 公式
   观察依据

   屏幕上第四个例子是“10 ≡ -2 (mod 12)。”

2. 声音
   观察依据

   主讲人说：“当你遇到负数对模取余时，我之前告诉你的方法，就是让你直接把这两个数相加……所以负二加十二等于十。”

对于例子$10 \equiv -2 \pmod{12}$，主讲人给出一个速算技巧：将模数加到负的代表元上。因此得到$-2+12=10$，于是$-2$和$10$都被视为模$12$下的有效代表元。

1. 演示了负代表元对正模数取模的情形。

2. 该规则被呈现为此前教学中已学过的记忆口诀。

1. 在密码学的模运算中，同余取代了相等。

1. 公式
   观察依据

   屏幕上显示文字：‘∴ a ≡ b (mod m)’。

2. 声音
   观察依据

   主讲人解释道：a 与 b 对模 m 同余，是指 a 除以 m 所得的余数为 b。

若两个整数 a 和 b 除以 m 后所得余数相同，则称它们对模 m 同余。

1. m 大于0

1. 公式
   观察依据

   文字‘i.e. a = km + b’显示在同余定义下方。

2. 声音
   观察依据

   主讲人指出：a 可表示为 m 与 k 的乘积再加上余数 b。

同余关系可用带余除法（除法算法）以代数方式表达，即被除数等于除数乘以商再加上余数。

1. k 是整数商

2. b 是余数

1. 同余的定义

1. 声音
   观察依据

   说话人说：“因此，我们采用同余而非相等。”

2. 公式
   观察依据

   幻灯片标题为‘同余’，正文指出：‘在密码学中，使用同余符号（≡）而非相等符号（=）。’

该片段将同余引入为本密码学场景中替代普通相等关系的概念。所展示的示例中，各数彼此并不相等，但在选定模数下被视为等价。

1. 当通过整数对模 m 的余数进行比较时，而非依据精确相等性进行比较时使用。

1. 字幕依据
   观察依据

   幻灯片项目符号：“密码学中的核心数学概念。”

2. 声音
   观察依据

   解说员指出，模运算是密码学中的核心数学概念，且广泛使用的密码算法主要依赖于这些模运算。

1. 该陈述在本片段中未附带证明或引用。

模运算（取模运算）是密码学中的核心数学概念，而广泛应用的密码算法主要依赖于它。

1. 背景是讲座中介绍的密码学。

关于广泛应用的密码算法的一般性论断；视频中未明确陈述形式化的量词。

1. 声音
   观察依据

   说话人：“如果时间是23小时，那显然就是11点下午，对吧？”

如果时间是23小时，那么在12小时制的挂钟上，它就是11点下午。

1. 采用12小时制钟表表示法。

2. 将23小时解释为24小时制钟表上的时间。

针对具体示例值23小时。

1. 声音
   观察依据

   说话人说：“我们每12小时循环一次”，“这里的模数是12。”

2. 图示
   观察依据

   模拟钟面，有12个小时刻度。

在挂钟示例中，模数是12，因为钟表每12小时循环一次。

1. 该示例是一个标准的12小时制挂钟。

针对视频片段中讨论的挂钟示例。

1. 声音
   观察依据

   说话人在钟面上数到13，并说：“13对12取模，当13被12整除时，余数为1。”

对应的式子为：$13 \bmod 12 = 1$。

1. 使用取模运算的余数解释。

2. 将13除以12。

针对特定整数13和12。

1. 字幕依据
   观察依据

   文本：“在密码学中，使用同余（≡）而非相等（=）。”

2. 声音
   观察依据

   说话人指出，密码学中使用同余，并用该符号代替相等。

1. 该说法被表述为一种上下文惯例；该片段并未证明为何密码学更偏好同余。

在密码学中，同余$\equiv$被用于代替相等$=$。

1. 处于密码学/模运算的上下文中。

视频中作出的一般性上下文陈述。

1. 字幕依据
   观察依据

   展示的示例：“15 ≡ 3 (mod 12)”。

2. 公式
   观察依据

   长除法显示$15 \div 12$，其商为1，余数为3。

3. 声音
   观察依据

   说话人说“15与3模12同余”，并解释余数为3。

$15 \equiv 3 \pmod{12}$，因为将15除以12所得余数为3。

1. 使用模12。

2. 通过除以12所得的余数来理解同余关系。

针对特定整数15、3以及模数12。

1. 声音
   观察依据

   主讲人说：“我们之前说过，15小时指的是什么？就是3点，对吧？”

数字 15 在 3 种小时制解释下对应于 12，主讲人用此来引出 $15 \equiv 3 \pmod{12}$。

1. 使用12小时制钟表类比。

2. 将15解释为15小时。

仅为具体示例。

1. 声音
   观察依据

   主讲人说：“换句话说，23小时意味着11点整，对吗？”

数字 23 在 11 种小时制解释下对应于 12，支持 $23 \equiv 11 \pmod{12}$。

1. 使用12小时制钟表类比。

2. 将23解释为23小时。

仅为具体示例。

1. 公式
   观察依据

   第三个例子呈现为“33 ≡ 3 (mod 10)。”

2. 声音
   观察依据

   主讲人提问：“这成立吗？”并回答：“成立，因为33除以10……余数为3。”

同余式 $33 \equiv 3 \pmod{10}$ 成立，因为将 33 除以 10 所得余数为 3。

1. 使用除数为 10 的余数法。

仅为具体示例。

1. 公式
   观察依据

   第四个示例写作“10 ≡ -2 (mod 12)”。

2. 声音
   观察依据

   说话人说：“因此 10 或负 2 都是可行的。”

在模 12 下，代表元 10 与 -2 被视为等价，因为 $-2+12=10$。

1. 在模 12 下进行运算。

2. 允许使用负的代表元。

仅为具体示例。

1. 公式
   观察依据

   幻灯片显示‘38 ≡ 2 (mod 12)’，随后添加一个绿色对勾。

2. 声音
   观察依据

   说话人说：‘38 除以 12，得 12 乘以 3 等于 36，余数是 2，对吧？是否成立？是的，这是一个有效的同余式。’

38 恒等于 2，模 12。

1. 使用视频片段中展示的余数比较法。

一条具体的数值陈述。

1. 公式
   观察依据

   幻灯片显示‘38 ≡ 14 (mod 12)’，随后为其添加绿色对勾。

2. 声音
   观察依据

   说话人说：‘这是一个有效的同余式……因为当 38 除以 12 时，12 乘以 2 得到 24，余数是 14。’

1. 口述的论证使用了一种非标准的除法选择，余数$14 \ge 12$；该视频片段未讨论标准余数约定。

38 与 14 对模 12 同余。

1. 遵循视频中允许商灵活变动的余数解释方式。

一个具体的数值陈述。

1. 图示
   观察依据

   展示了一个标有数字1至12的模拟时钟。

2. 声音
   观察依据

   讲解员将一天的24小时与钟面上仅有的12个数字进行对比，并举例说明：15小时对应下午3点，20小时对应下午8点。

1. 该片段给出了直观示例，但并未显式写出同余关系。

1. 公式

   $$$$
   解释

   从一个事实出发：一天有24小时，而所展示的时钟仅使用12个小时刻标记。

   步骤依据

   在音频中直接陈述。

   视频直接表达
2. 公式

   $$$$
   解释

   观察到：超过12的时间仍可通过循环回绕的方式，在同一个标有12个数字的表盘上表示出来。

   步骤依据

   隐含于时钟示例以及讲解员对24小时与12个数字之间的对比之中。

   依据视频推导
3. 公式

   $$15 \equiv 3 \pmod{12}$$
   解释

   示例中15小时在钟面上对应下午3点，因此经过回绕后，15由3表示。

   步骤依据

   音频示例，配合钟表图示的标准解释。

   依据视频推导
4. 公式

   $$20 \equiv 8 \pmod{12}$$
   解释

   示例20小时对应钟表上的8下午，因此经绕回后，20用8表示。

   步骤依据

   音频示例，配合钟表图示的标准解释。

   依据视频推导

钟表通过展示较大小时数在12个数字构成的循环中归约为显示值，来体现模运算特性。

1. 声音
   观察依据

   说话者在钟面上依次数出“1、2、3、4、5、6、7、8、9、10、11、12，这个数是13”，并得出结论：此时为1 p.m。

2. 图示
   观察依据

   钟面提供了从1到12的小时标记的循环排列。

1. 公式

   $$$$
   解释

   从12小时制的循环起点出发，向前数过12，直至到达第13个小时位置。

   步骤依据

   视频指出，钟面每12小时循环一次。

   视频直接表达
2. 公式

   $$13 \bmod 12 = 1$$
   解释

   完成一个12小时的完整循环后，下一个位置是1，因此13在钟面上对应1。

   步骤依据

   这是说话者所陈述的模12的余数解释。

   视频直接表达

13小时对应1 p.m.，因为$13 \bmod 12 = 1$。

1. 公式
   观察依据

   长除法算式展示了除数12、被除数15、商1、减去的乘积12以及余数3。

2. 声音
   观察依据

   说话人说：“15 除以 12 的余数是多少？余数是 3”，以及“12 乘以 12，余数是 3。”

1. 公式

   $$15 \div 12$$
   解释

   列竖式计算 15 除以 12，其中 12 为除数，15 为被除数。

   步骤依据

   视频明确指出 12 是除数，15 是对 12 取模的数。

   视频直接表达
2. 公式

   $$15 - 12 = 3$$
   解释

   恰好有一个 12 能整除进 15，余下 3。

   步骤依据

   在长除法示意图中直接展示，并口头陈述。

   视频直接表达
3. 公式

   $$15 \bmod 12 = 3$$
   解释

   除法所得的余数即为取模运算的结果。

   步骤依据

   说话人将余数等同于 $15 \bmod 12$ 的值。

   视频直接表达
4. 公式

   $$15 \equiv 3 \pmod{12}$$
   解释

   由于余数是 3，因此 15 与 3 对模 12 同余。

   步骤依据

   这是幻灯片上展示并由音频讲解的同余示例。

   视频直接表达

$15 \equiv 3 \pmod{12}$，因为$15 \bmod 12 = 3$。

1. 图示
   观察依据

   橙色长除法图示中，除数为 12，被除数为 15，商为 1，乘积为 12，余数为 3。

2. 声音
   观察依据

   主讲人得出结论：“因此15与3关于模12同余。”

1. 公式

   $$15 \div 12$$
   解释

   从被除数15和模数/除数12开始。

   步骤依据

   视频中所述的方法是将该数除以模数。

   视频直接表达
2. 公式

   $$12 \times 1 = 12$$
   解释

   位于除号上方的商为1，对应乘积为12。

   步骤依据

   图中可见长除法布局，并口述“一乘以12”。

   视频直接表达
3. 公式

   $$15 - 12 = 3$$
   解释

   用被除数减去该乘积，得到余数3。

   步骤依据

   图中可见减法横线及余数。

   视频直接表达
4. 公式

   $$15 \equiv 3 \pmod{12}$$
   解释

   由于余数为3，故同余式成立。

   步骤依据

   应用本片段中引入的基于余数的规则。

   视频直接表达

该例子通过计算 $15 \equiv 3 \pmod{12}$ 的余数来验证 $15$ 除以 $12$。

1. 图示
   观察依据

   第二个橙色长除法图示显示：除数为12，被除数为23，商为1，乘积为12，余数为11。

2. 声音
   观察依据

   说话人说：“我们用23除以12……余数是多少？11。”

1. 公式

   $$23 \div 12$$
   解释

   从被除数23和除数12开始。

   步骤依据

   说话人明确指出，他们正在用23除以12。

   视频直接表达
2. 公式

   $$12 \times 1 = 12$$
   解释

   商为1，减去的乘积为12。

   步骤依据

   在长除法示意图中可见。

   视频直接表达
3. 公式

   $$23 - 12 = 11$$
   解释

   相减得到余数11。

   步骤依据

   示意图中清晰显示余数，并有口头确认。

   视频直接表达
4. 公式

   $$23 \equiv 11 \pmod{12}$$
   解释

   余数11成为右侧代表元。

   步骤依据

   首个例子也采用了相同的基于余数的方法。

   视频直接表达

该例题通过长除法验证了$23 \equiv 11 \pmod{12}$。

1. 图示
   观察依据

   第三个橙色长除法图示显示：除数为10，被除数为33，商为3，乘积为30，余数为3。

2. 声音
   观察依据

   说话者说：“33 除以 10，商为 10 乘以 30，余数为 3。”

1. 公式

   $$33 \div 10$$
   解释

   从被除数 33 和除数 10 开始。

   步骤依据

   说话者将模数从 12 改为 10，并列出除法算式。

   视频直接表达
2. 公式

   $$10 \times 3 = 30$$
   解释

   商为 3，减去的积为 30。

   步骤依据

   在图中可见，且被口头读出。

   视频直接表达
3. 公式

   $$33 - 30 = 3$$
   解释

   相减后得到余数 3。

   步骤依据

   长除法竖式中可见的余数。

   视频直接表达
4. 公式

   $$33 \equiv 3 \pmod{10}$$
   解释

   因为余数为 3，所以该同余式成立。

   步骤依据

   直接应用余数法。

   视频直接表达

该例验证了 $33 \equiv 3 \pmod{10}$ 通过计算除以 10 的余数。

1. 图示
   观察依据

   第四个橙色长除法竖式显示：除数为 12，被除数为 10，商为 0，积为 0，余数为 10，底部还写有 (-2)。

2. 声音
   观察依据

   说话人说：“12除以零，余数是多少？10”，然后补充道：“负二加十二等于十。”

1. 公式

   $$10 \div 12$$
   解释

   从被除数10和除数12开始。

   步骤依据

   主讲人明确设定对10除以12的运算。

   视频直接表达
2. 公式

   $$12 \times 0 = 0$$
   解释

   图中显示的商是0，因此被减去的乘积是0。

   步骤依据

   在长除法示意图中可见，并被口头表述为“零乘零”。

   视频直接表达
3. 公式

   $$10 - 0 = 10$$
   解释

   普通除法所得的余数是10。

   步骤依据

   示意图中可见的余数。

   视频直接表达
4. 公式

   $$10 \equiv 10 \pmod{12}$$
   解释

   说话人指出，10本身即为模12下的一个有效代表元。

   步骤依据

   口头陈述为：“10与10模12同余”是一个成立的同余式。

   视频直接表达
5. 公式

   $$-2 + 12 = 10$$
   解释

   将模数加到-2上得到10，因此-2表示同一剩余类。

   步骤依据

   说话人提出的关于负数模n的规则。

   视频直接表达
6. 公式

   $$10 \equiv -2 \pmod{12}$$
   解释

   因此，带 -2 的所示同余式成立。

   步骤依据

   将余数结果与模 12 意义下的代表元等价性结合起来。

   视频直接表达

该例表明，在模 12 意义下，余数 10 与负代表元 -2 描述的是同一个剩余类。

1. 图示
   观察依据

   一个通用的长除法示意图显示：m 在除号外侧，a 在除号内侧，k 在上方商的位置，b 在底部余数位置。

2. 声音
   观察依据

   主讲人从长除法的各组成部分推导出 a = km + b。

1. 公式

   $$$$
   解释

   识别除法的各组成部分：除数 m、被除数 a、商 k 和余数 b。

   步骤依据

   标准长除法记号。

   视频直接表达
2. 公式

   $$a = km + b$$
   解释

   将被除数表示为除数与商的乘积，再加上余数。

   步骤依据

   除法算法的定义。

   视频直接表达

同余式 a ≡ b (mod m) 等价于存在某个整数 k，使得方程 a = km + b 成立。

1. 声音
   观察依据

   说话人对比了38除以12的两种方式：一种商为3、余数为2；另一种商为2、余数为14。

2. 公式
   观察依据

   ‘38 ≡ 2 (mod 12)’和‘38 ≡ 14 (mod 12)’均被显示出来，且两者均获得绿色对勾标记。

1. 该推导依赖于改变商，而非仅使用标准的最小非负余数。

1. 公式

   $$38 = 3\cdot 12 + 2$$
   解释

   说话人首先描述将38除以12，商为3，得到积36和余数2。

   步骤依据

   音频中陈述的算术内容。

   视频直接表达
2. 公式

   $$38 \equiv 2 \pmod{12}$$
   解释

   由该除法可判定同余式2成立。

   步骤依据

   视频中介绍的余数比较法。

   视频直接表达
3. 公式

   $$38 = 2\cdot 12 + 14$$
   解释

   随后，说话人将商改为2，得到乘积24和余数14。

   步骤依据

   音频中陈述的算术内容。

   视频直接表达
4. 公式

   $$38 \equiv 14 \pmod{12}$$
   解释

   运用相同的比较思路，第二个同余式也被标记为成立。

   步骤依据

   视频在采用另一种除法后给出的明确结论。

   视频直接表达

该片段通过在除法恒等式中允许选择不同的商，将两个同余式均视为成立。

1. 声音
   观察依据

   说话人称2除以5余2，接着说：‘2意味着它也可写作负3。’

2. 公式
   观察依据

   屏幕上显示等式‘2 ≡ -3 (mod 5)’并配有绿色对勾。

1. 连接2与-3模5的代数推导过程未在屏幕上完整写出。

1. 公式

   $$2 = 0\cdot 5 + 2$$
   解释

   2除以5所得余数即为2本身。

   步骤依据

   除法的音频讲解。

   视频直接表达
2. 公式

   $$2 \equiv 2 \pmod{5}$$
   解释

   因此2与其自身对模5的余数全等。

   步骤依据

   直接应用余数概念。

   依据视频推导
3. 公式

   $$2 \equiv -3 \pmod{5}$$
   解释

   讲话者得出结论：在此模运算体系中，2也可表示为-3。

   步骤依据

   讲话者明确给出结论，并在屏幕上同步显示对勾标记。

   视频直接表达

该视频将2与-3视为模5下的等价代表元。

1. 声音
   观察依据

   说话人说：“只需把这两个数相加：负三加五，结果是正二……所以这也是一个成立的同余式。”

2. 公式
   观察依据

   屏幕上显示的同余式为 2 ≡ -3 (mod 5)，并标有绿色对勾。

1. 视频并未说明该步骤背后的一般性定理，仅针对本例展示了算术验证过程。

1. 公式

   $$-3 + 5 = 2$$
   解释

   说话人将模数 5 加到负剩余 -3 上，得到 2。

   步骤依据

   音频中呈现的是直接的算术运算。

   视频直接表达
2. 公式

   $$2 \equiv -3 \pmod{5}$$
   解释

   因为将5加到-3上得到2，说话者将2和-3视为模5下的可互换代表，并宣布该同余式成立。

   步骤依据

   说话者在完成算术验证后所陈述的结论。

   视频直接表达

例题2 ≡ -3 (mod 5) 通过验证 -3 + $5 = 2$ 得以确认。

1. 声音
   观察依据

   讲述者说：“假设时间是15小时，意思就是下午3点，对吧？”

2. 图示
   观察依据

   模拟钟表持续保留在屏幕上，作为小时绕回现象的视觉模型。

将24进制下的15小时，换算为对应的12进制钟面读数。

1. 一天有24小时。

2. 钟面上仅显示12个数字。

3. 当前时间是15小时。

找出钟面上显示的等效时间。

1. 公式

   $$$$
   解释

   使用钟表作为环绕模型，显示12个小时位置。

   步骤依据

   由视觉钟表示例和旁白直接支持。

   视频直接表达
2. 公式

   $$15 - 12 = 3$$
   解释

   从 12 中减去一个完整的 15 小时周期，以得到显示的小时数。

   步骤依据

   钟表示例的标准解释；减法运算本身并未口头说出。

   依据视频推导

3点整（下午）。

与旁白明确陈述的‘15小时即为3点整（下午）’相吻合。

1. 声音
   观察依据

   旁白说：‘如果时间是20小时，那就意味着是8点整（下午），对吧？’

2. 图示
   观察依据

   同一枚模拟钟表持续可见，作为环绕示意图。

将24小时制的时间20小时转换为对应的12小时制钟面读数。

1. 一天有24小时。

2. 钟表上仅显示12个数字。

3. 当前时间为20小时。

识别时钟上显示的等效时间。

1. 公式

   $$$$
   解释

   再次将时钟理解为一个12位置的循环显示。

   步骤依据

   直接由可视化时钟示例及旁白支持。

   视频直接表达
2. 公式

   $$20 - 12 = 8$$
   解释

   移除一个完整的 12小时周期，从 20中得到显示的小时数。

   步骤依据

   时钟示例的标准解释；减法运算本身并未口头说出。

   依据视频推导

8下午。

与旁白明确陈述的‘20小时即为8下午’相吻合。

1. 声音
   观察依据

   说话人：“如果时间是 23 小时，那显然就是 11 点下午，对吧？”

1. 视频片段未在屏幕上明确显示中间计算过程$23 \bmod 12 = 11$。

已知时间为23小时，求其对应的12小时制时间。

1. 时间为23小时。

2. 使用一个12小时制的壁钟表示法。

求12小时制下的等效钟面小时数。

1. 公式

   $$23 \mapsto 11\text{ p.m.}$$
   解释

   说话人直接指出，23小时在钟面上对应11下午。

   步骤依据

   这遵循了随后立即引入的模12的循环思想。

   视频直接表达

11下午。

这与后续解释一致：钟面每12小时循环一次；$23 \bmod 12 = 11$是隐含的验证步骤，尽管视频片段中未明确写出。

1. 声音
   观察依据

   说话人在钟面上数到13，并称其为1下午，然后说：“13模12……我们得到余数1。”

2. 图示
   观察依据

   带有12个刻度位置的钟面支持该计数演示。

已知13小时，求其在12小时制钟表上对应的时间。

1. 时间为13小时。

2. 模数取自挂钟示例中的12。

计算13小时在钟表上绕圈后的对应值。

1. 公式

   $$13 \bmod 12$$
   解释

   对 12 应用模-13 运算。

   步骤依据

   主讲人明确将钟表示例表述为模12运算。

   视频直接表达
2. 公式

   $$13 \div 12 \Rightarrow \text{remainder }1$$
   解释

   13除以12所得余数为1。

   步骤依据

   音频中直接陈述。

   视频直接表达
3. 公式

   $$13 \text{ hours } \to 1\text{ p.m.}$$
   解释

   因此13小时在钟表上对应1点（下午）。

   步骤依据

   主讲人根据余数结果得出该结论。

   视频直接表达

1点（下午）

与钟表循环解释一致：在12之后再次出现1。

1. 字幕依据
   观察依据

   幻灯片显示“示例：15 ≡ 3 (mod 12)”。

2. 公式
   观察依据

   长除法图示显示用12除15，商为1，乘积为12，余数为3。

3. 声音
   观察依据

   说话人说“15与3关于模12同余”，并解释余数为3。

说明为何 $15 \equiv 3 \pmod{12}$ 通过除以 12 得到。

1. 同余式：$15 \equiv 3 \pmod{12}$。

2. 模数／除数：12。

3. 被约简的数：15。

通过计算15除以12所得的余数来证明该同余关系。

1. 公式

   $$15 \bmod 12$$
   解释

   将15对12取模约简。

   步骤依据

   说话人将该同余示例与钟表所用的同一模12运算联系起来。

   视频直接表达
2. 公式

   $$15 = 1\cdot 12 + 3$$
   解释

   12的完整一组可以放入15中，余下3。

   步骤依据

   以长除法格式展示，商为1，余数为3。

   视频直接表达
3. 公式

   $$15 \equiv 3 \pmod{12}$$
   解释

   由于余数为3，因此15与3对模12同余。

   步骤依据

   这是幻灯片上写出并口头解释的结论。

   视频直接表达

对应的式子为：$15 \equiv 3 \pmod{12}$

由所展示的长除法验证：除数为12，被除数为15，商为1，余数为3。

1. 公式
   观察依据

   屏幕示例：“15 ≡ 3 (mod 12)。”

2. 图示
   观察依据

   长除法：除数为 12，被除数为 15，商为 1，乘积为 12，余数为 3。

通过用模数作除法来验证同余式 $15 \equiv 3 \pmod{12}$。

1. 左边的数 15

2. 模数 12

3. 所声称的代表元 3

说明将 15 除以 12 所得余数为 3。

1. 公式

   $$15 \div 12$$
   解释

   列出 15 除以 12 的长除法算式。

   步骤依据

   视频中的方法是将该数除以模数。

   视频直接表达
2. 公式

   $$12 \times 1 = 12$$
   解释

   商为1，积为12。

   步骤依据

   在图中可见，并由讲师口述。

   视频直接表达
3. 公式

   $$15 - 12 = 3$$
   解释

   余数为3。

   步骤依据

   在图中可见，且与同余式的右端相匹配。

   视频直接表达

15 恒等于 3 模 12

计算所得的余数等于所显示的代表元3。

1. 公式
   观察依据

   屏幕上的示例：“23 ≡ 11 (mod 12)。”

2. 图示
   观察依据

   长除法：除数为12，被除数为23，商为1，积为12，余数为11。

通过长除法验证同余式$23 \equiv 11 \pmod{12}$。

1. 左侧数字23

2. 模12

3. 声称的代表元11

证明将23除以12所得余数为11。

1. 公式

   $$23 \div 12$$
   解释

   将23除以12。

   步骤依据

   说话人明确描述了这一设定。

   视频直接表达
2. 公式

   $$12 \times 1 = 12$$
   解释

   商为1，积为12。

   步骤依据

   在第二个长除法示意图中可见。

   视频直接表达
3. 公式

   $$23 - 12 = 11$$
   解释

   余数为11。

   步骤依据

   在图中可见，并在音频中得到确认。

   视频直接表达

23 同余于 11 模 12

余数与右侧代表元11一致。

1. 公式
   观察依据

   屏幕上的示例：“33 ≡ 3 (mod 10)。”

2. 图示
   观察依据

   用长除法计算，除数为10，被除数为33，商为3，乘积为30，余数为3。

检验$33 \equiv 3 \pmod{10}$是否成立。

1. 左侧数字为33

2. 模数为10

3. 所声称的代表元为3

计算33除以10所得的余数。

1. 公式

   $$33 \div 10$$
   解释

   按新的模数10列除法算式。

   步骤依据

   说话者表示将不再处理模12，而改用其他数字。

   视频直接表达
2. 公式

   $$10 \times 3 = 30$$
   解释

   商为3，乘积为30。

   步骤依据

   出现在第三个长除法示意图中，并被口头读出。

   视频直接表达
3. 公式

   $$33 - 30 = 3$$
   解释

   余数为3。

   步骤依据

   在图中可见，用于回答有效性问题。

   视频直接表达

33 恒等于 3 模 10

余数等于3，因此该同余式成立。

1. 公式
   观察依据

   屏幕示例：“10 ≡ -2 (mod 12)。”

2. 图示
   观察依据

   长除法：12在除号外，10在除号内，商为0，乘积为0，余数为10，下方写出(-2)。

解释为何$10 \equiv -2 \pmod{12}$成立，尽管普通除法所得余数为10。

1. 左侧数字10

2. 模数12

3. 负代表元 -2

将余数 10 与负代表元 -2 对模 12 取余。

1. 公式

   $$10 \div 12$$
   解释

   将10除以12。

   步骤依据

   主讲人布置第四个长除法例题。

   视频直接表达
2. 公式

   $$12 \times 0 = 0$$
   解释

   商是0，积是0。

   步骤依据

   在第四个图中可见，并读作“零乘以零”。

   视频直接表达
3. 公式

   $$10 - 0 = 10$$
   解释

   普通余数是10。

   步骤依据

   在图中可见。

   视频直接表达
4. 公式

   $$-2 + 12 = 10$$
   解释

   将模数加到负代表数上，得到10。

   步骤依据

   主讲人陈述的关于负数模 n 的规则。

   视频直接表达

10 与负2 对模 12 同余

10 和 -2 模 12 同余，因为它们的差是 12。

1. 公式
   观察依据

   文字 '15 ≡ 3 (mod 12)' 及展示 $15 / 12 = 1 R 3$ 的长除法过程。

2. 声音
   观察依据

   主讲人验证 $15 = 12 * 1 + 3$。

验证 15 ≡ 3 (mod 12)。

1. 被除数：15

2. 除数：12

求余数并验证同余关系。

1. 公式

   $$15 = 12 \times 1 + 3$$
   解释

   进行除法运算，得到商1和余数3。

   步骤依据

   算术除法。

   视频直接表达

15 同余于 3，模 12

余数为3。

1. 公式
   观察依据

   文字显示‘23 ≡ 11 (mod 12)’，以及长除法过程，展示23 ÷ $12 = 1$ 余11。

2. 声音
   观察依据

   说话人验证等式$23 = 12 \times 1 + 11$成立。

验证23 ≡ 11 (mod 12)。

1. 被除数：23

2. 除数：12

求余数并验证同余关系。

1. 公式

   $$23 = 12 \times 1 + 11$$
   解释

   进行除法运算，求出商1和余数11。

   步骤依据

   算术除法。

   视频直接表达

23 与 11 对模 12 同余

余数为11。

1. 公式
   观察依据

   文字显示‘33 ≡ 3 (mod 10)’，以及长除法过程：33 ÷ $10 = 3$ 余 3。

2. 声音
   观察依据

   主讲人讲解了 23、33、43 除以 3 的余数均为 10。

验证33 ≡ 3 (mod 10)。

1. 被除数：33

2. 除数：10

求余数并验证同余关系。

1. 公式

   $$33 = 10 \times 3 + 3$$
   解释

   进行除法运算，求出商3和余数3。

   步骤依据

   算术除法。

   视频直接表达

33 ≡ 3 (模 10)

余数为3。

1. 图示
   观察依据

   标题幻灯片显示“密码学与网络安全”，副标题为“模运算（第1部分）”，并配有安全主题图标。

2. 声音
   观察依据

   旁白将本主题介绍为模运算第1部分。

1. 标题文字为“密码学与网络安全”

2. 字幕文字：“模运算（第1部分）"

3. 图标包括地球、笔记本电脑、盾牌、锁、计算器和齿轮

1. 静态标题页在讲解员介绍本讲内容时持续显示于屏幕

1. 课程框架将模运算与密码学及网络安全联系起来

本开场画面在视觉上将该数学内容置于密码学课程之中，而非泛泛的算术课

1. 字幕依据
   观察依据

   幻灯片标题为“学习目标”，随后逐条呈现三个要点：通过实例理解模运算；理解同余概念；识别有效的与无效的同余关系

2. 动画
   观察依据

   各要点随讲解员朗读依次出现

1. 标题：“学习目标”

2. 关于模运算、同余以及同余有效性判断的三个要点

1. 每条学习目标要点均在讲解员朗读时依次出现

1. 本讲范围限定于模运算与同余主题

幻灯片预告后续将讲解全等概念，但本片段仅进行到模运算的入门部分。

1. 字幕依据
   观察依据

   幻灯片标题为“模运算”，其要点依次呈现：整数系统；到达模数后循环回绕；密码学中的核心概念。

2. 动画
   观察依据

   文字行随叙述者讲解逐条出现。

1. 标题“模运算”

2. 三条解释性要点

1. 第一条要点先出现，接着第二条，最后第三条，与口述讲解同步。

1. 核心定义保持不变：整数，加上在模数处的循环回绕。

视觉推进将该概念分为三层：定义域、运作机制与实际应用。

1. 图示
   观察依据

   定义要点下方出现一个模拟钟面，标有数字1至12。

2. 声音
   观察依据

   叙述者借助钟面解释：24小时用12个数字表示，并举例说明15小时对应3点下午，20小时对应8点下午。

1. 钟面上的指针可见，但叙述并未利用其确切指向的时间；数学重点在于12个数字构成的循环，而非指针的具体位置。

1. 模拟钟表面

2. 小时数字1至12

3. 钟表指针

1. 在给出抽象定义之后，再引入钟表以提供一个具体实例。

1. 12个小时数标签的环形排列在整个示例中保持固定。

钟表充当模约化的视觉模型：超过12的计数会映射回相同的12位置循环中。

1. 图示
   观察依据

   一张静态幻灯片，标题为“模运算”，包含三个项目符号，以及一个12小时制的模拟钟面，上面标有数字1至12。

2. 动画
   观察依据

   光标在幻灯片上移动，靠近钟面和项目符号文字，同时讲解者阐述“回绕”与“模”的概念。

1. 标题文字：“模运算”。

2. 描述模运算的项目符号列表。

3. 一个模拟钟面，其小时数字为1–12。

4. 移动光标。

1. 光标在项目符号与钟面之间切换焦点。

2. 在此时间段内，钟表图像本身不发生变化。

1. 钟表始终是一个12小时制的表盘。

2. 三个引导性项目符号持续可见。

该视觉呈现确立了核心类比：整数按模12循环排列，钟面则作为环绕运算的具体模型。

1. 字幕依据
   观察依据

   新幻灯片标题为“同余”，并附有项目符号：“在密码学中，使用同余（≡）而非相等（=）。”

2. 公式
   观察依据

   约在81秒时，出现示例“15 ≡ 3 (mod 12)”。

3. 公式
   观察依据

   约在102秒时，出现一个长除法图示，展示12除15，商为1，余数为3。

1. 标题文字“同余”。

2. 比较$\equiv$与$=$的项目符号。

3. 示例行$15 \equiv 3 \pmod{12}$。

4. 长除法图示，包含12、15、1、12和3。

5. 光标移动。

1. 幻灯片从时钟引入切换至同余主题。

2. 示例行在初始同余要点之后出现。

3. 长除法图示稍后出现，用于论证该示例。

4. 光标依次指向同余符号、模数以及除法布局的各部分。

1. 幻灯片出现后，同余要点始终保留在屏幕上。

2. 示例一经引入，便持续可见。

图示从符号表示过渡到验证：首先将同余引入为等号的一种符号替代，然后通过具体的除以-$15 \equiv 3 \pmod{12}$ 的计算来支持特定命题 12 computation.

1. 图示
   观察依据

   深蓝色幻灯片，黄色标题“同余”，白色项目符号文字，青色“示例：”，左侧为白色同余式，右侧为橙色长除法图示。

1. 标题“同余”

2. 关于同余与相等的要点说明

3. 青色标题：“例如：”

4. 四条白色同余式

5. 橙色长除法示意图

6. 白色鼠标光标

1. 示例依次添加在左侧一栏中。

2. 对应的长除法示意图出现在右侧。

3. 光标随讲解指向不同的数字。

1. 该幻灯片始终围绕同一主题展开。

2. 颜色编码保持一致：黄色标题、青色标题、白色公式、橙色除法框。

视觉编排将每条符号化的同余式与一个具体的长除法运算关联起来，该运算生成其代表元。

1. 图示
   观察依据

   第一个橙色除法框显示：12在外部，15在内部，商为1位于上方，乘积为12位于下方，余数为3位于底部。

2. 动画
   观察依据

   光标在15、12和3之间移动，同时讲解者说明该例题。

1. 除数为12

2. 被除数为15

3. 商为1

4. 积为12

5. 余数为3

6. 光标

1. 注意力从被除数依次转移到商/积，再转移到余数。

1. 在此子例题中，除数始终保持为12，被除数始终保持为15。

该图示直观地证明：15除以12的余数为3，与同余式表述一致。

1. 图示
   观察依据

   第二个橙色除法框显示：12在框外，23在框内，商1位于上方，积12位于下方，余数11位于底部。

1. 除数为 12

2. 被除数为 23

3. 商为 1

4. 积为 12

5. 余数为 11

1. 左侧出现一个新的示例行，右侧出现一个新的除法框。

1. 模数保持为 12，便于与前一个示例直接比较。

并排布局强调：当被除数从 15 变为 23 时，余数随之从 3 变为 11，而模数保持不变。

1. 图示
   观察依据

   第三个橙色除法框显示：外部为 10，内部为 33，上方为商 3，下方为积 30，底部为余数 3。

1. 除数为 10

2. 被除数33

3. 商3

4. 积30

5. 余数3

1. 模数从12变为10。

2. 在可见的除法算式中，商从1增加到3。

1. 保留相同的基于余数的解释格式。

该事件将概念从钟表模运算拓展开来12，通过展示相同方法在模10下的应用。

1. 图示
   观察依据

   第四个橙色除法框显示：外部为12，内部为10，上方为商0，下方为积0，余数为10，且在底部写有(-2)。

1. 除数12

2. 被除数10

3. 商0

4. 积0

5. 余数10

6. 负代表元（-2）

1. 被除数小于除数，得到商0。

2. 负值（-2）被附加在正余数下方10。

1. 模运算结果回到12，与之前钟表示例相呼应。

余数10与（-2）之间的视觉对比，有助于说明：不同代表元可以描述模12下的同一剩余类。

1. 图示
   观察依据

   屏幕右侧展示了四个具体的长除法示例及一个通用模板。

1. 除数

2. 被除数

3. 商

4. 余数

1. 光标随讲解依次指向示意图中不同部分。

1. 长除法的结构布局保持不变。

直观展示被除数、除数、商与余数之间的关系，强化代数公式 a = km + b。

1. 声音
   观察依据

   讲解员提问：我们的钟表是否用24个数字来表示24个小时？并回答：“显然不是。”随后解释：24小时制仅需12个数字即可理解。

人们可能认为表示24个小时需要钟面上有24个独立的刻度标签。

视频明确反驳了这一观点，指出一个仅有12个数字的钟表可通过循环绕回表示24小时制的时间，例如：15小时对应3 p.m.，20小时对应8 p.m。

1. 字幕依据
   观察依据

   幻灯片文字：“在密码学中，使用同余（≡）而非等号（=）。”

2. 声音
   观察依据

   主讲人先提问为何在同余中不优先使用等号，随后给出若干示例。

1. 该片段指出了这一区别，但在此段中并未充分解释其理论原因。

人们可能将$\equiv$仅仅视作$=$的另一种写法，而未意识到它表达的是一种模关系，而非字面上的相等。

视频将同余$\equiv$与相等$=$进行对比，并以$15 \equiv 3 \pmod{12}$为例，其中15和3作为整数并不相等，但在模12意义下相关。

1. 声音
   观察依据

   说话者说：“请记住，这个15在这里，而这个12是除数。”

2. 公式
   观察依据

   长除法区分了被除数15与除数12。

学习者可能混淆被约简的数15与模数／除数12。

在例题演算中，15是被除数，12是除数／模数；余数3是将15对12取模后所得的结果。

1. 公式
   观察依据

   幻灯片明确指出：“使用同余（≡）而非相等（=）。”

2. 声音
   观察依据

   主讲人始终说“同余于”，而不说“等于”。

有人可能将$15 \equiv 3 \pmod{12}$理解为15与3是同一个整数。

该片段区分了$\equiv$与$=$；这两个数仅在模意义下等价，并非字面上相等。

1. 公式
   观察依据

   第四个例子写作$10 \equiv -2 \pmod{12}$。

2. 声音
   观察依据

   主讲人称10和-2均为“完美”的，并解释了$-2+12=10$。

人们可能认为余数必须始终是普通除法所得的正数，而负代表元是无效的。

在模12下，$-2$与$10$表示同一剩余类，因为加上模数可将其中一个转化为另一个。

1. 声音
   观察依据

   讲解者提问为何偏好使用同余而非相等，并解释像23、33、43这样的数虽不相等，却具有相同的余数。

错误地认为：只要数字具有相同余数，它们就必然严格相等。

同余是一种基于余数的等价关系，允许不同的数（如15和27）在模 m 意义下‘相等’。

1. 声音
   观察依据

   讲解者通过说明 38 同余于 14（模 12）来证明 12 的两倍是 24，且余数为 14。

2. 公式
   观察依据

   式子38 ≡ 14 (mod 12)在屏幕上被标记为有效。

1. 本视频未明确提醒观众：14并非模12意义下的最小非负余数。

人们可能预期，在 a ≡ b (mod m) 中，余数总是取标准代表元，即满足$0 \le b < m$。

在本片段中，说话者通过将商改为38 ≡ 14 (mod 12) by changing the quotient to 2，从而接受该同余式，因此所呈现的“余数”概念比通常的标准余数范围更宽泛。

1. 声音
   观察依据

   主讲人称2除以5余2，接着又指出2也可写作负3。

2. 公式
   观察依据

   同余式2 ≡ -3 (mod 5)被标记为有效。