如何证明向量夹角为锐角?