要证（a²b²+b²c²+c²a²）/（a+b+c）≥abc
即证（a²b²+b²c²+c²a²）≥（a+b+c）abc=a²bc+ab²c+abc²
即证2（a²b²+b²c²+c²a²）≥2（a²bc+ab²c+abc²）
2（a²b²+b²c²+c²a²）=a²（b²+c²）+b²（a²+c²）+c²（a²+b²）
≥a²（2bc）+b²（2ac）+c²（2ab）
得证.