(a/x+b/y)(c*x+d*y)>=(a*c开方+b*d开方)的平方 这个公式叫什么