请问余弦定理的公式 及推导过程（余弦定理的推导过程七种方法）

△ABC中BC^2=AB^2+AC^2一2AB×ACCOSA。推导过程利用向量法。向量BC=向量AC一向量AB。两边平方得BC^2=AC^2+AB^2一2AC点乘AB即a^2=b^2+C^2一2bcCOSA。