a+b+c≥3×(3^√a*b*c)是怎么来的?公理还是定义?

Question

a+b+c≥3×(3^√a*b*c)是怎么来的?公理还是定义?

Answer 1

这是均值不等式.
令x=3^√a ,y=3^√b ,z=3^√c
前提条件是x+y+z≥0 （否则不等式反号）
证：换元后,原式等价于
x^3+y^3+z^3≥3xyz
即x^3+y^3+z^3-3xyz≥0
即1/2(x+y+z)[(x-y)^2+(y-z)^2+(z-x)^2]≥0
显然成立