三角函数

關於三角形角度的函數

三角函数(英語:trigonometric functions[註 1])是數學很常見的一類關於角度函数。三角函數將直角三角形的内角和它的两邊的比值相关联,亦可以用单位圆的各种有关线段的长的等价來定义。三角函数在研究三角形圆形几何形状的性质时有著重要的作用,亦是研究振动、波、天体运动和各种周期性现象的基础数学工具[1]。在数学分析上,三角函数亦定义为无穷级数或特定微分方程的解,允许它们的取值扩展到任意实数值,甚至是複數值。

三角函数图像(动画演示

常見的三角函数有正弦函数)、余弦函数)和正切函数[1];在航海学测绘学工程学等其他学科中还会用到例如余切函数)、正割函数)、余割函数)、正矢函数半正矢函数等其它三角函数。不同的三角函数之间的关系可以几何直观或计算得出,称为三角恒等式

三角函数一般用于计算三角形中的未知长度的边和未知的角度,在导航、工程学和物理学方面都有广泛的用途。另外,以三角函数为模版,可以定义一类相似的函数,叫做双曲函数[2]。常见的双曲函数也称双曲正弦函数、双曲余弦函数等。

历史 编辑

三角函数的早期研究可以追溯到古代。例如古埃及数学家在鑑別尼羅河泛濫後的土地邊界、保持金字塔每邊斜度相同,都使用了三角術,只是他們可能還沒有對這種方式定名而已。古希腊三角术的奠基人是公元前2世纪的喜帕恰斯。他按照古巴比伦人的做法,将圆周分为360等份(即圆周的弧度为360度,与现代的弧度制不同)。对于指定弧度,他给出了对应的弦的长度数值,这记法和现代的正弦函数等价。喜帕恰斯实际上给出了最早的三角函数数值表。然而古希腊的三角学基本是球面三角学。这与古希腊人研究的主体是天文学有关。梅涅劳斯在他的著作《球面学》中使用了正弦来描述球面的梅涅劳斯定理。古希腊三角学与其天文学的应用在埃及的托勒密时代达到了高峰,托勒密在《数学汇编》(Syntaxis Mathematica)中计算了36度角和72度角的正弦值,还给出了计算和角公式和半角公式的方法。托勒密还给出了所有0到180度的所有整数和半整数弧度对应的正弦值[3]:133-140[4]:151-152

希腊文化传播到古印度后,印度人繼續研究了三角术。公元5世纪末的数学家阿耶波多提出用弧对应的弦长的一半来对应半弧的正弦,後来古印度数学家亦用了这做法,和现代的正弦定义一致[4]:189。阿耶波多的计算中也使用了余弦和正割。他在计算弦长时使用了不同的单位,重新计算了0到90度中间隔三又四分之三度(3.75°)的三角函数值表[4]:193。然而古印度的数学与当时的中国一样,停留在计算方面,缺乏系统的定义和演绎的证明。阿拉伯人也采用了古印度人的正弦定义,但他们的三角学是直接继承于古希腊。阿拉伯天文学家引入了正切和余切、正割和余割的概念,并计算了间隔10分(10′)的正弦和正切数值表[3]:214-215。到了公元14世纪,阿拉伯人将三角计算重新以算术方式代数化(古希腊人采用的是建立在几何上的推导方式)的努力为後来三角学从天文学中独立出来,成为了有更广泛应用的学科奠定了基础。[3]:225

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

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

1631年徐光启邓玉函汤若望合撰《大测》首次将三角函数引入中国并确立了正弦、余弦等译名。

几何定义 编辑

以直角三角形來定义 编辑

 
a,b,h分別為角A的对边、邻边和斜边

直角三角形只有锐角(大小在0至90度之间的角)三角函数的定义[6]。指定锐角 可做出直角三角形,使一個内角為 ,對應(对边a)、(邻边b)和(斜边h):

 正弦是对边与斜边的比值: 
 餘弦是邻边与斜边的比值: 
 正切是对边与邻边的比值: 
 余切是邻边与对边的比值: 
 正割是斜边与邻边的比值: 
 餘割是斜边与对边的比值: 

以直角坐标系來定义 编辑

 

假设 是平面直角坐标系 中的一点, 是横轴正向 逆时针旋转到 方向所形成的一個角,  到原点 的距离,则 的六種三角函数定义为[7]

正弦 餘弦 正切 餘切 正割 餘割
           

