兩個(gè)形狀酷似甜甜圈的數(shù)學(xué)曲面，所有可測(cè)量的局部幾何屬性完全相同，卻是兩個(gè)截然不同的形狀。這件事在數(shù)學(xué)上意味著什么？它意味著一條存在了150年的幾何直覺，被證明是錯(cuò)的。

來自慕尼黑工業(yè)大學(xué)、柏林工業(yè)大學(xué)和北卡羅來納州立大學(xué)的三位數(shù)學(xué)家，歷經(jīng)多年研究，首次構(gòu)造出了所謂的"緊致博內(nèi)對(duì)"，即兩個(gè)度量相同、平均曲率相同，卻彼此不全等的環(huán)形曲面。這項(xiàng)成果發(fā)表于數(shù)學(xué)頂級(jí)期刊《高等科學(xué)研究院數(shù)學(xué)出版物》，在幾何學(xué)界引發(fā)了廣泛關(guān)注。

故事要從19世紀(jì)法國數(shù)學(xué)家皮埃爾·奧西安·博內(nèi)說起。

博內(nèi)在研究曲面幾何時(shí)提出了一個(gè)直覺上極為合理的判斷：如果已知一個(gè)緊致封閉曲面上每一點(diǎn)的度量和平均曲率，那么這個(gè)曲面的整體形狀就被唯一確定了。換句話說，只要你知道曲面在局部"長(zhǎng)什么樣"，整體形狀就不可能有第二種可能。

這個(gè)判斷長(zhǎng)期被視為微分幾何中的基本共識(shí)。

所謂度量，是描述曲面上兩點(diǎn)之間距離的數(shù)學(xué)工具，反映的是曲面內(nèi)部的距離關(guān)系。平均曲率則衡量曲面在三維空間中向內(nèi)或向外彎曲的程度，直觀理解就是曲面在空間中的"彎折方式"。直球面和甜甜圈的區(qū)別，部分就體現(xiàn)在這兩個(gè)量上。

后來，數(shù)學(xué)家陸續(xù)發(fā)現(xiàn)，對(duì)于非緊致曲面，也就是那些無限延伸、或者帶有邊界的形狀，博內(nèi)的判斷存在例外，可以構(gòu)造出度量和平均曲率相同但形狀不同的曲面對(duì)。對(duì)于封閉的緊致曲面，比如球面和環(huán)面，大家普遍相信博內(nèi)的結(jié)論仍然成立。球面的情況已被嚴(yán)格證明，但環(huán)面，也就是甜甜圈形狀，始終懸而未決。

理論上，數(shù)學(xué)家們知道一組度量和平均曲率數(shù)據(jù)最多可以對(duì)應(yīng)兩種不同的環(huán)面形狀。但"最多兩種"并不等于"真的存在兩種"，在過去幾十年里，沒有人能找到一個(gè)具體的反例。

三位數(shù)學(xué)家最終找到了這個(gè)缺失的反例，過程本身就是一個(gè)關(guān)于數(shù)學(xué)工具創(chuàng)新的故事。

離散微分幾何，簡(jiǎn)單來說，是用有限個(gè)點(diǎn)和面來近似連續(xù)曲面，就像用很多小三角形拼出一個(gè)球，再研究這個(gè)拼接球的幾何性質(zhì)。這種方法在計(jì)算機(jī)圖形學(xué)和建筑設(shè)計(jì)領(lǐng)域被廣泛應(yīng)用，但更重要的是，它往往能揭示連續(xù)幾何中難以察覺的深層結(jié)構(gòu)。

在這種思路的指引下，研究團(tuán)隊(duì)發(fā)現(xiàn)了一類特殊的等溫環(huán)面，通過保角變換可以生成曲率相同卻形狀不同的曲面對(duì)。最終，他們成功構(gòu)造出了兩個(gè)具體的緊致環(huán)面，這兩個(gè)環(huán)面擁有完全相同的度量和平均曲率，但在三維空間中，它們是兩個(gè)無法重合的不同形狀。

霍夫曼教授在接受采訪時(shí)直接說明了這一發(fā)現(xiàn)的分量："這使我們能夠解決曲面微分幾何中一個(gè)存在了幾十年的問題。"他強(qiáng)調(diào)，這不是對(duì)博內(nèi)原理的否定，而是一次精確的邊界劃定，證明了博內(nèi)猜想在環(huán)面情形下不成立，同時(shí)也為球面情形的正確性提供了更清晰的對(duì)比背景。

這項(xiàng)研究的意義不只停留在純數(shù)學(xué)層面。理解曲面的局部信息能在多大程度上決定整體形狀，對(duì)材料科學(xué)、軟物質(zhì)物理乃至生物薄膜的建模都有實(shí)際影響。細(xì)胞膜、蛋白質(zhì)折疊等生命現(xiàn)象中涉及的曲面幾何，都與平均曲率密切相關(guān)。

當(dāng)一塊150年前的基石被輕輕移動(dòng)，整座大廈的輪廓就變得更加清晰了。