level 11
顶多一试水平
2009年12月19日 11点12分
level 11
level 11
level 11
level 11
level 11
abc用它们的倒数代换
最后变成
∑a^4(b^2+c^2)-2∑a^3b^3+abc(∑a^3-∑a^2(b+c)
+3
abc)>=0
成立
2009年12月19日 14点12分
18
最后变成
∑a^4(b^2+c^2)-2∑a^3b^3+abc(∑a^3-∑a^2(b+c)
+3
abc)>=0
成立
level 11
三角换元应该也能做，但更简单的是直接拆，不需要思考
上次打错了，应该是：
abc用它们的倒数代换
最后变成
∑a^4(b^2+c^2)-2∑a^3b^3+2abc(∑a^3-∑a^2(b+c)+3abc)>=0
舒尔替我保证它成立
2009年12月20日 08点12分
30
上次打错了，应该是：
abc用它们的倒数代换
最后变成
∑a^4(b^2+c^2)-2∑a^3b^3+2abc(∑a^3-∑a^2(b+c)+3abc)>=0
舒尔替我保证它成立
level 11