
$ ?: c* U. n/ `* ?3 G$ M! K$ _9 z, @4 D& G O对于任何素数 p ,只有1与自身 2 个因数,代入上式有

* r- U: X6 z3 ~移项,得

' ^3 H$ O# t, N' V3 K) a' i" e5 ], e/ g' o) C% H(3)式就是一条解集与素数集严格相等的方程筛。证毕。
讨论:因为因数个函数有无限多的表达形式[1],方程筛也有无限多的表达形式,上述(3)式只是其中的一个表达形式。其它表达形式的方程筛的推导证明方法类同,在此就不一一证明了。
. x+ G0 C4 D7 c/ \) }2 L+ c- e' a
8 j @2 T1 M0 b4 N- |二种方程筛的比较
, R$ G6 o. d& m7 Z4 N6 D* Z包学行
# @9 l2 P" U( O5 A) i) @$ d" {7 [+ E* w, @6 J J0 n最近作者收到了 yujun 信,他在信中给出了一种非常简单的方程筛,该方程筛结构如下:
Sin(((p-1)!+1)/p×π) = 0, (1)
* o8 D7 v( o; c7 e, ~而作者在“解集为全体素数的方程——方程筛”一文中给出的方程筛为

(2)
+ V1 b) R4 ^" ?( Y- e6 T- r: Z7 d/ H3 V7 ?9 P$ H5 ^4 M8 Y' |, @! G6 s$ b* M* b上方程(2)中的

(3)
该方程较为复杂。
3 t. I- F* G* _: J7 }# p; n2 i3 K但二种方程筛各有特点,现比较如下表:
0 f3 v8 s3 Z; y% k9 ]
# d7 r; B5 w) R8 D& M yujun 的方程筛(1) ! q/ K$ Z0 k* O" h6 P作者的方程筛(2) . r! z; I& l+ u) Z 0 p. ]9 J: Y1 Y方程左边函数结构 # U3 P: _2 Q: v @9 |( g简单 复杂 3 V) Q, ]. z1 K5 D# A 方程左边函数值的意义 / y: A) d0 D, S! r7 X' Y8 c定性:值不等于 0 为合数,值等于 0 为素数。 9 B- X2 j* {8 v/ Q$ Z定量:表示自变量所含除1与自身外可整除它因数的个数,这个数值为 0 则为素数。 5 W5 ^) v2 l# n9 i3 L) F. | - l- ~- z2 R5 l& o$ M, p方程左边函数值的变化特点 (对自变量为素数到合数的变化时) % L; n$ L% J x从 0 变为一个大于 0 小于或等于 1 的数。 从 0 变为一个大于或等于 1 的数。 # T+ n% @) U9 ^* k# m$ A 3 Z2 L& y6 U9 d: c; F% V& O: E方程左边函数值的变化特点) K8 z: h0 l9 g% T' d# @# s! ~ (对自变量为素数到合数的变化时)最小变化 从 0 变为一个大于 0 数,当自变量 p 很大时,这个变化将会是非常小。 4 F( ~8 l, I% {5 N- p从 0 变为等于 1 的数。 * [2 ?. O V" B* {. [ 方程左边函数值的变化特点 (对自变量为素数到合数的变化时)当p→∞时的最小变化 + s9 j& M- a- A% L$ D3 }" F' J2 J从 0 变为一个! H. X( C: @. v7 b U0 r 大于 0 且→0 的数。 从 0 变为等于 1 的数。
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) | Powered by Discuz! X2.5 |