亞瑟·韋伊費列治

亞瑟·韋伊費列治(1881年2月12日-1964年7月13日)

• 1939年,她證明只有15個整數需用8個立方數之和才能表示:15.22.50.114.167.175.186.212.231.238.303.364.420.428.454
• 1939年，狄克森證明只有23和239須用9個正立方數。
• 1770年，拉格朗日證明了四平方和定理，指出g(2)=4。1909年亞瑟·韋伊費列治證明了g(3)=9。
• 1859年，劉維爾證明了g(4)<=53，他的想法是藉助一個恆等式（Liouville polynomial identity）：

6 n 2 = 6 ( x 1 2 + x 2 2 + x 3 2 + x 4 2 ) 2 = ∑ i < j ( x i + y j ) 4 + ∑ i < j ( x i − y j ) 4 {\displaystyle 6n^{2}=6(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2})^{2}=\sum _{i<j}\left(x_{i}+y_{j}\right)^{4}+\sum _{i<j}\left(x_{i}-y_{j}\right)^{4}} 6n^2=6(x_1^2+x_2^2+x_3^2+x_4^2)^2=\sum_{i<j }\left(x_i+y_j\right)^4+\sum_{i<j}\left(x_i-y_j\right)^4

後來哈代和李特爾伍德得到g(4)<=21, 1986年巴拉蘇布拉瑪尼安證明了g(4)=19。1896年馬力特得到g(5)<=192；1909年韋伊費列治將結果改進為g(5)<=59；1964年陳景潤證明了g(5)=37。[2]

事實上，萊昂哈德·歐拉之子J.A.歐拉猜想：g ( k ) = 2 k + [ ( 3 2 ) k ] − 2 {\displaystyle g(k)=2^{k}+\left[\left({\frac {3}{2}}\right)^{k}\right]-2} g (k) = 2^k + \left[\left(\frac{3}{2}\right)^k\right] - 2（"[q]"表示"q"的整數部分）。至1990年，對於6<k<471600000此式已經被計算機驗證為正確。[3]