跳转到内容
← 返回概念
基础概念16 分钟阅读

三角函数

Trigonometric Functions

关键人物

eulerfourierhipparchusnewton
三角函数正弦余弦周期函数基础概念

什么是三角函数

三角函数(Trigonometric Functions)是数学中描述角度与比例关系,以及周期性现象的一族函数。它们起源于古代天文学和测量学,今天却无处不在——从声音的传播到量子力学,从GPS卫星到手机信号,三角函数是现代科学和工程的基础语言。

最基本的三角函数是正弦(sine,sin\sin)和余弦(cosine,cos\cos)。

从直角三角形出发

最直观的定义来自直角三角形。设有一个直角三角形,其中一个角为 θ\theta(非直角),三边分别称为:

  • 斜边(hypotenuse):直角对面的最长边,长度设为 $c$
  • 对边(opposite):角 θ\theta 对面的边,长度设为 $a$
  • 邻边(adjacent):角 θ\theta 旁边的直角边,长度设为 $b$

则:

sinθ=对边斜边=ac,cosθ=邻边斜边=bc,tanθ=对边邻边=ab\sin\theta = \frac{\text{对边}}{\text{斜边}} = \frac{a}{c}, \quad \cos\theta = \frac{\text{邻边}}{\text{斜边}} = \frac{b}{c}, \quad \tan\theta = \frac{\text{对边}}{\text{邻边}} = \frac{a}{b}

这三个定义适用于 0°<θ<90°0° < \theta < 90° 的锐角。但三角函数的真正力量在于它可以推广到所有角度——甚至所有实数。

单位圆:把三角函数推广到所有角度

更普遍的定义使用单位圆(unit circle)——圆心在原点、半径为1的圆。设角度 θ\theta 是从正 $x$ 轴开始,逆时针旋转的角度(以弧度为单位,见下文)。单位圆上对应的点 $(x, y)$ 满足:

cosθ=x,sinθ=y\cos\theta = x, \quad \sin\theta = y

由勾股定理,这个点在单位圆上,因此:

cos2θ+sin2θ=1(勾股恒等式)\cos^2\theta + \sin^2\theta = 1 \quad \text{(勾股恒等式)}

这是三角函数中最重要的恒等式,是一切的基础。

单位圆定义的好处: - 适用于任意角度,包括负角、大于360°的角 - sinθ\sin\thetacosθ\cos\theta 都有明确的几何意义(纵坐标和横坐标) - 周期性一目了然:旋转360°(即 2π2\pi 弧度)回到原点

弧度:角度的自然度量

我们习惯用(°)来量角,但数学中更自然的是弧度(radian)。

弧度的定义:在半径为 $r$ 的圆中,圆弧长度等于 $r$ 时,所对的圆心角就是1弧度。

因此,整个圆(周长 2πr2\pi r)对应圆心角 2π2\pi 弧度,即 360°=2π360° = 2\pi 弧度。常见换算:

弧度
$$$0$
$30°$π/6\pi/6
$45°$π/4\pi/4
$60°$π/3\pi/3
$90°$π/2\pi/2
$180°$π\pi
$360°$2π2\pi

为什么弧度更自然:当用弧度度量角时,许多公式变得更简洁。最重要的是,导数公式:

(sinx)=cosx,(cosx)=sinx(\sin x)' = \cos x, \quad (\cos x)' = -\sin x

这对弧度成立。若用角度,导数会多出一个系数 π/180\pi/180,极为繁琐。微积分中所有的三角函数运算,都默认使用弧度。

关键值与图像

一些常用的精确值(用弧度):

θ\thetasinθ\sin\thetacosθ\cos\thetatanθ\tan\theta
$0$$0$$1$$0$
π/6\pi/6$1/2$3/2\sqrt{3}/23/3\sqrt{3}/3
π/4\pi/42/2\sqrt{2}/22/2\sqrt{2}/2$1$
π/3\pi/33/2\sqrt{3}/2$1/2$3\sqrt{3}
π/2\pi/2$1$$0$无定义
π\pi$0$$-1$$0$

正弦函数 y=sinxy = \sin x: - 周期为 2π2\pi(每隔 2π2\pi 重复一次) - 振幅为1(最大值1,最小值$-1$) - 奇函数:sin(x)=sinx\sin(-x) = -\sin x - 过原点,在 (0,π)(0, \pi) 上为正,在 (π,2π)(\pi, 2\pi) 上为负

