三角函数详解

三角函数 (Trigonometric Functions) 是一类在数学、物理、工程和计算机科学等领域具有广泛应用的基本函数。它们最初定义为直角三角形中角与边长之间的比值，随后通过单位圆被推广到任意实数和复数。三角函数的核心在于描述周期性现象和几何关系，是高等数学、微积分、傅里叶分析等理论的基石。

核心思想：三角函数通过将角度与长度比值或单位圆上点的坐标关联起来，实现对周期性变化和旋转运动的数学描述。它们揭示了圆形运动的内在规律，并成为分析振动、波、交流电等周期性现象不可或缺的工具。

---

一、三角函数的定义

三角函数的定义有两种主要方式：基于直角三角形和基于单位圆。

1.1 基于直角三角形的定义

对于一个直角三角形，其一个锐角 $\theta$ 的三角函数定义如下：

假设直角三角形的斜边为 $r$，与角 $\theta$ 相邻的直角边为 $x$（邻边），与角 $\theta$ 相对的直角边为 $y$（对边）。

• 正弦 (Sine, 简称 $\sin$)：对边与斜边的比值。
  $$ \sin \theta = \frac{\text{对边}}{\text{斜边}} = \frac{y}{r} $$
• 余弦 (Cosine, 简称 $\cos$)：邻边与斜边的比值。
  $$ \cos \theta = \frac{\text{邻边}}{\text{斜边}} = \frac{x}{r} $$
• 正切 (Tangent, 简称 $\tan$)：对边与邻边的比值。
  $$ \tan \theta = \frac{\text{对边}}{\text{邻边}} = \frac{y}{x} \quad (x \neq 0) $$
• 余割 (Cosecant, 简称 $\csc$)：斜边与对边的比值，是正弦的倒数。
  $$ \csc \theta = \frac{\text{斜边}}{\text{对边}} = \frac{r}{y} \quad (y \neq 0) $$
• 正割 (Secant, 简称 $\sec$)：斜边与邻边的比值，是余弦的倒数。
  $$ \sec \theta = \frac{\text{斜边}}{\text{邻边}} = \frac{r}{x} \quad (x \neq 0) $$
• 余切 (Cotangent, 简称 $\cot$)：邻边与对边的比值，是正切的倒数。
  $$ \cot \theta = \frac{\text{邻边}}{\text{对边}} = \frac{x}{y} \quad (y \neq 0) $$

局限性：这种定义仅适用于锐角（$0 < \theta < \frac{\pi}{2}$ 或 $0^\circ < \theta < 90^\circ$）。

1.2 基于单位圆的定义

为了将三角函数推广到任意角度（包括钝角、负角和大于 $360^\circ$ 的角），我们使用单位圆定义。

单位圆：以坐标原点 $(0,0)$ 为圆心，半径为 1 的圆。
设角 $\theta$ 的顶点在原点，始边与 $x$ 轴正半轴重合，终边与单位圆交于点 $P(x,y)$。

• 正弦：终边与单位圆交点的 $y$ 坐标。
  $$ \sin \theta = y $$
• 余弦：终边与单位圆交点的 $x$ 坐标。
  $$ \cos \theta = x $$
• 正切：终边与单位圆交点的 $y$ 坐标与 $x$ 坐标的比值。
  $$ \tan \theta = \frac{y}{x} = \frac{\sin \theta}{\cos \theta} \quad (\cos \theta \neq 0) $$
• 余割：$\sin \theta$ 的倒数。
  $$ \csc \theta = \frac{1}{y} = \frac{1}{\sin \theta} \quad (\sin \theta \neq 0) $$
• 正割：$\cos \theta$ 的倒数。
  $$ \sec \theta = \frac{1}{x} = \frac{1}{\cos \theta} \quad (\cos \theta \neq 0) $$
• 余切：$\tan \theta$ 的倒数。
  $$ \cot \theta = \frac{x}{y} = \frac{1}{\tan \theta} \quad (\sin \theta \neq 0) $$

这种定义方式能够处理所有实数角度，并且当 $\theta$ 为锐角时，与直角三角形定义一致。

