數(shù)學(xué)界幾十年來(lái)的一個(gè)謎題，終于被解開(kāi)了。

這個(gè)猜想和初等數(shù)論中經(jīng)典的佩爾（Pell）方程：x2-d*y2=1有關(guān)。

（這里 d 是整數(shù)，求 x、y 也都是整數(shù)的解。）

在此之前，經(jīng)典佩爾方程的整數(shù)解情況已得到證明：

當(dāng) d ≤ 0 或 d 為某大于 0 的完全平方數(shù)時(shí)，該方程有唯一解：x= ± 1，y=0；當(dāng) d>0 且不是完全平方數(shù)時(shí)，該方程有無(wú)數(shù)組正整數(shù)解。

不過(guò)數(shù)學(xué)家們的探究精神一般不會(huì)止步于此。

有人提出將等號(hào)右邊的 1 變成 -1，并將這個(gè)新的方程稱(chēng)為負(fù)佩爾方程（ II 型佩爾方程），結(jié)果整數(shù)解的情況立刻變得復(fù)雜了許多。

時(shí)間撥到 1993 年，當(dāng)時(shí)數(shù)學(xué)家彼得 · 史蒂文哈根（Peter Stevenhargen）提出了一個(gè)公式，對(duì)負(fù)佩爾方程的整數(shù)解情況給出一個(gè)精確的答案。

而這個(gè)猜想提出后的30 年，數(shù)學(xué)界一直無(wú)法證明它的正確性。

但現(xiàn)如今，來(lái)自康考迪亞大學(xué)的卡羅 · 帕加諾（Carlo Pagano）和密歇根大學(xué)的皮特 · 科伊曼斯（Peter Koymans），終于給出了猜想的 " 正解 "。

帕加諾的導(dǎo)師 Hendrik Lenstra 教授甚至對(duì)此評(píng)價(jià)說(shuō)：

這個(gè)成果為數(shù)論的一個(gè)分支開(kāi)辟了新篇章。

數(shù)論中的經(jīng)典：佩爾方程

在介紹負(fù)佩爾方程之前，讓我們先來(lái)了解一下經(jīng)典的佩爾方程從何而來(lái)。

佩爾方程，其實(shí)與佩爾完全無(wú)關(guān)。

這一理論最早由費(fèi)馬（Pierre de Fermat）進(jìn)行深入研究，由拉格朗日（Joseph-Louis Lagrange）給出解決方案，但后來(lái)因?yàn)楸粴W拉（Leonhard Euler）誤記為佩爾提出，就陰差陽(yáng)錯(cuò)的流傳下來(lái)。

它的具體形式為：x2-d*y2=1

當(dāng) d 是正整數(shù)且不是完全平方數(shù)，則存在無(wú)窮多個(gè)解。

舉個(gè)例子，數(shù)學(xué)史上有個(gè)經(jīng)典的 " 阿基米德群牛問(wèn)題 "：

太陽(yáng)神養(yǎng)了一群牛，這些牛有公有母，分白色、黑色、黃色和花色四種顏色，給定一系列條件，求解牛的總數(shù)有多少？各種顏色的牛分別是多少 ?

這個(gè)問(wèn)題起一直以來(lái)吸引了很多數(shù)學(xué)家的興趣，最后經(jīng)過(guò)一系列計(jì)算，被演化為求解一個(gè)佩爾方程：

x2-4729494*y2=1

2000 年，倫斯查（Lenstra）完全解決了這個(gè)問(wèn)題，他得出了阿基米德群牛問(wèn)題的所有解：

不僅解的數(shù)量多，牛的最小數(shù)量也讓人驚呼：或許只有真 · 太陽(yáng)神才能管理了。

不同于佩爾方程，負(fù)佩爾方程的整數(shù)解情況要復(fù)雜得多。

負(fù)佩爾方程

前文提到，負(fù)佩爾方程可表示為：x2-d*y2=-1；d 為整數(shù)。

顯然，當(dāng) d ≤ 0，以及 d 為大于 1 的完全平方數(shù)時(shí)，方程無(wú)整數(shù)解。

此外，負(fù)佩爾方程的整數(shù)解復(fù)雜性還體現(xiàn)在：

負(fù)佩爾方程中的很多 d 值都無(wú)整數(shù)解。據(jù)已知規(guī)則得出，d 不能是 3、7、11、15 的倍數(shù)等。

但除了這些值外，并不是其他的 d 值就一定有整數(shù)解。

例如當(dāng) d=3 時(shí)，x2 – 3*y2=-1，無(wú)論沿著數(shù)軸看多遠(yuǎn)，都永遠(yuǎn)找不到解。

但事實(shí)上，排除 3、7、11、15 的倍數(shù)后，并不是取其他的 d 值，負(fù)佩爾方程就一定有整數(shù)解。

給定 d 值后，首先需要求出負(fù)佩爾方程的基本解。

對(duì)負(fù)佩爾方程的求通解可使用這個(gè)公式：

其中，這里的 n 為任意正整數(shù)；a 和 b 則是負(fù)佩爾方程的基本解，并有如下等式：

x0 和 y0 就是經(jīng)典佩爾方程的基本解。

更多與之相關(guān)的細(xì)節(jié)研究可參考論文：

研究者簡(jiǎn)介

最后，來(lái)看看這兩位證明這個(gè) 30 年前猜想的數(shù)學(xué)家們吧——

卡羅 · 帕加諾（Carlo Pagano），是加拿大康考迪亞大學(xué)的助理教授，主要研究方向是數(shù)論。

此前分別獲得了格拉斯哥大學(xué)和馬克斯 · 普朗克研究所的數(shù)學(xué)博士后學(xué)位，博士畢業(yè)于萊頓大學(xué)數(shù)學(xué)專(zhuān)業(yè)，導(dǎo)師是 Hendrik Lenstra。

皮特 · 科伊曼斯（Peter Koymans），目前正在密歇根大學(xué)攻讀博士后，主要研究方向是數(shù)論及其周邊領(lǐng)域。

此前在馬克斯 · 普朗克數(shù)學(xué)研究所從事博士后研究，博士畢業(yè)于萊頓大學(xué)數(shù)學(xué)專(zhuān)業(yè)，導(dǎo)師是 Jan-Hendrik Evertse 和 Peter Stevenhagen。

可以看出，兩人的學(xué)習(xí)軌跡有很多重合的部分，不僅如此，他們?cè)谘芯可鷷r(shí)期也是同學(xué)。

為了這項(xiàng)研究，兩人整整一年天天見(jiàn)面，每天在黑板上進(jìn)行各種演算，互相完善對(duì)方提出來(lái)的想法，就連午餐時(shí)間都不放過(guò)，如果有人在獨(dú)處時(shí)有了新想法，就會(huì)隨時(shí)發(fā)短信通知另一個(gè)人。

盡管非常有挑戰(zhàn)性，科伊曼斯卻在回憶起這段時(shí)間時(shí)說(shuō)：" 我們一起做這件事很有趣。"