三角函數

標籤: 暫無標籤

1240

更新時間: 2013-07-16

廣告

在數學中,三角函數(也叫做圓函數)是角的函數;它們在研究三角形和建模周期現象和許多其他應用中是很重要的。三角函數通常定義為包含這個角的直角三角形的兩個邊的比率,也可以等價的定義為單位圓上的各種線段的長度。更現代的定義把它們表達為無窮級數或特定微分方程的解,允許它們擴展到任意正數和負數值,甚至是複數值。

廣告

三角函數角 θ的所有三角函數在幾何上可以依據以O點為圓心的單位圓來構造。
在數學中,三角函數,是角的函數;它們在研究三角形和建模周期現象和許多其他應用中是很重要的。三角函數通常定義為包含這個角的直角三角形的兩個邊的比率,也可以等價的定義為單位圓上的各種線段的長度。更現代的定義把它們表達為無窮級數或特定微分方程的解,允許它們擴展到任意正數和負數值,甚至是複數值。

1 三角函數 -概述

三角函數在數學中屬於初等函數里的超越函數的一類函數。它們本質上是任意角的集合與一個比值的集合的變數之間的映射。由於三角函數具有周期性,所以並不具有單射函數意義上的反函數。三角函數在複數中有重要的應用,在物理學中也是常用的工具。

三角函數三角函數: 正弦, 餘弦, 正切, 正割, 餘割, 餘切
由於三角函數的周期性,它並不具有單值函數意義上的反函數。

三角函數在複數中有較為重要的應用。在物理學中,三角函數也是常用的工具。

它有六種基本函數(初等基本表示):

函數名分別是:正弦、餘弦、正切、餘切、正割、餘割

2 三角函數 -基本函數

   函數            簡寫                                           關係
  正弦        Sine             sin            
三角函數關係
  餘弦      Cosine            cos            
三角函數關係
  正切     Tangent         tan(或tg)     
三角函數關係
  餘切   Cotangent   cot(或 ctg、ctn)     
三角函數關係
  正割      Secant             sec             
三角函數關係
  餘割   Cosecant    csc(或 cosec)              
三角函數關係

廣告

3 三角函數 -少用函數

三角函數基本函數
除六個基本函數,歷史上還有下面六個函數:


 

        函數                                                                     關係
        正矢            三角函數關係
       余矢           三角函數關係
      半正矢             三角函數關係
      半余矢             三角函數關係
      外正割                           三角函數關係
      外餘割               三角函數關係


 

廣告

4 三角函數 -歷史

隨著認識到相似三角形在它們的邊之間保持相同的比率,就有了在三角形的邊的長度和三角形的角之間應當有某種標準的對應的想法。就是說對於任何相似三角形,(比如)斜邊和剩下的兩個邊的比率都是相同的。如果斜邊變為兩倍長,其他邊也要變為兩倍長。三角函數表達的就是這些比率。

研究三角函數的有尼西亞的喜帕恰斯(公元前180-125年)、埃及的托勒密(公元90-180年)、Aryabhata(公元476-550年),Varahamihira、婆羅摩笈多、花拉子密、Abū al-Wafā' al-Būzjānī、歐瑪爾·海亞姆、婆什迦羅第二、Nasir al-Din al-Tusi、Ghiyath al-Kashi(14世紀)、Ulugh Beg(14世紀)、約翰·繆勒(1464)、Rheticus和 Rheticus 的學生 Valentin Otho。

Madhava of Sangamagramma(約1400)以無窮級數的方式做了三角函數的分析的早期研究。歐拉的《無窮微量解析入門》(Introductio in Analysin Infinitorum)(1748)對建立三角函數在歐洲的分析處理做了最主要的貢獻,他定義三角函數為無窮級數,並表述了歐拉公式,還有使用接近現代的簡寫 sin.、cos.、tang.、cot.、sec. 和 cosec.。

廣告

5 三角函數 -直角三角定義

直角三角形中
在直角三角形中僅有銳角三角函數的定義。
1.一個銳角的正弦是它的對邊與斜邊的比值。在圖中,sinA = 對邊/斜邊 = a/h。
2.一個銳角的餘弦是它的鄰邊與斜邊的比值。在圖中,cosA= 鄰邊/斜邊 = b/h。
3.一個銳角的正切是它的對邊與鄰邊的比值。在圖中,tanA = 對邊/鄰邊 = a/b。
直角坐標系中

三角函數坐標系
設α是平面直角坐標系xOy中的一個象限角,
三角函數函數
是角的終邊上一點,
三角函數函數
是P到原點O的距離,則α的六個三角函數定義為:
函數名定義函數名定義
正弦三角函數關係餘弦三角函數關係
正切三角函數關係餘切三角函數關係
正割三角函數關係餘割三角函數關係

廣告

