茶年 · 中文维基百科

三角函数

Wikipedia · 2026-07-05 维基百科 👁 1 阅读

）]]

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

常見的三角函数有正弦函数（\sin）、余弦函数（\cos）和正切函数（\tan或\operatorname{tg}或\operatorname{tang}）。常见的双曲函数也称双曲正弦函数、双曲余弦函数等。

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

希腊文化传播到古印度后，印度人繼續研究了三角术。公元5世纪末的数学家阿耶波多提出用弧对应的弦长的一半来对应半弧的正弦，後来古印度数学家亦用了这做法，和现代的正弦定义一致。欧拉的《无穷小量分析引论》（，1748年）对建立三角函数的分析处理做了最主要的贡献，他定义三角函数为无穷级数，并表述了欧拉公式，还有使用接近现代的简写、、、、和（）。

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

几何定义
以直角三角形來定义
直角三角形只有锐角（大小在0至90度之间的角）三角函数的定义。指定锐角\theta可做出直角三角形，使一個内角為\theta，對應股（对边a）、勾（邻边b）和弦（斜边h）：

以直角坐标系來定义
假设P(x,y)是平面直角坐标系xOy中的一点，\theta是横轴正向\vec{Ox}逆时针旋转到\vec{OP}方向所形成的一個角，r = \sqrt {x^2 + y^2 }>0是P到原点O的距离，则\theta的六種三角函数定义为：

这样可以定义任何角度的三角函数（除非当定义式无意义时）。大于360°或小于-360°的角度可认为是转了（逆时针／顺时针）不止一圈。而多转或少转了整数圈不会影响三角函数的取值。如果按弧度制方式记录角度，将弧长作为三角函数的输入值（360°等于2\pi），那么三角函数就是取值为全体实数R，最小正周期（基本周期）为2\pi的周期函数，如
:\sin\theta = \sin\left(\theta + 2\pi k \right), \quad \forall \theta \in \mathbb{R}, \; \; k \in \mathbb{Z}
:\cos\theta = \cos\left(\theta + 2\pi k \right), \quad \forall \theta \in \mathbb{R}, \; \; k \in \mathbb{Z}

正弦、余弦、正割或余割的基本周期是2\pi弧度或360°；正切或余切的基本周期是\pi弧度或180°。

单位圆定义
三角函数亦可以根据直角坐标系xOy中半径为1，以圆心为原点O的单位圆来定义，以前曾經利用它把两数的积变换成两数的和而像对数那样使运算更快。（用制好的三角函数表）

還有半角公式：

:\sin \frac{x}{2} = \pm \sqrt{\frac{1-\cos x}{2}}
:\cos \frac{x}{2} = \pm \sqrt{\frac{1+\cos x}{2}}
:\tan \frac{x}{2} = \pm \sqrt{\frac{1-\cos x}{1+\cos x}} = \frac{1-\cos x}{\sin x} = \frac{\sin x}{1+\cos x}

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

分析学定义
級數定義
在几何学中，三角函数的定义建立在几何直观上，只用几何和极限的性质就可以直接得知正弦和餘弦的導數。在分析学中，三角函數是解析函數，数学家利用泰勒級數给出了不依赖几何直观的代数定义：
:\sin x = \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)!}= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots
:\cos x = \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!}= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots
可以证明以上的无穷级数对任意实数x都是收敛的，所以很好地定义了正弦和余弦函数。

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

