三角函数公式(数学专业完整版).doc

级数定义正弦函数（蓝色）十分接近于它的 5 次泰勒级数（粉红色）只使用几何和极限的性质，可以证明正弦的导数是余弦，余弦的导数是负的正弦（在微积分中，所有角度都以弧度来度量）使用泰勒级数，可以继续证明下列恒等式对于所有实数x都成立：这些恒等式经常被用做正弦和余弦函数的定义它们经常被用做三角函数的严格处理和应用的起点（比如，在傅立叶级数中），因为无穷级数的理论可从实数系的基础上发展而来，不需要任何几何方面的考虑这样，这些函数的可微性和连续性便可以单独从级数定义来确立其他级数可见于：[1]这里的是n次上／下数，是n次伯努利数，（下面的）是n次欧拉数在这种形式的表达中，分母是相应的阶乘，分子称为“正切数”，它有一个组合解释：它们枚举了奇数势的有限集合的交错排列（alternating permutation）在这种形式的表达中，分母是对应的阶乘，而分子叫做“正割数”，有组合解释：它们枚举偶数势的有限集合的交错排列从复分析的一个定理得出，这个实函数到复数有一个唯一的解析扩展它们有同样的泰勒级数，所以复数上的三角函数是使用上述泰勒级数来定义的[编辑]与指数函数和复数的联系可以从上述的级数定义证明正弦和余弦函数分别是复指数函数在它的自变量为纯虚数时候的虚数和实数部分：这个联系首先由欧拉注意到，叫做欧拉公式。

在这种方式下，三角函数在复分析的几何解释中变成了本质性的例如，通过上述恒等式，如果考虑在复平面中eix所定义的单位圆，同上面一样，我们可以根据余弦和正弦来把这个圆参数化，复指数和三角函数之间联系就变得更加明显了进一步的，这样就可以定义对复自变量z的三角函数：这里的i2=−1还有对于纯实数x，我们还知道，这种指数过程与周期行为有密切的联系恒等式主条目：三角恒等式三角函数之间存在很多恒等式，其中最著名的是毕达哥拉斯恒等式，它说明对于任何角，正弦的平方加上余弦的平方总是 1这可从斜边为 1 的直角三角形应用勾股定理得出用符号形式表示，毕达哥拉斯恒等式为：更常见的写法是在正弦和余弦符号之后加“2”次幂：在通常情况下括号可以省略另一个关键的联系是和差公式，它根据两个角度自身的正弦和余弦而给出它们的和与差的正弦和余弦它们可以用几何的方法使用托勒密的论证方法推导出来；还可以用代数方法使用欧拉公式得出当两个角相同的时候，和公式简化为更简单的等式，称为二倍角公式（或倍角公式）这些等式还可以用来推导积化和差恒等式，以前曾用它把两个数的积变换成两个数的和而像对数那样使运算更加快速利用制好的三角函数表）[编辑]微积分三角函数的积分和导数可参见导数表、积分表和三角函数积分表。

下面是六个基本三角函数的导数和积分的列表[编辑]利用函数方程定义三角函数在数学分析中，可以利用基于和差公式这样的性质的函数方程来定义三角函数例如，取用给定此种公式和毕达哥拉斯恒等式，可以证明只有两个实函数满足这些条件即存在唯一的一对实函数sin和cos使得对于所有实数x和y，下列方程成立：并满足附加条件.从其他函数方程开始的推导也是可能的，这种推导可以扩展到复数作为例子，这个推导可以用来定义伽罗瓦域中的三角学反三角函数主条目：反三角函数由于三角函数属于周期函数，而不是单射函数，所以严格来说并没有反函数因此要定义其反函数必须先限制三角函数的定义域，使得三角函数成为双射函数基本的反三角函数定义为：反三角函数定义值域对于反三角函数，符号 sin−1和 cos−1经常用于 arcsin 和 arccos使用这种符号的时候，反函数可能跟三角函数的倒数混淆使用“arc-”前缀的符号避免了这种混淆，尽管“arcsec”可能偶尔跟“arcsecond”混淆正如正弦和余弦那样，反三角函数也可以根据无穷级数来定义例如，这些函数也可以通过证明它们是其他函数的原函数来定义例如反正弦函数，可以写为如下积分：可以在反三角函数条目中找到类似的公式。

