定义(整除):
- 设 a,b∈Z,b=0. 如果 ∃q∈Z,s.t.a=qb. 那么就称 b 整除 a,或 a 被 b 整除,记作 b∣a.
费尔马素数和梅森素数的研究都基于这样一个重要的因式分解:
2st−1=(2s−1)(i=1∑t2s(t−i))
若 t 为奇数:2st+1=(2s+1)(i=1∑t(−1)i+12s(t−i))
定义(完全数):
- 如果一个正整数 N 的所有正因子之和为 2N,则 N 称为完全数。
- σ(a) 表示 a 的素因子之和。
定理:
- 若正整数 n 的标准分解式 n=p1a1p2a2…psas
- 则:σ(n)=p1−1p1a1+1−1…ps−1psas+1−1
定理:
- 若 2n−1 是素数,则 2n−1(2n−1) 是偶完全数,且所有偶完全数均可以用这种形式表示。
定理:
- 若 2n−1 为素数,则 n 必为素数。
定义(梅森数):
- 设 p 是一个素数,形如 2p−1 的数叫做梅森数,记为 Mp=2p−1,当 Mp 为素数时,则称其为梅森素数。
定理:
- 若 2m+1 为素数,则 m=2n
定义(费马数):
- 若 n 为非负数,则称 Fn=22n+1 为费马数。当 Fn 为素数时,则称其为费马素数。
v1.5.0