其他三角函数的级数定义：
:
\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{2 x^5}{15} + \frac{17 x^7}{315} + \cdots \left( |x|
:
\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 {7 x^3} {360} + \frac {31 x^5} {15120} + \cdots (0
:
\sec x =\sum_{n=0}^\infty \frac{(-1)^n E_n x^{2n}}{(2n)!} = 1 + \frac {x^2} {2} + \frac {5 x^4} {24} + \frac {61 x^6} {720} + \cdots \left( |x|
:
\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 {2 x^5} {945} - \cdots ( 0
其中B_n \,是伯努利数，E_n \,是欧拉数。

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

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

: e^{{\mathrm{i}}\theta} = \cos\theta + {\mathrm{i}}\sin\theta \,。（是虚数单位）

欧拉首先注意到这关系式，因此叫做欧拉公式。从中可推出，对实数，
: \cos x \, = \, \operatorname{Re} \; \left(e^{{\mathrm{i}}x}\right) \; \; , \qquad \quad \sin x \, = \, \operatorname{Im} \; \left(e^{{\mathrm{i}}x}\right)
进一步还可定义对複自变量的三角函数：
: \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}}z\right)
: \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}}z\right)

: \sin (a+b\mathrm{i}) = \sin a \cosh b + (\cos a \sinh b)\mathrm{i}

: \cos (a+b\mathrm{i}) = \cos a \cosh b - (\sin a \sinh b)\mathrm{i}

: \tan (a+b\mathrm{i}) = \frac{\tan a + (\tanh b)\mathrm{i}}{1 - (\tan a \tanh b)\mathrm{i}}

（其中\sinh、\cosh、\tanh為雙曲函數，其馬勞克林級數與對應的三角函數很類似，只差在正負號）

较少見的三角函數
（versin、vercos）、餘矢（coversin、covercos）、弦函數（crd）、外正割（exsec）和外餘割（excsc）]]
除了上述六種基本函數，史上還有下列幾種较少見的三角函数：
*弦函數（\mathrm{crd}\; \theta）：早期的三角函數表紀錄的是弦的全長（如托勒密全弦表），對應的三角函數為crd函數。不過今日此函數已被正弦函數取代，已經鮮少使用。
*正矢（\mathrm{versin}\; \theta）、餘矢系列函數，與其半值函數（如半正矢系列函數）：早期導航術中很重要的三角函數之一，因半正矢公式出名。不過其定義和基本三角函數高度相關，因此在-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-和-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-普及後這個函數已經幾乎沒再使用。
外正割（\mathrm{exsec}\; \theta）和外餘割（\mathrm{excsc}\; \theta）：由於正割和餘割部分的數值十分接近一，因此運算時很容易出現灾难性抵消或數值誤差，因此出現了外正割和外餘割的函數與函數表來解決這類問題。不過這類問題在-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-和-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-普及後逐漸消失，因此這個函數已經幾乎沒再使用。。因为正弦和余弦函数是线性无关的，它们在一起形成了V的基。这种定义正弦和余弦函数的方法本质上等价于使用欧拉公式。（参见线性微分方程）。很明显这條微分方程不只用来定义正弦和余弦函数，还可用来证明正弦和余弦函数的三角恒等式。进一步的，观察到正弦和余弦函数满足y=-y \,，这意味着它们是二阶导数算子的特征函数。

正切函数是非线性微分方程
:y'=1+y^2 \,

满足初始条件y(0) = 0的唯一解。有个非常有趣的形象证明证明了正切函数满足这微分方程，参见的Visual Complex Analysis。

弧度的重要性
弧度通过测量沿着单位圆的路径的长度而指定一角，并构成正弦和余弦函数的特定辐角。特别是，只有映射弧度到比率的那些正弦和余弦函数才满足描述它们的经典微分方程。如果正弦和余弦函数的弧度辐角是正比于频率的
:f(x) = \sin(kx); k \ne 0, k \ne 1 \,
则导数将正比于“振幅”。
:f'(x) = k\cos(kx) \,。

这里的k是表示在单位之间映射的常数。如果x是度，则
:k = \frac{\pi}{180^\circ}。

如果x是圈（轉，2\pi弧度，360度），則
:k = 2\pi

这意味着使用度（或圈）的正弦的二阶导数不满足微分方程
:y* = -y \,，
但满足
:y* = -k^2y \,；
对余弦也是类似的。

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

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

