打开主菜单

典范条目

Four Colour Map Example.svg

四色定理是一个著名的数学定理:如果在平面上劃出一些邻接的有限区域,那么可以用四种颜色来给这些区域染色,使得每两个邻接区域染的颜色都不一样;另一个通俗的说法是:每个无外飞地地图都可以用不多于四种颜色来染色,而且不會有两个邻接的区域颜色相同。被称为邻接的两个区域是指它们有一段公共的边界,而不仅仅是一个公共的交点。例如右图左下角的圆形中,红色部分和绿色部分是邻接的区域,而黄色部分和红色部分则不是邻接区域。“是否只用四种颜色就能为所有地图染色”的问题最早是由英国数学家法兰西斯·古德里在1852年提出的,被称为“四色问题”或“四色猜想”。人们发现,要证明宽松一点的“五色定理”(即“只用五种颜色就能为所有地图染色”)很容易,但四色问题却出人意料地异常困难。曾经有许多人发表四色问题的证明或反例,但都被证实是错误的。1976年,数学家凱尼斯·阿佩爾沃夫冈·哈肯借助电子计算机首次得到一个完全的證明,四色问题也终于成为四色定理。这是首个主要借助计算机证明的定理。这个证明一开始并不为许多数学家接受,因为不少人认为这个证明无法用人手直接验证。尽管随着计算机的普及,数学界对计算机辅助证明更能接受,但仍有数学家希望能够找到更简洁或不借助计算机的证明。

你知道吗?

优良条目

李子洲.jpg

李子洲(1892年-1929年),名登瀛,笔名逸民陕西绥德人。中国共产党早期人物、军事将领。李子洲早年在北京大学哲学系读书,期间参与组织五四运动,并跟随李大钊组织马克思学说研究会、陕西旅京学生联合会、共进社。之后返回陕西,担任绥德省立第四师范学校校长,发动陕西农民协会与中共力量。第一次国共内战期间,他组织领导发动清涧起义、渭华起义,成立西北工农革命军。1928年,代理中共陕西省委书记,之后被捕死于狱中。1944年,中共中央西北局陕甘宁边区政府将绥西县改为子洲县,以志纪念并延续至今。

历史上的今天

11月17日世界学生节

Tenzin Gyatso - Trento 2013 01.JPG
1292年
在英格蘭國王愛德華一世仲裁下,由約翰·巴里奧接替已故的瑪格麗特女王成為蘇格蘭國王
1558年
伊丽莎白一世接替已故的瑪麗一世而成為英格蘭愛爾蘭國王,開啟伊丽莎白時代
1869年
位於埃及西奈半島西側、連結地中海紅海蘇伊士運河通航,縮短歐洲至亞洲的水運航程。
1950年
達扎·阿旺松繞圖多旦巴傑增辭職後,藏傳佛教領導人第十四世達賴喇嘛(圖)開始統治藏區
1970年
美國發明家道格拉斯·恩格爾巴特獲得其所發明的世界上第一個電腦滑鼠專利。
其他语言