二、基本性质

2.1 周期性 (Periodicity)

• 周期为 $2\pi$ (或 $360^\circ$) 的函数：$\sin \theta$, $\cos \theta$, $\csc \theta$, $\sec \theta$
  $$ \sin(\theta + 2k\pi) = \sin \theta $$
  $$ \cos(\theta + 2k\pi) = \cos \theta $$
  其中 $k$ 为任意整数。
• 周期为 $\pi$ (或 $180^\circ$) 的函数：$\tan \theta$, $\cot \theta$
  $$ \tan(\theta + k\pi) = \tan \theta $$
  $$ \cot(\theta + k\pi) = \cot \theta $$
  其中 $k$ 为任意整数。

2.2 奇偶性 (Parity)

• 奇函数 (Odd Functions)：$f(-x) = -f(x)$
  $$ \sin(-\theta) = -\sin \theta $$
  $$ \tan(-\theta) = -\tan \theta $$
  $$ \csc(-\theta) = -\csc \theta $$
  $$ \cot(-\theta) = -\cot \theta $$
• 偶函数 (Even Functions)：$f(-x) = f(x)$
  $$ \cos(-\theta) = \cos \theta $$
  $$ \sec(-\theta) = \sec \theta $$

2.3 定义域与值域 (Domain and Range)

函数	定义域	值域
$\sin \theta$	$(-\infty, +\infty)$	$[-1, 1]$
$\cos \theta$	$(-\infty, +\infty)$	$[-1, 1]$
$\tan \theta$	$\theta \neq k\pi + \frac{\pi}{2}, k \in \mathbb{Z}$	$(-\infty, +\infty)$
$\cot \theta$	$\theta \neq k\pi, k \in \mathbb{Z}$	$(-\infty, +\infty)$
$\csc \theta$	$\theta \neq k\pi, k \in \mathbb{Z}$	$(-\infty, -1] \cup [1, +\infty)$
$\sec \theta$	$\theta \neq k\pi + \frac{\pi}{2}, k \in \mathbb{Z}$	$(-\infty, -1] \cup [1, +\infty)$

三、基本恒等式 (Fundamental Identities)

3.1 倒数关系 (Reciprocal Identities)

$$ \csc \theta = \frac{1}{\sin \theta} $$
$$ \sec \theta = \frac{1}{\cos \theta} $$
$$ \cot \theta = \frac{1}{\tan \theta} $$

3.2 商数关系 (Quotient Identities)

$$ \tan \theta = \frac{\sin \theta}{\cos \theta} $$
$$ \cot \theta = \frac{\cos \theta}{\sin \theta} $$

3.3 勾股定理恒等式 (Pythagorean Identities)

由单位圆定义，$x^2 + y^2 = 1^2$，即 $\cos^2 \theta + \sin^2 \theta = 1$。
$$ \sin^2 \theta + \cos^2 \theta = 1 $$
将上式两边同除以 $\cos^2 \theta$（当 $\cos \theta \neq 0$ 时）：
$$ \frac{\sin^2 \theta}{\cos^2 \theta} + \frac{\cos^2 \theta}{\cos^2 \theta} = \frac{1}{\cos^2 \theta} \implies \tan^2 \theta + 1 = \sec^2 \theta $$
将上式两边同除以 $\sin^2 \theta$（当 $\sin \theta \neq 0$ 时）：
$$ \frac{\sin^2 \theta}{\sin^2 \theta} + \frac{\cos^2 \theta}{\sin^2 \theta} = \frac{1}{\sin^2 \theta} \implies 1 + \cot^2 \theta = \csc^2 \theta $$

四、诱导公式 (Reduction Formulas)

诱导公式用于将任意角的三角函数值转化为锐角的三角函数值。
一个常用的记忆口诀是：“奇变偶不变，符号看象限”。

• 奇变偶不变：当角度变化为 $\frac{k\pi}{2} \pm \theta$ 时，$k$ 为奇数（如 $\frac{\pi}{2}, \frac{3\pi}{2}$），函数会改变（sin 变 cos，cos 变 sin，tan 变 cot，cot 变 tan）；当 $k$ 为偶数（如 $\pi, 2\pi$），函数不变。
• 符号看象限：最终结果的符号由原角度（将 $\theta$ 视为锐角）所在象限的原函数符号决定。

