希尔伯特第十八问题,着色图与计算机证明.PDF

希希希尔尔尔伯伯伯特特特第第第十十十八八八问问问题题题，，，着着着色色色图图图与与与计计计算算算机机机证证证明明明 宗宗宗传传传明明明 天天天津津津大大大学学学 亚亚亚里里里士士士多多多德德德的的的一一一个个个断断断言言言 早在多年前 古希腊先哲们就发现了五种正规多面体 正四面体， 正方体，正八面体，正十二面体和正二十面体。通常，它们被称为柏 拉图多面体。 亚亚亚里里里士士士多多多德德德 公元前前 断言：在在在这这这五五五种种种正正正规规规多多多面面面体体体中中中，，，正正正四四四 面面面体体体与与与正正正方方方体体体都都都能能能够够够无无无缝缝缝隙隙隙地地地堆堆堆满满满整整整个个个空空空间间间。。。 在十五世纪， 通过研究正四面体的 二面角首先发现亚里士多德的断言是错的 证证证明明明思思思路路路 用α表示正四面体的二面角。可 以证明 ◦ ′ α / ≈ . 如果五个正四面体有一个公共棱，假设空 隙的二面角为θ