记得数学里有个什么平方不等式.是什么来的