设向量a的长度为a b的长度为b 向量a+b的长度为c两边同时乘以（向量a+b的绝对值） 再同时取平方就变为（向量a的绝对值+向量b的绝对值）的平方小于等于2倍的（向量a+b的绝对值）的平方即(a+b)^2<=2c^2因为a垂直与b所以a^2+b^2=c^2 带入到(a+b)^2<=2c^2中就得到2ab<=c^2即 2ab<=a^2+b^2 这是个恒等式 一定成立 所以原不等式一定成立
