20世纪中叶以前的拟余弦定理历史.pdfVIP

2015年 第 54卷 第8期 数学通报 9 20世纪中叶以前的余弦定理历史 ① 汪晓勤 (华东师范大学数学系 200241) 近年来 ，将数学史融人数学教学的实践与案 命题 Ⅱ．13 在锐角三角形中，锐角对边上的 例开发已成为 HPM 领域的中心课题之一．然而 ， 正方形面积小于该锐角两边上 的正方形面积之 数学史资源的匮乏是导致中学 HPM 实践难 以开 和 ，其差为一矩形的两倍 ，该矩形 由另一锐角 的对 展的主要 因素之一．随机选择一个中学数学课题 ， 边和从该锐角 (顶点)向对边作垂线 ，垂足到原锐 考虑从 HPM 的视角进行教学设计 ，结果 ，教师往 角 (顶点)之间的一段所构成． 往会发现 ，这个知识点的历史其实是个盲点．在与 命题 Ⅱ．12相 当于说 ，在图 1所示钝角三角 中学教师研讨余弦定理 的 HPM 教学设计时，我 形△ABC中， 们首先需要解决的就是历史这个盲点． a 一b+C-92cm(a为钝角对边) (1) 另一方面，在高 中数学教材即将开始修订之 C 际，“数学史融人数学教材”成 了人们关注 的研究 课题．就余弦定理而言 ，需要先解决 “融人什么”， 才能解决 “如何融入”的问题． 基于上述原因，我们对 17—2O世纪 142种三 角学文献进行考察 (限于篇幅，其中绝大部分文献 图 2 未在参考文献中列出)，试 图回答 ：20世纪中叶以 命题 Ⅱ．13相 当于说 ，在图 2所示锐角三角 前，余弦定理是如何演变的?有哪些推导方法? 形△ABC中， 余弦定理 的历史对今 日教学有何启示? a 一b4-c。一2cm (n为锐角对边) (2) 为便于表述 ，我们将余弦定理分成几何和三 其 中等式 (2)对于钝角三角形中的锐角对边也是 角两种形式 ，前者不含三角形 内角的余弦，后者 即 成立 的． 为我们熟知的三个含 内角余弦的等式．将几何形 欧几里得利用勾股定理对上述命题进行证 式与直角三角形边角关系结合起来 ，就成 了三角 明．如图 1和2，由勾股定理分别得 ， 形式． a===h + (c+ )一h0+m0+c+2cm一6+ 1 从欧几里得到毕蒂克斯 C+2cm ， 余弦定理是作为勾股定理 的推广而诞生的． a。一h。+ (c— ) 一h。+m。+C。一 2cm— b + 公元前 3世纪，欧几里得在 《几何原本》卷二分别 c。一 2cm ． 给出钝 角三 角形 和锐 角三 角形 三边 之 间 的 在第一种情形 ，m一一bcosA，在第二种情形 ， — 关系 ： bcosA，代人相应等式 ，即得我们熟悉的三角形式 命题 Ⅱ．12 在钝角三角形 中，钝角对边上 的 的余弦定理 ： 正方形面积大于两锐角对边上的正方形面积之 ＆0一 b + C 一 2bccosA (3) 和 ，其差为一矩形的两倍 ，该矩形由一锐角的对边 公元 2世 纪，古希腊天文学家托勒密 (C． 和从该锐角 (顶点)向对边延长线作垂线 ，垂足到 Ptolemy)在其 《天文大成》中利用欧几里得的几何 钝角 (顶