三角函数变角互化公式（三角函数与三角恒等变换）

三角函数是六类基本初等函数之一，是以角度（数学上最常用弧度制，下同）为自变量，角度对应任意角终边与单位圆交点坐标或其比值为因变量的函数。也可以等价地用与单位圆有关的各种线段的长度来定义。三角函数在研究三角形和圆等几何形状的性质时有重要作用，也是研究周期性现象的基础数学工具。在数学分析中，三角函数也被定义为无穷级数或特定微分方程的解，允许它们的取值扩展到任意实数值，甚至是复数值。

常见的三角函数包括正弦函数、余弦函数和正切函数。在航海学、测绘学、工程学等其他学科中，还会用到如余切函数、正割函数、余割函数、正矢函数、余矢函数、半正矢函数、半余矢函数等其他的三角函数。不同的三角函数之间的关系可以通过几何直观或者计算得出，称为三角恒等式。

三角函数一般用于计算三角形中未知长度的边和未知的角度，在导航、工程学以及物理学方面都有广泛的用途。另外，以三角函数为模版，可以定义一类相似的函数，叫做双曲函数。常见的双曲函数也被称为双曲正弦函数、双曲余弦函数等等。三角函数（也叫做圆函数）是角的函数；它们在研究三角形和建模周期现象和许多其他应用中是很重要的。三角函数通常定义为包含这个角的直角三角形的两个边的比率，也可以等价的定义为单位圆上的各种线段的长度。更现代的定义把它们表达为无穷级数或特定微分方程的解，允许它们扩展到任意正数和负数值，甚至是复数值。

阿拉伯历史

进入15世纪后，阿拉伯数学文化开始传入欧洲。随着欧洲商业的兴盛，航行、历法测定和地理测绘中出现了对三角学的需求。在翻译阿拉伯数学著作的同时，欧洲数学家开始制作更详细精确的三角函数值表。哥白尼的学生乔治·约阿希姆·瑞提克斯制作了间隔10秒(10″)的正弦表，有9位精确值。瑞提克斯还改变了正弦的定义，原来称弧对应的弦长是正弦，瑞提克斯则将角度对应的弦长称为正弦。16世纪后，数学家开始将古希腊有关球面三角的结果和定理转化为平面三角定理。弗朗索瓦·韦达给出了托勒密的不少结果对应的平面三角形式。他还尝试计算了多倍角正弦的表达方式。

18世纪开始，随着解析几何等分析学工具的引进，数学家们开始对三角函数进行分析学上的研究。牛顿在1669年的《分析学》一书中给出了正弦和余弦函数的无穷级数表示。Collins将牛顿的结果告诉了詹姆斯·格列高里，后者进一步给出了正切等三角函数的无穷级数。莱布尼兹在1673年左右也独立得到了这一结果。欧拉的《无穷小量分析引论》（Introductio in Analysin Infinitorum，1748年）对建立三角函数的分析处理做了最主要的贡献，他定义三角函数为无穷级数，并表述了欧拉公式，还有使用接近现代的简写sin.、cos.、tang.、cot.、sec.和cosec.。

弦表的发明

根据认识，弦表的制作似应该是由一系列不同的角出发，去作一系列直角三角形，然后一一量出AC，A’C’，A’’C’’…之间的距离。然而，第一张弦表制作者希腊文学家希帕克 (Hipparchus，约前180~前125)不是这样作，他采用的是在同一个固定的圆内，去计算给定度数的圆弧AB所对应的弦AB的长(如图三)。这就是说，希帕克是靠计算，而不是靠工具量出弦长来制表的，这正是他的卓越之处。希帕克的原著早已失传，我们所知关于希帕克在三角学上的成就，是从公元二世纪希腊著名天文学家托勒密的遗著《天文集》中得到的。虽然托勒密说他的这些成就出自希帕克，但事实上不少是他自己的创造。

据托勒密书中记载，为了度量圆弧与弦长，他们采用了巴比伦人的60进位法。把圆周360等分，把它的半径60等分，在圆周和半径的每一等分中再等分60份，每一小份又等分为60份，这样就得出了托勒密所谓的第一小份和第二小份。很久以后，罗马人把它们分别取名为”partes minutae primae”和”partes minutae secundae”；后来，这两个名字演变为”minute”和”second”，成为角和时间的度量上”分”和”秒”这两个单位得起源。

建立了半径与圆周的度量单位以后，希帕克和托勒密先着手计算一些特殊圆弧所对应的弦长。比如 60°弧(1/6圆周长)所对的弦长，正好是内接正六边形的边长，它与半径相等，因此得出60°弧对应的弦值是60个半径单位(半径长的1/60为一个单位)；用同样的方法，可以算出120°弧、90°弧以及72°弧所对应的弦值(如图四)。有了这些弧所对应的弦值，接着就利用所称的”托勒密定理”，来推算两条已知所对弦长的弧的”和”与”差”所对的弦长，以及由一条弧所对的弦长来计算这条弧的一半所对的弦长。正是基于这样一种几何上的推算。他们终于造出了世界上第一张弦表。

传入中国

三角学输入中国，开始于明崇祯4年(1631年)，这一年，邓玉函、汤若望和徐光启合编《大测》，作为历书的一部份呈献给朝廷，这是我国第一部编译的三角学。在《大测》中，首先将sine译为”正半弦”，简称”正弦”，这就成了“正弦”一词的由来。

三角函数是数学中属于初等函数中的超越函数的函数。它们的本质是任何角的集合与一个比值的集合的变量之间的映射。通常的三角函数是在平面直角坐标系中定义的。其定义域为整个实数域。另一种定义是在直角三角形中，但并不完全。现代数学把它们描述成无穷数列的极限和微分方程的解，将其定义扩展到复数系。

三角函数公式看似很多、很复杂，但只要掌握了三角函数的本质及内部规律，就会发现三角函数各个公式之间有强大的联系。而掌握三角函数的内部规律及本质也是学好三角函数的关键所在。