
+ t# B& G P2 f: O1 f- P对于任何素数 p ,只有1与自身 2 个因数,代入上式有

) x5 M* ]0 Q( H* n7 }* U9 F1 U移项,得

9 o. x3 R4 ?7 o4 W4 U(3)式就是一条解集与素数集严格相等的方程筛。证毕。
讨论:因为因数个函数有无限多的表达形式[1],方程筛也有无限多的表达形式,上述(3)式只是其中的一个表达形式。其它表达形式的方程筛的推导证明方法类同,在此就不一一证明了。
( l# D. z1 Z7 o: S
6 K5 }1 B! @ t# T4 U: K二种方程筛的比较
; i! |' B. Z8 ~: ~. \包学行
最近作者收到了 yujun 信,他在信中给出了一种非常简单的方程筛,该方程筛结构如下:
8 p8 Q- [+ n" N9 X' E8 g" YSin(((p-1)!+1)/p×π) = 0, (1)
; ], c4 i) P; `' p( d; P! v7 ^而作者在“解集为全体素数的方程——方程筛”一文中给出的方程筛为

(2)
- I3 X2 u/ h# s2 ?8 f$ b! I上方程(2)中的

(3)
, _0 S# _" R: \: @1 e3 d4 D9 |" D- `- u: b. p$ U该方程较为复杂。
但二种方程筛各有特点,现比较如下表:
8 a3 j! `" i5 @
1 m# q; |5 l. o" |2 y yujun 的方程筛(1) 5 D5 @5 D6 P* E; G9 g: L* F* b作者的方程筛(2) 方程左边函数结构 简单 复杂 1 ]- L) v. m5 ^& z 方程左边函数值的意义 定性:值不等于 0 为合数,值等于 0 为素数。 `5 c& O, K2 ~7 I/ Q, H定量:表示自变量所含除1与自身外可整除它因数的个数,这个数值为 0 则为素数。 方程左边函数值的变化特点 (对自变量为素数到合数的变化时) ( k5 u8 F& ]: P9 L/ Q2 M从 0 变为一个大于 0 小于或等于 1 的数。 ( ]' E* y0 a' e* |: @- r, q从 0 变为一个大于或等于 1 的数。 ; A0 K& l6 M& B" b 方程左边函数值的变化特点1 K! Q8 I/ i0 _' q- \. @; t (对自变量为素数到合数的变化时)最小变化 从 0 变为一个大于 0 数,当自变量 p 很大时,这个变化将会是非常小。 从 0 变为等于 1 的数。 方程左边函数值的变化特点. P% o* ?1 j: \# E/ c; R( l( n (对自变量为素数到合数的变化时)当p→∞时的最小变化 从 0 变为一个0 [7 O, O: J. o 大于 0 且→0 的数。 从 0 变为等于 1 的数。
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) | Powered by Discuz! X2.5 |