術小城 作品
235章 切磋
在已發表的論文中，沈奇使用了plan-a，完成了沃什猜想的證明。
假設（x，y）是方程（t+1）x^4-ty^2=1的一個解，滿足y＞1，（x，y）為對應的伴隨解，n=√x^2+y^2t，則對於某個滿足t0it以及t0^2≤t的正整數t0，有p（x，y）=t0^2。
這是證明沃什猜想的核心步驟，定義r0為滿足（e^2.37e2/8）^1-r0≤ifqi≤（e^2.37e2/8）^-r0的正整數，沈奇在論文中使用了plan-a。
在plan-a中，沈奇令r0=1，±b1q≠a1p以及2ifqi（e^2.37e2/8）＜1。
他得到了△=k（±b1q-pa1）≠0，從而最終證明方程（t+1）x^4-ty^2=1不存在兩組正整數解（xi，yi）（i=1，2），y2＞y1＞1滿足i±√-1（xi-yi√-t）/（xi+yi√-t）-x^1/4i＜1/8。
所以，沃什先生在37年前提出的猜測是正確的。
這個猜測被一位21歲的中國留學生證明。
沈奇因此獲得了一些榮譽和獎項，在中國數學界及美國數學界嶄露頭角。
而吳老剛剛寫下的一堆數學符號，代表了plan-b，即沃什猜想核心證明步驟的另一種途徑。
原來吳老看過我刊登在《美國數學會雜誌》上的論文。沈奇心中明瞭。
實際上沈奇也是前不久才領悟出plan-b，這要感謝普林斯頓數學大佬集團的逼問。
但那時基於plan-a的論文，沈奇已經公開發表。
plan-b對他來說是一種補充而不是剛需，所以沈奇沒有立即細化plan-b的具體操作方案，心中留了個念想。
再然後，沈奇被告知獲得陳省身數學獎，在這個特殊時期，他更加不能更改已明文發表的plan-a。
幾天前，沈奇將數學等級升為10級，他在腦海中的虛擬場景裡徹底領悟plan-b。
所以，吳老是想和我切磋一下plan-b，但他不想講的太明白，一切盡在不言中……沈奇走到白板前，拿起水性筆寫到:
n2≥n1^7/6t^2
寫罷，沈奇虛心求教:“請吳老指點。”
“你很年輕，但務實，我喜歡務實的年輕人。”吳老笑了笑，隨手擦去沈奇的≥，並給n2來了個立方。
於是沈奇的答案n2≥n1^7/6t^2變更為“n2^3空白n1^7/6t^2”。
假設（x，y）是方程（t+1）x^4-ty^2=1的一個解，滿足y＞1，（x，y）為對應的伴隨解，n=√x^2+y^2t，則對於某個滿足t0it以及t0^2≤t的正整數t0，有p（x，y）=t0^2。
這是證明沃什猜想的核心步驟，定義r0為滿足（e^2.37e2/8）^1-r0≤ifqi≤（e^2.37e2/8）^-r0的正整數，沈奇在論文中使用了plan-a。
在plan-a中，沈奇令r0=1，±b1q≠a1p以及2ifqi（e^2.37e2/8）＜1。
他得到了△=k（±b1q-pa1）≠0，從而最終證明方程（t+1）x^4-ty^2=1不存在兩組正整數解（xi，yi）（i=1，2），y2＞y1＞1滿足i±√-1（xi-yi√-t）/（xi+yi√-t）-x^1/4i＜1/8。
所以，沃什先生在37年前提出的猜測是正確的。
這個猜測被一位21歲的中國留學生證明。
沈奇因此獲得了一些榮譽和獎項，在中國數學界及美國數學界嶄露頭角。
而吳老剛剛寫下的一堆數學符號，代表了plan-b，即沃什猜想核心證明步驟的另一種途徑。
原來吳老看過我刊登在《美國數學會雜誌》上的論文。沈奇心中明瞭。
實際上沈奇也是前不久才領悟出plan-b，這要感謝普林斯頓數學大佬集團的逼問。
但那時基於plan-a的論文，沈奇已經公開發表。
plan-b對他來說是一種補充而不是剛需，所以沈奇沒有立即細化plan-b的具體操作方案，心中留了個念想。
再然後，沈奇被告知獲得陳省身數學獎，在這個特殊時期，他更加不能更改已明文發表的plan-a。
幾天前，沈奇將數學等級升為10級，他在腦海中的虛擬場景裡徹底領悟plan-b。
所以，吳老是想和我切磋一下plan-b，但他不想講的太明白，一切盡在不言中……沈奇走到白板前，拿起水性筆寫到:
n2≥n1^7/6t^2
寫罷，沈奇虛心求教:“請吳老指點。”
“你很年輕，但務實，我喜歡務實的年輕人。”吳老笑了笑，隨手擦去沈奇的≥，並給n2來了個立方。
於是沈奇的答案n2≥n1^7/6t^2變更為“n2^3空白n1^7/6t^2”。