Xy is greater than or equal to twice the square root of the product of X and Y. When both X and Y are non-negative, the sum of X and Y is greater than or equal to twice the square root of the product of X and Y. Only when x=y, the equal sign in the formula holds. This formula is the basic inequality of inequality operation in high school mathematics.