\vec u * \vec u 总是非负的。证明。