展顧約說(shuō)：“我們先到處轉(zhuǎn)轉(zhuǎn)吧?！?br/>
他們從住處出來(lái)，走了一段路，看到有個(gè)湖。湖水碧綠，像鏡子一樣，看到樹的影子。人影也倒映在上面。
湖水中間有幾個(gè)水壩，從各個(gè)邊緣點(diǎn)向中間看去，集中到中間的同一點(diǎn)。就是像一把傘，從中間把圓形切成幾部分。中間一圈都是深的湖水，有一圈水壩圍著，外面一圈是細(xì)沙和石頭?？赡茉瓉?lái)有水，但是已經(jīng)干涸。
幾個(gè)人在這里丈量著水壩間區(qū)域的面積。嘀嘀咕咕，還拿紙計(jì)算。展顧約過(guò)去問(wèn)他們?cè)谧鍪裁?。那幾個(gè)人說(shuō)，沒(méi)有什么，量量面積而已。
有個(gè)人身材魁梧，像一個(gè)小牛犢子，十分強(qiáng)壯；一頭卷發(fā)，像頂帽子似的，戴在頭上；長(zhǎng)長(zhǎng)的臉。
旁邊有個(gè)人，個(gè)子矮，較胖，肩膀結(jié)實(shí)，四方闊口，黑色胡子。
“你們?cè)谶@養(yǎng)魚呢？”董趨問(wèn)。
“是啊，要不然在這能做什么？”
“你們?cè)诹渴裁茨?？”董趨無(wú)意中隨便問(wèn)問(wèn)。
“看看這魚塘怎么改造唄?！?br/>
劉莫芝說(shuō)：“這里魚塘都好好的，你們好像一直在這里研究呢?！?br/>
幾個(gè)人看看這魚塘，不明白，中間建這么幾條水壩有什么用，可能是每家每戶分開養(yǎng)魚吧。怎么還有深水區(qū)和淺水區(qū)。他們也不是養(yǎng)魚的行家，搞不懂這是怎么回事。
看看水里，鯽魚草魚，游來(lái)游去。
劉莫芝說(shuō)：“本來(lái)以為是農(nóng)家樂(lè)釣魚的呢。”
展顧約說(shuō)：“有可能。你看旁邊，都有小屋子，可能是飯館店鋪。每個(gè)店鋪一個(gè)小魚塘，用水壩隔開，互不干擾。每個(gè)顧客拿個(gè)魚竿自己釣魚，到時(shí)候找廚師做?！?br/>
董趨說(shuō)：“不過(guò)也沒(méi)有看到釣魚的工具啊。”
劉莫芝說(shuō)：“人家這要是在養(yǎng)魚生長(zhǎng)期呢。不打攪別人了?！?br/>
董趨說(shuō)：“行，咱看看四周風(fēng)景吧?？纯春?。但是這湖水被分割成這幾塊，總覺得不好看。原來(lái)是一個(gè)整體，像個(gè)鏡子多好。”
劉莫芝說(shuō)：“其他地方還有湖水呢，到其他地方看看?！?br/>
幾個(gè)人繼續(xù)走，其他又遇到幾個(gè)湖，沒(méi)有水壩隔開，旁邊也沒(méi)有屋子，都是自然的風(fēng)光。
到了湖邊，屋子上寫著飯館，就進(jìn)去吃飯。
上午，又濕又冷。在一個(gè)暗淡的角落，幾個(gè)人正低唱淺斟。有個(gè)長(zhǎng)者和一個(gè)年輕人。長(zhǎng)者名叫湯領(lǐng)，格外滄桑，手里是一個(gè)線帽，一臉矜持的表情。年輕人名叫余承，顯得稚氣，甚是時(shí)髦，旁邊放著一個(gè)簡(jiǎn)陋的魚竿。一臉靦腆的神色。桌子上放著花生糕、豆腐干。他們正在和老板進(jìn)行關(guān)于菊花茶的對(duì)話。他討價(jià)還價(jià)地說(shuō)：“為什么要這樣貴？”老板說(shuō)：“這里是鎮(zhèn)上的名品，前段時(shí)間受到天氣影響，產(chǎn)量減少，價(jià)格目前是這樣，明碼標(biāo)價(jià)?！睖I(lǐng)點(diǎn)了茶水，一邊喝茶，一邊講最近在數(shù)學(xué)界的研究。余承認(rèn)真地聽著，臉上是崇拜的神色。兩人之間好像有一種默契。
展顧約上前去，說(shuō)：“這位前輩，很眼熟，是湯先生嗎？”
湯領(lǐng)說(shuō)：“是的?！?br/>
“我們來(lái)到這里是受姜先生邀請(qǐng)，但是到現(xiàn)在也沒(méi)有他的消息?！?br/>
湯領(lǐng)說(shuō)：“我們也是受他邀請(qǐng)。很奇怪，現(xiàn)在也沒(méi)有聯(lián)系上。雖然他平時(shí)很忙，但不至于連邀請(qǐng)的人也不管了。過(guò)兩天，再不回復(fù)，我們就回去了?！?br/>
展顧約說(shuō)：“前面那個(gè)奇怪的用水壩隔開的湖，您看到了嗎？您認(rèn)為這是有什么特殊作用的嗎？”
“看到這個(gè)湖，我想起來(lái)什么，很熟悉，好像是哪種圖形，但是一剎那過(guò)去，又想不起來(lái)了。”
湯領(lǐng)又想了想，說(shuō)：“其中最先想到了一個(gè)四色猜想。用數(shù)學(xué)語(yǔ)言表示即：將平面任意地細(xì)分為不相重疊的區(qū)域，每一個(gè)區(qū)域總可以用1234這四個(gè)數(shù)字之一來(lái)標(biāo)記而不會(huì)使相鄰的兩個(gè)區(qū)域得到相同的數(shù)字。這里所指的相鄰區(qū)域是指有一整段邊界是公共的。如果兩個(gè)區(qū)域只相遇于一點(diǎn)或有限多點(diǎn)就不叫相鄰的。因?yàn)橛孟嗤念伾o它們著色不會(huì)引起混淆。本質(zhì)正是二維平面的固有屬性，即平面內(nèi)不可出現(xiàn)交叉而沒(méi)有公共點(diǎn)的兩條直線。很多人證明了二維平面內(nèi)無(wú)法構(gòu)造五個(gè)或五個(gè)以上兩兩相連區(qū)域，但卻沒(méi)有將其上升到邏輯關(guān)系的層面。對(duì)圖論發(fā)展有推動(dòng)。利用計(jì)算機(jī)做證明，做了百億次判斷，終究只是在龐大的數(shù)量?jī)?yōu)勢(shì)上取得成功，但這并不符合數(shù)學(xué)的邏輯體系。”
“肯普的證明里闡明了兩個(gè)重要的概念。第一個(gè)概念是‘構(gòu)形’。他證明了在每一張正規(guī)地圖中至少有一國(guó)具有兩個(gè)、三個(gè)、四個(gè)或五個(gè)鄰國(guó)，不存在每個(gè)國(guó)家都有六個(gè)或更多個(gè)鄰國(guó)的正規(guī)地圖，也就是說(shuō)，由兩個(gè)鄰國(guó)，三個(gè)鄰國(guó)、四個(gè)或五個(gè)鄰國(guó)組成的一組構(gòu)形是不可避免的，每張地圖至少含有這四種構(gòu)形中的一個(gè)?？掀仗岢龅牧硪粋€(gè)概念是‘可約性’。他證明了只要五色地圖中有一國(guó)具有四個(gè)鄰國(guó)，就會(huì)有國(guó)數(shù)減少的五色地圖。自從引入構(gòu)形、可約的概念后，逐步發(fā)展了檢查構(gòu)形以決定是否可約的一些標(biāo)準(zhǔn)方法，是證明四色問(wèn)題的重要依據(jù)。但要證明大的構(gòu)形可約是相當(dāng)復(fù)雜的?！?br/>
“哈肯與阿佩爾合作編制一個(gè)很好的程序，在1976年6月，在兩臺(tái)不同的電子計(jì)算機(jī)上，用了1200個(gè)小時(shí)，作了100億判斷，終于完成了四色定理的證明?！?br/>
展顧約說(shuō)：“這個(gè)湖水的樣式和四色問(wèn)題是有點(diǎn)類似，湖面被切割成很多塊。但是塊數(shù)太少了，仍然有疑點(diǎn)。”
劉莫芝說(shuō)：“或者是某種幾何問(wèn)題?！?br/>
董趨說(shuō)：“不知道是不是其他的拓?fù)鋯?wèn)題?！?br/>
拓?fù)鋵W(xué)是?何學(xué)的?個(gè)分?，但是這種?何學(xué)?和通常的平??何、?體?何不同。通常的平??何或?體?何研究的對(duì)象是點(diǎn)、線、?之間的位置關(guān)系以及它們的度量性質(zhì)。拓?fù)鋵W(xué)對(duì)于研究對(duì)象的長(zhǎng)短、??、?積、體積等度量性質(zhì)和數(shù)量關(guān)系都?關(guān)。
余承說(shuō)：“我們留個(gè)聯(lián)系方式，如果姜先生聯(lián)系，我們相互通知?！?br/>
展顧約說(shuō)：“好的?！?br/>
他們找個(gè)位子坐下，和老板點(diǎn)個(gè)早點(diǎn)，油條，筍尖餛飩，豆沙方糕。