■浙江省寧波市北侖明港中學(xué)　甘大旺

?

阿基米德折弦定理的補(bǔ)證與三角學(xué)意義

■浙江省寧波市北侖明港中學(xué)甘大旺

在關(guān)于古希臘數(shù)學(xué)發(fā)現(xiàn)與進(jìn)展的浩瀚史料中，記載著平面幾何的一個(gè)有趣結(jié)論——阿基米德折弦定理.

定理若圓O的兩弦AB與BC構(gòu)成一條折弦，其中AB≥BC，A（BC的中點(diǎn)是D，作DE⊥AB于E，如圖1，則垂足E是折弦ABC的中點(diǎn).

圖1

圖2

筆者只看到此定理的證明思路，但沒(méi)有看到證明過(guò)程，有必要補(bǔ)遺之.

證明：如圖2，延長(zhǎng)AB至F使E是線段AF的中點(diǎn)，連接AD，F(xiàn)D，CD，CF.由于DE⊥AB，則Rt△DEA≌Rt△DEF，則AD=FD，∠EAD=∠EFD，∠BCD=∠BAD=∠EAD= ∠EFD=∠BFD，又AD=DC，故DC=DF，則∠DCF=∠DFC，∠BCF=∠BFC，故BF=BC，則EA=EF=EB+BF=EB+BC.

所以，垂足E是折弦ABC的中點(diǎn).（證畢）.

此定理后來(lái)被阿拉伯學(xué)者歸結(jié)到古希臘數(shù)學(xué)家、力學(xué)家阿基米德（Archimedes，公元前287~212）的名下，稱(chēng)之為阿基米德折弦定理.

在阿基米德所處的年代，三角學(xué)只處于萌芽狀態(tài)，還沒(méi)有形成框架，“不知道阿基米德是否在這個(gè)定理中看出了任何三角學(xué)的意義”.為了煥發(fā)阿基米德折弦定理的三角學(xué)色彩，發(fā)揮沉睡史料在課程建設(shè)中的借鑒作用，下面推導(dǎo)三角變換的一個(gè)根基公式.

例當(dāng)α、β都為銳角時(shí)，運(yùn)用阿基米德折弦定理證明公式：sin（α－β）=sinαcosβ－cosαsinβ.

證法1：不妨設(shè)0°＜β≤α＜90°.如圖3，先作單位圓O的內(nèi)接△ACD使得∠ACD=α，∠CAD=β，則∠AOD=2α，∠COD=2β.

圖3

在單位圓O上取點(diǎn)B使∠BOD=∠AOD=2α，且圓O上四點(diǎn)A、B、C、D逆時(shí)針?lè)胖?，那么∠BOC=2α－2β.作DE⊥AC于E，則運(yùn)用阿基米德折弦定理，得BC+CE=EA.（※）

運(yùn)用等腰三角形性質(zhì)、正弦定義、余弦定義得到BC=2sin（α－β），CE=CDcosα=2sinβcosα，EA=ADcosβ= 2sinαcosβ.代入（※）式、除以2、移項(xiàng)得到sin（α－β）= sinαcosβ－cosαsinβ.

證法2：0°＜β≤α＜90°.如圖4，先作單位圓O的內(nèi)接△ACD使得∠ODC=α，∠ODA=β，則2∠CAD=∠COD=180°－2α，2∠ACD=∠AOD=180°－2β.

圖4

在單位圓O上取點(diǎn)B使∠BOD=∠AOD=2π－2α，且圓O上四點(diǎn)A、B、C、D順時(shí)針?lè)胖?，那么∠BOC=∠AOD－∠COD=（2π－2β）－（2π－2α）=2α－2β.

作DE⊥AC于E，則運(yùn)用阿基米德折弦定理得，BC+ CE=EA.（※）

運(yùn)用等腰三角形性質(zhì)、正弦定義、余弦定義、誘導(dǎo)公式得到BC=2sin（α－β），

CE=CDcos（90°－β）=2cosαsinβ，

EA=ADcos（90°－2α）=2cosβsinα.

代入（※）式、除以2、移項(xiàng)得到sin（α－β）=sinαcosβcosαsinβ.

補(bǔ)注：①對(duì)于α、β不都為銳角的情形，運(yùn)用誘導(dǎo)公式可以化歸到上述情形，有時(shí)用到特值檢驗(yàn)；②讀者翻新繪制示意圖，可以嘗試著運(yùn)用阿基米德折弦定理證明此公式或其他三角函數(shù)變換式.

因?yàn)橐詓in（α－β）=sinαcosβ－cosαsinβ為源頭，也能夠逐次推導(dǎo)出其他的和差公式、倍角公式、半角公式、和差化積、積化和差、萬(wàn)能公式等三角函數(shù)恒等變換公式，所以阿基米德折弦定理具有三角學(xué)的意義.

參考文獻(xiàn)：

1.［美］卡爾·B．博耶，著.［美］尤塔·C.梅茲巴赫，修訂.數(shù)學(xué)史［M］.秦傳安，譯.北京：中國(guó)編譯出版社，2013.