数学建模社区-数学中国
标题:
新法书证四色定理
[打印本页]
作者:
wzlm_!
时间:
2011-11-3 23:32
标题:
新法书证四色定理
本帖最后由 wzlm_! 于 2011-11-4 00:25 编辑
) s1 \! s- K( M6 G
& l0 t5 H+ b' z4 ?+ @" M$ x
“一个好的数学证明应当像是一首诗,而这纯粹是一本电话簿!”
9 ?/ F5 ?1 q- j! o9 E5 C3 e" m: q3 _
2 x% J/ R1 N! R% R& k# R2 _
——对1976年机证四色定理的一则著名评论
; i% B' f7 x! |- W2 y- ~$ E& U( i. k
: u/ [# t; ~2 C& u" c
8 [+ V e2 {4 ]0 ^: K9 D
2 q4 p' X9 O5 E8 u! b9 y9 }
* t9 j+ E ]& W' r7 C) j$ ?
$ ?. H! z' ~$ o* E3 @# P' w
8 I+ C7 \' d6 I- F/ F
% y `6 {, O6 ?: q& {' Z, y
前言
5 v- h% ]7 {1 y$ ^( j
3 V' d9 g: `' T2 [( d$ E2 d
设球面的区域个数为n个,分别以A1、A2、A3、...、An标记,点O为这个球的球心O。显然,有多少个区域就用多少种颜色去染,一样能确保相邻区域不同色;但是这样做,四色问题就失去它的魅力,因为它的精彩在于是否仅用四种颜色可以达到区分区域的效果。而我们所要做的就是证明其可行性。
2 G3 e7 Y" J$ o4 D' A$ w
& c# S$ M! g: @1 }
分析
4 \0 N, i, U2 f6 W/ v# o B
( j w! |( }! G
一、
域色射线、色射线、构面、可直接性构面和不可接性构面
: [ U, ]; i. j% w. n) m; t' d
设点Bi(i=1,2,3,...,n)为区域Ai的一个点,并且以这个点为端点按下面的规定作出射线,:(1)一个区域
只取一个
点作为端点.(2)射线的颜色须与端点所在的区域同色.(3)平行于跟它颜色相同的已作射线(端点在另一个区域上).(4)不平行于跟它颜色不相同的己作射线。这种捆绑了区域和颜色的射线被本人称为
域色射线
。
9 G+ p& i f: Z; T
根据上面的论述,域色射线有下面的性质:(1)任一条域色射线只能对应一个区域及对应一种颜色.(2) 相邻区域分别对应的域色射线不同色.(3) 不相邻的区域分别对应的域色射线可以同色或不同色.(4) 同色的域色射线互相平行.(5) 不同色的域色射线互相不平行.(6) 平行的域色射线分别对应的区域不相邻。
2 ~' S8 ^, Y1 S- o' F* W
本人引入域色射线更为引出另一种射线--
色射线
。
2 ?; s/ [8 c5 I# {
根据域色射线的性质可以知道,同一种颜色的任两条域色射线是互相平行的。因此,在这个球的外面任取一个点O',然后以这个点为端点,作出符合下面条件的射线:(1) 须平行于端点在球面上的域色射线.(2) 作出的射线的颜色须与它平行的域色射线同色。这样的射线被本人称为色射线,顾名思义,就是代表颜色的意思。
/ V- F7 s4 \/ X0 A
根据色射线的作法和域色射线的性质,色射线有下面的性质:(1) (任一条域色射线能且只能与它同颜色的色射线平行.(2) 一种颜色能只能对应一条色射线.(3) 任两条色射线不能重叠在一起.(4).用来区分区域的颜色有多少种就有多少条色射线。
/ o4 |. P: ?" S% @+ f( n) Y
我们知道,角是由两条端点为同一点的射线构成的,同时这两条射线也把它们所在的每一个平面都分成两个扇面。本人把两条色射线构构成的角都称为这两条色射线的构角,把它们构成的扇面都称为这两条色射线的
构面
。
& T; f( v! y! c9 T. w5 x1 o
两条色射线的构面时可以分为可直接性构面和不可直接性构面。若某两条色射线的两个
互补构角
对应的两个构面当中有一个不会被其它的构面分成若干部分,那么这两条色射线是
可直接性构面
,否则是不可直接性构面。
% m) M. i: s# @* r' n# Y1 f
不难证明,在
立体空间上,并不存在5条或5条以上色射线彼此间是可直接性构面
的。证明的思路:“在立体空间上,并不存在5条或5条以上色射线彼此间是可直接性构面的”,这实质上等价于“在立体空间上,并不存在5条色射线彼此间是可直接性构面的”.先画出4条色射线彼此间的直接性构面(参照本文配图),可以发现它们实际把立体空间分为四个部分,同时可以发现每个部分空间实际由三条色射线和三个直接性构面围成。因此,假设“在立体空间上,存在5条色射线彼此间是可直接性构面的”,那么第5条色射线得在其中的一个空间里,但是可以发现总有一条色射线和它是不可直接性构面的,矛盾,故“在立体空间上,并不存在5条色射线彼此间是可直接性构面的”。
+ [- y7 L7 q2 E& ^0 F& E
Z3 w% ]# L, b( x6 d+ b T& Q
二、
颜色替代法则、色射线相邻关系和色射线不相邻关系
' L: Q4 G( v; e
区域间的颜色替代指的是用在确保任两个相邻区域不同色的情况下用一个区域的颜色去代替另外一个区域的颜色。代替的过程中需要遵守下面几条法则 :
6 o0 i. w( K2 x5 _& R' M, H
法则一 相邻区域不同色。
( ?6 i) ~6 z4 c& F
推论一 同一种颜色的一组区域彼此不相邻。
6 C& n! F5 w# f. h
推论二 任一个区域的颜色都不能被邻域的颜色所替代。
1 i5 O2 i! i* p! |4 E
法则二 若某个区域Ai及其邻域都和另一个区域Aj不同色,则区域Ai的颜色可以被区域Aj的颜色替代。
/ v7 w8 f% v! m
推论三 若染某一种颜色的所有区域符合法则二,则这种颜色能被其它颜色替代。
' ~7 P% d7 O. w G* w/ c
推论四 若两个区域能互相替代(交换)颜色,则这两个区域都
必须
同时符合法则二。
2 @+ F( a0 T1 a
法则三 在区域间的颜色替代过程中,若某种颜色能被其它颜色替代时,则这种颜色
必须
被替代。
, m+ u7 L( {# k5 M4 M
法则四 根据前面的法则不断地减少颜色的种数,直至对于剩下的每一种颜色来说,无论区域间怎样颜色替代,始终都至少存在一个染这种颜色的区域不能被其它颜色替代为止,即意味着总有一个染这种颜色的区域的所有邻域必须用其它颜色去染,且每种颜色都得用到。
! w1 g% o: W- a J5 U" P3 O' \" l& [
上面几条法则统称为
颜色替代法则
。
+ A- o0 \7 I( }: p
+ g t) F: i" z4 U. G) X3 _
本人称法则四中不能被减少的颜色所对应的任两条色射线的关系为
色射线相邻关系
。可以知道,这几条色射线彼此间都是色射线相邻关系。显然,在这几条色射线彼此间都是色射线相邻关系基础上,多于这几条色射线不可能彼此间都是色射线相邻关系,因此不能建立色射线相邻关系的两条色射线的关系就是
色射线不相邻关系
。
) _! [+ J! m# j7 u- S) H0 a
两条色射线的色射线相邻关系体现在它们可直接性构面上,而其色射线不相邻关系则体现在它们不可直接性构面上。
+ C& z3 X; h" P# I; J- }% d/ K
) Q% {5 E8 I- w+ D5 C; T- p
证明
+ Q+ I; @3 y# F$ W0 b: \
证明:假设命题不成立,故则需颜色多于4种,因此,对应的色射线必定多于4条,因此至少有5条色射线彼此间是色射线相邻关系,可是在立体空间上并不存在5条或5条以上色射线是彼此间是可直接性构面的,矛盾,故命题成立。
" w' P2 U9 m; @
证毕。
* \/ D( Q# N: M" d- N/ }
4 q P$ R5 t, y% X+ c
0 |' V \$ R' k
1 Z6 G2 ?+ ~9 ^# E8 E9 _- L" ?! Q c0 X
2011-10-03 写于广东潮州
1 F0 L5 |" B8 b3 P% `8 j5 S- L
作者:
wzlm_!
时间:
2011-11-3 23:40
全新的思想﹑全新的定义和全新的方法,希望给你一个全新的选择!
作者:
1152977312
时间:
2011-11-15 23:26
横好啊,,牛人啊
" |$ S7 q) \/ i* t7 m
作者:
wzlm_!
时间:
2011-11-20 22:50
标题:
RE: 新法书证四色定理
1152977312 发表于 2011-11-15 23:26
+ P3 q0 K& S' a+ Y& G( U6 T
横好啊,,牛人啊
4 T) q4 ~; L3 O* @, B: w
后面还有更牛的!但假如你无法理解本文,依然也无法理解的后文。一旦你理解本文,你的思想就会像高山滚石。
作者:
黄窗帘
时间:
2012-2-5 16:43
我也想了解,谢谢发帖的人
作者:
qiyue18ya
时间:
2012-5-17 10:33
能弱弱的问一句你是研究生还是?
作者:
王凯明
时间:
2012-6-2 23:55
好东西,谢谢,我要好好看一下
作者:
hbdkfk2
时间:
2012-8-19 09:33
厉害啊!!!!!!!!!!
作者:
1940400155
时间:
2014-5-16 17:31
一、域色射线、色射线、.....。对“域色射线”:(3)的“平行于”,(4)的“不平行于”的规定有条件否?对“域射线的性质”:共6条,其理念可理解,其中,对有的是否考虑了来源?独立性怎样?相容性又怎样?等等,这些都是须要经得起用“数学”标准检验的。愚见仅供参考。
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5