例如：

• $\sin(\frac{\pi}{2} - \theta) = \cos \theta$
• $\cos(\frac{\pi}{2} - \theta) = \sin \theta$
• $\sin(\frac{\pi}{2} + \theta) = \cos \theta$
• $\cos(\frac{\pi}{2} + \theta) = -\sin \theta$
• $\sin(\pi - \theta) = \sin \theta$
• $\cos(\pi - \theta) = -\cos \theta$
• $\sin(\pi + \theta) = -\sin \theta$
• $\cos(\pi + \theta) = -\cos \theta$

五、和差角公式 (Sum and Difference Formulas)

这些公式用于表示两个角的和或差的三角函数。

• 正弦和差角公式：
  $$ \sin(\alpha + \beta) = \sin \alpha \cos \beta + \cos \alpha \sin \beta $$
  $$ \sin(\alpha - \beta) = \sin \alpha \cos \beta - \cos \alpha \sin \beta $$
• 余弦和差角公式：
  $$ \cos(\alpha + \beta) = \cos \alpha \cos \beta - \sin \alpha \sin \beta $$
  $$ \cos(\alpha - \beta) = \cos \alpha \cos \beta + \sin \alpha \sin \beta $$
• 正切和差角公式：
  $$ \tan(\alpha + \beta) = \frac{\tan \alpha + \tan \beta}{1 - \tan \alpha \tan \beta} $$
  $$ \tan(\alpha - \beta) = \frac{\tan \alpha - \tan \beta}{1 + \tan \alpha \tan \beta} $$

六、二倍角公式 (Double-Angle Formulas)

由和差角公式中令 $\alpha = \beta = \theta$ 即可得到。

• 正弦二倍角公式：
  $$ \sin(2\theta) = 2 \sin \theta \cos \theta $$
• 余弦二倍角公式：
  $$ \cos(2\theta) = \cos^2 \theta - \sin^2 \theta $$
  $$ \cos(2\theta) = 2 \cos^2 \theta - 1 $$
  $$ \cos(2\theta) = 1 - 2 \sin^2 \theta $$
• 正切二倍角公式：
  $$ \tan(2\theta) = \frac{2 \tan \theta}{1 - \tan^2 \theta} $$

七、半角公式 (Half-Angle Formulas)

由二倍角公式变形可得。

• 正弦半角公式：
  $$ \sin^2 \frac{\theta}{2} = \frac{1 - \cos \theta}{2} \implies \sin \frac{\theta}{2} = \pm \sqrt{\frac{1 - \cos \theta}{2}} $$
• 余弦半角公式：
  $$ \cos^2 \frac{\theta}{2} = \frac{1 + \cos \theta}{2} \implies \cos \frac{\theta}{2} = \pm \sqrt{\frac{1 + \cos \theta}{2}} $$
• 正切半角公式：
  $$ \tan \frac{\theta}{2} = \pm \sqrt{\frac{1 - \cos \theta}{1 + \cos \theta}} = \frac{1 - \cos \theta}{\sin \theta} = \frac{\sin \theta}{1 + \cos \theta} $$

八、积化和差与和差化积公式

这些公式用于在乘积形式与和差形式之间转换三角函数。

8.1 积化和差 (Product-to-Sum Formulas)

• $2 \sin A \cos B = \sin(A+B) + \sin(A-B)$
• $2 \cos A \sin B = \sin(A+B) - \sin(A-B)$
• $2 \cos A \cos B = \cos(A+B) + \cos(A-B)$
• $2 \sin A \sin B = \cos(A-B) - \cos(A+B)$

8.2 和差化积 (Sum-to-Product Formulas)

• $\sin A + \sin B = 2 \sin \frac{A+B}{2} \cos \frac{A-B}{2}$
• $\sin A - \sin B = 2 \cos \frac{A+B}{2} \sin \frac{A-B}{2}$
• $\cos A + \cos B = 2 \cos \frac{A+B}{2} \cos \frac{A-B}{2}$
• $\cos A - \cos B = -2 \sin \frac{A+B}{2} \sin \frac{A-B}{2}$

