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