四色定理的三代证明.PDFVIP

＊ 王献芬　胡作玄 (, 　050016) 　:四色猜想是图论中的一个重要问题。 它从猜想到定理历经三代证明:1976 年阿佩尔和 肯的 计算机辅助证明、1994 年西缪尔等人的修正、2005 年贡蒂埃的形式证明。每 一代证明都有其特点和不足。 本文对这三代证明进行了简单的评述, 说明由一个经验来源的问题如何逐步得到解决并在发展过程中形成 诸多新的数学分支。 它的重要性不在于结果本身而是从它的证明中可学到的潜在道理。本文提出数学证 明的 一个方面, 即用有限驾驭无穷, 同时在四色定理的证明史中表明简化永远是数学方法的灵魂。 :四色定理　计算机辅助证明　形式证明　数学证明　图着色理论 〔〕N0 　〔〕A 　〔〕1000-0763 (2010)04-0042-07 , 。, (), 。180°, , , , , 。(C.Goldbach, 1690-1764)。 , 。 , , , 。 (), “”。 (G.Cantor, 1845-1918), , 。 。, , ? 。, 。 , , , 。, , :3 3 。、、、 、3 , 3 、, , 、。 , , 。。 , 。 , 。, , 。 , , 、, , 。 , 。 ＊(。 〔〕2009 12 21 〔〕(1981-), , , 、 。 (1936-), , , , 。 42 、 。, , ? 。 , 。1852 , (Francis Guthrie, 1831-1899): 〔1〕, 〔2〕 , 。 (Frederick Guthrie)。 , ·(A.De Mor an, 1806-1871)。· , 。 。 10 23 , ·、(W.R.Hamilton, 1805-1865), “”。, , · 。, 1860 4 14 (〔1〕, p. 92)。 , (A.Cayley, 1821-1895)。 1878 6 13 , 。, 《 》, , , “ 〔3〕 ” 。。, , 。, 。 :1976 (K.Appel, 1932-)(W.Haken, 1928-) , 20 , , ;。, 1994 , (P.Seymour, 1950-)、(N.Robertson, 1938-)、(D.P.Sanders)(R.Thomas) 。, , , , 。 , 。2005 , (Geor es Gonthier) , , 。 , 。 ;; (A.B.Kempe, 1849-1922)。 。 、(1976 ) , , ; 。, 。, 〔4〕 (G.D.Birkhoff, 1884-1944)。 , (H.Heesch, 1906-1995), 。 。 1. 〔5〕 1879 , “” 。 11 。 , 、(S.Mac Lane, 1909-2005)、(H.Whitney, 1907-1989)。 〔6〕 ,“, ” 。 , , 。, “” 43 , 。 :。 , , , 。, 。, :5 , , 。 , :。 。2、3、4 5 , , 2 、3 、4 5 “ ”。, , 。 ;。, , 。 , , :(i)2 ;(ii)3 ;(iii)4 ;(iv )5 。, , 5 , 。 , “”(i)-(iii), (iv), 。(P.J.Heawood, 186