证明余弦定理的已知条件
证明余弦定理的条件是，己知三角形ABC其三边为a、b、c。
余弦定理推导的过程是什么
方法之一：建立直角坐标系，让△ABC的AB边与X轴正半轴重合，A点与原点重合。
则A（0，0），B（c，O），C（b.COSA，b.SinA）于是BC=√（c-b.C0SA）^2+（0—bSinA）^2。
由于BC=a，将上式化简整理得到a^2=b^2+c^2-2bc.C0SA。
同理可推出另两个式子。
余弦定理公式推导
解答余弦定理的推导过程是建立平面直角坐标系，以三角形的一个顶点为坐标原点，这个角的一条边所在的直线为x轴的正半轴，根据三角函数的定义把另外两个点的坐标表示出来，利用两点之间的距离公式即可。
余弦定理的推导过程七种方法
考虑一个三角形ABC，分别用向量a、b、c表示向量AB、AC、BC。记向量a的模为|a|，向量a与向量b的夹角为θ。
根据向量的数量积定义，有：
a·b=|a||b|cosθ
注意到向量c可以表示为向量a和向量b的差：
c=b-a
将其代入向量数量积的定义中，得到：
(c+a)·(c+a)=|c+a||c+a|cosθ
(c+a)·(c+a)=(b-a+a)·(b-a+a)
|c|^2+2a·c+|a|^2=|b|^2-a·b+a·b-|a|^2+2b·a+|a|^2
|c|^2=|b|^2-2a·b+2b·a
根据向量的模定义，可以将上述式子中的向量模平方替换为其实际的值，得到余弦定理的推导结果：
c^2=a^2+b^2-2abcosθ
这就是利用向量法推导得到的余弦定理。
