信息安全数学基础 第一篇-数论基础-第一章 整除

第一章 整除

1 整数的除法

$ab\in Z,b̸=0,$如果存在整数c，使a=bc,则称b整除a，记为b|a。

---

$b̸=0,a|b⟹|a|\le |b|$

$a|b,b|a⟹b=\pm a$

$a|b,b|c⟹a|c$

$a|b,a|c⟺对任意t,s\in Z,a|tb+sc$

$m\ne0,a|b\Longleftrightarrow ma|mb $

---

[x] 为不超过x的最大整数

{x}为实数x的小数部分

---

a，b为两个整数，$b̸=0$，则存在唯一的一对整数q和r，使得$a=qb+r,0\le r<b$

---

d为a，b的最大公约数，记为(a,b),或gcd(a,b)

(a,b)=1,则a，b互素，只有公约数$\pm 1$.

m为a，b的最小公倍数，记为[a,b],或lcm(a,b).

(a,b)=(b,a)=(-a,b)=(a,-b)=(-a,-b)

[a,b]=[b,a]=[-a,b]=[a,-b]=[-a,-b]

若a|b,则(a,b)=|a|,[a,b]=|b|

对任意整数x，有(a,b)=(a,b+ax)

对任意整数d|a,有[a,b]=[a,b,d]

a|c,b|c$⟺$[a,b]|cd |a,d|b$⟺$d|(a,b)

(a,b,c)=((a,b),c) [a,b,c]=[[a,b],c]

m为正整数，则

m(a,b)=(ma,mb) m[a,b]=[ma,mb]

(m,a)=1$⟹$(m,ab)=(m,b)

(m,a)=1,m|ab$⟹$m|b

(a,b)=d$⟹(\frac{a}{d},\frac{b}{d})=1$

[a,b]=$\frac{|ab|}{(a,b)}$

a,b为不全为0的整数 ⟹ ( a , b ) = m i n { s : s = a x + b y , x , y ∈ Z , s &gt; 0 } \Longrightarrow(a,b)=min\{s:s=ax+by,x,y\in Z,s&gt;0\} ⟹(a,b)=min{s:s=ax+by,x,y∈Z,s>0}

(a,b)=1时，任意整数n可以表示为n=ax+by,x,y均为整数。

( a , b ) = 1 , ⟹ { s : s = a x + b y , x , y ∈ Z } = Z (a,b)=1,\Longrightarrow\{s:s=ax+by,x,y\in Z\}=Z (a,b)=1,⟹{s:s=ax+by,x,y∈Z}=Z

2 算数基本定理

算数基本定理又称唯一分解定理，是整除理论的中心内容之一，在初等数论中很重要。

正整数分为三类：1，素数，合数。

---

p是素数，$a_1,a_2,...,a_n$是整数，其中$n\ge 2,b\in Z$,如果$p|\prod _{k=1}^n{a}_k$,则$\exists i,1\le i\le n,使得p|a_i$.

算数基本定理：整数n>1,那必有$n=\prod _{i=1}^m{p}_i,p_i(1\le i\le m)$为素数；若不计因子次序，这个分解式是唯一的。

---

$a=p_1^{{\alpha }_1}...p_s^{{\alpha }_s},b=p_1^{{}_{\beta }1}...p_s^{{\beta }_s}$,

a|b$⟺{\alpha }_i\le {\beta }_i(1\le i\le s)$

( a , b ) = p 1 e 1 . . . p s e s , e i = m i n { α i , β i } (a,b)=p_1^{e_1}...p_s^{e_s},e_i=min\{\alpha_i,\beta_i\} (a,b)=p1e1​​...pses​​,ei​=min{αi​,βi​}

[ a , b ] = p 1 d 1 . . . p s d s , d i = m a x { α i , β i } [a,b]=p_1^{d_1}...p_s^{d_s},d_i=max\{\alpha_i,\beta_i\} [a,b]=p1d1​​...psds​​,di​=max{αi​,βi​}

(a,b)[a,b]=ab

3 素数

素数有无穷个。

$\pi (x)$表示不超过x的素数的个数，x为任意正实数。

$\underset{x\to +\infty }{\lim }\frac{\pi (x)}{x}=0$

$\underset{x\to +\infty }{\lim }\frac{\pi (x)}{\frac{x}{{\ln }_x}}=1$

整数$n\ge 2,$若n是合数，必有素数$p|n,p\le \sqrt{n}$.

Fermat数 $F_n=2^{2^n}+1$,目前还不知道Fermat素数是否有无穷个。

形如$M_p=2^p-1$的素数称为Mersenne素数。

n%4==3，n称为Blum素数，两个Blum素数的乘积称为Blum整数。

4 Euclid算法

欧几里得算法又叫辗转相除法。

int t;
while(b)
{
	t = a%b;
	a = b;
	b = t;
}
return a;