用点积证明 R^2 上的柯西-施瓦茨不等式。