■g(k)とG(k)  (その20)

[Q]g(4)≦53であることを示せ.

は等式

[A]6(a^2+b^2+c^2+d^2)^2

=(a+b)^4+(a−b)^4+(c+d)^4+(c−d)^4

+(a+c)^4+(a−c)^4+(b+d)^4+(b−d)^4

+(a+d)^4+(a−d)^4+(b+c)^4+(b−c)^4

を用いて解くことができたが,たとえば,g(6)≦??は19個の平方の和であるフルヴィッツ・ムーアヘッドの等式

x^6+y^6+z^6+u^6+v^6+w^6−6xyzuvw

=(x^2+y^2+z^2)/2・{(y^2−z^2)^2+(z^2−x^2)^2+(x^2−y^2)^2}+(u^2+v^2+w^2)/2・{(v^2−w^2)^2+(w^2−u^2)^2+(u^2−v^2)^2}+3(xyz−uvw)^2

を使っても解けそうにない.

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