两角差余弦公式的证明

两角差的余弦公式

余弦公式是三角形中的一个基本公式，可用于计算未知角的值。具体来说，余弦公式可以用来计算两个角之间的差异。余弦公式的形式如下：

cos(x - y) = cos(x)cos(y) + sin(x)sin(y)

其中，x和y是两个角度，cos(x - y)表示x和y之间的差异的余弦值，cos(x)和cos(y)分别表示x和y的余弦值，sin(x)和sin(y)分别表示x和y的正弦值。

在余弦公式中，角度的单位可以是度或弧度。如果使用度作为单位，那么上式中的cos(x)、cos(y)、sin(x)和sin(y)应该是用角度值计算得到的。如果使用弧度作为单位，那么上式中的cos(x)、cos(y)、sin(x)和sin(y)应该是用弧度值计算得到的。

余弦公式的应用非常广泛。以下是一些余弦公式的应用示例：

1.三角形边长的计算：

如果知道一个三角形的两边长度和夹角，可以使用余弦公式来计算第三边的长度。假设已知三角形的两边长度分别为a和b，夹角为C，则第三边的长度可以通过余弦公式计算得到：

c² = a² + b² - 2abcos(C)

在这个公式中，c表示第三边的长度。

2.三角形角度的计算： 如果知道一个三角形的三边长度，可以使用余弦公式来计算角度。假设已知三角形的三边长度分别为a、b和c，则夹角C可以通过余弦公式计算得到：

cos(C) = (a² + b² - c²) / (2ab)

在这个公式中，C表示所需要计算的夹角。

3.二维坐标系中两个向量之间的夹角的计算：

在二维坐标系中，可以使用余弦公式来计算两个向量之间的夹角。假设有两个向量A和B，向量A的分量分别为Ax和Ay，向量B的分量分别为Bx和By，则两个向量之间的夹角可以通过余弦公式计算得到：

cos(θ) = (Ax * Bx + Ay * By) / (sqrt(Ax² + Ay²) * sqrt(Bx²

+ By²))

两角和差正余弦公式的证明

两角和差的正余弦公式是三角学中很重要的一组公式。 下面我们就它们的推导证明方

法进行探讨。

由角比,“的三角函数值表示 住土戸的正弦或余弦值，这正是两角和差的正余弦

公式的功能。换言之，要推导两角和差的正余弦公式 ，就是希望能得到一个等式或方

程，将或血与征,刃的三角函数联系起来。

根据诱导公式，由角&的三角函数可以得到 鼻 的三角函数。 因此，由和角公式

容易得到对应的差角公式，也可以由差角公式得到对应的和角公式。 又因为

an（— —£E）= EIK

2 ，即原角的余弦等于其余角的正弦 ，据此，可以实现正弦公式和余弦

公式的相互推导。 因此，只要解决这组公式中的一个，其余的公式将很容易得到。

（一）在单位圆的框架下推导和差角余弦公式

注意到单位圆比较容易表示 比，Q和°盘尸，而且角的终边与单位圆的交点坐标可

以用三角函数值表示，因此，我们可以用单位圆来构造联系 叭伍士Q与比，〃的三

角函数值的等式。

1.和角余弦公式

使角a的始边为址，交□ °于点A终边交口 O于点B；角力始边为，终边交 口。于点C;角-0始边为