6 三角函數 -單位圓定義

三角函數單位圓

六個三角函數也可以依據半徑為一中心為原點的單位圓來定義。單位圓定義在實際計算上沒有大的價值;實際上對多數角它都依賴於直角三角形。但是單位圓定義的確允許三角函數對所有正數和負數輻角都有定義,而不只是對於在 0 和 π/2 弧度之間的角。它也提供了一個圖像,把所有重要的三角函數都包含了。根據勾股定理,單位圓的等式是:

三角函數關係
。圖像中給出了用弧度度量的一些常見的角。逆時針方向的度量是正角,而順時針的度量是負角。設一個過原點的線,同 x 軸正半部分得到一個角 θ,並與單位圓相交。這個交點的 x 和 y 坐標分別等於 cos θ 和 sin θ。圖像中的三角形確保了這個公式;半徑等於斜邊且長度為1,所以有 sin θ = y/1 和 cos θ = x/1。單位圓可以被視為是通過改變鄰邊和對邊的長度,但保持斜邊等於 1的一種查看無限個三角形的方式。

三角函數在笛卡爾平面上 f(x) = sin(x) 和 f(x) = cos(x) 函數的圖像。
對於大於 2π 或小於 −2π 的角度,可直接繼續繞單位圓旋轉。在這種方式下,正弦和餘弦變成了周期為 2π的周期函數:
三角函數關係


三角函數關係

對於任何角度 θ 和任何整數 k。

周期函數的最小正周期叫做這個函數的「基本周期」(primitive period)。正弦、餘弦、正割或餘割的基本周期是全圓,也就是 2π 弧度或 360 度;正切或餘切的基本周期是半圓,也就是 π 弧度或 180 度。上面只有正弦和餘弦是直接使用單位圓定義的,其他四個三角函數可以定義為:

三角函數關係


三角函數關係


三角函數在笛卡爾平面上 f(x) = tan(x) 函數的圖像。
在正切函數的圖像中,在角 kπ 附近變化緩慢,而在接近角 (k 1/2)π 的時候變化迅速。正切函數的圖像在 θ = (k 1/2)π 有垂直漸近線。這是因為在 θ 從左側接進 (k 1/2)π 的時候函數接近正無窮,而從右側接近 (k 1/2)π 的時候函數接近負無窮。

另一方面,所有基本三角函數都可依據中心為 O 的單位圓來定義,類似於歷史上使用的幾何定義。特別是,對於這個圓的弦 AB,這裡的 θ 是對向角的一半,sin(θ) 是 AC (半弦),這是印度的 Aryabhata(AD 476–550)介入的定義。cos(θ) 是水平距離 OC,versin(θ) = 1 − cos(θ) 是 CD。tan(θ) 是通過 A 的切線的線段 AE 的長度,所以這個函數才叫正切。cot(θ) 是另一個切線段 AF。 sec(θ) = OE 和 csc(θ) = OF 是割線(與圓相交於兩點)的線段,所以可以看作 OA 沿著 A 的切線分別向水平和垂直軸的投影。DE 是 exsec(θ) = sec(θ) − 1 (正割在圓外的部分)。通過這些構造,容易看出正割和正切函數在 θ 接近 π/2 (90 度)的時候發散,而餘割和餘切在 θ 接近零的時候發散。

廣告

7 三角函數 -級數定義

只使用幾何和極限的性質,可以證明正弦的導數是餘弦,餘弦的導數是負的正弦。(在微積分中,所有角度都以弧度來度量)。我們可以接著使用泰勒級數的理論來證明下列恆等式對於所有實數 x 都成立 :

三角函數關係



三角函數關係
三角函數正弦函數(藍色)十分接近於它的 5 次泰勒級數(粉紅色)。
這些恆等式經常被用做正弦和餘弦函數的定義。它們經常被用做三角函數的嚴格處理和應用的起點(比如,在傅立葉級數中),因為無窮級數的理論可從實數系的基礎上發展而來,不需要任何幾何方面的考慮。這樣,這些函數的可微性和連續性便可以單獨從級數定義來確立。

其他級數可見於:

三角函數關係
三角函數關係


 
三角函數關係
    
 
三角函數關係
                                                                                                                                                                                                                                                            
               
這裡的:
三角函數數字
是n次上/下數,
三角函數數字
是n次伯努利數,
三角函數數字
(下面的)是n次歐拉數。
         
在這種形式的表達中,分母是相應的階乘,分子稱為「正切數」,它有一個組合解釋:它們枚舉了奇數勢的有限集合的交錯排列(alternatingpermutation)。
三角函數函數
三角函數函數
三角函數函數

sec x

三角函數函數
三角函數函數


在這種形式的表達中,分母是對應的階乘,而分子叫做「正割數」,有組合解釋:它們枚舉偶數勢的有限集合的交錯排列。
cot x

