|
程平 先生:
3 `7 z6 F4 c3 |! B: S2 r( F5 T你好! ! n" g: M) k3 L& |. C
现在对《推证哥德巴赫猜想》一文进行补充,希予改正。
5 I4 u$ `- k$ h* H. m! i推证哥德巴赫猜想 ) V9 ^. r9 J, H9 I$ ]" _1 i9 q6 L
0 j6 V( g# X" P* u6 O* s通俗易懂,清澈透底。
6 v% h, O; ^, ]& w" J名词:对称奇素数。 ) l4 @) z. [% ]; o/ D2 N4 _
内容:提出和推证等价哥德巴赫猜想,推证哥德巴赫猜想。
4 l8 h5 ?0 _+ J9 c T8 H/ E# I& f( g 1 -------- 对称奇素数: 0 f4 ]7 V* x6 R F3 [' u' u
设不大于偶数 N 的奇素数是 si,合数是 Fi,则: 0 u3 I: u/ A Y1 U" V7 l
N-si 称为 si 的对称数。 7 _1 @: j$ \* O' ~) i7 Y/ j7 O7 y
N-Fi 称为 Fi 的对称数。
5 p; E0 L8 T( F! f# y v; U' [2 k若N-si是奇素数,则称为 si 的对称奇素数。
2 D% o$ P ?1 D0 m( @; I% V若N-Fi是奇素数,则称为 Fi 的对称奇素数。 + M( D6 X+ x2 G" u# `& D; I- u2 x
例如: 1 ?+ D, L. Q3 e" `! M
偶数 N = 6,不大于 6 的: 6 b4 ]9 z! L) o. m
奇素数 si 是 3,5,有2个。 ! n" w6 n/ G" w' u
对称数 N-si 是 6-3=3,6-5=1,有2个。 " {% u7 S8 r6 h! Q& K
对称奇素数是 3,也就是说,在2个N-si里面,对称奇素数有1个。
4 D' E, \5 G( L$ r
. z4 C! \& {) ]; a合数 Fi 是 4,6,有2个。
# k2 u k7 ~+ F9 E0 M对称数 N-Fi是 6-4=2,6-6=0,有2个。
+ Q- e8 @; y; x0 J只有对称素数 2,也就是说,在2个N-Fi里面,没有对称奇素数。
. U, Q# h' o, o. n: p, {$ W5 w$ i j. a# h
N = 16,小于 16 的: , M. v; _8 ^4 f9 V" {
奇素数是 3,5,7,11,13,有5个。
- R9 C, _/ g0 B% N& W4 L# n对称奇素数是 13,11,5,3。在5个N-si里面,对称奇素数有4个
5 t0 L4 L% J# ^5 k. L- K3 c) v$ B3 i, B0 d: R# P! i6 r( z
合数是 4,6,8,9,……,15,16,有9个。 + V, J4 j, i+ f/ { B+ _
对称奇素数是 7。在9个N-Fi里面,对称奇素数有1个。 6 a6 J' ^* `! g9 {) B J
+ v% P& Z8 V0 E. \' Q q2 -------- 等价哥德巴赫猜想:
2 _ Z& Q7 v) i6 W: I% \) ]$ A9 f: e% {设不大于 N 的合数有 F 个, N-Fi也有F个,得:
: @3 l- M4 I) `N > F -------- (1) 8 I* A" W+ {1 R2 a3 z0 W6 S7 }
0 W# _, ^# |" K) n: L& b; S设不大于 N 的奇素数有π(N) 个,在 F 个N-Fi里面,对称奇素数有π(F) 个,由 (1) 得:
' }: C3 b7 ?, R3 Tπ(N) > π(F) -------- (2) 6 l2 b$ F" d9 W8 Z; B
这就是等价哥德巴赫猜想。
* Z" h1 U* C: H* a: i/ c这里需要注意:π(N) 既能认为是“不大于 N 的奇素数个数”,也能认为是 “N 个正整数的对称奇素数个数”,但是 π(F) 不能认为是“不大于 F 的奇素数个数”,只能认为是“F 个合数的对称奇素数个数”。
0 E% O( B+ H* s4 \+ _例如:
* S' c+ O4 S! b; G/ z* KN = 16,π(N)=5,π(F)=1,得 5 > 1。
7 e* q. \, {. K对于任何有穷偶数,(2) 都成立。
& Q3 M" P. d! j7 D, N7 k3 -------- 推证等价哥德巴赫猜想成立: ) v3 H" B0 ^: |2 ], z9 M1 c
证等价哥德巴赫猜想有穷成立:
Z _/ o4 M7 C% F" c# E根据初等数论:
5 w' V: j) _) t6 o: j4 _3 n" U3 E设在 N-si 里面,对称奇素数有π(s)个, 在N-Fi里面,对称奇素数有π(F) 个,则:
4 x7 u+ P' u$ }: q& [/ V, {π(N) = π(s) + π(F) -------- (3)
7 u5 e- U( ~3 {对于任何有穷偶数,(3) 都成立。
1 M+ I( a: l- _9 c例如: 0 }& h) _+ f7 ~6 H
N = 16,π(N) = 5,π(s) = 4,π(F) = 1,得 5 = 4 + 1。 % k$ V" x- {/ |( f
设1不是素数,计算时不计入1与 N-1。 / p' |. E# @5 a3 ~" l
* M# V' N; _" q2 L根据 (3) 很容易判断,对于任何有穷偶数,(2)都成立。 & ] }0 U! F. e7 O$ z i& h! w* K2 y
也就是说,等价哥德巴赫猜想有穷成立。
2 H& \, Y P2 W# J) g
" } D9 J2 B9 K: S: P5 U2 i证大偶数等价哥德巴赫猜想成立: & n0 d4 T9 Z0 \9 Q
把F → N 的偶数称为大偶数。
: C& f5 \" a. w- \
' L/ t/ j. U; u! F设不大于 N 的奇素数有π(N)个,则π(N)/N 称为奇素数的出现比例。
: f! {# n6 U% i5 ?设 F 个合数的对称奇素数有π(F)个,则π(F)/F 称为对称奇素数出现比例。 " m9 ~0 A; Q9 G, t& ?
, i0 U( F* C5 r8 c4 v根据数论知道:
7 Y1 ^( e& T" T8 M3 O2 U若N → ∞,则F → N,得:
" Z8 h+ w% t8 N+ glim { F → N } (π(N)/N)/(π(F)/F )= 1,变换得:
8 W w# |1 ^3 ylim { F → N } F π(N) / N π(F) = 1,由(1)得: ! s$ n) w# ?1 |. [) V& B: F
N π(N) / N π(F) > 1,变换得: ) V: z7 j" T3 ~
π(N) / π(F) > 1, ! r8 C8 W9 s3 R. V. H+ F
由此得:
$ D' o! P1 K" B& D0 q- {{ F → N } π(N) > π(F) -------- (4)
# F2 `9 t5 k2 z' S D D0 s* h由 (4) 确认大偶数 (2) 成立,也就是大偶数等价哥德巴赫猜想成立。 2 |& @; @ ^$ d
由以上确认等价哥德巴赫猜想成立。 A" N/ d4 O3 O4 @) O5 U& ]2 }
. p5 ?9 n/ a U9 f! ^, k* [7 W% X
4 -------- 推证哥德巴赫猜想成立: 7 n- U( |# U% L4 K4 L4 L
由 (2),(3) 得π(s) = π(N)-π(F) > 0,由于 π(N) 与 π(F) 都是正整数,所以π(N)-π(F) 也是正整数,最小的正整数是1,由此:
- i- {) k& `% N# Q' Iπ(s) ≥ 1。
8 L/ I0 C3 W5 l) Z这就是说,在奇素数 si 的对称数 N-si 里面,总有一组是对称奇素数,所以任何偶数都能表示为 2 个奇素数的和:
/ ~+ J% W: d1 i" R/ _; QN = si + N-si,
Z# ~$ V1 p/ B7 l: e$ H. P哥德巴赫猜想成立。
) N7 {) ~! ]- A$ f, M
; m; t$ _! D3 q3 t# A参考资料 1 -------- 比较: & P* t* P6 [ S* A, S
N--------1/lnN-----------π(F)/F---- 1/lnF 2 [, `6 @# V9 M
10^3---- 0.145-----------0.135------ 0.149
3 K( q7 r% [; W' M* ]10^4---- 0.109-----------0.111------ 0.110 $ W0 W( v, C. T4 r+ d0 }. k
10^5---- 0.087-----------0.088------ 0.088
# w* W$ \' z( \- |10^6---- 0.072-----------0.073------ 0.073
+ W1 v6 p* `* O T1 V' ~10^7---- 0.062-----------0.062------ 0.062
% F# n, ?* l* ~+ @10^8---- 0.054-----------0.055------ 0.055
1 ~# V: d$ O* H10^9---- 0.051-----------0.048------ 0.048
2 J8 H0 b* U5 q6 W5 {7 S10^16----0.027-----------0.027------ 0.027
3 p5 |: b1 W% D3 z10^21----0.021-----------0.021------ 0.021
% a5 @4 V0 R5 W+ A' s. @对称奇素数的实际出现比例 π(F)/F 逐渐趋于计算值 1/lnF。 ; D% j: ^% u8 P7 X+ L
对称奇素数的计算值 1/lnF 逐渐趋于奇素数的计算值 1/lnN。
# ~8 T4 f( `3 L* d/ {! j理论符合实际。 8 Q* U" D3 o2 T8 f: i% W0 g
: v# M/ ?; R3 o4 x* F
参考资料 2 -------- 大偶数哥德巴赫猜想的计算:
; f5 S; M( b6 z( Y设不大于 N 的奇素数有π(N)个,合数有 F 个,则:
* K8 T K5 ^; _/ kN =π(N) + F + 2,得:
& ~% K- [0 j7 x4 }" pπ(N) < N - F -------- (1) ( S4 o3 [2 D$ e/ ]% _2 z* _
根据 (1) 由数论知道:
1 K) E3 v. A& v0 E+ I0 ?* Aπ(N)→(N/lnN) -------- (2)
& J" F- N6 \; S( ^% {同理,设不大于 N 的 F 个合数的对称奇素数有π(F) 个,得: * f; v, b8 r3 j0 j& @
π(F)→(F/lnF) -------- (3)
; P! p' Q) ^- X9 U/ { V# Z/ F- s设奇素数的对称奇素数有π(s)个,由等价哥德巴赫猜想 (3) 知道:
' c" x5 p6 k3 mπ(s) = π(N)-π(F),再由 (2),(3) 得: , ^- ~8 B; G. c- j: o( F5 U
π(s)→N/lnN - F/lnF -------- (4)
% l5 }! L. w7 E1 f5 I由 (4) 得:
9 G: [! p# A" C" {# e) Xπ(s)→N/lnN - F/lnN = (N - F)/lnN -------- (5) " j/ x' H6 _8 u9 t; S1 X
根据 (1),(5) 得: " ^' c8 E$ z% u1 a3 O& Z; r
π(s) > π(N)/lnN -------- (6) % W$ y0 d6 p. n' v( h
由 (2),(6) 得:
, Z% m- I/ ?8 k$ tπ(s) >(N/(lnN))/(lnN) -------- (7) ! k/ ^8 |. e `* d6 _
变换 (7) 得: * ^% s# f1 G& \
π(s) > N/(lnN)(lnN) -------- (8) ! g/ r8 D! p7 v& J2 @! |
计算式 (8) 表示大偶数等于两个奇素数的和的排列数。 ( Z" s. c( G( e V3 G
' A3 t% F; [6 ~2 W4 G哥德巴赫猜想方程 4 }6 r0 S2 z1 R' |' a S5 d+ z( c2 ?
基本名词:哥德巴赫猜想方程。 6 }1 x( m6 r: ^& v/ U, H c6 _6 e
主要内容:确认哥德巴赫猜想。 - ]5 P' {$ S0 C. L! h
1 -------- 差值方程与均值方程:
2 T% E0 N% U' A& F y设不大于偶数N的奇素数个数为s个,奇合数个数为f个,N表示为2个奇素数的和的个数为x,表示为2个奇合数的和的个数为y,表示为1个奇素数与1个奇合数的和的个数为a,表示为1个奇合数与1个奇素数的和的个数也为a,则有方程:
( s: M! }# v0 u6 [+ js=x+a, % F2 c7 D! u! J9 i
f=y+a。 4 ~4 d8 D$ s; x, v7 @
若设1不是素数,则不计入1和N-1。方程s=x+a与f=y+a之差,称为差值方程:
& H* T' u! X) z/ y! p$ J; Qx-y=s-f -------- (1) 2 G$ E" U7 }2 ~( J4 v [. J
根据 (1) 得均值方程为:
! P2 q/ x6 X) U( L. t% m0 jx=ss/(s+f) -------- (2) 1 g0 I6 q% Z' X/ ~" z, c
y=ff/(s+f) -------- (3)
; ]4 V; V$ }2 x- V. r; U把方程(2),(3)代入方程(1) 得ss/(s+f)-ff/(s+f)=s-f,变换得:
8 @* z8 U% h# Z2 \6 iss-ff=ss-ff,由此确认均值方程 (2),(3) 成立。 / ]/ h7 y, n, P$ P* s2 I
7 O" L7 b; U3 v9 G" H; s+ n
2 -------- 偶数表示为2个奇素数的和:
5 b2 ^! L+ |3 e- W! Q& ^这里讨论 s < f 的偶数。方程(2)与(3)之比为ssy/ffx=1。
1 S0 e0 V, H3 D设一般为: + Z( I6 `) v. Y9 m' u
k=ssy/ffx -------- (4)
. x$ o% s6 m5 S变换方程(4)得y=kffx/ss,代入方程(1) 得x - kffx/ss =s-f,变换得: / k" I* C" `% m9 Z0 z, w) C
x=(f-s)/(kff/ss -1) -------- (5)
3 D: c4 i$ \. ~) X% O把方程(2),(3)代入方程(4) 得k=ss*ff/(s+f) / ff*ss/(s+f)=1。
% G$ N( Q1 s$ v0 K$ W2 d) a设k最大为ka,以1为对称,若k最小为kb,则: 4 }( a* M. v+ H/ q3 A: c
(ka + kb)/2=1。由方程(5)知道,若k最小,则x最大。
( q; y; B; f: c- s由方程(1)得x与y的最大值是x=s,y=f,代入方程(4)得: ' J$ g/ i5 G5 ]3 E) H) }$ m( u
kb=ss*f/ff*s=s/f。
5 Q# U) v& u, u7 j& D5 d把kb=s/f代入(ka + kb)/2=1,得(ka + s/f)/2=1,变换得:
0 c' M* t- {9 [+ E0 \ka =2–s/f。
8 o+ Y( z/ e5 _" f. H例如: 5 X- c8 i" \- ^. n O4 x
N--------s--------f--------x--------y--------k ------ka------kb
8 p; Z8 ~7 Q. ?7 |" o7 w21000----2358----8140------1092 ----6874----0.53 ----1.71----0.28
# x& V k9 W0 j7 ]( U3 [( C. _21002----2359----8140------340------6121----1.51 ----1.71----0.28
$ q: r& x) J) {3 l21004----2359----8141------380------6162----1.36 ----1.71----0.28
! c% G8 L2 W* s" h" u% O21006----2359----8142------686------6469----0.79 ----1.71----0.28 6 n e' Y$ n" A* r; u$ u- X
由k的最大值ka=2–s/f,得k < 2。 9 U+ U. g6 `2 [( h
由方程(5),若k < 2,则:
/ b2 T9 M% M, g2 O. y6 U/ Ux > (f-s)/(2ff/ss -1) -------- (6) & {4 I1 ?) I5 R$ u$ y4 H" B
由(6) 得: " o m3 q. J2 E+ S3 t4 K7 ]
x→(f-s)/(2ff/ss -2)
/ n4 Q; X9 |# v4 T# Z3 ^ G7 j=ss/2(f+s),由2(f+s) + 2 = N,得2(f+s) < N,由此得: 8 \3 ^$ P6 n& K
x > ss/N -------- (7) ' y! L$ g* P' d& b: a( p: d
由不大于N的素数个数π(N)=s≈N/lnN,代入(7) 得: ; ?9 m7 `& S! O2 i
x≈N/(lnN)(lnN) -------- (8)
: U( X. J6 {5 c; h u( }/ U! G由 (8) 确认哥德巴赫猜想正确。 |