为什么 $15 \equiv 3 \pmod{12}$ 成立？

模运算是一种整数算术系统，其中数值在达到称为模数的特定值后会循环（回绕）。视频介绍这一概念是密码学的核心。

适用条件：适用于整数。；需要一个模数值来定义回绕行为。

在这个片段中，模数是整数系统回绕并重新开始的那个特定值。它充当循环算术的边界。

适用条件：在模运算中使用。；此片段未介绍模数的确切正式记法。

因为将模数 12 加到 -2 上得到 10 ($-2 + 12 = 10$)。这意味着 -2 和 10 表示模 12 的同一个剩余类。

适用条件：在模 12 下工作。；允许负代表。

要验证 $a \equiv b \pmod{n}$，请使用长除法将 $a$ 除以模数 $n$，并检查余数是否为 $b$。如果余数与 $b$ 匹配，则同余成立。

适用条件：该方法针对正被除数和正模数进行了演示。；演讲者称之为通俗的解释。

不，使用像 10、7 和 13 这样的特定数字的数值演示仅仅是一个说明性的例子，而不是适用于所有整数的严格正式证明。

适用条件：演示使用了特定的数值。；正式证明需要将性质推广到所有整数。