大腿很多红点不痛不痒:设A B C属于R,A+B+C=1 求证A.B.C的平方和大于等于1/3