两角和差的正余弦公式的若干证明方法 | 您所在的位置:网站首页 › 正弦定理的推导方法 › 两角和差的正余弦公式的若干证明方法 |
两角和差的正余弦公式,是整个三角恒等变形的基础,其它的恒等变形的公式,都是由这几个公式推导得到.因此,如何证明第一个公式,是一个很重要的问题. 这里我们整理几种常见证明方法. 1. 几何方法几何方法的好处是与初中锐角三角函数的内容联系紧密,但是缺点只对锐角(甚至是两角和为锐角)的情况成立,而且不好推广. 1.1. 矩形如图1, 由矩形的对边相等可得 sin(α+β)=sinαcosβ+cosαsinβcos(α+β)=cosαcosβ−sinαsinβ\begin{aligned} \sin(\alpha+\beta)&=\sin\alpha\cos\beta+\cos\alpha\sin\beta \\ \cos(\alpha+\beta)&=\cos\alpha\cos\beta-\sin\alpha\sin\beta \end{aligned} sin(α+β)cos(α+β)=sinαcosβ+cosαsinβ=cosαcosβ−sinαsinβ 1.2. 面积法在 △ABC\triangle ABC△ABC 中,AD⊥BCAD \perp BCAD⊥BC 于 DDD, ∠BAD=α\angle BAD = \alpha∠BAD=α,∠CAD=β\angle CAD = \beta∠CAD=β,如图2, 有 S△ABC=S△ABD+S△ACDS_{\triangle ABC} = S_{\triangle ABD} + S_{\triangle ACD} S△ABC=S△ABD+S△ACD 即 12AB⋅ACsin(α+β)=12AB⋅ADsinα+12AC⋅ADsinβ\frac12 AB\cdot AC\sin(\alpha+\beta) = \frac12 AB\cdot AD\sin\alpha+\frac12 AC\cdot AD\sin\beta 21AB⋅ACsin(α+β)=21AB⋅ADsinα+21AC⋅ADsinβ 于是 sin(α+β)=ADAC⋅sinα+ADAB⋅sinβ=cosβsinα+cosαsinβ\begin{aligned} \sin(\alpha+\beta)&=\frac{AD}{AC}\cdot\sin\alpha+\frac{AD}{AB}\cdot\sin\beta \\[1ex] &= \cos\beta\sin\alpha+\cos\alpha\sin\beta \end{aligned} sin(α+β)=ACAD⋅sinα+ABAD⋅sinβ=cosβsinα+cosαsinβ 另外,也可以直接由张角定理得到同样的形式. 1.3. 正弦定理在上面的图2中,根据正弦定理,有 sin∠BACBC=sinBAC=sinCAB\frac{\sin\angle BAC}{BC} = \frac{\sin B}{AC} = \frac{\sin C}{AB} BCsin∠BAC=ACsinB=ABsinC 即 sin(α+β)BC=sin(90∘−α)AC=sin(90∘−β)AB=cosαAC=cosβAB\begin{aligned} \frac{\sin(\alpha+\beta)}{BC} &= \frac{\sin(90^\circ-\alpha)}{AC} = \frac{\sin(90^\circ-\beta)}{AB} \\[1ex] &= \frac{\cos\alpha}{AC} = \frac{\cos\beta}{AB} \end{aligned} BCsin(α+β)=ACsin(90∘−α)=ABsin(90∘−β)=ACcosα=ABcosβ 注意 BC=BD+DC=ABsinα+ACsinβBC = BD + DC = AB\sin\alpha + AC\sin\beta BC=BD+DC=ABsinα+ACsinβ 又有 sin(α+β)BC=cosβsinα+cosαsinβABsinα+ACsinβ\frac{\sin(\alpha+\beta)}{BC} = \frac{\cos\beta\sin\alpha+\cos\alpha\sin\beta}{AB\sin\alpha + AC\sin\beta} BCsin(α+β)=ABsinα+ACsinβcosβsinα+cosαsinβ 于是有 sin(α+β)=cosβsinα+cosαsinβ\sin(\alpha+\beta)=\cos\beta\sin\alpha+\cos\alpha\sin\beta sin(α+β)=cosβsinα+cosαsinβ 1.4. 托勒密定理在半径为 RRR 的圆的一个内接四边形 ABCDABCDABCD 中,∠ABC=∠ADC=90∘\angle ABC = \angle ADC = 90^\circ∠ABC=∠ADC=90∘,如图3, 根据托勒密定理,有 AB⋅CD+AD⋅BC=AC⋅BDAB \cdot CD + AD \cdot BC = AC \cdot BD AB⋅CD+AD⋅BC=AC⋅BD 结合正弦定理可得 2Rsin(90∘−α)⋅2Rsinβ+2Rsin(90∘−β)⋅2Rsinα=2Rsin90∘⋅2Rsin(α+β)2R\sin(90^\circ-\alpha)\cdot2R\sin\beta+2R\sin(90^\circ-\beta)\cdot2R\sin\alpha=2R\sin90^\circ\cdot2R\sin(\alpha+\beta) 2Rsin(90∘−α)⋅2Rsinβ+2Rsin(90∘−β)⋅2Rsinα=2Rsin90∘⋅2Rsin(α+β) 化简得 cosαsinβ+cosβsinα=sin(α+β)\cos\alpha\sin\beta+\cos\beta\sin\alpha=\sin(\alpha+\beta) cosαsinβ+cosβsinα=sin(α+β) 1.5. 弦图我们可以用弦图来证明勾股定理.在原始的弦图中,四个小三角形是全等的.我们可以对它做一下变形,把四个全等的三角形改成两组全等的三角形,这样形成的弦图就不是两个正方形了,而是矩形和菱形. 1.5.1. 外弦图如图4,计算面积可得 2⋅12sinα⋅cosα+2⋅12sinβ⋅cosβ+1⋅1⋅sin(α+β)=(sinα+sinβ)(cosα+cosβ)2\cdot\frac12\sin\alpha\cdot\cos\alpha+2\cdot\frac12\sin\beta\cdot\cos\beta+1\cdot1\cdot\sin(\alpha+\beta)=(\sin\alpha+\sin\beta)(\cos\alpha+\cos\beta) 2⋅21sinα⋅cosα+2⋅21sinβ⋅cosβ+1⋅1⋅sin(α+β)=(sinα+sinβ)(cosα+cosβ) 化简即可得到两角和的正弦公式. 1.5.2. 内弦图如图5,计算面积可得 2⋅12sinα⋅cosα+2⋅12sinβ⋅cosβ+(sinβ−sinα)(cosα−cosβ)=1⋅1⋅sin(α+β)2\cdot\frac12\sin\alpha\cdot\cos\alpha+2\cdot\frac12\sin\beta\cdot\cos\beta+(\sin\beta-\sin\alpha)(\cos\alpha-\cos\beta)=1\cdot1\cdot\sin(\alpha+\beta) 2⋅21sinα⋅cosα+2⋅21sinβ⋅cosβ+(sinβ−sinα)(cosα−cosβ)=1⋅1⋅sin(α+β) 化简即可得到两角和的正弦公式. 2. 坐标方法坐标方法的好处是容易推广到一般角. 2.1. 距离公式+余弦定理如图6,在平面直角坐标系 xOyxOyxOy 中,角 α\alphaα 和角 β\betaβ 的终边分别与单位圆交于点 A(cosα,sinα)A(\cos\alpha,\sin\alpha)A(cosα,sinα)、B(cosβ,sinβ)B(\cos\beta,\sin\beta)B(cosβ,sinβ),则 ∠AOB=α−β\angle AOB = \alpha-\beta∠AOB=α−β, 根据距离公式, ∣AB∣2=(cosα−cosβ)2+(sinα−sinβ)2=2−2(cosαcosβ+sinαsinβ)\begin{aligned} |AB|^2 &= \left(\cos\alpha-\cos\beta\right)^2+\left(\sin\alpha-\sin\beta\right)^2 \\[1ex] &=2-2\left(\cos\alpha\cos\beta+\sin\alpha\sin\beta\right) \end{aligned} ∣AB∣2=(cosα−cosβ)2+(sinα−sinβ)2=2−2(cosαcosβ+sinαsinβ) 根据余弦定理, ∣AB∣2=∣OA∣2+∣OB∣2−2∣OA∣⋅∣OB∣cos(α−β)=2−2cos(α−β)\begin{aligned} |AB|^2 &= |OA|^2+|OB|^2-2|OA|\cdot|OB|\cos(\alpha-\beta) \\[1ex] &= 2-2\cos(\alpha-\beta) \end{aligned} ∣AB∣2=∣OA∣2+∣OB∣2−2∣OA∣⋅∣OB∣cos(α−β)=2−2cos(α−β) 于是有 cos(α−β)=cosαcosβ+sinαsinβ\cos(\alpha-\beta)=\cos\alpha\cos\beta+\sin\alpha\sin\beta cos(α−β)=cosαcosβ+sinαsinβ 2.2. 距离公式+全等如图7,我们把上图中的 △OBA\triangle OBA△OBA 旋转到 △OMP\triangle OMP△OMP,则 △OBA≅△OMP\triangle OBA \cong \triangle OMP△OBA≅△OMP, 因此 ∠MOP=∠BOA=α−β\angle MOP = \angle BOA = \alpha-\beta∠MOP=∠BOA=α−β,PPP 点的坐标为 (cos(α−β),sin(α−β))\left(\cos(\alpha-\beta),\sin(\alpha-\beta)\right)(cos(α−β),sin(α−β)),所以 ∣AB∣2=∣PM∣2=(cos(α−β)−1)2+sin2(α−β)=2−2cos(α−β)\begin{aligned} |AB|^2 = |PM|^2 &= \left(\cos(\alpha-\beta)-1\right)^2+\sin^2(\alpha-\beta) \\[1ex] &= 2-2\cos(\alpha-\beta) \end{aligned} ∣AB∣2=∣PM∣2=(cos(α−β)−1)2+sin2(α−β)=2−2cos(α−β) 得到了上一种方法同样的式子. 这种方法对比上一种方法的好处是避开了余弦定理. 3. 向量方法在平面直角坐标系 xOyxOyxOy 中,角 α\alphaα 和角 β\betaβ 的终边分别与单位圆交于点 A(cosα,sinα)A(\cos\alpha,\sin\alpha)A(cosα,sinα)、B(cosβ,sinβ)B(\cos\beta,\sin\beta)B(cosβ,sinβ),则 ∠AOB\angle AOB∠AOB 等于 β−α\beta-\alphaβ−α 或 α−β\alpha-\betaα−β,或者和其中一个相差 2kπ2k\pi2kπ.因此 cos(α−β)=cos∠AOB=OA→⋅OB→∣OA→∣⋅∣OB→∣=OA→⋅OB→=(cosα,sinα)⋅(cosβ,sinβ)=cosαcosβ+sinαsinβ\begin{aligned} \cos(\alpha-\beta)&=\cos\angle AOB= \frac{\overrightarrow{OA}\cdot\overrightarrow{OB}}{\left|\overrightarrow{OA}\right|\cdot\left|\overrightarrow{OB}\right|}=\overrightarrow{OA}\cdot\overrightarrow{OB}\\[2ex] &=(\cos\alpha,\sin\alpha)\cdot(\cos\beta,\sin\beta)=\cos\alpha\cos\beta+\sin\alpha\sin\beta \end{aligned} cos(α−β)=cos∠AOB=OA⋅OBOA⋅OB=OA⋅OB=(cosα,sinα)⋅(cosβ,sinβ)=cosαcosβ+sinαsinβ 我们看到,向量法的好处是不需要讨论 α\alphaα 和 β\betaβ 的情况,而且证明的过程非常简洁. 4. 复数方法利用复数的指数形式和欧拉公式也可以很容易推出和角公式: cos(α+β)+isin(α+β)=ei(α+β)=eiαeiβ=(cosα+isinα)(cosβ+isinβ)=(cosαcosβ−sinαsinβ)+i(sinαcosβ+cosαsinβ)\begin{aligned} \cos(\alpha+\beta)+i\sin(\alpha+\beta) &=e^{i(\alpha+\beta)} \\ &=e^{i\alpha}e^{i\beta} \\ &=(\cos\alpha+i\sin\alpha)(\cos\beta+i\sin\beta) \\ &=(\cos\alpha\cos\beta-\sin\alpha\sin\beta)+i(\sin\alpha\cos\beta+\cos\alpha\sin\beta) \end{aligned} cos(α+β)+isin(α+β)=ei(α+β)=eiαeiβ=(cosα+isinα)(cosβ+isinβ)=(cosαcosβ−sinαsinβ)+i(sinαcosβ+cosαsinβ) 对比两边的实部和虚部就可以得到两角和的正弦和余弦公式. 参考资料: 两角和与差的余弦公式的五种推导方法之对比 HPM视角下的两角和与差的余弦公式教学,数学教学2019年第3期 Wikipedia: List of trigonometric identities MathWorld: Trigonometric Addition Formulas |
CopyRight 2018-2019 实验室设备网 版权所有 |