这样可以定义任何角度的三角函数(除非当定义式无意义时)。大于360°或小于-360°的角度可认为是转了(逆时针/顺时针)不止一圈。而多转或少转了整数圈不会影响三角函数的取值[8]。如果按弧度制方式记录角度,将弧长作为三角函数的输入值(360°等于 ),那么三角函数就是取值为全体实数R,最小正周期(基本周期)为 周期函数,如

 
 

正弦、余弦、正割或余割的基本周期是 弧度或360°;正切或余切的基本周期是 弧度或180°。

单位圆定义 编辑

三角函数亦可以根据直角坐标系 中半径为1,以圆心为原点 单位圆来定义[1]。指定一角 ,假设 为起始点,如果 则将 以逆时针方向转动,如果 则以顺时针方向移动,直到转过的角度等于 为止。假设最终点A转到的位置为 ,那么

 
用单位圆定义三角函数
正弦 餘弦 正切 餘切 正割 餘割
           

基本性质 编辑

 
在直角坐标系平面上f(x)=sin(x)和f(x)=cos(x)函数的图像

从几何定义中能推导出很多三角函数的性质。例如正弦函数、正切函数、余切函数和余割函数是奇函数,余弦函数和正割函数是偶函数[9]。正弦和余弦函数的图像形状一样(见右图),可以看作是沿著坐标横轴平移得到的两組函数。正弦和余弦函数关于 轴对称。正切函数和余切函数、正割函数和余割函数也分别如此。

三角恒等式 编辑

不同的三角函数之间有很多对任意的角度取值都成立的等式,称为三角恒等式。最著名的是毕达哥拉斯恒等式,它说明对于任何角,正弦的平方加上余弦的平方必定會是1[1]。这能从斜边为1的直角三角形应用勾股定理來得出。利用符号形式表示的話,毕达哥拉斯恒等式为

 

因此可以推導出

 
 

另一個关键联系是和差公式,它能根据两个角度自身的正弦和余弦而给出它们的和与差的正弦和余弦[1]。它们可以利用几何的方法使用托勒密的论证方法來推导出来;还可以利用代数方法使用欧拉公式來檢定[註 2]

当两角相同,和角公式简化为更简单的等式,称为二倍角公式(或倍角公式):

 
 
 

这些等式还可以用来推导积化和差恒等式[10],以前曾經利用它把两数的积变换成两数的和而像对数那样使运算更快。(用制好的三角函数表)

還有半角公式:

 
 
 

微积分 编辑

三角函数的积分导数可参见导数表积分表三角函数积分表。以下是六種基本三角函數的導數和積分。

函数            
导数            
反导数(不计常数项)            

分析学定义 编辑

級數定義 编辑

 
正弦函数(蓝色)十分接近于它的7次泰勒级数(粉色)

几何学中,三角函数的定义建立在几何直观上,只用几何和极限的性质就可以直接得知正弦和餘弦的導數。在分析学中,三角函數是解析函數,数学家利用泰勒級數给出了不依赖几何直观的代数定义[11]

 
 

可以证明以上的无穷级数对任意实数 都是收敛的,所以很好地定义了正弦和余弦函数。

三角函数的级数定义經常用作严格处理三角函数和起点应用(比如,在傅立叶级数中),因为无穷级数的理论可以从实数系的基础发展而来,不需要任何几何方面的考虑。这样,这些函数的可微性连续性便可以单独从级数定义来确立。

其他三角函数的级数定义:[12]

 
 
 
 

其中 伯努利数 欧拉数

这些定义也可以看作是每个三角函数作为实函数的泰勒级数。从复分析的一條定理得出,这实函数到复数有唯一的解析扩展。它们有同样的泰勒级数,复数的三角函数是使用上述级数来定义。

与指数函数和复数的關系 编辑