三角函數函數

從複分析的一個定理得出,這個實函數到複數有一個唯一的解析擴展。它們有同樣的泰勒級數,所以複數上的三角函數是使用上述泰勒級數來定義的。
與指數函數和複數的聯繫
可以從上述的級數定義證明正弦和餘弦函數分別是復指數函數在它的自變數為純虛數時候的虛數和實數部分:

三角函數函數


這個聯繫首先由歐拉注意到,叫做歐拉公式。在這種方式下,三角函數在複分析的幾何解釋中變成了本質性的。例如,通過上述恆等式,如果考慮在複平面中eix所定義的單位圓,同上面一樣,我們可以根據餘弦和正弦來把這個圓參數化,復指數和三角函數之間聯繫就變得更加明顯了。

進一步的,這樣就可以定義對復自變數z的三角函數:

三角函數函數



三角函數函數

 


這裡的i2=−1。還有對於純實數x,

三角函數函數



三角函數函數


這種指數過程與周期行為有密切的聯繫。
                                         複平面中的三角函數

   三角函數sin(z)    三角函數cos(z)  三角函數cos(z)
             sin(z)               cos(z)           tan(z)
  三角函數cot(z)    三角函數sec(z) 三角函數csc(z)
             cot(z)               sec(z)               csc(z)

 

廣告

8 三角函數 -微分方程定義

正弦和餘弦函數都滿足微分方程

三角函數函數


就是說,每個都是它自己的二階導數的負數。在由所有這個方程的解的二維向量空間V中,正弦函數是滿足初始條件y(0)=0和y′(0)=1的唯一解,而餘弦函數是滿足初始條件y(0)=1和y′(0)=0的唯一解。因為正弦和餘弦函數是線性無關的,它們在一起形成了V的基。這種定義正弦和餘弦函數的方法本質上等價於使用歐拉公式。(參見線性微分方程)。很明顯這個微分方程不只用來定義正弦和餘弦函數,還可用來證明正弦和餘弦函數的三角恆等式。進一步的,觀察到正弦和餘弦函數滿足

三角函數函數
意味著它們是二階運算元的特徵函數。
正切函數是非線性微分方程
三角函數函數


滿足初始條件y(0)=0的唯一解。有一個非常有趣的形象證明,證明了正切函數滿足這個微分方程。

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

三角函數函數

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

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


這意味著使用度的正弦的二階導數不滿足微分方程
三角函數函數


但滿足

三角函數函數


對餘弦也是類似的。

這意味著這些正弦和餘弦是不同的函數,因此只有它的輻角是弧度的條件下,正弦的四階導數才再次是正弦。

廣告

9 三角函數 -恆等式

三角函數之間存在很多恆等式,其中最常用的是畢達哥拉斯恆等式,它聲稱對於任何角,正弦的平方加上餘弦的平方總是1。這可從斜邊為1的直角三角形應用勾股定理得出。用符號形式表示,畢達哥拉斯恆等式為:

三角函數函數

更常見的寫法是在正弦和餘弦符號之後加「2」次冪:
三角函數函數


在某些情況下裡面的括弧可以省略。

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

三角函數函數


三角函數函數


三角函數函數


三角函數函數

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

這些等式還可以用來推導積化和差恆等式,以前曾用它把兩個數的積變換成兩個數的和而像對數那樣使運算更加快速。
微積分
三角函數的積分和導數可參見導數表、積分表和三角函數積分表。下面是六個基本三角函數的導數和積分的列表。

三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數



 

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

三角函數函數


三角函數函數
三角函數函數

並滿足附加條件

三角函數函數

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

廣告

10 三角函數 -計算

生成三角函數表
有計算機之前,人們通常通過對計算到多個有效數字的三角函數表的內插來計算三角函數的值。這種表格在人們剛剛產生三角函數的概念的時候就已經有了,它們通常是通過從已知值(比如sin(π/2)=1)開始並重複應用半形和和差公式而生成。

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

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

精確三角函數常數
最後對於一些簡單的角度,使用畢達哥拉斯定理可以很容易手工計算三角函數的值,像下面例子這樣。事實上,π/60弧度(3°)的任何整數倍的正弦、餘弦和正切都可以手工計算。

考慮等腰直角三角形,兩個角都是π/4弧度(45°)。鄰邊b和對邊a的長度相等;我們可以選擇a=b=1。π/4弧度(45°)的角的正弦、餘弦和正切可以通過畢達哥拉斯定理來計算:

三角函數函數

所以:

三角函數函數
三角函數函數

 

要確定π/3弧度(60度)和π/6弧度(30度)角的三角函數,我們可以從邊長為1的等邊三角形開始。它所有的角都是π/3弧度(60度)。把它等分為二,我們便得到一個角是π/6弧度(30度)和一個角是π/3弧度(60度)的直角三角形。這個三角形中,最短的邊=1/2、第二短的邊=(√3)/2而斜邊=1。得出:

