均值不等式abc为整数 证明 a^2+b^2+c^2+(1/a+1/b+1/c)^2≥6√3 ,