■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の形に書かれる条件は知られていない
===================================