请问为什么向量4a∧2+b∧2≥4|a||b|?请问这是公式吗?