可以从上述的级数定义证明正弦和余弦函数分别是复指数函数在它的自变量为纯虚数时候的虚数和实数部分:

 。(i虚数单位

欧拉首先注意到这关系式,因此叫做欧拉公式[13]。从中可推出,对实数x

 

进一步还可定义对複自变量z的三角函数:

 
 
 
 
 

(其中   雙曲函數,其馬勞克林級數與對應的三角函數很類似,只差在正負號)

複平面中的三角函數亮度表示函數值絕對值色相表示函數值的主輻角
 
 
 
 
 
 
           

较少見的三角函數 编辑

 
單位圓上的三角函數,包括了兩種正矢(versin、vercos)、餘矢(coversin、covercos)、弦函數(crd)、外正割(exsec)和外餘割(excsc)

除了上述六種基本函數,史上還有下列幾種较少見的三角函数:

  • 弦函數 ):早期的三角函數表紀錄的是弦的全長(如托勒密全弦表),對應的三角函數為crd函數。[14]不過今日此函數已被正弦函數取代,已經鮮少使用。
  • 正矢 )、餘矢系列函數,與其半值函數(如半正矢系列函數):早期導航術中很重要的三角函數之一,因半正矢公式出名。[15]不過其定義和基本三角函數高度相關,因此在计算机和计算器普及後這個函數已經幾乎沒再使用。
  • 外正割 )和外餘割 ):由於正割餘割部分的數值十分接近一,因此運算時很容易出現灾难性抵消或數值誤差,因此出現了外正割外餘割的函數與函數表來解決這類問題。不過這類問題在计算机和计算器普及後逐漸消失,因此這個函數已經幾乎沒再使用。[15]
正矢   半正矢  
餘的正矢   餘的半正矢  
餘矢   半餘矢  
餘的餘矢   餘的半餘矢  
外正割   外餘割  
弦函數  

微分方程定义 编辑

三角函数在物理学是研究振动和波不可或缺的工具,如简谐振动满足以下微分方程,正弦和余弦函数都满足

 

就是说,它们加上自己的二阶导数都等于0函数。在由所有这條方程的解的二维向量空间 中,正弦函数是满足初始条件  的唯一解,而余弦函数是满足初始条件  的唯一解[16]。因为正弦和余弦函数是线性无关的,它们在一起形成了 。这种定义正弦和余弦函数的方法本质上等价于使用欧拉公式。(参见线性微分方程)。很明显这條微分方程不只用来定义正弦和余弦函数,还可用来证明正弦和余弦函数的三角恒等式。进一步的,观察到正弦和余弦函数满足 ,这意味着它们是二阶导数算子的特征函数

正切函数是非线性微分方程

 

满足初始条件 的唯一解。有个非常有趣的形象证明证明了正切函数满足这微分方程,参见NeedhamVisual Complex Analysis[17]

弧度的重要性 编辑

弧度通过测量沿着单位圆的路径的长度而指定一,并构成正弦和余弦函数的特定辐角。特别是,只有映射弧度到比率的那些正弦和余弦函数才满足描述它们的经典微分方程。如果正弦和余弦函数的弧度辐角是正比于频率

 

导数将正比于“振幅”。

 

这里的 是表示在单位之间映射的常数。如果 ,则

 

如果  弧度, 度),則

 

这意味着使用度(或圈)的正弦的二阶导数不满足微分方程

 

但满足

 

对余弦也是类似的。

这意味着这些正弦和余弦是不同的函数,因此只有它的辐角是弧度的条件下,正弦的四阶导数才再次是正弦。因为凡是作为函数意义上的正弦、余弦、正切,都只用弧度定义,而不用360度的角度定义。

利用函数方程定义三角函数 编辑

数学分析中,可以利用基于和差公式这样的性质的函数方程来定义三角函数。例如,取用给定此种公式和毕达哥拉斯恒等式,可以证明只有两个实函数满足这些条件。即存在唯一的一对实函数  使得对于所有实数  ,下列方程成立[18]

 
 
 

并满足附加条件

 

从其他函数方程开始的推导也有可能,这种推导可以扩展到复数。作为例子,这推导可以用来定义伽罗瓦域中的三角学

计算 编辑

计算三角函数是一個十分复杂的主题,由于计算机和提供对任何角度的内置三角函数的科学计算器的广泛使用,现在大多数人都不再需要了。本节中将描述它在三个重要背景下的计算详情:历史上三角函数表的使用、计算机使用的现代技术以及容易找到简单精确值的一些“重要”角度。(下面只考虑一个角度小范围,比如0到 ,因为三角函数的周期性和对称性,所有其他角度可以化简到这范围内。)

在计算机誕生前,人们通常通过对计算到多个有效数字的三角函数表的内插来计算三角函数的值。这种表格在人们刚刚产生三角函数的概念的时候就已经有了,它们通常是通过从已知值(比如 )开始并重复应用半角和和差公式而生成[19]

