■4変数2次形式

コンウェイ・シュニーベルガー

a1x1^2+a2x2^2+a3x3^2+a4x4^4

により15以下のすべての正の整数が表されるならば、すべての正の整数がこの2次形式により表される

===================================

ラマヌジャン

54個のリスト、たとえば、x1^2+2x2^2+4x3^2+13x4^4

により、すべての正の整数が表される

===================================

3変数2次形式は扱いにくい

n=x1^2+x2^2+x3^2となるための必要十分条件は

n=4^t(8k+7)とは表されないことである。

一方、n=x1^2+x2^2+10x3^2の形に書かれる条件は知られていない

===================================