:\sin(x+y) = \sin\!x\cos\!y + \cos\!x\sin\!y,\,
:\cos(x+y) = \cos\!x\cos\!y - \sin\!x\sin\!y,\,
并满足附加条件
:0 。
从其他函数方程开始的推导也有可能，这种推导可以扩展到复数。作为例子，这推导可以用来定义伽罗瓦域中的三角学。

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

在-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-誕生前，人们通常通过对计算到多个有效数字的三角函数表的内插来计算三角函数的值。这种表格在人们刚刚产生三角函数的概念的时候就已经有了，它们通常是通过从已知值（比如\sin \frac{\pi}{2}=1）开始并重复应用半角和和差公式而生成。

现代-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-使用了各种技术。一个常见的方式，特别是在有浮点单元的高端处理器上，是组合多项式或有理式逼近（比如切比雪夫逼近、最佳一致逼近和帕德逼近，和典型用于更高或可变精度的泰勒级数和罗朗级数）和范围简约与表查找—首先在一个较小的表中查找最接近的角度，然后使用多项式来计算修正。在缺乏硬件}-乘法器的简单设备上，有叫做CORDIC算法的一个更有效算法（和相关技术），因为它只用了移位和加法。出于性能的原因，所有这些方法通常都用硬件}-来实现。

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

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

注：\pm\infty有时会写作无定义（不存在）。

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

对于反三角函数，符号\sin^{-1}和\cos^{-1}经常用于\arcsin和\arccos。使用这种符号的时候，反函数可能跟三角函数的倒数混淆。“\mathrm{arc}”前缀可避免这种混淆，尽管“\arcsec”可能偶尔跟“arcsecond”（角秒）混淆。

正如正弦和余弦那样，反三角函数也可以根据无穷级数来定义。例如，
:
\arcsin z = z + \left( \frac {1} {2} \right) \frac {z^3} {3} + \left( \frac {1 \cdot 3} {2 \cdot 4} \right) \frac {z^5} {5} + \left( \frac{1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6 } \right) \frac{z^7} {7} + \cdots
这些函数也可以通过证明它们是其他函数的原函数来定义。例如反正弦函数，可以写为如下积分：
:
\arcsin\left(x\right) =
\int_0^x \frac 1 {\sqrt{1 - z^2}}\,\mathrm{d}z, \quad |x|
可以在反三角函数条目中找到类似的公式。使用复对数可把这些函数延伸到复数辐角：
:
\arcsin (z) = -{\mathrm{i}}
\ln \left({\mathrm{i}}
z + \sqrt{1 - z^2} \right)

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

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

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

正弦定理
，一种三角基的函数形成的图像]]
正弦定理声称对于边长为a、b和c而相应角为A、B和C的三角形，有：
:\frac{a}{\sin A} = \frac{b}{\sin B} = \frac{c}{\sin C} = 2R
其中R是三角形的外接圆半径。正弦定理用于计算已知两角和一边时三角形的未知边长，是三角测量中常见情况，前述為數學常用。至於物理學應用為三分力且合力為0的情況。

余弦定理
余弦定理（也叫余弦公式）是勾股定理的延伸===

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

餘切定理
\cot{ \frac{\alpha}{2 }} = \frac{s-a}{\zeta }

其中 \zeta = \sqrt{\frac{1}{s} (s-a)(s-b)(s-c)} 为三角形的内切圆半径， s = \frac{a+b+c}{2 } 为三角形半周长。

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

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

: x_{\mathrm{square}}(t) = \frac{4}{\pi} \sum_{k=1}^\infty {\sin{\left [ (2k-1)t \right ]}\over(2k-1)}。

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

参见

  • 三角函數精確值
  • 三角恒等式
  • 三角学
  • 双曲函数
  • 勾股定理
  • 方向余弦
  • 欧拉公式
  • 诱导公式

注释
参考资料
延伸阅读

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.

外部链接

*

#三角学 #基本特殊函数 #三角函数

评论 (0)

  • 还没有评论，来抢沙发吧。