天才一秒記住【閃文書庫】地址：www.shanwen.tw
是時髦，旁邊放著一個簡陋的魚竿。一臉靦腆的神色。桌子上放著花生糕、豆腐乾。他們正在和老闆進行關於菊花茶的對話。他討價還價地說：“為什麼要這樣貴？”老闆說：“這裡是鎮上的名品，前段時間受到天氣影響，產量減少，價格目前是這樣，明碼標價。”湯領點了茶水，一邊喝茶，一邊講最近在數學界的研究。餘承認真地聽著，臉上是崇拜的神色。兩人之間好像有一種默契。
展顧約上前去，說：“這位前輩，很眼熟，是湯先生嗎？”
湯領說：“是的。”
“我們來到這裡是受姜先生邀請，但是到現在也沒有他的訊息。”
湯領說：“我們也是受他邀請。很奇怪，現在也沒有聯絡上。雖然他平時很忙，但不至於連邀請的人也不管了。過兩天，再不回覆，我們就回去了。”
展顧約說：“前面那個奇怪的用水壩隔開的湖，您看到了嗎？您認為這是有什麼特殊作用的嗎？”
“看到這個湖，我想起來什麼，很熟悉，好像是哪種圖形，但是一剎那過去，又想不起來了。”
湯領又想了想，說：“其中最先想到了一個四色猜想。用數學語言表示即：將平面任意地細分為不相重疊的區域，每一個區域總可以用1234這四個數字之一來標記而不會使相鄰的兩個區域得到相同的數字。這裡所指的相鄰區域是指有一整段邊界是公共的。如果兩個區域只相遇於一點或有限多點就不叫相鄰的。因為用相同的顏色給它們著色不會引起混淆。本質正是二維平面的固有屬性，即平面內不可出現交叉而沒有公共點的兩條直線。很多人證明了二維平面內無法構造五個或五個以上兩兩相連區域，但卻沒有將其上升到邏輯關係的層面。對圖論發展有推動。利用計算機做證明，做了百億次判斷，終究只是在龐大的數量優勢上取得成功，但這並不符合數學的邏輯體系。”
“肯普的證明裡闡明瞭兩個重要的概念。第一個概念是‘構形’。他證明了在每一張正規地圖中至少有一國具有兩個、三個、四個或五個鄰國，不存在每個國家都有六個或更多個鄰國的正規地圖，也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組構形是不可避免的，每張地圖至少含有這四種構形中的一個。肯普提出的另一個概念是‘可約性’。他證明了只要五色地圖中有一國具有四個鄰國，就會有國數減少的五色地圖。自從引入構形、可約的概念後，逐步發展了檢查構形以決定是否可約的一些標準方法，是證明四色問題的重要依據。但要證明大的構形
本章未完，請點選下一章繼續閱讀！若瀏覽器顯示沒有新章節了，請嘗試點選右上角↗️或右下角↘️的選單，退出閱讀模式即可，謝謝！