蔣 迅

英國(guó)數(shù)學(xué)家約翰·康威于2020年4月11日因新冠肺炎并發(fā)癥在美國(guó)新不倫瑞克市(普林斯頓附近)的老人療養(yǎng)院去世，終年82歲．康威的去世震驚了整個(gè)數(shù)學(xué)界．他在數(shù)學(xué)上的成就是全面性的．他的研究領(lǐng)域包括有限群、趣味數(shù)學(xué)、紐結(jié)理論、數(shù)論、代數(shù)、分析、算法組合博弈論、編碼學(xué)和理論物理學(xué)等范疇．我們?cè)诒疚闹薪榻B他在平面幾何方面的一些工作，以此紀(jì)念這位偉大的數(shù)學(xué)家．

1 康威圓定理

大數(shù)學(xué)家康威最引以為豪的是他的生命游戲．其實(shí)康威引以為豪的還有很多，其中就包括一個(gè)平面幾何定理“康威圓”(Conway’s Circle)定理．有一次俄羅斯裔猶太數(shù)學(xué)家譚雅·科瓦諾娃(Tanya Khovanova)看到他穿了一件印有這個(gè)康威圓定理的圖案，堅(jiān)持讓他把身子轉(zhuǎn)過(guò)去背對(duì)著她，可憐的康威先生就一直這樣站著，直到她想出了證明．

如上圖，假定我們有一個(gè)三角形ABC．三個(gè)邊的邊長(zhǎng)為a=|BC|,b=|AC|，和c=|AB|．從C向A做延長(zhǎng)線并在延長(zhǎng)線上取點(diǎn)Ab使得|AAb|=a，以此類推得點(diǎn)Ac,Bc,Ba,Ca和Cb．那么這個(gè)定理說(shuō)：這六個(gè)點(diǎn)共圓．康威圓的半徑為：

它的圓心就是內(nèi)切圓的圓心．如果我們記r為內(nèi)切圓的半徑，s為三角形ABC的半周長(zhǎng)，那么R還有一個(gè)用r和s表達(dá)的更簡(jiǎn)潔的公式．

康威圓始于康威發(fā)起的一個(gè)幾何社交群．他在那個(gè)群里發(fā)布了這個(gè)問(wèn)題．后來(lái)人們就把它稱為了康威圓．他在與網(wǎng)友們討論時(shí)還指出，當(dāng)延伸的距離分別為a+x，b+x和c+x時(shí)結(jié)論仍然成立，其中x是使得a+x，b+x和c+x都大于零的任意實(shí)數(shù)．

2 康威與平面幾何

三角形非周期平鋪/維基百科

三尖瓣線內(nèi)部區(qū)域/維基百科

康威與美國(guó)數(shù)學(xué)家彼得·道爾(Peter Doyle)給出了莫雷角三分線定理的初等證明．莫雷角三分線定理是說(shuō)，對(duì)一個(gè)任意的三角形，其三個(gè)內(nèi)角作角三分線，靠近公共邊三分線的三個(gè)交點(diǎn)，是一個(gè)等邊三角形．康威的證明在他寫的著名文章“數(shù)學(xué)的力量”(The Power of Mathematics)中．

莫雷角三分線定理/康威

讀者一定會(huì)聯(lián)想到，一個(gè)任意三角形的三個(gè)內(nèi)角角平分線相交于一個(gè)點(diǎn)．這個(gè)點(diǎn)就是內(nèi)切圓的圓心．為了把這兩個(gè)定理敘述成一個(gè)統(tǒng)一的形式，讓我們換一種敘述．

n=2和n=3時(shí)的示意圖

n=4和n=5時(shí)的示意圖/道爾和塞提

注意這個(gè)新的描述就是康威的證明思想．用這個(gè)描述，我們可以把結(jié)果推廣到任意的n=2,3,4,5,…的情形去．

約翰·康威和理查德·蓋伊(Richard K. Guy，1916—2020)在1996年的著作《數(shù)之書》(The Book of Numbers)中給出了基于三等分角的正7、9、13邊形的二刻尺作圖．康威和蓋伊都在2020年去世，令人嘆息．

康威自認(rèn)為是一個(gè)經(jīng)典幾何學(xué)家，這毫不夸張．康威對(duì)幾何的愛(ài)好始于他的高中時(shí)代．那時(shí)候他一直保存著一本筆記本，上面都是他自己有關(guān)三角形的發(fā)現(xiàn)．他甚至曾經(jīng)計(jì)劃出一本關(guān)于三角形的書，標(biāo)題可能就是“三角形”(The Triangle Book)．那會(huì)多么有趣．可惜他計(jì)劃中的合作者、一位高中數(shù)學(xué)老師斯蒂夫·西古爾(Steve Sigur)意外去世，不知這本書是否還有面世的機(jī)會(huì)？

康威在幾何上的貢獻(xiàn)還有很多，比如康威多面體表示法(Conway polyhedron notation)、密鋪數(shù)學(xué)理論的康威準(zhǔn)則(Conway criterion)等等．他還為三角形創(chuàng)造了一個(gè)詞“extraversion”．這個(gè)詞的原意是外向性或外侵性．但他在這里的意思是將一個(gè)三角形翻轉(zhuǎn)．

3 康威圓定理的證明

現(xiàn)在讓我們回到康威的六點(diǎn)共圓定理的證明.證明的過(guò)程對(duì)于推廣的康威圓也適用，但我們僅限于對(duì)經(jīng)典的情況這證明(即x=0)．我們只需要證明點(diǎn)I到這六個(gè)點(diǎn)的距離相等．

證明的思路是證明從點(diǎn)I到點(diǎn)Ab,Ac,Bc,Ba,Ca和Cb的距離都相等．

如上圖，取點(diǎn)M為Ca和Cb的中點(diǎn)．在三角形CCaCb中，CM是中線，并且|CCa|=|CCb|=c．所以，CM垂直于CaCb且是∠CaCbI的角平分線．

現(xiàn)在取N為Ac和Ca的中點(diǎn)．在三角形CaAcB中，我們有|NAc|=|NCa|且|CaB|=|CaC|+|CB|=a+c=|AcA|+|AB|=|AcB|．因此，BN是CaAc的垂直平分線，也是∠CaBAc的角平分線．因?yàn)椤螩aBAc也是∠ABC，而I是內(nèi)切圓的中心，所以I在BN上．因?yàn)锽N垂直平分CaAc，我們知道，|ICa|=|IAc|．類似地，|IAb|=|IBa|和|IBc|=|ICa|．

從上面兩段推理，我們得出結(jié)論，Ab,Ac,Bc,Ba,Ca和Cb六點(diǎn)共圓且圓心就是內(nèi)切圓的中心．