三角函數(快來看看)

巭孬嫑昆 2024-06-18 01:12 14次浏览 0 条评论 taohigo.com

三角函數(英語:Trigonometric functions)是數學中常見的一類關於角度的函數。三角函數將直角三角形的內角和它的兩個邊的比值相關聯,也可以等價地用與單位圓有關的各種線段的長度來定義。三角函數在研究三角形和圓等幾何形狀的性質時有重要作用,也是研究振動、波、天體運動以及各種周期性現象的基礎數學工具[1]。在數學分析中,三角函數也被定義為無窮級數或特定微分方程的解,允許它們的取值擴展到任意實數值,甚至是復數值。

三角函數: 正弦、 馀弦、 正切、 馀割(鏈線)、 正割(鏈線)、 馀切(鏈線)

常見的三角函數包括正弦函數({displaystyle sin }

)、餘弦函數({displaystyle cos }

)和正切函數({displaystyle tan }

或者{displaystyle operatorname {tg} }

)[1];在航海學、測繪學、工程學等其他學科中,還會用到如餘切函數({displaystyle cot }

或者{displaystyle operatorname {ctg} }

)、正割函數({displaystyle sec }

)、餘割函數({displaystyle csc }

)、正矢函數、半正矢函數等其他的三角函數。不同的三角函數之間的關系可以通過幾何直觀或者計算得出,稱為三角恒等式。

