……
“……你看，這樣就是一個橢圓曲線了。不過不是一般的圓錐曲線中的橢圓，而是域上虧格為1的光滑射影曲線。如果特徵不等於2的話，那麼仿射方程就是y^2=x^3+ax^2+bx+c。
那個BSD猜想的前置條件你肯定還記得吧？複數域上的橢圓曲線為虧格為1的黎曼面，整體域上的橢圓曲線是有限生成交換群。阿貝爾簇是橢圓曲線的高維推廣。
所以這個時候我感覺就要把橢圓曲線化成魏爾斯特拉斯形式。這是我看了很多相關理論之後才找到的方法。這種變形就屬於很機械的操作，前提條件是方程至少存在一個有理數點。
但顯然這一步是成立的，之前我們已經證明了，所以我們就能得到這兩個公式……”
喬喻一邊說，一邊在小桌板上用筆寫著。
蘭傑則認真聽著，脖子脖子伸得老長，去看喬喻的整體解題過程，以及隨手用座標系畫出的平面圖。
“……很顯然，我們現在得到了一條有著兩個實部的經典橢圓曲線。右邊的線，明顯是連續延伸至正負無窮，左邊的封閉橢圓曲線就是求解的關鍵了，給定這個方程任意解，都可以用等式還原我們要求的數值。”
“這一步最關鍵的地方就在於三元組（a：b：c）必須是投影曲線，這才可以隨便乘什麼常數，都能讓方程成立。接下來就要用到雙向有理等價了，我就直接在這個橢圓曲線上找一個最方便求解的有理數點，再帶入原方程，就能求出解了。
其實到了這一步就簡單了，橢圓曲線理論中，弦切技巧是生成新的有理數點的關鍵工具嘛。只要在橢圓曲線上找到兩個已知的有理數點:P1跟P2，就能透過加法生成新的有理數點。
接下來就是直接在構造切線了，這個時候就自然形成了一個阿貝爾群，我們要引入O這個群中的零元，根據規則，任何一個點P跟O相加時結果依然是P。
……我們再透過作P點的切線，找到P跟曲線再次相交的點，然後再計算，如果得不到整數解，就繼續用連線P和2P找到與曲線的第三個交點再與O點相連找到第四個交點，不行就重複這個步驟找第五個交點……
總之就是重複這個步驟，一直到找到對應的整數解為止。不過這一步靠手算肯定不行了，只能用電腦來算，找到那個值後，再用幾何程式進行迭代。
最後計算9P才是整數，然後就是用得到的9P的值，做9次幾何程式迭代，最後就能得出上述這個方程a，b，c的值了。整個解題思路就是這樣。”
……
喬喻一口氣講了整整一個小時，只覺得口乾舌燥，講完之後，直接拿出插在前面座椅背上的礦泉水，狠狠地灌了幾口。才開問道：“咋樣，蘭老師，你覺得我這種解法有普適性嗎？”
蘭傑回過神來，看了一眼喬喻，沒有第一時間回答。
畢竟要判斷出這種解法有沒有普適性，首先他得完全理解這種解法。
讓喬喻講解，是因為他本以為喬喻在解這個方程時，不會用到太過複雜的數論方面內容。畢竟喬喻給他的印象一直是有天賦，但並沒有針對數學系統的學習過。
而他不一樣，大學時候也是系統學過抽象代數，數論入門這些課程的，不至於聽不懂。
但顯然他錯了。
聽喬喻講解的時，他甚至回想起大學那段青蔥歲月，被高階代數幾何所支配的恐懼。
什麼射影幾何，模空間是真的讓人很頭大。他拼了命學最後也只是勉強過關，拿到了學分。當然班上也有很多厲害的同學，隨隨便便學學就能拿滿分的。
這也是他研究生階段選擇組合數學，畢業之後回到星城當了個高中數學老師的原因。
真不是他不想做科研，繼續讀博士，然後爭取能在高校當老師。
主要還是能力有限，真讀不動了。
所以他是真沒完全聽懂喬喻求解這個方程的思路。
眾所周知，如果要判斷數學上某個求解方法對一類方程是否具備普適性，首先得完全理解整個求解思路。
這就很尷尬了。
本以為憑藉他在大學積累的數學知識，聽完喬喻現場講解之後，肯定能給出一個答案的。
但現在他需要在丟人跟想辦法掩飾之間做出一個選擇。
大概沉吟了十秒鐘後，蘭傑選擇了坦誠。
因為他是真不太會裝。
“喬喻，說實話，我的水平不夠，沒法判斷……所以這個問題你只能自己去嘗試了。找幾個同類的方程，用你這種方法去求解，如果最後都能得出正確答案的話，就可以動筆寫論文了。
論文具體怎麼解決問題，我沒辦法幫你。但我可以教你論文具體該怎麼寫。畢竟數學論文的撰寫是有著特定的格式跟行文要求的，也有一些常見的通用標準。”