■ヨハン・アルブレヒト・オイラーの不等式(その34)
[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
を使っても解けそうにない.
===================================