九、反三角函数 (Inverse Trigonometric Functions)

由于三角函数是周期函数，它们不是一对一的（单射）。为了定义反函数，需要限制原函数的定义域，使其在该区间内是单调的。这些反函数称为反三角函数，表示“给定一个比值，求其对应的角度”。

• 反正弦 (Arcsine, 简称 $\arcsin$ 或 $\sin^{-1}$)：
  • $y = \arcsin x \iff x = \sin y$
  • 定义域：$[-1, 1]$
  • 值域：$[-\frac{\pi}{2}, \frac{\pi}{2}]$
• 反余弦 (Arccosine, 简称 $\arccos$ 或 $\cos^{-1}$)：
  • $y = \arccos x \iff x = \cos y$
  • 定义域：$[-1, 1]$
  • 值域：$[0, \pi]$
• 反正切 (Arctangent, 简称 $\arctan$ 或 $\tan^{-1}$)：
  • $y = \arctan x \iff x = \tan y$
  • 定义域：$(-\infty, +\infty)$
  • 值域：$(-\frac{\pi}{2}, \frac{\pi}{2})$

还有 $\operatorname{arccsc} x, \operatorname{arcsec} x, \operatorname{arccot} x$ 等。

十、三角函数的图像 (Graphs of Trigonometric Functions)

三角函数的图像直观地展现了它们的周期性和值域。

• 正弦函数 $y = \sin x$：
  • 图像呈波浪状，周期为 $2\pi$。
  • 振幅为 1，值域 $[-1, 1]$。
  • 通过原点 $(0,0)$。
• 余弦函数 $y = \cos x$：
  • 图像也呈波浪状，周期为 $2\pi$。
  • 振幅为 1，值域 $[-1, 1]$。
  • 通过点 $(0,1)$。
  • 与正弦函数图像形状相同，只是相位相差 $\frac{\pi}{2}$（即 $\cos x = \sin(x + \frac{\pi}{2})$）。
• 正切函数 $y = \tan x$：
  • 图像呈周期性重复的 S 形曲线。
  • 周期为 $\pi$，值域 $(-\infty, +\infty)$。
  • 在 $x = k\pi + \frac{\pi}{2}$ 处有垂直渐近线。

十一、应用 (Applications)

三角函数在自然科学和工程领域有着极其广泛的应用：

• 物理学：
  • 简谐运动：弹簧振子、单摆、交流电等所有周期性振动和波动现象都可以用正弦和余弦函数来描述。
  • 光学和声学：描述光的衍射、干涉和声音的传播。
  • 天文学：计算天体运行轨道和位置。
• 工程学：
  • 信号处理：傅里叶分析将复杂信号分解成不同频率的正弦和余弦分量。
  • 电路分析：分析交流电路中的电压和电流。
  • 机械设计：描述旋转部件的运动。
  • 建筑学：计算结构支撑的角度和力。
• 计算机科学：
  • 计算机图形学：用于旋转、缩放、变换物体，计算光照、阴影、纹理映射。
  • 游戏开发：角色运动、物理模拟、动画。
  • 数据压缩：例如 JPEG 图像压缩中的离散余弦变换 (DCT)。
• 地理学和测量学：
  • 三角测量：计算距离和高度，如测量山高、河流宽度。
  • 导航：GPS 系统和航海导航中利用三角学确定位置和航向。

十二、总结

三角函数作为数学基础的重要组成部分，其定义从直角三角形延伸至单位圆，使其能够描述任意角度。它们具有明确的周期性、奇偶性、定义域和值域，并拥有丰富的恒等式，这些性质和公式构成了解决复杂数学问题和分析自然现象的强大工具。从简单的几何计算到复杂的物理波动、信号处理和计算机图形学，三角函数无处不在，是理解和改造世界的关键数学语言。深入理解三角函数的原理及其各种性质，对于从事任何科学或工程领域的工作都具有不可估量的价值。