柯西不等式的历史