数学教学中应融入数学文化参考资料.docVIP

五、《数学教学中应融入数学文化》参考资料 函数概念史料： 三角部分公式历史上的早期证明 在三角学发展的早期，们关心的是一个已知圆心角（或弧）所对的弦长。如图所示，在单位圆中，圆心角( 所对弦长（Chord(）与我们今天所说的正弦之间的关系是 图 4-2 弦与正弦的关系 公元2世纪，古希腊天文学家托勒密为造出从1/2度到180度每隔1/2度所有弧的弦表（相当于从1/4度到90度每隔1/4度的正弦表）， 提出了后人以其名字命名的定理：圆内接四边形两对角线乘积等于两组对边乘积之和。利用该定理，已知两角所对弦，就可以求出它们的和或差所对的弦长。 托勒密为了制作弦表，还利用了另外一个公式（Boyer, 1968），即我们今天的半角公式： (7) 托勒密的推导方法如图4-5所示。∠BAC＝(，AC为圆的直径（=2R），AD为(BAC的平分线，取AE = AB，作DF(AC，垂足为F。 则有 图 4- 托勒密定理与角公式 因此 (8) 此即公式(7)。 图 托勒密角公式 早期三角公式与几何定理之间的这种密切关系在公元10世纪阿拉伯数学家阿布·韦发（Abu’l-Wefa, 940～998）的三角公式中也明显地反映出来。在半径为R的圆上，阿布·韦发获得了如下关系（Smith, 1925）： (9) (10) 其中(9)即为(8)中用代替( 的结果；而(10)则由图中三角形ABC和三角形CDO的相似性得到，它等价于倍角公式 (11) 图 阿布·韦发角公式 值得注意的是，阿布·韦发还得到了等价于(3)和(5)的公式（( 和 ( 均为锐　 (12) 　　 (13) 这两个公式是如何得到的？它们的形式明显保留了几何方法的痕迹，我们不难对其作出复原。如图所示，在单位圆O中，(AOB=2(，(BOC=2(，BE(AC。于是有 但，，，，因此得(12)。取(DOB=2(，又在AC上取AF=AD。于是DF=DB=BC，从而得FE=EC。因此 这就是公式(13)。 图 阿布·韦发角 Woods（1936）曾利用图对倍角公式进行了十分简洁的证明。以直角三角形ABC的顶点B为圆心，斜边BA（长度为1）为半径作圆，交BC延长线于E、D。∠ABC = 2(。于是在三角形AEC中，； ； 图4-8 Woods对倍角公式的推导 。 在三角形ACD中， ； ； 。 在三角形AED中，由勾股定理、射影定理和面积公式分别可得 ； ； ； 。 将图 中的2( 改为(，Dorwart（1942）对半角公式作了推导。如图，在三角形EAD、AEC和ACD中：， ， 。 图 4-9 Dorwart对半角公式的推导