整除

定义(整除):

  • a,bZ,b0.a, b \in \mathbb{Z}, b \neq 0. 如果 qZ,s.t.a=qb.\exist q \in \mathbb{Z}, s.t. a = qb. 那么就称 b 整除 a,或 a 被 b 整除,记作 ba.b | a.

费尔马素数和梅森素数的研究都基于这样一个重要的因式分解:

  • 2st1=(2s1)(i=1t2s(ti))\displaystyle 2^{st} - 1 = (2^s - 1)(\sum_{i=1}^{t} 2^{s(t-i)})

  • 若 t 为奇数:2st+1=(2s+1)(i=1t(1)i+12s(ti))\displaystyle 2^{st} + 1 = (2^s + 1)(\sum_{i = 1}^{t}(-1)^{i+1} 2^{s(t-i)})

定义(完全数):

  • 如果一个正整数 N 的所有正因子之和为 2N,则 N 称为完全数。
  • σ(a)\sigma(a) 表示 a 的素因子之和。

定理:

  • 若正整数 n 的标准分解式 n=p1a1p2a2psas\displaystyle n = p_1^{a_1} p_2^{a_2} … p_s^{a_s}
  • 则:σ(n)=p1a1+11p11psas+11ps1\displaystyle \sigma(n) = \frac{p_1^{a_1 + 1} - 1}{p_1 - 1}…\frac{p_s^{a_s + 1} - 1}{p_s - 1}

定理:

  • 2n12^n -1 是素数,则 2n1(2n1)2^{n-1} (2^n - 1) 是偶完全数,且所有偶完全数均可以用这种形式表示。

定理:

  • 2n12^n - 1 为素数,则 n 必为素数。

定义(梅森数):

  • 设 p 是一个素数,形如 2p12^p - 1 的数叫做梅森数,记为 Mp=2p1M_p = 2^p - 1,当 MpM_p 为素数时,则称其为梅森素数。

定理:

  • 2m+12^m + 1 为素数,则 m=2nm = 2^n

定义(费马数):

  • 若 n 为非负数,则称 Fn=22n+1F_n = 2^{2^n} + 1 为费马数。当 FnF_n 为素数时,则称其为费马素数。
Powered By Valine
v1.5.0