打开主菜单

(重定向自Wikipedia:首頁

典范条目

Four Colour Map Example.svg

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

你知道吗?

簡金墻銅像正面照.jpg

优良条目

自動化壓鑄機器

壓鑄是一种金属铸造工艺,其特点是利用模具腔对融化的金属施加高压。根据压铸类型的不同,需要使用冷室压铸机或者热室压铸机。制造压铸的零部件相对来说比较容易,这一般只需要四个主要步骤。压铸特别适合制造大量的中小型铸件,因此压铸是各种铸造工艺中使用最广泛的一种。同其他铸造技术相比,压铸的表面更为平整,拥有更高的尺寸一致性。在传统压铸工艺的基础上诞生了几种改进型的工艺,包括减少铸造缺陷排除气孔的无孔压铸工艺。还有由通用动力公司发明的精速密压铸技术以及半固态压铸等等新式压铸工艺。

新闻动态

拉希德·加努希

历史上的今天

11月17日世界学生节

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