余弦函数 y=cosxy = \cos x: - 周期为 2π2\pi - 振幅为1 - 偶函数:cos(x)=cosx\cos(-x) = \cos x - 与正弦函数相差 π/2\pi/2 的相位:cosx=sin(x+π/2)\cos x = \sin(x + \pi/2)

正切函数 y=tanx=sinx/cosxy = \tan x = \sin x/\cos x: - 周期为 π\pi(比正弦余弦短一半) - 在 x=π/2+kπx = \pi/2 + k\pi$k$ 为整数)处无定义,有垂直渐近线 - 值域为全体实数 R\mathbb{R}

重要恒等式

三角恒等式是三角函数计算的工具库,记住少数几个核心恒等式,其余都可以推导:

基本恒等式sin2θ+cos2θ=1\sin^2\theta + \cos^2\theta = 1

由此可得:1+tan2θ=sec2θ1 + \tan^2\theta = \sec^2\thetacot2θ+1=csc2θ\cot^2\theta + 1 = \csc^2\theta

和差公式sin(A±B)=sinAcosB±cosAsinB\sin(A \pm B) = \sin A \cos B \pm \cos A \sin B cos(A±B)=cosAcosBsinAsinB\cos(A \pm B) = \cos A \cos B \mp \sin A \sin B

二倍角公式(令 $A = B$ 代入上式): sin2A=2sinAcosA\sin 2A = 2\sin A \cos A cos2A=cos2Asin2A=2cos2A1=12sin2A\cos 2A = \cos^2 A - \sin^2 A = 2\cos^2 A - 1 = 1 - 2\sin^2 A

这些公式在积分计算、物理中的叠加原理、信号处理中反复用到。

历史:从天文学到分析学

三角函数的历史横跨两千年,反映了数学从具体应用走向抽象理论的过程。

古希腊天文学:三角学(Trigonometry)最早起源于天文计算的需要。希巴恰斯(Hipparchus,约前190—前120年)被认为是三角学的鼻祖,他建立了弦长(chord length)的表格来计算天体位置——这是正弦函数的前身。托勒密(Ptolemy,约100—170年)在《天文学大成》中系统建立了球面三角学,用于预测行星运动。

印度数学家:印度天文学家圣使(Āryabhaṭa,476—550年)第一次使用了"jya"(半弦,即现代正弦)代替完整的弦,这是正弦函数的直接前身。这一概念通过阿拉伯翻译传入欧洲,"sine"这个词来自拉丁语"sinus",是对阿拉伯词"jiba"的误译。

欧拉的统一:莱昂哈德·欧拉(Leonhard Euler)在1748年的《无穷小分析引论》(Introductio in analysin infinitorum)中,首次将三角函数定义为数值函数(而不仅仅是几何比例),给出了我们今天使用的 sinx\sin xcosx\cos x 的记法,并建立了欧拉公式:

eix=cosx+isinxe^{ix} = \cos x + i\sin x

这个公式将指数函数、虚数和三角函数统一在一个等式中,是数学史上最惊人的发现之一。

欧拉公式:三角函数的深层本质

欧拉公式 eix=cosx+isinxe^{ix} = \cos x + i\sin x 揭示了三角函数的深层结构。从泰勒级数展开验证:

eix=n=0(ix)nn!=1+ixx22!ix33!+x44!+e^{ix} = \sum_{n=0}^{\infty}\frac{(ix)^n}{n!} = 1 + ix - \frac{x^2}{2!} - \frac{ix^3}{3!} + \frac{x^4}{4!} + \cdots

将实部和虚部分开,恰好得到:

cosx=1x22!+x44!=n=0(1)nx2n(2n)!\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!}

sinx=xx33!+x55!=n=0(1)nx2n+1(2n+1)!\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!}

这不只是一种计算方法——它揭示了三角函数的本质:sinx\sin xcosx\cos x 是指数函数在虚数轴上的投影。三角函数描述的"旋转"和指数函数描述的"增长",在复数世界里是同一件事。

傅里叶级数:任何波形都是正弦波之和

19世纪,法国数学家傅里叶(Joseph Fourier,1768—1830)发现了三角函数最惊人的应用——傅里叶分析

傅里叶定理(非正式):几乎任何一个周期函数,都可以表示为正弦波和余弦波的无穷叠加:

f(x)=a02+n=1(ancosnx+bnsinnx)f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty}(a_n \cos nx + b_n \sin nx)

其中系数 an,bna_n, b_n 由积分确定,称为傅里叶系数。这个定理的意义在于:正弦和余弦函数构成了"函数空间的基"——就像向量空间中任何向量都可以用基向量表示,任何(足够好的)周期函数都可以用三角函数"分解"。

