怎么证明x1平方+x2平方大于等于2x1x2