三角函數一般用於計算三角形中未知長度的邊和未知的角度,在導航、工程學以及物理學方面都有廣泛的用途。另外,以三角函數為模版,可以定義一類相似的函數,叫做雙曲函數[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.cosec.

1631年徐光啟與鄧玉函、湯若望合撰《大測》首次將三角函數引入中國並確立瞭正弦、餘弦等譯名。

幾何定義

直角三角形中的定義

a, b, h分別為角A的對邊、鄰邊和斜邊

在直角三角形中僅有銳角(大小在0到90度之間的角)三角函數的定義[6]。給定一個銳角{displaystyle theta }

,可以做出一個直角三角形,使得其中的一個內角是{displaystyle theta }

。設這個三角形中,{displaystyle theta }

的對邊、鄰邊和斜邊長度分別是{displaystyle a,b,h}

,那麼

{displaystyle theta }

的正弦是對邊與斜邊的比值:{displaystyle sin {theta }={frac {a}{h}}}

{displaystyle theta }

的馀弦是鄰邊與斜邊的比值:{displaystyle cos {theta }={frac {b}{h}}}

{displaystyle theta }

的正切是對邊與鄰邊的比值:{displaystyle tan {theta }={frac {a}{b}}}

{displaystyle theta }

的餘切是鄰邊與對邊的比值:{displaystyle cot {theta }={frac {b}{a}}}

{displaystyle theta }

的正割是斜邊與鄰邊的比值:{displaystyle sec {theta }={frac {h}{b}}}

{displaystyle theta }

的馀割是斜邊與對邊的比值:{displaystyle csc {theta }={frac {h}{a}}}

直角坐標系中的定義

設{displaystyle P(x,y)}

是平面直角坐標系{displaystyle xOy}

中的一個點,{displaystyle theta }

是橫軸正向{displaystyle {vec {Ox}}}

逆時針旋轉到{displaystyle {vec {OP}}}

方向所形成的角,{displaystyle r={sqrt {x^{2}+y^{2}}}>0}

是{displaystyle P}

到原點{displaystyle O}

的距離,則{displaystyle theta }

的六個三角函數定義為[7]:

更多信息: 正弦, 馀弦 …

這樣可以對0到360度的角度定義三角函數。要註意的是以上的定義都隻在定義式有意義的時候成立。比如說當{displaystyle x=0}

的時候,{displaystyle {frac {y}{x}}}

和{displaystyle {frac {r}{x}}}

都沒有意義,這說明對於90度角和270度角,正切和正割沒有定義。同樣地,對於0度角和180度角,餘切和餘割沒有定義。

單位圓定義

三角函數也可以依據直角坐標系{displaystyle xOy}

中半徑為1,圓心為原點{displaystyle O}

的單位圓來定義[1]。給定一個角度{displaystyle theta }

,設{displaystyle A(1,0)}

為起始點,如果{displaystyle theta >0}

則將{displaystyle OA}

逆時針轉動,如果{displaystyle theta <0}

則順時針移動,直到轉過的角度等於{displaystyle theta }

為止。設最終點A轉到的位置為{displaystyle P(x,y)}

,那麼:

更多信息: 正弦, 馀弦 …

用單位圓定義三角函數

這個定義和坐標系的定義類似,但角度θ可以是任何的數值。對於大於360°或小於-360°的角度,可以認為是逆時針(順時針)旋轉瞭不止一圈。而多轉或少轉瞭整數圈不會影響三角函數的取值[8]。如果按弧度制的方式記錄角度,將弧長作為三角函數的輸入值(360°等於{displaystyle 2pi }

),那麼三角函數就是取值為全體實數R,周期為{displaystyle 2pi }

的周期函數。比如:

{displaystyle sin theta =sin left(theta +2pi kright),quad forall theta in mathbb {R} ,;;kin mathbb {Z} }

{displaystyle cos theta =cos left(theta +2pi kright),quad forall theta in mathbb {R} ,;;kin mathbb {Z} }

周期函數的最小正周期叫做這個函數的基本周期。正弦、餘弦、正割或餘割的基本周期是{displaystyle 2pi }

弧度或360°;正切或餘切的基本周期是{displaystyle pi }

弧度或180°。

基本性質

在直角坐標系平面上f(x) = sin(x)和f(x) = cos(x)函數的圖像。

從幾何定義中可以推導出很多三角函數的性質。比如說,正弦函數、正切函數、餘切函數和餘割函數是奇函數,餘弦函數和正割函數是偶函數[9]。正弦和餘弦函數的圖像形狀一樣(見右圖),可以看作是沿坐標橫軸平移得到的兩個函數。正弦和餘弦函數關於{displaystyle x={frac {pi }{4}}}

軸對稱。正切函數和餘切函數、正割函數和餘割函數也分別如此。

三角恒等式

主條目:三角恒等式

不同的三角函數之間存在很多對任意的角度取值都成立的等式,被稱為三角恒等式。其中最著名的是畢達哥拉斯恒等式,它說明對於任何角,正弦的平方加上餘弦的平方總是1[1]。這可從斜邊為1的直角三角形應用勾股定理得出。用符號形式表示,畢達哥拉斯恒等式為:

{displaystyle sin ^{2}!x+cos ^{2}!x=1.}

因此可推導出:

{displaystyle tan ^{2}!x+1=sec ^{2}!x.}

{displaystyle 1+cot ^{2}!x=csc ^{2}!x.}

另一個關鍵的聯系是和差公式,它根據兩個角度自身的正弦和餘弦而給出它們的和與差的正弦和餘弦[1]。它們可以用幾何的方法使用托勒密的論證方法推導出來;還可以用代數方法使用歐拉公式得出。

{displaystyle sin left(x+yright)=sin xcos y+cos xsin y}

{displaystyle cos left(x+yright)=cos xcos y-sin xsin y}

{displaystyle sin left(x-yright)=sin xcos y-cos xsin y}

{displaystyle cos left(x-yright)=cos xcos y+sin xsin y}

當兩個角相同的時候,和角公式簡化為更簡單的等式,稱為二倍角公式(或倍角公式)。

這些等式還可以用來推導積化和差恒等式[10],以前曾用它把兩個數的積變換成兩個數的和而像對數那樣使運算更加快速。(利用制好的三角函數表)

微積分

三角函數的積分和導數可參見導數表、積分表和三角函數積分表。下面是六個基本三角函數的導數和積分的列表。

更多信息: 函數, sin ⁡ x {displaystyle , sin x} …

分析學定義

級數定義

正弦函數(藍色)十分接近於它的7次泰勒級數(粉紅色)。

幾何學中,三角函數的定義是建立在幾何直觀上的,隻用幾何和極限的性質,就可直接獲知正弦和馀弦的導數。分析學中,三角函數是解析函數,數學傢用泰勒級數給出瞭不依賴幾何直觀的代數定義[11]:

{displaystyle sin x=sum _{n=0}^{infty }{frac {(-1)^{n}x^{2n+1}}{(2n+1)!}}=x-{frac {x^{3}}{3!}}+{frac {x^{5}}{5!}}-{frac {x^{7}}{7!}}+cdots }

{displaystyle cos x=sum _{n=0}^{infty }{frac {(-1)^{n}x^{2n}}{(2n)!}}=1-{frac {x^{2}}{2!}}+{frac {x^{4}}{4!}}-{frac {x^{6}}{6!}}+cdots }

可以證明以上的無窮級數對任意實數{displaystyle x}

都是收斂的,所以很好地定義瞭正弦和餘弦函數。

三角函數的級數定義經常被用做三角函數的嚴格處理和應用的起點(比如,在傅立葉級數中),因為無窮級數的理論可從實數系的基礎上發展而來,不需要任何幾何方面的考慮。這樣,這些函數的可微性和連續性便可以單獨從級數定義來確立。

其他三角函數的級數定義:[12]

{displaystyle tan x=sum _{n=1}^{infty }{frac {(-1)^{n-1}2^{2n}(2^{2n}-1)B_{2n}x^{2n-1}}{(2n)!}}=x+{frac {x^{3}}{3}}+{frac {2x^{5}}{15}}+{frac {17x^{7}}{315}}+cdots left(|x|<{frac {pi }{2}}right)}

{displaystyle csc x=sum _{n=0}^{infty }{frac {(-1)^{n+1}2(2^{2n-1}-1)B_{2n}x^{2n-1}}{(2n)!}}={frac {1}{x}}+{frac {x}{6}}+{frac {7x^{3}}{360}}+{frac {31x^{5}}{15120}}+cdots (0<|x|<pi )}

{displaystyle sec x=sum _{n=0}^{infty }{frac {(-1)^{n}E_{n}x^{2n}}{(2n)!}}=1+{frac {x^{2}}{2}}+{frac {5x^{4}}{24}}+{frac {61x^{6}}{720}}+cdots left(|x|<{frac {pi }{2}}right)}

{displaystyle cot x=sum _{n=0}^{infty }{frac {(-1)^{n}2^{2n}B_{2n}x^{2n-1}}{(2n)!}}={frac {1}{x}}-{frac {x}{3}}-{frac {x^{3}}{45}}-{frac {2x^{5}}{945}}-cdots (0<|x|<pi )}

其中{displaystyle B_{n},}

是伯努利數,{displaystyle E_{n},}

是歐拉數。

這些定義也可以看作是每個三角函數作為實函數的泰勒級數。從復分析的一個定理得出,這個實函數到復數有一個唯一的解析擴展。它們有同樣的泰勒級數,所以復數上的三角函數是使用上述級數來定義的。

與指數函數和復數的聯系

可以從上述的級數定義證明正弦和餘弦函數分別是復指數函數在它的自變量為純虛數時候的虛數和實數部分:

{displaystyle e^{{mathrm {i} }theta }=cos theta +{mathrm {i} }sin theta ,.}

(i是虛數單位)

這個關系式首先被歐拉註意到,因此叫做歐拉公式[13] 。從中可推出,對實數x

{displaystyle cos x,=,operatorname {Re} ;left(e^{{mathrm {i} }x}right);;,qquad quad sin x,=,operatorname {Im} ;left(e^{{mathrm {i} }x}right)}

進一步還可以定義對復自變量z的三角函數:

{displaystyle sin z,=,sum _{n=0}^{infty }{frac {(-1)^{n}}{(2n+1)!}}z^{2n+1},=,{e^{{mathrm {i} }z}-e^{-{mathrm {i} }z} over 2{mathrm {i} }}=-{mathrm {i} }sinh left({mathrm {i} }zright)}

{displaystyle cos z,=,sum _{n=0}^{infty }{frac {(-1)^{n}}{(2n)!}}z^{2n},=,{e^{{mathrm {i} }z}+e^{-{mathrm {i} }z} over 2}=cosh left({mathrm {i} }zright)}

{displaystyle sin(a+bmathrm {i} )=sin acosh b+(cos asinh b)mathrm {i} }

{displaystyle cos(a+bmathrm {i} )=cos acosh b-(sin asinh b)mathrm {i} }

{displaystyle tan(a+bmathrm {i} )={frac {tan a+(tanh b)mathrm {i} }{1-(tan atanh b)mathrm {i} }}}

復平面中的三角函數(亮度表示函數值的絕對值,色相表示函數值的主輻角)

{displaystyle sin(z)}

{displaystyle cos(z)}

{displaystyle tan(z)}

{displaystyle cot(z)}

{displaystyle sec(z)}

{displaystyle csc(z)}

較少見的三角函數

除瞭上述六個基本函數,歷史上還有下列幾個較少見的三角函數:

正矢

{displaystyle mathrm {versin} ;theta =1-cos theta }

半正矢

{displaystyle mathrm {haversin} ;theta ={frac {1-cos theta }{2}}}

{displaystyle mathrm {vercosin} ;theta =1+cos theta }

{displaystyle mathrm {havercosin} ;theta ={frac {1+cos theta }{2}}}

馀矢

{displaystyle mathrm {coversin} ;theta =1-sin theta }

半馀矢

{displaystyle mathrm {hacoversin} ;theta ={frac {1-sin theta }{2}}}

{displaystyle mathrm {covercosin} ;theta =1+sin theta }

{displaystyle mathrm {hacovercosin} ;theta ={frac {1+sin theta }{2}}}

外正割

{displaystyle mathrm {exsec} ;theta =sec theta -1}

外馀割

{displaystyle mathrm {excsc} ;theta =csc theta -1}

微分方程定義

三角函數在物理學中是研究振動和波的不可或缺的工具。例如簡諧振動滿足以下微分方程,正弦和餘弦函數都滿足

{displaystyle y''+y=0,}

就是說,它們加上自己的二階導數都等於0函數。在由所有這個方程的解的二維向量空間{displaystyle V}

中,正弦函數是滿足初始條件{displaystyle y(0)=0}

和{displaystyle y'(0)=1}

的唯一解,而餘弦函數是滿足初始條件{displaystyle y(0)=1}

和{displaystyle y'(0)=0}

的唯一解[14]。因為正弦和餘弦函數是線性無關的,它們在一起形成瞭{displaystyle V}

的基。這種定義正弦和餘弦函數的方法本質上等價於使用歐拉公式。(參見線性微分方程)。很明顯這個微分方程不隻用來定義正弦和餘弦函數,還可用來證明正弦和餘弦函數的三角恒等式。進一步的,觀察到正弦和餘弦函數滿足{displaystyle y''=-y,}

,這意味著它們是二階導數算子的特征函數。

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

{displaystyle y'=1+y^{2},}

滿足初始條件{displaystyle y(0)=0}

的唯一解。有一個非常有趣的形象證明,證明瞭正切函數滿足這個微分方程;參見Needham的Visual Complex Analysis。[15]

弧度的重要性

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

{displaystyle f(x)=sin(kx);kneq 0,kneq 1,}

則導數將正比於“振幅”。

{displaystyle f'(x)=kcos(kx),}

.

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

{displaystyle k={frac {pi }{180^{circ }}}.}

如果x是圈(轉,{displaystyle 2pi }

弧度,{displaystyle 360}

度),則

{displaystyle k=2pi }

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

{displaystyle y''=-y,}

,

但滿足

{displaystyle y''=-k^{2}y,}

;

對餘弦也是類似的。

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

利用函數方程定義三角函數

在數學分析中,可以利用基於和差公式這樣的性質的函數方程來定義三角函數。例如,取用給定此種公式和畢達哥拉斯恒等式,可以證明隻有兩個實函數滿足這些條件。即存在唯一的一對實函數{displaystyle sin }

和{displaystyle cos }

使得對於所有實數{displaystyle x}

和{displaystyle y}

,下列方程成立[16]:

{displaystyle sin ^{2}!x+cos ^{2}!x=1,,}

{displaystyle sin(x+y)=sin !xcos !y+cos !xsin !y,,}

{displaystyle cos(x+y)=cos !xcos !y-sin !xsin !y,,}

並滿足附加條件

{displaystyle 0<x!cos !x<sin !x<x mathrm {for} qquad 0<x<1}

.

從其他函數方程開始的推導也是可能的,這種推導可以擴展到復數。作為例子,這個推導可以用來定義伽羅瓦域中的三角學。

計算

三角函數的計算是個復雜的主題,由於計算機和提供對任何角度的內置三角函數的科學計算器的廣泛使用,現在大多數人都不需要瞭。本節中將描述它在三個重要背景下的計算詳情:歷史上三角函數表的使用,計算機使用的現代技術,以及容易找到簡單精確值的一些“重要”角度。(下面隻考慮一個角度小范圍,比如0到{displaystyle {frac {pi }{2}}}

,因為通過三角函數的周期性和對稱性,所有其他角度可以化簡到這個范圍內。)

主條目:生成三角函數表

有計算機之前,人們通常通過對計算到多個有效數字的三角函數表的內插來計算三角函數的值。這種表格在人們剛剛產生三角函數的概念的時候就已經有瞭,它們通常是通過從已知值(比如{displaystyle sin {frac {pi }{2}}=1}

)開始並重復應用半角和和差公式而生成[17]。

現代計算機使用瞭各種技術。[18]一個常見的方式,特別是在有浮點單元的高端處理器上,是組合多項式或有理式逼近(比如切比雪夫逼近、最佳一致逼近和Padé逼近,和典型用於更高或可變精度的泰勒級數和羅朗級數)和范圍簡約與表查找—首先在一個較小的表中查找最接近的角度,然後使用多項式來計算修正。[19]在缺乏硬件乘法器的簡單設備上,有叫做CORDIC算法的一個更有效算法(和相關技術),因為它隻用瞭移位和加法。出於性能的原因,所有這些方法通常都用硬件來實現。

對於非常高精度的運算,在級數展開收斂變得太慢的時候,可以用算術幾何平均來逼近三角函數,它自身通過復數橢圓積分來逼近三角函數。[20]

三角函數的特殊值

主條目:三角函數精確值

如圖所示,大小為 {displaystyle 30^{circ }}

和 {displaystyle 45^{circ }}

的整數倍的{displaystyle theta }

角和它們的精確正弦和餘弦值已被標註在單位圓上。{displaystyle theta }

角均用弧度制和角度制表示。{displaystyle theta }

角所對應的單位圓上的點的坐標為({displaystyle cos theta }

,{displaystyle sin theta }

)。

對於一些簡單的角度,使用畢達哥拉斯定理(也就是勾股定理)可以很容易手工計算三角函數的值。事實上,{displaystyle pi /60}

弧度(3°)的任何整數倍的正弦、餘弦和正切都可以手工計算。以下是一些常用的特殊函數值[21]。

更多信息: 函數名, 0 ( 0 ∘ ) {displaystyle 0 (0^{circ })} …

註:有時候{displaystyle pm infty }

會被寫作無定義(不存在)。

反三角函數

主條目:反三角函數

由於三角函數屬於周期函數,而不是單射函數,所以嚴格來說並沒有反函數。因此要定義其反函數必須先限制三角函數的定義域,使得三角函數成為雙射函數。基本的反三角函數定義為[9]:

更多信息: 反三角函數, 定義 …

對於反三角函數,符號{displaystyle sin ^{-1}}

和{displaystyle cos ^{-1}}

經常用於{displaystyle arcsin }

和{displaystyle arccos }

。使用這種符號的時候,反函數可能跟三角函數的倒數混淆。使用“{displaystyle mathrm {arc-} }

”前綴的符號避免瞭這種混淆,盡管“{displaystyle operatorname {arcsec} }

”可能偶爾跟“arcsecond”混淆。

正如正弦和餘弦那樣,反三角函數也可以根據無窮級數來定義。例如,

{displaystyle arcsin z=z+left({frac {1}{2}}right){frac {z^{3}}{3}}+left({frac {1cdot 3}{2cdot 4}}right){frac {z^{5}}{5}}+left({frac {1cdot 3cdot 5}{2cdot 4cdot 6}}right){frac {z^{7}}{7}}+cdots }

這些函數也可以通過證明它們是其他函數的原函數來定義。例如反正弦函數,可以寫為如下積分[22]:

{displaystyle arcsin left(xright)=int _{0}^{x}{frac {1}{sqrt {1-z^{2}}}},mathrm {d} z,quad |x|<1}

可以在反三角函數條目中找到類似的公式。使用復對數,可以把這些函數推廣到復數輻角上:

{displaystyle arcsin(z)=-{mathrm {i} }ln left({mathrm {i} }z+{sqrt {1-z^{2}}}right)}

{displaystyle arccos(z)=-{mathrm {i} }ln left(z+{sqrt {z^{2}-1}}right)}

{displaystyle arctan(z)={frac {mathrm {i} }{2}}ln left({frac {1-{mathrm {i} }z}{1+{mathrm {i} }z}}right)}

相關定理

三角函數,正如其名稱那樣,在三角學中是十分重要的。在三角學研究中,數學傢們發現瞭許多利用三角函數來刻畫三角形、圓形或多邊形的定理。

正弦定理

主條目:正弦定理

利薩茹曲線,一種三角基的函數形成的圖像。

正弦定理聲稱對於邊長為{displaystyle a}

, {displaystyle b}

和{displaystyle c}

而相應角為{displaystyle A}

, {displaystyle B}

和{displaystyle C}

的三角形,有[23]:

{displaystyle {frac {a}{sin A}}={frac {b}{sin B}}={frac {c}{sin C}}=2R}

其中{displaystyle R}

是三角形的外接圓半徑。正弦定理用於在一個三角形的兩個角和一個邊已知時計算未知邊的長度。這是三角測量中常見情況。

餘弦定理

主條目:餘弦定理

餘弦定理(也叫做餘弦公式)是托勒密定理的推廣[23]:

{displaystyle c^{2}=a^{2}+b^{2}-2abcos C}

也可表示為:

{displaystyle cos C={frac {a^{2}+b^{2}-c^{2}}{2ab}}}

餘弦定理用於在一個三角形的兩個邊和一個角已知時確定未知的數據。

正切定理

主條目:正切定理

還有一個正切定理[24]:

{displaystyle {frac {a+b}{a-b}}={frac {tan {dfrac {A+B}{2}}}{tan {dfrac {A-B}{2}}}}}

馀切定理

主條目:馀切定理

{displaystyle cot {frac {alpha }{2}}={frac {s-a}{zeta }}}

其中 {displaystyle zeta ={sqrt {{frac {1}{s}}(s-a)(s-b)(s-c)}}}

為三角形的內切圓半徑, {displaystyle s={frac {a+b+c}{2}}}

為三角形的半周長。

正割定理

馀割定理

周期函數

諧波數目遞增的方波的加法合成的動畫。

三角函數在物理中也是重要的。例如,正弦和餘弦函數被用來描述簡諧運動,它描述瞭很多自然現象,比如附著在彈簧上的物體的振動,掛在繩子上物體的小角度擺動。正弦和餘弦函數是圓周運動的一維投影[25]。

三角函數在一般周期函數的研究中也很有用。這些函數有作為圖像的特征波模式,在描述循環現象比如聲波或光波的時候是很有用的。每一個信號都可以記為不同頻率的正弦和餘弦函數的(通常是無限的)和[26];這是傅立葉分析的基礎想法,這裡的三角級數可以用來解微分方程的各種邊值問題。例如,方波可以寫為傅立葉級數[27]

{displaystyle x_{mathrm {square} }(t)={frac {4}{pi }}sum _{k=1}^{infty }{sin {left[(2k-1)tright]} over (2k-1)}.}

在右邊的動畫中,可以看到隻用少數的項就已經形成瞭非常準確的估計。

(維基百科)