0822132人目の素数さん
2018/10/17(水) 08:05:48.87ID:TTcOhpLBSP.173の分母を払った式
(√2)(x^3+y^3+z^3) ≧ x^2√(y^2+z^2) + y^2√(z^2+x^2) +z^2√(x^2+y^2)
を見て、右辺にCSを使えば片付きそうな気がしたが、大きくなり過ぎた。
√{2(x^4+y^4+z^4)(x^2+y^2+z^2)}
≧ (√2)(x^3+y^3+z^3)
≧ x^2√(y^2+z^2) + y^2√(z^2+x^2) +z^2√(x^2+y^2)