使用复对数，可以把这些函数推广到复数辐角上：[编辑]性质和应用三角函数，正如其名称那样，在三角学中是十分重要的，主要是因为下列两个结果[编辑]正弦定理正弦定理声称对于边长为a,b和c而相应角为A,B和C的三角形，有：也可表示为：其中R是三角形的外接圆半径利萨茹曲线，一种三角基的函数形成的图像它可以通过把三角形分为两个直角三角形并使用上述正弦的定义来证明在这个定理中出现的公共数 (sinA)/a是通过A,B和C三点的圆的直径的倒数正弦定理用于在一个三角形的两个角和一个边已知时计算未知边的长度这是三角测量中常见情况[编辑]余弦定理余弦定理（也叫做余弦公式）是托勒密定理的推广：也可表示为：这个定理也可以通过把三角形分为两个直角三角形来证明余弦定理用于在一个三角形的两个边和一个角已知时确定未知的数据如果这个角不是两条边的夹角，那么三角形可能不是唯一的（边-边-角）要小心余弦定理的这种歧义情况[编辑]正切定理还有一个正切定理:[编辑]周期函数谐波数目递增的方波的加法合成的动画三角函数在物理中也是重要的例如，正弦和余弦函数被用来描述简谐运动，它描述了很多自然现象，比如附着在弹簧上的物体的振动，挂在绳子上物体的小角度摆动。

正弦和余弦函数是圆周运动的一维投影三角函数在一般周期函数的研究中也很有用这些函数有作为图像的特征波模式，在描述循环现象比如声波或光波的时候是很有用的每一个信号都可以记为不同频率的正弦和余弦函数的（通常是无限的）和；这是傅立叶分析的基础想法，这里的三角级数可以用来解微分方程的各种边值问题例如，方波可以写为傅立叶级数在右边的动画中，可以看到只用少数的项就已经形成了非常准确的估计反三角函数补角:负数参数:倒数参数:如果如果如果如果如果有一段正弦表:如果注意只要在使用了复数的平方根的时候，我们选择正实部的平方根(或者正虚部，如果是负实数的平方根的话)从半角公式，可得到:如果arcsinx+ arcsinyarcsinx- arcsinyarccosx+ arccosyarccosx- arccosyarctanx+ arctanyarctanx- arctanyarccotx+ arccotyarcsinx+ arccosxarctanx+ arccotx对于的实数值的简单导数如下:反三角函数的导数设，得到:因为要使根号内部恒为正，所以在条件加上设，得到:因为要使根号内部恒为正，所以在条件加上设，得到:设，得到:设，得到:因为要使根号内部恒为正，所以在条件加上，比较容易被忽略是产生的绝对值的定义域是，其所产生的反函数皆为正，所以需要加上绝对值设，得到:因为要使根号内部恒为正，所以在条件加上，比较容易被忽略是产生的绝对值的定义域是，其所产生的反函数皆为负，所以需要加上绝对值表达为定积分积分其导数并固定在一点上的值给出反三角函数作为定积分的表达式:当x等于 1 时，在有极限的域上的积分是瑕积分，但仍是良好定义的。

无穷级数如同正弦和余弦函数，反三角函数可以使用无穷级数计算如下:欧拉发现了反正切的更有效的级数:(注意对n= 0 在和中的项是空积1)反三角函数的不定积分使用分部积分法和上面的简单导数很容易得出它们基本关系毕达哥拉斯三角恒等式如下：由上面的平方关系加上三角函数的基本定义，可以导出下面的表格，即每个三角函数都可以用其他五个表达严谨地说，所有根号前都应根据实际情况添加正负号）函数sincostancotseccsc角的和差恒等式它们也叫做“和差定理”或“和差公式”最快的证明方式是欧拉公式正弦余弦正切余切正割余割注意正负号的对应倍角公式和半角公式这些公式可以使用和差恒等式或多倍角公式来证明弦切割半角公式正余二倍角公式正余三倍角公式正余四倍角公式正余积化和差与和差化积恒等式数学家韦达在其三角学著作《应用于三角形的数学定律》给出积化和差与和差化积恒等式积化和差恒等式可以通过展开角的和差恒等式的右手端来证明积化和差和差化积线性组合对于某些用途，知道同样周期但不同相位移动的正弦波的任何线性组合是有相同周期但不同相位移动的正弦波是重要的在正弦和余弦波的线性组合的情况下，我们有这里的更一般的说，对于任何相位移动，我们有这里而积分只有sin的函数其中其中（其中是余矢(Coversine)函数(参阅正矢(versine)函数)）其中其中其中其中积分只有cos的函数积分只有tan的函数积分只有sec的函数积分只有csc的函数积分只有cot的函数积分只有sin和cos的函数also:also:also:also:also:积分只有sin和tan的函数积分只有cos和tan的函数积分只有sin和cot的函数积分只有cos和cot的函数积分只有tan和cot的函数含有a2−x2的积分在积分中，我们可以用以下的代换：这样，积分变为：注意以上的步骤需要a> 0和cos(θ) > 0；我们可以选择a为a2的算术平方根，然后用反正弦函数把θ限制为−π/2 <θ< π/2。

对于定积分的计算，我们必须知道积分限是怎样变化例如，当x从0增加到a/2时，sin(θ)从0增加到1/2，所以θ从0增加到π/6因此，我们有：含有a2+x2的积分在积分中，我们可以用以下的代换：这样，积分变为：（a> 0）含有x2−a2的积分以下的积分可以。