不等式吧 关注：10,126贴子：52,870
- 5回复贴，共1页
，其中p≔x+y+z、q≔y*z+z*x+x*y、r≔x*y*z．
不感兴趣
开通SVIP免广告
，其中p≔x+y+z、q≔y*z+z*x+x*y、r≔x*y*z．
b<=c\[Implies](p q-9 r)^2+1/4 (b^2+8 c-2 b c+c^2) p^2 (q^2-3 p r)>=c p q (p q-9 r)+b p (p q^2-6 p^2 r+9 q r) 这个东西可以把1L的整一块，换个元 c=b+k^2 一代刚好 b 消掉了， 配成
6 k^2 (x-y)^2 (x-z)^2 (y-z)^2 (x+y+z)^2+3/4 (x-z)^2 (-2 x^2 y-2 x y^2-k^2 x y^2-k^2 y^3-2 x^2 z+k^2 x^2 z+12 x y z+k^2 x y z-2 y^2 z-k^2 y^2 z-2 x z^2+k^2 x z^2-2 y z^2)^2+1/4 (-2 x^3 y+2 k^2 x^3 y+2 x^2 y^2+k^2 x^2 y^2+4 x y^3-k^2 x y^3-2 x^3 z-k^2 x^3 z+14 x^2 y z+k^2 x^2 y z-28 x y^2 z-2 k^2 x y^2 z+4 y^3 z-k^2 y^3 z-4 x^2 z^2-2 k^2 x^2 z^2+14 x y z^2+k^2 x y z^2+2 y^2 z^2+k^2 y^2 z^2-2 x z^3-k^2 x z^3-2 y z^3+2 k^2 y z^3)^2，看起来没有雷同
6 k^2 (x-y)^2 (x-z)^2 (y-z)^2 (x+y+z)^2+3/4 (x-z)^2 (-2 x^2 y-2 x y^2-k^2 x y^2-k^2 y^3-2 x^2 z+k^2 x^2 z+12 x y z+k^2 x y z-2 y^2 z-k^2 y^2 z-2 x z^2+k^2 x z^2-2 y z^2)^2+1/4 (-2 x^3 y+2 k^2 x^3 y+2 x^2 y^2+k^2 x^2 y^2+4 x y^3-k^2 x y^3-2 x^3 z-k^2 x^3 z+14 x^2 y z+k^2 x^2 y z-28 x y^2 z-2 k^2 x y^2 z+4 y^3 z-k^2 y^3 z-4 x^2 z^2-2 k^2 x^2 z^2+14 x y z^2+k^2 x y z^2+2 y^2 z^2+k^2 y^2 z^2-2 x z^3-k^2 x z^3-2 y z^3+2 k^2 y z^3)^2，看起来没有雷同
