三角函數（英語：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世紀後，阿拉伯數學文化開始傳入歐洲。隨著歐洲商業興盛起來，航行、曆法測定和地理測繪中出現了對三角學的需求。在翻譯阿拉伯數學著作的同時，歐洲數學家開始製作更詳細精確的三角函數值表。哥白尼的學生喬治·約阿希姆·瑞提克斯製作了間隔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的對

的正弦是對邊與斜邊的比值：的餘弦是鄰邊與斜邊的比值：的正切是對邊與鄰邊的比值：的餘切是鄰邊與對邊的比值：的正割是斜邊與鄰邊的比值：的餘割是斜邊與對邊的比值：

以直角坐標系來定義[編輯]

假設是平面直角坐標系中的一點，是橫軸正向逆時針旋轉到方向所形成的一個角，是到原點的距離，則的六種三角函數定義為[7]：

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

這樣可以定義任何角度的三角函數（除非當定義式無意義時）。大於360°或小於-360°的角度可認為是轉了（逆時針／順時針）不止一圈。而多轉或少轉了整數圈不會影響三角函數的取值[8]。如果按弧度制方式記錄角度，將弧長作為三角函數的輸入值（360°等於），那麼三角函數就是取值為全體實數R，最小正週期（基本週期）為的週期函數，如

正弦、餘弦、正割或餘割的基本週期是弧度或360°；正切或餘切的基本週期是弧度或180°。

單位圓定義[編輯]

三角函數亦可以根據直角坐標系中半徑為1，以圓心為原點的單位圓來定義[1]。指定一角，假設為起始點，如果則將以逆時針方向轉動，如果

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

基本性質[編輯]

在直角坐標系平面上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]。因為正弦和餘弦函數是線性獨立的，它們在一起形成了的基。這種定義正弦和餘弦函數的方法本質上等價於使用歐拉公式。（參見線性微分方程式）。很明顯這條微分方程式不只用來定義正弦和餘弦函數，還可用來證明正弦和餘弦函數的三角恆等式。進一步的，觀察到正弦和餘弦函數滿足，這意味著它們是二階導數算子的特徵函數。

正切函數是非線性微分方程式

滿足初始條件的唯一解。有個非常有趣的形象證明證明了正切函數滿足這微分方程式，參見Needham的Visual Complex Analysis。[17]

弧度的重要性[編輯]

弧度透過測量沿著單位圓的路徑的長度而指定一角，並構成正弦和餘弦函數的特定輻角。特別是，只有映射弧度到比率的那些正弦和餘弦函數才滿足描述它們的經典微分方程式。如果正弦和餘弦函數的弧度輻角是正比於頻率的

則導數將正比於「振幅」。

。

這裡的是表示在單位之間映射的常數。如果是度，則

。

如果是圈（轉，弧度，度），則

這意味著使用度（或圈）的正弦的二階導數不滿足微分方程式

，

但滿足

；

對餘弦也是類似的。

這意味著這些正弦和餘弦是不同的函數，因此只有它的輻角是弧度的條件下，正弦的四階導數才再次是正弦。因為凡是作為函數意義上的正弦、餘弦、正切，都只用弧度定義，而不用360度的角度定義。

利用函數方程式定義三角函數[編輯]

在數學分析中，可以利用基於和差公式這樣的性質的函數方程式來定義三角函數。例如，取用給定此種公式和畢達哥拉斯恆等式，可以證明只有兩個實函數滿足這些條件。即存在唯一的一對實函數和使得對於所有實數和，下列方程式成立[18]：

並滿足附加條件

更多內容請見：https://zh.wikipedia.org/zh-tw/%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B0