- 在线时间
- 65 小时
- 最后登录
- 2014-6-20
- 注册时间
- 2011-5-8
- 听众数
- 3
- 收听数
- 0
- 能力
- 0 分
- 体力
- 324 点
- 威望
- 0 点
- 阅读权限
- 30
- 积分
- 114
- 相册
- 0
- 日志
- 4
- 记录
- 3
- 帖子
- 33
- 主题
- 26
- 精华
- 0
- 分享
- 0
- 好友
- 3
升级 7% TA的每日心情 | 开心 2013-5-30 09:18 |
---|
签到天数: 4 天 [LV.2]偶尔看看I
- 自我介绍
- 从1979年开始,潜心研究世界数学名题四色问题的人工证明,去年由科学出版社出版了《四色问题探秘》小册子。
群组: 学术交流A |
王树禾教授在他的《图论》(2004年出版)第99-100页中,有定理5.6的证明,7 Q6 H1 ]7 {& {/ |: l
现在转载如下:0 x4 K0 J8 I- e6 E2 g9 ^
定理5.6 (Wernicke 1904){5次顶与5次顶相邻,5次顶与6次顶相邻}是不可避免集。' X. W# Y! O) n1 ~5 V! _- R( f" H
证明:令T是一个不含二次、三次和四次顶的三角剖分。我们约定,开始时K次顶所带电荷
, \8 g7 T0 f- G y$ S+ c! U为6-K,由定理5.5,T上各顶总电荷为 ∑(6-K)Pk=12,其中Pk是k次顶的数目,,而K≥5.
& B; A# W5 j3 O! h! E# u4 r8 f k
# g9 Y* i: j9 R& ~) E 把带一个单位正电荷的每个5次顶向其每个带负电荷的相邻顶输送1/5个电荷。
/ E( Y: _# @# J# `3 k3 z( f, `* T 如果不存在5次顶与5次顶或者5次顶与6次顶相邻的想象,每个5次顶必有5个开始带负电荷) ^5 _; G# M" ~/ t) c
的相邻顶,即5次顶与7次以上的顶相邻,最后5次顶上的电荷变成0." M$ ]8 |- t% H3 c2 C2 W
考虑K≥7的顶,即使这种顶的相邻顶都是5次顶,这种K次顶所获电荷至多为K/5,使它带的6 s( \$ l' g# p
总电荷为1 |% w% ?3 a; d* X' ?1 t8 d8 l
(6-K)+ K/5=6+K/6-K=(36-5K)/6<0, 【我把这个算式记为(1)】
/ a* G* a( P9 L# @0 W于是T上的总电荷量是负的,不是12,矛盾。证明{5次顶与5次顶相邻,5次顶与6次顶相邻}是& ? Q. F, [4 @5 q
不可避免集。
8 k7 `/ X1 i) w7 [6 m[证毕]
0 b/ ?; o6 _. ?8 x/ G
5 Q/ A2 }/ Q9 r* J) ~ 在以上证明中我们发现, (1)式第一个等号前后数字5和6不一致,' s$ {- X) b+ |' p
如果(1)式中的分母都是5的话,(1)式应该是! D4 Y; u" j+ U5 C* O# e
(6-K)+ K/5=6+K/5-K=(30-4K)/5 ,只有当K大于7时才有(1)< 0,这又表明开
' ?, M& ?) `. b0 l5 `8 h2 ]头“考虑K=7”有问题了。) S& P* [6 ^, }6 |+ G2 h
[ 野花回复:应该是 k/6 ,]' d0 q! a0 f2 n( s) x) y
如果确定是k/6,那么(1)式为
1 ^$ i1 {. T0 W5 O7 ? (6-K)+ K/6=6+K/6-K=(36-5K)/6<0,其中# O, a) }. J( \- H3 m3 A2 D( Z
把k=7带入(36-5K)/6时,得
$ x u+ r* z/ m1 |1 n ( 36-5x7)/6=1/6>0,显然与(1)式的值小于0矛盾,所以说明开头所设应该为k>7
* m! P% _& @* L5 Z7 o2 g才对。但是这样一来,定理5.6中的构形就不是两个而是三个了。1 P8 W8 Y/ d1 [) t
- U2 `, x3 S3 J+ I9 s7 h
那么(1)式究竟是什么样呢?是不是:
! v H! k' ^% E- |& ~ P (6-K)+ K/5=6+K/5-K=(30-4K)/5 < 1 (1-1)
' Z7 o% r- Y' {* K( Q或者& H$ Q/ M9 o+ B% \
(6-K)+ K/6=6+K/6-K=(36-5K)/6 < 1, (1-2)1 ]0 D' _& e* Y: _
因为只有在这两种情形下,所设K≥7才有意义。 c) E% o1 h4 V& v4 A
如果千真万确 是(1-1) 或者(1-2) 的话,对于(1)式,我们可以仿照证明定理5.6的思路:
- x7 H& w5 b, ^9 | 考虑K≥6的顶,即使这种顶的相邻顶都是5次顶,这种K次顶所获电荷至多为K/5,使它带* J) `3 C _* M, l+ S2 n6 ^. j9 j% m( f
的总电荷为( S/ w3 N4 {( p& U) H
(6-K)+ K/5=6+K/5-K=(30-4K)/5 < 2 4 q# X2 u( K: `' R# _- b
或者 (6-K)+ K/6=6+K/6-K=(30-4K)/6 ≤ 1,* h; f2 n+ Y) r' I1 d+ Y
于是T上的总电荷量< 2 ,不是12,矛盾。证明定理5.6中只有第一种构形就够了。' D8 p/ u' c. n# q5 [3 m6 E( N
这是因为,比较考虑“K≥6”与“K≥7”的证明,只是前者比后者多考虑了K=6的情形,由于& w3 |0 J* C n% u; i" S8 }
6次顶是中性的,它既不需要发出电荷,也不需要吸收电荷,所以可以完全不考虑它的存在,即没有
# x; n, ^* z6 o5 v必要考虑5次顶与6次顶相邻的构形了。0 S4 I4 R" y6 H- }; m
如果这个仿照证明成立的话,就说明我在《数学学习与研究》2011(21)发表的《与阿
1 V4 g" }6 p+ ]; m# u# ^沛尔-哈肯证明四色定理商榷》文中的分析是正确的。(在我的搜狐博文《 Wernicke 第四不可
, K. v: ~$ {, m( ^% j2 J A1 z避免构形的简化》中有所修改)。
( ^4 I$ b9 ], Q! @4 s2 B 我的认识对不对,请王教授指导.6 H! b4 Z( n, P7 A
2014.04。09) o- P2 }; P$ v( }. ]2 @7 N3 _" Z
[野花回复:从这段内容看,此教材太差劲了!!!]
5 }: F" s9 l9 j) i! k# B f2 n v$ _' K6 P8 {* L
) H8 t2 r7 W( @' f6 P! w
|
zan
|