【４】４平方和定理の拡張

　何種類かの４変数２次形式，たとえば，

　　ｘ^2＋ｙ^2＋ｚ^2＋ｍｗ^2　　　（ｍ＝１，２，３，４，５，６，７）

はすべての正の整数を表現することができます．

（証明）ある数を表現しないと仮定すると，３平方和定理によりその数は８ｋ＋７の形でなければなりません．そのような数から，

　　ｍｗ^2　　（ｗ＝１，１，２，１，１，１，２）

を引くと，それぞれ８ｋ＋６，８ｋ＋５，８ｋ＋３，８ｋ＋３，８ｋ＋２，８ｋ＋１，８ｋ＋３の形の数となり，これらはすべてｘ^2＋ｙ^2＋ｚ^2の形に表現されます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