根据基本不等式得来的。根据a^2+b^2>=2ab得到的。向量不好打箭头，我就不打了呀。因为a·b=|a||b|cosθ又-1<=cosθ<=1所以-|a||b|<=a·b<=|a||b|所以有|a||b|>=-a·b且|a||b|>=a·b所以4|a||b|>=-4a·b
