三角公式初探谜.doc

三角公式初探谜 范忠杨 222007314011289 （西南大学数学与统计学院 0705班） 内容摘要：在给出三角基本公式以及一些辅助公式以后，试着从纯代数的观点去验证或者构造一些有趣且漂亮的三角公式。最由有限的情形试图去推广到无限的情形，以期能够与我们的数列和级数理论相联系。 关键词： 同角关系，棣莫弗、诱导、和角公式，三角形中关系式，有限、无限三角关系式 正文 绪论 三角学是数学重要分支之一，我们在高中里面大概花掉了大半个学期学习三角函数的相关知识，而其中大量的公式往往让我们不知所措，无所是从。本文试着从纯代数的观点并借助复变函数中有名的棣莫弗公式对三角学中的部分公式做一些简单的探究。由于笔者在大学中并没有选修三角学，并且选材相当主观，其中当然有很多疏漏以及值得商榷的地方。希望各位专家以及同行不吝指教。另由于时间与篇幅有限，我们在这里主要限定在讨论正余弦以及正余切。 正论 1，基本知识准备 1.1同角三角函数的基本关系 人教版高中数学教材第一册下4.4节给出了同角三角函数的如下三个公式ⅰ： sin① ② ③ 1.2棣莫弗公式 该公式出自高中数学教材选修Ⅱ ④ 1.3正余弦诱导公式 下面这些公式来自来自第一册下4.5节： ⑤ ⑥ ⑦ ⑧ 对于其它一些诱导公式由于都可以由这些公式推导得出，如，，现在我们在学校里一般以奇变偶不变的口诀进行记忆，但不得不提出的是，这仅仅是一种记忆方式，不能代替证明。 1.4和角差角公式 高中数学教材第一册下4.6节给出了两角和与差的正余弦公式， ⑨ 再借助诱导公式以及变形可以得到 等。 1.5二项式定理ⅱ ⑩，见高中数学教材，第二册下 在有了这10个最基本的公式以后，我们可以毫不夸张的说，其他的初等三角公式都可以以此为基础推导。 2，含有限角的三角公式 2.1一个角的情况 根据公式①②③我们通过简单的变形就可以得到一些漂亮的公式，如等，这里我们不做过多讨论。 2.2多个角的情况 2.2.1倍角公式，半角公式。 先看倍角，在④中 令则 要等号成立，则实部，虚部分别相等， 所以有 令则 所以有，， 照样让可以得到任何整数倍倍角公式。 对于半角呢？ 我们这样处理。如在2倍角公式中，我们让，变形容易得到 等。 同样对三分之一角，四分之一角，分之一角的情况，我们都可以先替换，再反解，由于计算太过繁复，这里不再列举。 2.2.2为三角形三内角的情形 我们将角看成是一个只含三项的数列，那么这个时候数列的和应该是一个固定值。此时的一些公式及其证明ⅲ如下， 公式1： 证明：因为 所以， 公式2： 类比公式1，我们很容易得出的假想，但实际上这是我们忽略了条件的后果。在一般情形下，这个假象并不成立。我们还是直接来看公式2的证明。 证明：仿上例， 这里与上例唯一的区别在于，这里而上例是 。 而公式2，其实我们常常也从右看向左，这样也显得更加漂亮。 公式3： 证明：仿公式1 公式4： 证明：由于 所以有， 故公式4成立。 2.2.3三角形中的三个定理。 正弦，余弦，正切定理是解三角形中最常用的三个定理，在高中数学教材中我们学习了正余弦定理。由于其证明过程涉及几何或者向量知识，这里我们并不给出。现在我们从已知的八个基本三角关系式已经正余弦定理出发来证明正切定理。 正切定理（该定理属于法国数学家韦达）：，其中，分别是三角形两边，分别是其对角。 证明:由正弦定理 这三个定理的应用列举，我们也从略处理ⅳ。 2.2.4关于正余弦的一些递推公式 递推式1： 证明：原式可变形为， 讲左、右两边的单项用和角公式展开并向得到， 故原式得证。 读者可以自行考虑正弦是否有类似的递推关系。这个公式的证明并不复杂，从证明过程我们可以猜测这个式子的构造过程。 2．2.5特殊三角式的求和 公式1：计算（=0） 公式2：计算（=） 公式1，通过拆分角后，借助复数的乘法解决。公式2仿照高斯等差数列求和的办法，加上和差角公式解决。 3关于无限三角式 3.1一些漂亮的代数式 公式1： 公式2： 3.2关于 3.3三角无限公式 公式1： 公式2： 公式3： 公式4： 公式5： 3.4关于这些公式的思考。 注释： ⅰ，当然还有其他的一些同角关系，但是都可以用三角函数定义和已知关系推出。 ⅱ，诱导公式以及和角公式的证明都涉及到几何方法，这里从略。二项式定理以及棣莫弗公式的证明都不属于三角学范畴，故也省略。 ⅲ，在这里我们反复用到和差化积，积化和差公式，以及一些陪角技巧。并没有做过多的说明。这是因为这几个公式的论证都很简单，且为高中学生所掌握。 ⅳ，这些三角关系与定理一旦引入几何中，将变得非常强大而具有生命力。读者可以尝试以此为依据进行梅涅劳斯定理，赛瓦定理，托勒密定理以及西姆松定理的证明。 参考文献： ㈠人教版高中数学教材。北京：人民教育出版社，20