數(shù)學(xué)追本溯源之差角余弦公式的四種推導(dǎo)證明

谷耀東 李博

摘?要：本文橫縱對(duì)比教材的變新過程，分別從圓的內(nèi)接四邊形、單位圓、向量、三角形四個(gè)角度給出推導(dǎo)證明，旨在追求數(shù)學(xué)知識(shí)的通透理解。

關(guān)鍵詞：差角;余弦公式;推導(dǎo)證明

一、 前言

在我們的高中數(shù)學(xué)教材中，很多三角問題都經(jīng)受了歲月的洗禮，比如差角余弦公式的推導(dǎo)，從托勒密時(shí)代開始，數(shù)學(xué)家們就運(yùn)用各種方法來進(jìn)行證明。對(duì)比普高、職高、技工、中專等教材，以及人教A、B版、蘇教和北師大版本教材，差角余弦公式的證明采用了幾種不同的證法。

二、 四種推導(dǎo)證明的思路和方法

（一） 借助圓的內(nèi)接四邊形

首先要介紹托勒密定理：圓的內(nèi)接凸四邊形兩組對(duì)邊乘積的和等于兩條對(duì)角線的乘積，即AC·BD=AB·CD+AD·BC。

如圖1，設(shè)圓O的直徑AC=d，∠ACD=β，∠BAC=α，則AB=d·cosα，CD=d·cosβ，BC=d·sinα，DA=d·sinβ。

過點(diǎn)D作直徑DE，連接BE，△DBC中，∠BDC=∠BAC=α，在△DOC中，∠ODC=β，∠BDE=α-β，所以在Rt△BDE中，BD=d·cos（α-β）。

由托勒密定理得：dcosβ·dcosα+dsinα·dsinβ=d2·cos（α-β），即cos（α-β）=cosα·cosβ+sinα·sinβ。

（二） 借助單位圓三角函數(shù)線

借助三角函數(shù)線證明。設(shè)角α的終邊與單位圓交于點(diǎn)A，角β=∠AOB，則∠BOx=α-β。過點(diǎn)B作BC⊥OA，交于點(diǎn)C，過C作CD⊥x軸，則作BE⊥CD，BF⊥x軸。在△OBC中，OC=cosβ，BC=sinβ，在△ODC中，OC·cosα=OD，OC·sinα=CD，在△BEC中，BC·sinα=BE。所以cos（α-β）=OD+DF=OD+BE=OC·cosα+BC·sinα=cosα·cosβ+sinα·sinβ，差角余弦公式得證。注意，公式中的α和β可以為任意角。

（三） 利用向量推導(dǎo)差角余弦公式

同樣在單位圓中，設(shè)OA=（cosα，sinα），OB=（cosβ，sinβ），OA·OB=cosα·cosβ+sinα·sinβ，又存在k∈Z，使得α-β=〈OA，OB〉+2kπ可或α-β=-〈OA，OB〉+2kπ，所以O(shè)A·OB=|OA|·|OB|·cos（α-β）=1·1·cos（α-β），故cos（α-β）=cosα·cosβ+sinα·sinβ，得證?？梢?，這是差角余弦公式證明方法中最簡(jiǎn)單的一種。

（四） 構(gòu)造直角三角形

在三角形中，假設(shè)△ABC是以∠A為鈍角三角形，延長(zhǎng)BA，過C作CD⊥BA的延長(zhǎng)線，過A作AE⊥BE，過E作EF⊥CD，交CD于F。設(shè)∠DCB=α，∠ACB=β，CE=m，則在△CEF中，CF=m·cosα。又∠AEF+∠CEF=90°，∠α+∠CEF=90°，則∠AEF=∠α。AE在CD邊上的射影FD=AE·sinα，所以CD=CF+FD=m·cosα+AE·sinα=tanβ·m·sinα+m·cosα。又在△ACD中，CD=AC·cos（α-β）=mcosβ·cos（α-β），所以tanβ·m·sinα+m·cosα=mcosβ·cos（α-β），即tanβ·sinα+cosα=1cosβ·cos（α-β），故化簡(jiǎn)得cos（α-β）=cosβ·tanβ·sinα+cosα·cosβ=cosα·cosβ+sinα·sinβ。

同理，如圖2，假設(shè)△CDE是銳角三角形，過D作DB⊥CD，延長(zhǎng)CE交DB于B，過E作EA⊥CE，交BD于A，連接CA，過E作EF⊥CD于F。設(shè)CE=m，∠ECD=α，∠ECA=β，則證明過程同上。

三、 差角余弦公式證明方法總結(jié)

本文的差角余弦公式是和（差）角正（余）弦公式中最基本的一組公式，其推導(dǎo)證明對(duì)學(xué)生發(fā)散思維，深入探究有很大幫助。本文探究基本分為4步：

1.明確證明目標(biāo)，構(gòu)造α、β及cos（α-β）的等式或方程;

2.尋找解決平臺(tái)，利用圓、單位圓、向量、三角形作為背景平臺(tái)，尋找我們希望的等式關(guān)系;

3. 構(gòu)造數(shù)據(jù)，分類推導(dǎo)證明;

4.化簡(jiǎn)整理，得出結(jié)論。

四、 結(jié)語

差角的余弦公式是三角函數(shù)恒等變換的基礎(chǔ)，其他三角函數(shù)公式都是在此公式基礎(chǔ)上變形得到的，因此差角余弦公式作為要推導(dǎo)的第一個(gè)公式，往往得到了廣大教師的關(guān)注。從四種不同的推導(dǎo)證明過程可以看出，不同的推導(dǎo)方法體現(xiàn)出不同的數(shù)學(xué)特點(diǎn)，不同的巧妙構(gòu)思，但有相同的結(jié)果，也進(jìn)一步體驗(yàn)了數(shù)學(xué)的博大精深。對(duì)于吃透數(shù)學(xué)定義的本質(zhì)，提高學(xué)生的提出問題、分析問題、研究問題、解決問題的能力有很大的作用。

參考文獻(xiàn)：

[1]人民教育出版社B版數(shù)學(xué)必修4[M].北京：人民教育出版社，2007：133.

[2]俞昕.從變換的角度賞析“兩角差的余弦公式”之推導(dǎo)[J].中學(xué)數(shù)學(xué)雜志：2015（3）：10.

作者簡(jiǎn)介：

谷耀東，遼寧省大連市，大連市旅順第二高級(jí)中學(xué);

李博，遼寧省大連市，大連市旅順口區(qū)新城實(shí)驗(yàn)學(xué)校。