信息安全数学基础定理大全（Weekly Updating）

第一章 整数的可除性

1.1.1  整除的概念

定义1.1.1 整除 因数 倍数

设 a ， b 是任意两个整数，其中 b ≠ 0 .如果存在一个整数 q 使得等式

a = q · b

成立，就称 b 整除a或者 a 被 b 整除，记作 b | a，并把 b 叫做 a 的因数，把 a 叫做 b 的倍数.

注

1. 当 b 遍历整数 a 的所有因数时， - b 也遍历整数 a 的所有因数.
2. 当 b 遍历整数 a 的所有因数时，  也遍历整数 a 的所有因数.

根据定义有：

•  0 是任何非零整数的倍数.
•  1 是任何整数的因数.
• 任何非零整数 a 是其自身的倍数，也是其自身的因数.

定理1.1.1 整除具有传递性（根据整除的定义）

设 a ， b ≠ 0 ， c ≠ 0 是三个整数，若 b | a ， c | b则 c | a.

定理1.1.2 在加减法运算中，整除的性质是保持的

设 a ， b  ， c ≠ 0 是三个整数，若 c | a ， c | b ，则 c | a ± b .

定理 1.1.3 在整数 a , b 的线性组合中，整除的性质是保持的

设 a ， b  ， c ≠ 0 是三个整数，若 c | a ， c | b ，则对任意整数 s 、t ，有 c | ( s · a + t · b) .

定理 1.1.4 定理1.1.3可推广为多个整数的线性组合

设整数 c ≠ 0 .若整数 a 都是整数 c 的倍数，则对任意 n 个整数 s ,整数

sa

是 c 的倍数

定理 2.3.4（根据定理1.3.12 & 2.3.3）

设m是一个正整数，a是满足（a，m） = 1的整数.如果k遍历模m的一个简化剩余系，则a·k也遍历模m的一个简化剩余系

定理 2.3.5 （根据定理2.3.4）

设m是一个正整数，a是满足（a，m） = 1的整数，则存在唯一的整数a'，1 ≤ a' ≤ m，使得

a·a' ≡ 1（mod m）

定理 2.3.6 

设,是互素的两个个正整数.如果,分别遍历模和模的简化剩余系，则· + ·也遍历模·的简化剩余系

定理 2.4.1 欧拉定理（根据定理2.3.4 & 2.1. 3& 1.3.12 & 2.1.8）

设m是大于1的整数.如果a是满足（a，m）=1的整数，则

 ≡ 1（mod m// ）

定理 2.4.2 费马小定理（根据定理2.4.1）

设p是一个素数，则对任意整数a，有

 ≡ a（mod p）

定理 2.4.3 Wilson定理（根据定理2.3.5）

设p是一个素数，则

（p-1）！≡ -1（mod p）