展开 托勒密不等式的证明向量内积