三角函數
三角函數(英語: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.)。
幾何定義
以直角三角形來定義
直角三角形只有銳角(大小在0至90度之間的角)三角函數的定義[6]。指定銳角 可做出直角三角形,使一個內角為 ,對應股(對邊a)、勾(鄰邊b)和弦(斜邊h):
的正弦是對邊與斜邊的比值: |
的餘弦是鄰邊與斜邊的比值: |
的正切是對邊與鄰邊的比值: |
的餘切是鄰邊與對邊的比值: |
的正割是斜邊與鄰邊的比值: |
的餘割是斜邊與對邊的比值: |
以直角坐標系來定義
假設 是平面直角坐標系 中的一點, 是橫軸正向 逆時針旋轉到 方向所形成的一個角, 是 到原點 的距離,則 的六種三角函數定義為[7]:
正弦 | 餘弦 | 正切 | 餘切 | 正割 | 餘割 |
---|---|---|---|---|---|
這樣可以定義任何角度的三角函數(除非當定義式無意義時)。大於360°或小於-360°的角度可認為是轉了(逆時針/順時針)不止一圈。而多轉或少轉了整數圈不會影響三角函數的取值[8]。如果按弧度制方式記錄角度,將弧長作為三角函數的輸入值(360°等於 ),那麼三角函數就是取值為全體實數R,最小正週期(基本週期)為 的週期函數,如
正弦、餘弦、正割或餘割的基本週期是 弧度或360°;正切或餘切的基本週期是 弧度或180°。
單位圓定義
三角函數亦可以根據直角坐標系 中半徑為1,以圓心為原點 的單位圓來定義[1]。指定一角 ,假設 為起始點,如果 則將 以逆時針方向轉動,如果 則以順時針方向移動,直到轉過的角度等於 為止。假設最終點A轉到的位置為 ,那麼
正弦 | 餘弦 | 正切 | 餘切 | 正割 | 餘割 |
---|---|---|---|---|---|
基本性質
從幾何定義中能推導出很多三角函數的性質。例如正弦函數、正切函數、餘切函數和餘割函數是奇函數,餘弦函數和正割函數是偶函數[9]。正弦和餘弦函數的圖像形狀一樣(見右圖),可以看作是沿着坐標橫軸平移得到的兩組函數。正弦和餘弦函數關於 軸對稱。正切函數和餘切函數、正割函數和餘割函數也分別如此。
三角恆等式
不同的三角函數之間有很多對任意的角度取值都成立的等式,稱為三角恆等式。最著名的是畢達哥拉斯恆等式,它說明對於任何角,正弦的平方加上餘弦的平方必定會是1[1]。這能從斜邊為1的直角三角形應用畢氏定理來得出。利用符號形式表示的話,畢達哥拉斯恆等式為
- 。
因此可以推導出
- 。
- 。
另一個關鍵聯繫是和差公式,它能根據兩個角度自身的正弦和餘弦而給出它們的和與差的正弦和餘弦[1]。它們可以利用幾何的方法使用托勒密的論證方法來推導出來;還可以利用代數方法使用歐拉公式來檢驗[註 2]。
|
|
當兩角相同,和角公式簡化為更簡單的等式,稱為二倍角公式(或倍角公式):
這些等式還可以用來推導積化和差恆等式[10],以前曾經利用它把兩數的積轉換成兩數的和而像對數那樣使運算更快。(用制好的三角函數表)
還有半角公式:
微積分
三角函數的積分和導數可參見導數表、積分表和三角函數積分表。以下是六種基本三角函數的導數和積分。
函數 | ||||||
---|---|---|---|---|---|---|
導數 | ||||||
反導數(不計常數項) |
分析學定義
級數定義
在幾何學中,三角函數的定義建立在幾何直觀上,只用幾何和極限的性質就可以直接得知正弦和餘弦的導數。在分析學中,三角函數是解析函數,數學家利用泰勒級數給出了不依賴幾何直觀的代數定義[11]:
可以證明以上的無窮級數對任意實數 都是收斂的,所以很好地定義了正弦和餘弦函數。
三角函數的級數定義經常用作嚴格處理三角函數和起點應用(比如,在傅立葉級數中),因為無窮級數的理論可以從實數系的基礎發展而來,不需要任何幾何方面的考慮。這樣,這些函數的可微性和連續性便可以單獨從級數定義來確立。
其他三角函數的級數定義:[12]
這些定義也可以看作是每個三角函數作為實函數的泰勒級數。從複分析的一條定理得出,這實函數到複數有唯一的解析擴展。它們有同樣的泰勒級數,複數的三角函數是使用上述級數來定義。
與指數函數和複數的關系
可以從上述的級數定義證明正弦和餘弦函數分別是複指數函數在它的自變量為純虛數時候的虛數和實數部分:
- 。(i是虛數單位)
歐拉首先注意到這關係式,因此叫做歐拉公式[13]。從中可推出,對實數x,
進一步還可定義對複自變量z的三角函數:
(其中 、 、 為雙曲函數,其馬勞克林級數與對應的三角函數很類似,只差在正負號)
較少見的三角函數
除了上述六種基本函數,史上還有下列幾種較少見的三角函數:
- 弦函數( ):早期的三角函數表紀錄的是弦的全長(如托勒密全弦表),對應的三角函數為crd函數。[14]不過今日此函數已被正弦函數取代,已經鮮少使用。
- 正矢( )、餘矢系列函數,與其半值函數(如半正矢系列函數):早期導航術中很重要的三角函數之一,因半正矢公式出名。[15]不過其定義和基本三角函數高度相關,因此在計算機和計數機普及後這個函數已經幾乎沒再使用。
- 外正割( )和外餘割( ):由於正割和餘割部分的數值十分接近一,因此運算時很容易出現災難性抵消或數值誤差,因此出現了外正割和外餘割的函數與函數表來解決這類問題。不過這類問題在計算機和計數機普及後逐漸消失,因此這個函數已經幾乎沒再使用。[15]
正矢 | 半正矢 | ||
餘的正矢 | 餘的半正矢 | ||
餘矢 | 半餘矢 | ||
餘的餘矢 | 餘的半餘矢 | ||
外正割 | 外餘割 | ||
弦函數 |
微分方程定義
三角函數在物理學是研究振動和波不可或缺的工具,如簡諧振動滿足以下微分方程,正弦和餘弦函數都滿足
就是說,它們加上自己的二階導數都等於0函數。在由所有這條方程的解的二維向量空間 中,正弦函數是滿足初始條件 和 的唯一解,而餘弦函數是滿足初始條件 和 的唯一解[16]。因為正弦和餘弦函數是線性無關的,它們在一起形成了 的基。這種定義正弦和餘弦函數的方法本質上等價於使用歐拉公式。(參見線性微分方程)。很明顯這條微分方程不只用來定義正弦和餘弦函數,還可用來證明正弦和餘弦函數的三角恆等式。進一步的,觀察到正弦和餘弦函數滿足 ,這意味着它們是二階導數算子的特徵函數。
正切函數是非線性微分方程
滿足初始條件 的唯一解。有個非常有趣的形象證明證明了正切函數滿足這微分方程,參見Needham的Visual Complex Analysis。[17]
弧度的重要性
弧度通過測量沿着單位圓的路徑的長度而指定一角,並構成正弦和餘弦函數的特定輻角。特別是,只有映射弧度到比率的那些正弦和餘弦函數才滿足描述它們的經典微分方程。如果正弦和餘弦函數的弧度輻角是正比於頻率的
- 。
這裏的 是表示在單位之間映射的常數。如果 是度,則
- 。
這意味着使用度(或圈)的正弦的二階導數不滿足微分方程
- ,
但滿足
- ;
對餘弦也是類似的。
這意味着這些正弦和餘弦是不同的函數,因此只有它的輻角是弧度的條件下,正弦的四階導數才再次是正弦。因為凡是作為函數意義上的正弦、餘弦、正切,都只用弧度定義,而不用360度的角度定義。
利用函數方程定義三角函數
在數學分析中,可以利用基於和差公式這樣的性質的函數方程來定義三角函數。例如,取用給定此種公式和畢達哥拉斯恆等式,可以證明只有兩個實函數滿足這些條件。即存在唯一的一對實函數 和 使得對於所有實數 和 ,下列方程成立[18]:
並滿足附加條件
- 。
計算
計算三角函數是一個十分複雜的主題,由於計算機和提供對任何角度的內置三角函數的科學計算器的廣泛使用,現在大多數人都不再需要了。本節中將描述它在三個重要背景下的計算詳情:歷史上三角函數表的使用、計算機使用的現代技術以及容易找到簡單精確值的一些「重要」角度。(下面只考慮一個角度小範圍,比如0到 ,因為三角函數的週期性和對稱性,所有其他角度可以化簡到這範圍內。)
在計算機誕生前,人們通常通過對計算到多個有效數字的三角函數表的內插來計算三角函數的值。這種表格在人們剛剛產生三角函數的概念的時候就已經有了,它們通常是通過從已知值(比如 )開始並重複應用半角和和差公式而生成[19]。
現代計算機使用了各種技術。[20]一個常見的方式,特別是在有浮點單元的高端處理器上,是組合多項式或有理式逼近(比如柴比雪夫逼近、最佳一致逼近和Padé逼近,和典型用於更高或可變精度的泰勒級數和羅朗級數)和範圍簡約與表查找—首先在一個較小的表中查找最接近的角度,然後使用多項式來計算修正。[21]在缺乏硬件乘法器的簡單設備上,有叫做CORDIC算法的一個更有效算法(和相關技術),因為它只用了移位和加法。出於性能的原因,所有這些方法通常都用硬件來實現。
對於非常高精度的運算,在級數展開收斂變得太慢的時候,可以用算術幾何平均來逼近三角函數,它自身通過複數橢圓積分來逼近三角函數。[22]
三角函數的特殊值
特殊角度可用畢氏定理(即畢氏定理)人手輕易計出三角函數的值。 弧度(3°)的任何整數倍之正弦、餘弦和正切都可人手計算。以下是常用的特殊函數值[23]。
函數 | |||||||
---|---|---|---|---|---|---|---|
註: 有時會寫作無定義(不存在)。
反三角函數
三角函數屬週期函數而不是單射函數,嚴格來說並沒有反函數,要定義其反函數必須先限制三角函數的定義域,使得三角函數成為對射函數。基本的反三角函數定義為[9]:
反三角函數 | 定義 | 值域 |
---|---|---|
對於反三角函數,符號 和 經常用於 和 。使用這種符號的時候,反函數可能跟三角函數的倒數混淆。「 」前綴可避免這種混淆,儘管「 」可能偶爾跟「arcsecond」(角秒)混淆。
正如正弦和餘弦那樣,反三角函數也可以根據無窮級數來定義。例如,
這些函數也可以通過證明它們是其他函數的原函數來定義。例如反正弦函數,可以寫為如下積分[24]:
可以在反三角函數條目中找到類似的公式。使用復對數可把這些函數延伸到複數輻角:
相關定理
三角函數,正如其名,在三角學十分重要。三角學研究發現了許多利用三角函數來刻畫三角形、圓形或多邊形的定理。
正弦定理
正弦定理聲稱對於邊長為 、 和 而相應角為 、 和 的三角形,有[25]:
其中 是三角形的外接圓半徑。正弦定理用於計算已知兩角和一邊時三角形的未知邊長,是三角測量中常見情況,前述為數學常用。至於物理學應用為三分力且合力為0的情況。
餘弦定理
也可表示為
。
餘弦定理用於確定三角形已知兩邊和一角時未知的值。
正切定理[26]
餘切定理
其中 為三角形的內切圓半徑, 為三角形半周長。
週期函數
三角函數在物理也重要,如用正弦和餘弦函數描述簡諧運動,它描述了很多自然現象,比如附着在彈簧上的物體的振動,掛在繩子上物體的小角度擺動。正弦和餘弦函數是圓周運動的一維投影[27]。
三角函數在一般週期函數的研究中也很有用。這些函數有作為圖像的特徵波模式,在描述循環現象比如聲波或光波的時候是很有用的。每個信號都可以記為不同頻率的正弦和餘弦函數的(通常無限)和[28];這是傅立葉分析的基礎想法,這裏的三角級數可以用來解微分方程的各種邊值問題。例如,方波可以寫為傅立葉級數[29]
- 。
右邊動畫可見,只用幾項就形成非常準確的估計。
參見
註釋
參考資料
- ^ 1.0 1.1 1.2 1.3 1.4 蕭樹鐵, 扈志明. 微积分. 北京: 清華大學出版社有限公司. 2006: 8–9 [2013-12-21]. ISBN 7302122148. (原始內容存檔於2013-12-24).}
- ^ 清華大學數學科學系《微積分》編寫組. 微积分(I). 清華大學出版社. 2003 [2013-12-21]. ISBN 9787302067856. (原始內容存檔於2013-12-24).
- ^ 3.0 3.1 3.2 3.3 莫里斯·克萊因 著,張理京,張錦炎,江澤涵 譯. 《古今数学思想》第一册. 上海科學技術出版社. 2002. ISBN 9787532361724.
- ^ 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 (英語).
- ^ 莫里斯·克萊因著,朱學賢,申又棖,葉其孝譯. 《古今数学思想》第二册. 上海科學技術出版社. 2002. ISBN 9787532361731.
- ^ 銳角三角函數 (PDF). [2013-12-21]. (原始內容存檔 (PDF)於2013-12-24).
- ^ 三角函數的定義. Webcai.math.fcu.edu.tw. [2013-12-21]. (原始內容存檔於2014-01-04).
- ^ 廣義角三角函數 (PDF). [2013-12-21]. (原始內容存檔 (PDF)於2013-12-24).
- ^ 9.0 9.1 譚傑鋒, 鄭愛武. 高等数学. 清華大學出版社. 2006 [2013-12-21]. (原始內容存檔於2013-12-24).
- ^ 初三年級. 积化和差公式. Zhongxue.hujiang.com. [2013-12-21]. (原始內容存檔於2013-12-24).
- ^ Ahlfors, pages 43–44.
- ^ Abramowitz; Weisstein.
- ^ Euler (1707-1783) —數學的莎士比亞 (PDF). [2013-12-21]. (原始內容 (PDF)存檔於2007-02-08).
- ^ 蔡聰明. 星空燦爛的數學(I)——托勒密如何編製弦表? (PDF). 數學傳播. 1999年6月, 23卷 (2期): 57–67 [2023-10-27]. (原始內容存檔 (PDF)於2021-05-06).
- ^ 15.0 15.1 Calvert, James B. Trigonometry. 2007-09-14 [2004-01-10] [2015-11-08]. (原始內容存檔於2007-10-02).
- ^ 以微積分方法探討三角函數的性質 (PDF). [2013-12-21]. (原始內容存檔 (PDF)於2013-12-24).
- ^ Needham, p. ix.
- ^ Kannappan, Palaniappan. Functional Equations and Inequalities with Applications. Springer. 2009. ISBN 978-0387894911.
- ^ 和差角公式. Highscope.ch.ntu.edu.tw. 2011-10-19 [2013-12-21]. (原始內容存檔於2013-12-24).
- ^ Kantabutra.
- ^ 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.
- ^ 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).
- ^ 三角函數特殊角的值. Web.ntnu.edu.tw. [2013-12-21]. (原始內容存檔於2013-12-24).
- ^ 雙曲函數及反三角函數. Stat.nuk.edu.tw. [2013-12-21]. (原始內容存檔於2014-04-27).
- ^ 25.0 25.1 正弦定理與餘弦定理 (PDF). [2013-12-21]. (原始內容存檔 (PDF)於2016-05-08).
- ^ Eli Maor, Trigonometric Delights, Princeton University Press, 2002.
- ^ 圓與三角學. Episte.math.ntu.edu.tw. 2004-06-19 [2013-12-21]. (原始內容存檔於2013-04-28).
- ^ 靳希; 楊爾濱; 趙玲. 傅里叶变换. 信号处理原理与应用. 清華大學出版社. 2004 [2013-12-21]. ISBN 9787302083573. (原始內容存檔於2013-12-24).
- ^ 鄧翔宇. 连续信号与系统的频域分析. 信号与系统. 清華大學出版社. 2006 [2013-12-21]. ISBN 9787810827058. (原始內容存檔於2013-12-24).
延伸閱讀
- Abramowitz, Milton、Irene A. Stegun,Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables,Dover,New York(1964年),ISBN 978-0-486-61272-0。
- Boyer, Carl B.,A History of Mathematics,John Wiley & Sons, Inc.,第二版(1991年),ISBN 978-0-471-54397-8。
- Joseph, George G.,The Crest of the Peacock: Non-European Roots of Mathematics,第二版,Penguin Books,London,(2000年),ISBN 978-0-691-00659-8。
- Kantabutra, Vitit,On hardware for computing exponential and trigonometric functions,IEEE Trans. Computers 45 (3), 328-339(1996年)。
- Maor, Eli,Trigonometric Delights,Princeton Univ. Press.(1998年),重印版(2005年2月25日):ISBN 978-0-691-09541-7。
- Needham, Tristan,Preface,Visual Complex Analysis(頁面存檔備份,存於互聯網檔案館),Oxford University Press,(1999年),ISBN 978-0-19-853446-4。
- O'Connor, J.J.、E.F. Robertson,Trigonometric functions,MacTutor History of Mathematics Archive,(1996年)。
- O'Connor, J.J.、E.F. Robertson,Madhava of Sangamagramma(頁面存檔備份,存於互聯網檔案館),MacTutor History of Mathematics Archive,(2000年)。
- Pearce, Ian G.,Madhava of Sangamagramma(頁面存檔備份,存於互聯網檔案館),MacTutor History of Mathematics Archive,(2002年)。
- Weisstein, Eric W.,Tangent(頁面存檔備份,存於互聯網檔案館),MathWorld,2006年1月21日訪問。
- Lars Ahlfors, Complex Analysis: an introduction to the theory of analytic functions of one complex variable, second edition, McGraw-Hill Book Company, New York, 1966.
外部連結
- Engineers Edge的三角函數列表(頁面存檔備份,存於互聯網檔案館)
- nanoSouffle線上繪圖─可繪畫各種函數。可在各瀏覽器使用,JavaScript只用於實時更新,並非必須
- 正弦和餘弦函數─以REXX來表示
- 以角度和弧度表示的角所對應的函數值[永久失效連結]
- http://www.dudefree.com/unitcircle/ (頁面存檔備份,存於互聯網檔案館)
- 常用三角函數表(文字版)