金，终边交口。于点。从而点A B, C和D的坐标分别为 我XQ) j?(cos4Z,siii a) C(CDS(^E> fff)

^(CDS^-SIL/O

5 5 5 0

由两点间距离公式得

=(oos(a+/?)-l)1 +sin1(

2JD3 = (cos/I-coso)3 +(-an/J—sin^z)7 = 2-2(cascttjOfi/f-品么血历。

注意到 JC=BD,因此诧抚*网二込伍5£0-血伍血0。

注记：这是教材上给出的经典证法。它借助单位圆的框架 ，利用平面内两点间距离公

式表达两条相等线段，从而得到我们所要的等式。注意 ，公式中的比和"为任意角。

2.差角余弦公式

仍然在单位圆的框架下 ，用平面内两点间距离公式和余弦定理表达同一线段 ，也可

两角差的余弦公式证明过程

一、向量法证明两角差的余弦公式。

1. 设向量。

设角α、β的终边分别与单位圆交于点A(cosα,sinα)，B(cosβ,sinβ)。

则→OA=(cosα,sinα)，→OB=(cosβ,sinβ)。

2. 计算向量的数量积。

根据向量数量积的坐标运算公式→a·→b=→a×→b×cosθ（θ为→a与→b的夹角）。

对于单位向量→OA和→OB，→OA = →OB=1。

→OA·→OB=cosαcosβ+sinαsinβ。

又因为∠ AOB=α - β，所以→OA·→OB=→OA×→OB×cos(α-β)=cos(α - β)。

所以cos(α-β)=cosαcosβ+sinαsinβ

二、几何法证明两角差的余弦公式（在平面直角坐标系中）

1. 构造角。

在平面直角坐标系xOy中，作单位圆O，设角α、β均为锐角，且α>β。

角α的终边与单位圆交于点P_1(cosα,sinα)，角β的终边与单位圆交于点P_2(cosβ,sinβ)。

2. 计算两点间距离。

则| P_1P_2|^2=(cosα-cosβ)^2+(sinα - sinβ)^2 | P_1P_2|^2=cos^2α - 2cosαcosβ+cos^2β+sin^2α- 2sinαsinβ+sin^2β =2 -

2(cosαcosβ+sinαsinβ)

3. 用旋转后的角表示距离。

将角β的终边OP_2绕着原点O旋转-α角，此时P_2点旋转到P_3点，∠

P_1OP_3=α-β。

P_3点坐标为(cos(α - β),sin(α-β))，则| P_1P_3|^2=[cosα-cos(α - β)]^2+[sinα-sin(α -

β)]^2

| P_1P_3|^2=cos^2α-2cosαcos(α - β)+cos^2(α - β)+sin^2α-2sinαsin(α - β)+sin^2(α - β)

=2-2[cosαcos(α - β)+sinαsin(α - β)]

两角和与差的余弦公式的五种推导方式之对照

第一种推导方式：

我们知道余弦函数的定义为：

cosθ = adj/hyp

其中，adj表示邻边的长度，hyp表示斜边的长度。

现在考虑两个角度的和，即θ1+θ2、根据余弦函数的定义，我们可以得到：

cos(θ1 + θ2) = adj1/hyp1

现在我们将θ1和θ2分别表示为它们的余弦函数：

cosθ1 = adj1/hyp1

cosθ2 = adj2/hyp2

将这两个式子相加，得到：

cosθ1 + cosθ2 = (adj1 + adj2) / (hyp1 + hyp2)

这就是两角和的余弦公式。

第二种推导方式：

我们知道余弦函数的定义为：

cosθ = adj/hyp

我们还知道余弦函数的复合角公式，即：

cos(θ1 + θ2) = cosθ1⋅cosθ2 - sinθ1⋅sinθ2 现在我们将θ1和θ2表示为它们的余弦函数和正弦函数：

cosθ1 = adj1/hyp1

cosθ2 = adj2/hyp2

sinθ1 = opp1/hyp1

sinθ2 = opp2/hyp2

将这些式子代入复合角公式中，得到：

cos(θ1 + θ2) = (adj1/hyp1)⋅(adj2/hyp2) -

(opp1/hyp1)⋅(opp2/hyp2)

= (adj1⋅adj2 - opp1⋅opp2) / (hyp1⋅hyp2)

这就是第二种推导方式。

第三种推导方式：

我们知道余弦函数的定义为：

cosθ = adj/hyp

我们还知道正弦函数的平方与余弦函数的平方之和等于1，即：

sin²θ + cos²θ = 1

现在我们考虑θ1和θ2的和，即(θ1+θ2)。我们可以得到：

cos(θ1 + θ2) = adj1+2/hyp1+2

现在我们将θ1+2表示为(θ1+θ2)的余弦函数和正弦函数：

cos(θ1 + θ2) = adj1+2/hyp1+2 = (adj1⋅cosθ2 - opp1⋅sinθ2) / (hyp1⋅cosθ2 + hyp2⋅sinθ2)