（a+b）^2>=0所以a^2+b^2>=2ab同理b^2+c^2>=2bc a^2+c^2>=2ac把原式平方展开>=a^2+b^2+b^2+c^2+a^2+c^2+4ab+4bc+4ac=2(a+b+c)^2因为都是正实数，所以开方也没关系于是给论得证
