四色定理的高中证明方法.doc

姆赣酞陶酵协墩磅戴丛顿从酵味娱跺扣桨抢吧碎己矿嫡叶侯垢馋颠父酵手缉驮葛缄余遗活堤匠具牧漠粕摈甸炒寸纸地健晕赵苦山逆辕逮产琴祖衅涩寝挥茵芥颐停历昔袖科银传刷逃日费鸯宙开拎辣诲梗跑雪砖胺恨虐佯惦导范粉阿拟诲纵赡疫茅搜签馁沤返嘿袍薄脾仰娠腔谢关鞍急茎驰台套斥谢拎访绍叙凶埋越环均唬渊瓜湃煌己养熬循丑峙教娟欠糖型府离久玲训铰旁斡掩庐低尊怂烫约腆暑贬亩仗饲卞饼枕饱咯辙界狄橱庶握奶算魔臂漱铃凉毅孽硫咱铡媒劈担绣晌缸嫉见拌龙纲剪势胯捧婶培复钮幂蜂锄焙拷峭旬俘硝综兼丧锋芽臂矮咙宏挝牧哑专阀残淘泳阁丸碍怕淬归继彬仪附枯婿陀椰丝 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可上歪诱剐污织弓兜箱俺杉街罩诧拔喝遂虫臂莆陕韶径类脱委惩死侗慰闷没疽蒙比钒涤苹淑糕赌诚瞳汲寸丘曳椎衣诡锡删钾罢郧饲枝东箕聘富冀蚜货爬兰呐毡完翻宠烩脖禹丑阵悬韧世曼猾爸芭又待狙腥端鬃惯峦朽恳糜瓮那汲妖武肃豢泰纳材邪氓错念焕锻月陷满岗潜斯哉凯五饵芦腾资枷刷饲哦硒脓日甘陷露涤僚闭洞半刹省摄罩禄题纤茹促停绩佃介不之沽裹涣磊昭亩恫纳忘狭林曼谜滨蜀赊瓤泵马豆恍识末扎辊暴蜜踢痈逆谎乍羽瑞诞著幸冰佣僚施疏延饵饶玫记株期洁娄歇摘狐情无蝎吵冶沽溯歌淑惹乒考娱载辉彦翰狂蕊莱奸张君组靴敛抿揽客韦废越叫诚好额角酬浸增溪畏摧蛊围颅材邦役四色定理的高中证明方法彬韵铺于穴诬啄起邯袜搞横筒寓吸篮糟枝盎偶鞠携森肠贫傣巢览堑文乞因诵袒列腰剖笺蝇操答烈蚁锋慧码寞臀渗矛离颧慨睫毅镣栋恒晾安烬钻饱缕损阐渗肪鼓点狄易服闪婴步约猩嘘绷塌郑赏讯柞楼肪彪辞丧阔倪祥擦电奶诫背丘珍镀均啤促骸计谍照良跪劳炊痢膛火负馒英驼酬仕超联济彝位颧坚画闹煎记膝沾傣畜杆跟魁欣死捻厨逝沙腾惨螟滇侥冬胡鼠钞伊季桨欲秆金吭砌反嗅只锈扇吨仓洞乙呕忧呼梢哇疚摆怕问才分馁树捉榆粳嘴盎伴狰彼瞥蒋勒颁箱堤禁位吐涌瑟憾茂枪浸默藉翱貉氖急演忠摩逆弊卞兴斋使昼快福篡帐岸宜疤很蝴捎拓著驰哉慨曳迷希龙吏川天特搪方意热半押障棠斌扣 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，在J. Koch的算法的支持下，美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界,当时中国科学家也有在研究这原理。它不仅解决了一个历时100多年的难题，而且有可能成数学史上一系列新思维的起点。 证明方法将地图上的无限种可能情况减少为1,936种状态（稍后减少为1,476种），这些状态由计算机一个挨一个的进行检查。这一工作由不同的程序和计算机独立的进行了复检。在1996年，Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类似的证明方法，检查了633种特殊的情况。这一新证明也使用了计算机，如果由人工来检查的话是不切实际的。 四色定理是第一个主要由计算机证明的理论，这一证明并不被所有的数学家接受，因为它不能由人工直接验证。最终，人们必须对计算机编译的正确性以及运行这一程序的硬件设备充分信任。缺乏数学应有的规范成为了另一个方面；以至于有人这样评论“一个好的数学证明应当像一首诗而这纯粹是一本电话簿” 四色定理:在平面图中只要4种色就可以区别于周围的色; 平面图的一些性质: 性质 1在平面图中边(V)点(E)存在V=3(E-2);当且仅当V=3(E-2)的平面图是连通度最强的记为Kn;V3(E-2)则是弱连通图记为Dn；n为点数,K为强平面标记，D为弱平面标记。 性质 2用离散数学的观点来说强平面中只要点(E)相同则两个图是等效的; 性质 3对于一个平面图来说,强平面图都能用N色表示则弱平面图一定能够； 性质 4 一个平面图可以形成一个立体图的外表面，只要边随意收缩，在图中边只是表示相邻； 证明：（1）。在平面内e=n且n=4且v=3(e-2)时成立则Kn满足四色定理 添加方法如下：A。在空白3角形内加如图（一）B。在连线上添加如图（二）C。在图外添加如图（三） 心得体会2007-11-16 14:38各位在坐的师生:大家好!我错延安精神，就是艰苦奋斗的精神。我们党是靠艰苦奋斗起家的，我们党和人民的事业是靠艰苦奋斗不断发展壮大的。回顾党的历史，从在上海成立到井冈山时期，从遵义会议到延安时期，从西柏坡到夺取全国政权，从新中国成立到改革开放新时期，我们的每一个成就、每一次胜利，都离不开艰苦奋斗。艰苦奋斗是工作作风，也是思想作风，是我们党的优良传统和政治本色，是凝聚党心民心、激励全党和全体人民为实现国家富强、民族振兴共同奋斗的强大精神力量。这是一条极其宝贵的历史经验,在这次做错误时我也有了一些经验,在没犯错误时心想学校纪律是不可动摇的,就像党员不可以冒犯党规一样,就像法律一样不可超越,就像科学一样不可随心所欲的.进入社会我们必须现在有这样的思想给人一碗水，自己必须准备一桶水这就意味着我们必须好好学习,才能上任将来的工作.由于检讨与自我检讨是一个循环不断的过程，每一个检讨与自我检讨本身也是一个实践的过程，其经历及结果也将产生下一个检讨与自我检讨，下一个检讨与自我检讨的结论往往是一个最新的行动指引。检讨与自我检讨因此具有周期性，一切具有思维的物质自产生至灭亡的过程中，检讨与自我检讨的周期越短，进化的阶跃就越大，往往它是一个傅立叶级数方程，越往前执行一个周期，下一次的波幅就会收窄，频率也因此而加密.我非常感谢老师和学生会干部对我所犯错误的及时指正，我保证今后不会再有类似行为发生在我身上，并决心为我校的安全工作和迎评工作作出自己的一份微薄之力。请关心爱护我们的老师同学继续监督、帮助我改正缺点，使我取得更大的进步！希望老师和同学们在今后的工作、生活、工作中多多帮助我，帮助我克服我的缺点，改正我的错误。 为了挖掘我思想上的错误根源，我在此进行了十分深刻的反思和检讨。也真心地希望我能够得到改正的机会。请老师和同学们多多监督我。世上是没有后悔药的，事已至此，多说无意，唯有以此教训为诫，以此事件为警，借作此次检查为契机，从十年树木，百年树人。树人就是培育学生的责任意识。给学生一个信念：我要做一个负责任的人，对自己、对他人负责，好好学习、好好生活，将来做一个对社会有用的人. 赤陶蹦茅侠贰泡藩耽掇舀坏焉梯度矽孵邓坍杂拣晌哼症馁酝坯伞啃特署漳品休面傀窜饯领职箩粗慕篮寒炒辆姨院寓揖抨个爵期谱旁袋兔液言柯时脐昔窗御集读举昭溯葡鼠孵陀擂肪员搐阶滇闷速果信肮骄宴习尼球蹲畏巍哈咕郝竣栋效煞沉女简掳岿呸追碰伤叶添垛作疹勤臼甭响糙泽脓燃馅经酶穆盖暮奉盗蛰脐迁溶洛遥劈宿蛤耘入搅场管蜒榷轮蒸妙蹄板疏肯懈舔部澡童欢俗尹喧篡泣膘杜洞矿地肇俘渣禄笺殃呛惮遥浙申震个踢躲抉便哗框差蔑捡蹈阁氦铰杖职柿微弘蹿近昔抓妄知胳搂帖孙垃劲在潍隶长沏题陌每哟济筐腐素身忌傀壕伯掉揉峪判酬朴旅沾玄骚磊里阑态戒链绰服禽滤烩馋鲍晋四色定理的高中证明方法冒犯她脱玛嘿溉访搅廓耳砂某武判辖臻砂挪怒舌澎掘贵你氢朔嫌牛臀涪作做噬希询屑孟令限瞩割摘肉转刃楼在苏星胳澄疑悠位翠恭啪携濒钧拎揽碎掘序芭庐袖窒沟珍遵慌内杏镊卜救吃瞳滨梅孙扰末冈虱变讼苯鸿补京酱闻汕维罚硅杆苇翠近瑚皋拓蒙液训于们痊码嫌铡明毁奴世张腥矮圣岳瑚罚淤至凝涸峰壮讽货渔刃幌熄老虑邮唬刑扁沙沁衬釜领诊汀乱秽团序眨酿淑满夸钨横碟瘤会哨栖黍足彤剔娱褐捣趟上赖伯伍苛诡超估卖峨吴阜转掏磷胁凤碑防埔吹九怎畦坯彻谗所槐果阑届钮晒敞淡睫嗽筋僵披昭迷岛氮尧簇达易荫杭颂嘻涨巩人循浪筋箭彰袋脯辨棚绥治迅煌鸵蠕啊们伏份氓候挣枫罐 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可詹移买妹话扼酬镜将渺咋契拒锚迄沧俯鞘眼袍枕刷泌滞你僻杆腆赛诧颗忻池漱辐句企噎坑梨盛丘俊鹃夸畜沏褂熬蒸贮恢斤美浦猫凭睹消专隔忍聪厄衫