傅里叶分析的应用无处不在: - 音频:声音是气压随时间的周期振动,MP3压缩就是保留傅里叶级数中能量最大的成分,丢弃人耳感知不到的高频成分。 - 图像处理:JPEG压缩使用离散余弦变换(DCT),将图像分解为空间频率成分。 - 量子力学:位置空间的波函数和动量空间的波函数之间的变换,就是傅里叶变换。 - 医学成像:MRI(磁共振成像)通过采集信号的傅里叶变换来重建人体内部图像。

三角函数在物理中

三角函数是物理学最常用的数学工具,原因在于许多物理现象本质上是振动

简谐振动:弹簧-质量系统的运动方程是 mx¨=kxm\ddot{x} = -kx,解是 x(t)=Acos(ωt+ϕ)x(t) = A\cos(\omega t + \phi),其中 ω=k/m\omega = \sqrt{k/m} 是角频率。这是物理中最简单也最重要的运动模型。

波动:电磁波的电场 E(x,t)=E0sin(kxωt)E(x, t) = E_0 \sin(kx - \omega t),其中 k=2π/λk = 2\pi/\lambda 是波数,ω=2πf\omega = 2\pi f 是角频率。

电路:交流电的电压 V(t)=V0sin(ωt)V(t) = V_0 \sin(\omega t)。电子工程中用复数(欧拉公式)来简化交流电路的计算,将三角函数运算转化为更简单的指数函数运算。

常见误区

  • 弧度vs角度的混用:在微积分中,(sinx)=cosx(\sin x)' = \cos x 只在 $x$ 用弧度度量时成立。若不小心混用,导数会差一个系数。
  • sin1\sin^{-1}1/sin1/\sinsin1x\sin^{-1}x(反正弦函数,值域 [π/2,π/2][-\pi/2, \pi/2])不等于 cscx=1/sinx\csc x = 1/\sin x(余割函数)。这是符号使用上常见的歧义。
  • a2+b2a+b\sqrt{a^2 + b^2} \neq a + b:在使用勾股定理时,斜边是 a2+b2\sqrt{a^2+b^2},不能写成 $a + b$。这是初学者最常犯的计算错误。

跨域连接

  • 波与声学:线性介质中任意扰动可分解为独立传播的正弦模式,频率之间不交换能量。推论:同时输入两个纯音,输出里不该出现和频与差频;一旦听到这类新频率,就说明系统已被推进非线性区,失真程度因此可以用频谱直接量化。
  • 潮汐:引潮力由天体相对位置的周期运动决定,可展成一组频率固定的分量,各港口只在振幅与相位上不同。推论:用本地一段观测定出各分潮的振幅相位后即可长期外推,观测越长可分辨的分潮越多——预报能力来自频率已知,而不是来自数据量大
  • 磁共振成像:采集到的原始信号是图像的空间频率成分,图像由这些成分叠加还原。推论:只采低频得到的是模糊但完整的整幅图,漏采高频丢的是边缘而非某一块区域——伪影的形态因此可以反推采样方案的缺陷所在,而不必逐一试错。
  • 古代天文学:球面上的边角关系把天体位置与观测者的地平坐标直接联系起来,全程不需要知道距离。推论:同一组公式反过来用,可由恒星高度反解纬度——历法编制与航海定位共用一副工具,同一份表格因此可以跨用途复用。
  • 傅里叶分析:正弦与余弦在积分内积下互相正交,因此每个系数都能被独立提取而不受其他分量干扰。推论:正交性一旦被破坏(例如把信号硬截断),系数就会互相串扰,在边缘处留下固定形状的振荡。

参考文献

  1. 赵慈庚,《三角学》,高等教育出版社,1962年(中文经典教材)。
  2. T. W. Körner, Fourier Analysis, Cambridge University Press, 1988(傅里叶分析的权威教材,以三角函数为核心)。
  3. Leonhard Euler, Introductio in analysin infinitorum, 1748(欧拉将三角函数定义为函数的原始文献,有英文译本)。

延伸阅读

  1. Eli Maor, Trigonometric Delights, Princeton University Press, 1998(三角函数的历史与趣味,适合一般读者)。

「傅里叶定理不仅是现代分析最优美的成果之一,更可以说为现代物理几乎每一个深奥问题的处理,提供了一件不可或缺的工具。」——威廉·汤姆森(开尔文男爵)论以三角函数为基础的傅里叶分析