三角函數函數


三角函數函數
三角函數函數

三角函數的特殊值
三角函數中有一些常用的特殊函數值。

  函數名 三角函數函數   三角函數函數   三角函數函數  三角函數函數  三角函數函數  三角函數函數  三角函數函數
     sin      0 三角函數函數        三角函數數      三角函數數     三角函數數  三角函數數         1
    cos      1 三角函數函數      三角函數數      三角函數數        三角函數數  三角函數數         0
    tan      0 三角函數數      三角函數數          1      三角函數數  三角函數數      三角函數數
    cot   三角函數身上 三角函數數      三角函數數         1      三角函數數  三角函數數         0
    sec      1 三角函數數      三角函數數      三角函數數          2  三角函數數      三角函數數
    csc   三角函數手術室 三角函數數        2     三角函數數      三角函數數  三角函數數         1


 

廣告

11 三角函數 -反三角函數

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

反三角函數定義值域
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數
三角函數函數三角函數函數三角函數函數

對於反三角函數,符號sin−1和cos−1經常用於arcsin和arccos。使用這種符號的時候,反函數可能跟三角函數的倒數混淆。使用「arc-」前綴的符號避免了這種混淆,儘管「arcsec」可能偶爾跟「arcsecond」混淆。

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

三角函數函數

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

三角函數函數

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

三角函數函數
三角函數函數


 

三角函數函數

廣告

12 三角函數 -性質和應用

三角函數,正如其名稱那樣,在三角學中是十分重要的,主要是因為下列兩個結果。

正弦定理
正弦定理聲稱對於邊長為a,b和c而相應角為A,B和C的三角形,有:

三角函數函數

也可表示為:

三角函數函數


 

其中R是三角形的外接圓半徑。

三角函數利薩茹曲線,一種三角基的函數形成的圖像。
它可以通過把三角形分為兩個直角三角形並使用上述正弦的定義來證明。在這個定理中出現的公共數(sinA)/a是通過A,B和C三點的圓的直徑的倒數。正弦定理用於在一個三角形的兩個角和一個邊已知時計算未知邊的長度。這是三角測量中常見情況。

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

三角函數函數

也可表示為:

三角函數函數

這個定理也可以通過把三角形分為兩個直角三角形來證明。餘弦定理用於在一個三角形的兩個邊和一個角已知時確定未知的數據。

如果這個角不是兩條邊的夾角,那麼三角形可能不是唯一的(邊-邊-角)。要小心餘弦定理的這種歧義情況。

正切定理
正切定理:

三角函數函數

周期函數

三角函數諧波數目遞增的方波的加法合成的動畫。
三角函數在物理中也是重要的。例如,正弦和餘弦函數被用來描述簡諧運動,它描述了很多自然現象,比如附著在彈簧上的物體的振動,掛在繩子上物體的小角度擺動。正弦和餘弦函數是圓周運動的一維投影。

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

三角函數函數

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

廣告

13 三角函數 -三角函數在解三次方程中的應用

一元三次方程的解是三個不相等的實根時,可用三角函數知識求出方程的解。
一元三次方程aX^3+bX^2+cX+d=0,(a,b,c,d∈R,且a≠0)
重根判別式:A=b^2-3ac;B=bc-9ad;C=c^2-3bd。
總判別式:Δ=B^2-4AC。

盛金公式4盛金公式4

 

 

 

 

 

 

例:一建築物的樓頂要建一個儲水池,按施工的設計要求,這個儲水池的長、寬、高之和為70.5dm(為了減少佔用樓頂面積,取長>高>寬),滿儲水量為10082.44(dm)^3,立體對角線為1903.17dm,問:如何施工才能達到設計要求?
解:設取長、寬、高分別為X⑴、X⑵、X⑶,依題意:
X⑴+X⑵+X⑶=70.5
X⑴·X⑵·X⑶=10082.44
X⑴^2+X⑵^2+X⑶^2=1903.17。
解這個方程組。
根據韋達定理,得一元三次方程:
X^3-70.5X^2+1533.54X-10082.44=0
a=1,b=-70.5,c=1533.54,d=-10082.44。
A=369.63;B=-17372.61;C=219308.8716,
Δ=-22444974.63<0。
根據盛金判別法,此方程有三個不相等的實根。
應用盛金公式4求解。
θ=90°。
把有關值代入盛金公式④,得:
X⑴=12.4(dm);X⑵=34.6(dm);X⑶=23.5(dm)。
經檢驗,結果正確。
因為取長>高>寬,
所以,應取長為34.6dm;高為23.5dm;寬為12.4dm來進行施工。

廣告