△ABC 的 三边为 向量{ a,b,c},则 a-b=c 所以 （a-b）(a-b)= c c
由向量的点乘的意义得：a^2 +b^2 - 2ab= c^2
∴ a^2 +b^2 -2ab×cos（α）=c^2 （这里的 a b c 是向量的模）