现代计算机使用了各种技术。[20]一个常见的方式,特别是在有浮点单元的高端处理器上,是组合多项式有理式逼近(比如切比雪夫逼近、最佳一致逼近和Padé逼近,和典型用于更高或可变精度的泰勒级数罗朗级数)和范围简约与表查找—首先在一个较小的表中查找最接近的角度,然后使用多项式来计算修正。[21]在缺乏硬件乘法器的简单设备上,有叫做CORDIC算法的一个更有效算法(和相关技术),因为它只用了移位和加法。出于性能的原因,所有这些方法通常都用硬件来实现。

对于非常高精度的运算,在级数展开收敛变得太慢的时候,可以用算术几何平均来逼近三角函数,它自身通过复数椭圆积分来逼近三角函数。[22]

三角函数的特殊值 编辑

 
大小为  的整数倍的 角和它们的精确正弦和余弦值标注在单位圆上。 角均用弧度制和角度制表示。 角所对应的单位圆上的点的坐标为(  

特殊角度可用勾股定理(即毕氏定理)人手輕易计出三角函数的值。 弧度(3°)的任何整数倍之正弦、余弦和正切都可人手计算。以下是常用的特殊函数值[23]

函数              
               
               
               
               
               
               

注: 有时会写作无定义(不存在)。

反三角函数 编辑

三角函数属周期函数而不是单射函数,严格来说并没有反函数,要定义其反函数必须先限制三角函数的定义域,使得三角函数成为双射函数。基本的反三角函数定义为[9]

反三角函数 定义 值域
     
     
     
     
     
     

对于反三角函数,符号  经常用于  。使用这种符号的时候,反函数可能跟三角函数的倒数混淆。“ ”前缀可避免这种混淆,尽管“ ”可能偶尔跟“arcsecond”(角秒)混淆。

正如正弦和余弦那样,反三角函数也可以根据无穷级数来定义。例如,

 

这些函数也可以通过证明它们是其他函数的原函数来定义。例如反正弦函数,可以写为如下积分[24]

 

可以在反三角函数条目中找到类似的公式。使用复对数可把这些函数延伸到复数辐角:

 
 
 

相关定理 编辑

三角函数,正如其名,在三角学十分重要。三角学研究发现了许多利用三角函数来刻画三角形、圆形或多边形的定理。

正弦定理 编辑

 
利萨茹(Lissajous)曲线,一种三角基的函数形成的图像

正弦定理声称对于边长为   而相应角为   的三角形,有[25]

 

其中 是三角形的外接圆半径。正弦定理用于计算已知两角和一边时三角形的未知边长,是三角测量中常见情况,前述為數學常用。至於物理學應用為三分力且合力為0的情況。

余弦定理 编辑

余弦定理(也叫余弦公式)是托勒密定理的延伸[25]

 

也可表示为

 

余弦定理用于确定三角形已知两边和一角时未知的值。

正切定理[26] 编辑

 

餘切定理 编辑

 

其中 为三角形的内切圆半径, 为三角形半周长。

周期函数 编辑

 
谐波数目递增的方波的加法合成动画

三角函数在物理也重要,如用正弦和余弦函数描述简谐运动,它描述了很多自然现象,比如附着在弹簧上的物体的振动,挂在绳子上物体的小角度摆动。正弦和余弦函数是圆周运动的一维投影[27]

三角函数在一般周期函数的研究中也很有用。这些函数有作为图像的特征波模式,在描述循环现象比如声波或光波的时候是很有用的。每个信号都可以记为不同频率的正弦和余弦函数的(通常无限)和[28];这是傅立叶分析的基础想法,这里的三角级数可以用来解微分方程的各种边值问题。例如,方波可以写为傅立叶级数[29]

 

右边动画可見,只用幾项就形成非常准确的估计。

参见 编辑

注释 编辑

  1. ^ 也称为圆函数、角函数、测角仪函数(circular functions、angle functions、goniometric functions)
  2. ^ 由于欧拉公式的证明过程中使用了棣莫弗公式,而棣莫弗公式的证明过程中使用了和角公式,故使用欧拉公式证明和角公式会造成循环论证,故而此方法僅为檢定方法,而非严谨的证明方法。对于类似方法也应注意甄别。

参考资料 编辑

  1. ^ 1.0 1.1 1.2 1.3 1.4 萧树铁, 扈志明. 微积分. 北京: 清华大学出版社有限公司. 2006: 8–9 [2013-12-21]. ISBN 7302122148. (原始内容存档于2013-12-24). }
  2. ^ 清华大学数学科学系《微积分》编写组. 微积分(I). 清华大学出版社. 2003 [2013-12-21]. ISBN 9787302067856. (原始内容存档于2013-12-24). 
  3. ^ 3.0 3.1 3.2 3.3 莫里斯·克莱因 著,张理京,张锦炎,江泽涵 译. 《古今数学思想》第一册. 上海科学技术出版社. 2002. ISBN 9787532361724. 
  4. ^ 4.0 4.1 4.2 Uta C.Merzbach, Carl B. Boyer. A History of Mathematics. John Wiley & Sons, Inc.第3版. 2011. ISBN 978-0-470-52548-7 (英语). 
  5. ^ 莫里斯·克莱因著,朱学贤,申又枨叶其孝译. 《古今数学思想》第二册. 上海科学技术出版社. 2002. ISBN 9787532361731. 
  6. ^ 銳角三角函數 (PDF). [2013-12-21]. (原始内容存档 (PDF)于2013-12-24). 
  7. ^ 三角函數的定義. Webcai.math.fcu.edu.tw. [2013-12-21]. (原始内容存档于2014-01-04). 
  8. ^ 廣義角三角函數 (PDF). [2013-12-21]. (原始内容存档 (PDF)于2013-12-24). 
  9. ^ 9.0 9.1 谭杰锋, 郑爱武. 高等数学. 清华大学出版社. 2006 [2013-12-21]. (原始内容存档于2013-12-24). 
  10. ^ 初三年级. 积化和差公式. Zhongxue.hujiang.com. [2013-12-21]. (原始内容存档于2013-12-24). 
  11. ^ Ahlfors, pages 43–44.
  12. ^ Abramowitz; Weisstein.
  13. ^ Euler (1707-1783) —數學的莎士比亞 (PDF). [2013-12-21]. (原始内容 (PDF)存档于2007-02-08). 
  14. ^ 蔡聰明. 星空燦爛的數學(I)——托勒密如何編製弦表? (PDF). 數學傳播. 1999年6月, 23卷 (2期): 57–67 [2023-10-27]. (原始内容存档 (PDF)于2021-05-06). 
  15. ^ 15.0 15.1 Calvert, James B. Trigonometry. 2007-09-14 [2004-01-10] [2015-11-08]. (原始内容存档于2007-10-02). 
  16. ^ 以微積分方法探討三角函數的性質 (PDF). [2013-12-21]. (原始内容存档 (PDF)于2013-12-24). 
  17. ^ Needham, p. ix.
  18. ^ Kannappan, Palaniappan. Functional Equations and Inequalities with Applications. Springer. 2009. ISBN 978-0387894911. 
  19. ^ 和差角公式. Highscope.ch.ntu.edu.tw. 2011-10-19 [2013-12-21]. (原始内容存档于2013-12-24). 
  20. ^ Kantabutra.
  21. ^ However, doing that while maintaining precision is nontrivial, and methods like Gal's accurate tables, Cody and Waite reduction, and Payne and Hanek reduction algorithms can be used.
  22. ^ R. P. Brent, "Fast Multiple-Precision Evaluation of Elementary Functions", J. ACM '''23''', 242 (1976). Doi.acm.org. [2013-12-21]. doi:10.1145/321941.321944. (原始内容存档于2015-05-16). 
  23. ^ 三角函數特殊角的值. Web.ntnu.edu.tw. [2013-12-21]. (原始内容存档于2013-12-24). 
  24. ^ 雙曲函數及反三角函數. Stat.nuk.edu.tw. [2013-12-21]. (原始内容存档于2014-04-27). 
  25. ^ 25.0 25.1 正弦定理與餘弦定理 (PDF). [2013-12-21]. (原始内容存档 (PDF)于2016-05-08). 
  26. ^ Eli Maor, Trigonometric Delights, Princeton University Press, 2002.
  27. ^ 圓與三角學. Episte.math.ntu.edu.tw. 2004-06-19 [2013-12-21]. (原始内容存档于2013-04-28). 
  28. ^ 靳希; 杨尔滨; 赵玲. 傅里叶变换. 信号处理原理与应用. 清华大学出版社. 2004 [2013-12-21]. ISBN 9787302083573. (原始内容存档于2013-12-24). 
  29. ^ 邓翔宇. 连续信号与系统的频域分析. 信号与系统. 清华大学出版社. 2006 [2013-12-21]. ISBN 9787810827058. (原始内容存档于2013-12-24). 

延伸阅读 编辑

外部链接 编辑