北宋截止到1023年之前，每年中大獎的歐皇都會被記錄下名字。

元祐七年，也就是公元1092年的時候。

汴京有個歐皇中了七百多貫錢，其登記的名字就是叫韓公廉。

因此後世的數學界有部分人堅信，這個韓公廉就是那個數學家，兩者是同一個人。

畢竟韓公廉這個名字可以說相當少見，重合的機率並不大。

不過在另一部分人那兒，則以沒有準確資料為理由給否了。

雖然明面上是所謂的嚴謹起見，但實際上嘛，徐雲更偏向是來自非酋的憤怒.

視線再回歸原處。

在彼此介紹完認識後，徐雲又簡單複述了一遍問題內容。

又過了一會兒。

幾位最次也是當代一流末尾的數學家，正式開始了演算。

看看這配置吧：

賈憲、韓公廉、劉益，光記在史書上的數學家就有三個。

剩下的另外三人雖然名不見經傳，史書也沒多少記載。

但從簡單的交談中也不難看出，這幾人的數學涵養也相當不錯，只是因為數學家的身份被忽視罷了。

甚至可以這樣說。

在眼下這個時代，在公元1100年。

這六人就是全世界最強的數算天團！

真·限定版陣容。

其實從後世的角度來看。

徐雲提出的問題其實不算很難：

這屬於菲涅耳近似的一道門檻，嚴格意義上來說是幾何光學的一種，解法堪稱多種多樣。

最簡單的一個，當然就是幾何光學作圖法。

不過簡單歸簡單，作圖法所能給出的資訊也非常有限，只能給出已知焦距的透鏡的成像性質。

它沒法把焦距和透鏡本身的性質聯絡起來，屬於數學上最簡單的方式。

更進一步，則可以使用幾何光學的基本原理，也就是費馬原理。

利用費馬原理，可以給出幾何光學近似情況下透鏡形狀和材質對成像的影響，數學上比前一個麻煩一些。

第三階段就是惠更斯菲涅爾原理，也就是光的標量波衍射理論。

用這個理論分析成像問題，還能夠給出更多的資訊——比如透鏡孔徑的影響等等，這也是為什麼天文望遠鏡口徑越大越好的原因。

更嚴格一點的自然就是麥克斯韋方程組了，求解給定邊界條件下的波動方程。

但最後這種方法實在太麻煩了。

舉個最直觀的例子：

後世大學階梯教室的黑板都見過吧？

如果用第四種方法，最少需要六塊這種黑板——而且還不一定能算出解析解。

所以除非前面的近似理論不適用，否則一般沒人這麼幹。

也正因如此，徐雲準備走的是第三種思路。

雖然第三種方式在理論數學上覆雜很多，算一個透鏡要做兩次二重積分。

但一來它的現實效果最好，在理論體系嚴重滯後的情況下，現實效果的重要性無需多言。

二來便是

老賈，他可是楊輝三角的真正發明人。