主题目录

三角图像、方程与辅助角

基础更新于 2026-09-29

本页目录

三角方程先求一个周期内的解,再用周期补全;求最值时则必须把自变量区间一并变换。

六种三角函数的图像性质

以下 k∈Zk\in\mathbb Z;区间整体加 2kπ2k\pi 表示所有平移后的区间,各分支不得跨越无定义点合并。

函数 定义域排除点 值域 奇偶 最小正周期
sin⁡x\sin x 无 [−1,1][-1,1] 奇 2π2\pi
cos⁡x\cos x 无 [−1,1][-1,1] 偶 2π2\pi
tan⁡x\tan x π/2+kπ\pi/2+k\pi R\mathbb R 奇 π\pi
cot⁡x\cot x kπk\pi R\mathbb R 奇 π\pi
sec⁡x\sec x π/2+kπ\pi/2+k\pi (−∞,−1]∪[1,+∞)(-\infty,-1]\cup[1,+\infty) 偶 2π2\pi
csc⁡x\csc x kπk\pi (−∞,−1]∪[1,+∞)(-\infty,-1]\cup[1,+\infty) 奇 2π2\pi
函数 严格递增区间 严格递减区间
sin⁡x\sin x [−π/2,π/2]+2kπ[-\pi/2,\pi/2]+2k\pi [π/2,3π/2]+2kπ[\pi/2,3\pi/2]+2k\pi
cos⁡x\cos x [−π,0]+2kπ[-\pi,0]+2k\pi [0,π]+2kπ[0,\pi]+2k\pi
tan⁡x\tan x (−π/2+kπ,π/2+kπ)(-\pi/2+k\pi,\pi/2+k\pi) 无
cot⁡x\cot x 无 (kπ,(k+1)π)(k\pi,(k+1)\pi)
sec⁡x\sec x [0,π/2)+2kπ[0,\pi/2)+2k\pi;(π/2,π]+2kπ(\pi/2,\pi]+2k\pi [π,3π/2)+2kπ[\pi,3\pi/2)+2k\pi;(3π/2,2π]+2kπ(3\pi/2,2\pi]+2k\pi
csc⁡x\csc x [π/2,π)+2kπ[\pi/2,\pi)+2k\pi;(π,3π/2]+2kπ(\pi,3\pi/2]+2k\pi [−π/2,0)+2kπ[-\pi/2,0)+2k\pi;(0,π/2]+2kπ(0,\pi/2]+2k\pi

零点、最值与对称性

以下 k∈Zk\in\mathbb Z。对称中心允许不在函数图像上,例如正切图像的某些对称中心位于无定义的竖线上。

函数 零点 对称轴 对称中心
sin⁡x\sin x kπk\pi x=π/2+kπx=\pi/2+k\pi (kπ,0)(k\pi,0)
cos⁡x\cos x π/2+kπ\pi/2+k\pi x=kπx=k\pi (π/2+kπ,0)(\pi/2+k\pi,0)
tan⁡x\tan x kπk\pi 无竖直对称轴 (kπ/2,0)(k\pi/2,0)
cot⁡x\cot x π/2+kπ\pi/2+k\pi 无竖直对称轴 (kπ/2,0)(k\pi/2,0)
sec⁡x\sec x 无 x=kπx=k\pi (π/2+kπ,0)(\pi/2+k\pi,0)
csc⁡x\csc x 无 x=π/2+kπx=\pi/2+k\pi (kπ,0)(k\pi,0)
sin⁡x=1  ⟺  x=π/2+2kπ,sin⁡x=−1  ⟺  x=−π/2+2kπ,cos⁡x=1  ⟺  x=2kπ,cos⁡x=−1  ⟺  x=π+2kπ.\begin{aligned} \sin x=1&\iff x=\pi/2+2k\pi,& \sin x=-1&\iff x=-\pi/2+2k\pi,\\ \cos x=1&\iff x=2k\pi,& \cos x=-1&\iff x=\pi+2k\pi. \end{aligned}

正切、余切没有最大值和最小值;正割、余割也都向正、负两侧无界,不能把值域边界 1,−11,-1 当作全局最值。

性质的依据

正弦、余弦的单调方向由单位圆纵坐标、横坐标随旋转的变化得到。对同一正切分支内 x<yx<y,

tan⁡y−tan⁡x=sin⁡(y−x)cos⁡xcos⁡y>0,\tan y-\tan x=\frac{\sin(y-x)}{\cos x\cos y}>0,

因为 0<y−x<π0<y-x<\pi,两余弦同号。对同一余切分支有

cot⁡y−cot⁡x=−sin⁡(y−x)sin⁡xsin⁡y<0.\cot y-\cot x=-\frac{\sin(y-x)}{\sin x\sin y}<0.

正割、余割是在固定符号区间上取倒数,方向与分母的单调方向相反;这一判断不能跨越零分母。

诱导公式给出周期、奇偶和对称关系。例如 sin⁡(π/2+t)=sin⁡(π/2−t)\sin(\pi/2+t)=\sin(\pi/2-t) 给正弦对称轴,而 tan⁡(π/2+t)=−tan⁡(π/2−t)\tan(\pi/2+t)=-\tan(\pi/2-t) 给正切在 (π/2,0)(\pi/2,0) 的中心对称;关系只在两边均有定义处使用。加整周期得到其余对称位置。

证明周期最小时,还要排除更小的正周期。若 T>0T>0 为余弦周期,则 cos⁡T=cos⁡0=1\cos T=\cos0=1,所以 TT 必是 2π2\pi 的正整数倍。正弦在 x=π/2x=\pi/2 处取值 11,同样迫使 T∈2πZT\in2\pi\mathbb Z。正割、余割分别由 sec⁡T=1\sec T=1、csc⁡(π/2+T)=1\csc(\pi/2+T)=1 得到相同限制。正切由 tan⁡T=0\tan T=0、余切由 cot⁡(π/2+T)=0\cot(\pi/2+T)=0,得到 T∈πZT\in\pi\mathbb Z。

四种反三角函数的主值区间、单调性和复合规则集中在反三角函数中。定义反函数时必须先选取单射分支。

正弦型函数的图像变换

设

f(x)=Asin⁡(ωx+φ)+d,A≠0, ω≠0.f(x)=A\sin(\omega x+\varphi)+d,\qquad A\ne0,\ \omega\ne0.

其振幅为 ∣A∣|A|,中线为 y=dy=d,全域值域为 [d−∣A∣,d+∣A∣][d-|A|,d+|A|],最小正周期为 2π/∣ω∣2\pi/|\omega|。相位 ωx+φ\omega x+\varphi 变化一个整周时,函数完成一次完整振荡。

先确定点如何移动

y=sin⁡ty=\sin t 上的点 (t,sin⁡t)(t,\sin t) 对应到新图像的点

(t−φω, Asin⁡t+d).\left(\frac{t-\varphi}{\omega},\ A\sin t+d\right).

这条对应能避免把平移量 φ\varphi 与 φ/ω\varphi/\omega 混淆。以 ω>0\omega>0 为例,可以先把横坐标除以 ω\omega,再水平平移 −φ/ω-\varphi/\omega;随后将纵坐标乘以 AA,再向上平移 dd。A<0A<0 时还包含关于水平轴的反射;ω<0\omega<0 时横向比例为负,也包含左右反射。

从基本图像读取性质

当 A>0,ω>0A>0,\omega>0 时,将相位 t=ωx+φt=\omega x+\varphi 放入正弦的各单调区间,即可解出 xx 的单调区间。若 A<0A<0 或 ω<0\omega<0,每出现一次负号,递增与递减的方向交换一次。

对称轴满足

ωx+φ=π2+kπ,\omega x+\varphi=\frac\pi2+k\pi,

对称中心为

(kπ−φω,d),k∈Z.\left(\frac{k\pi-\varphi}{\omega},d\right),\qquad k\in\mathbb Z.

验证对称中心只需观察其左右等距点的相位分别为 kπ±ωhk\pi\pm\omega h,两正弦值互为相反数。对称轴左右的相位分别为 π/2+kπ±ωh\pi/2+k\pi\pm\omega h,两正弦值相等。

若 A=0A=0 或 ω=0\omega=0,函数为常函数,没有最小正周期,不能套用上面的周期公式。余弦型函数可先用 cos⁡t=sin⁡(t+π/2)\cos t=\sin(t+\pi/2) 化为同一形式。

由图像确定参数时如何消除多解

对 y=Asin⁡(ωx+φ)+dy=A\sin(\omega x+\varphi)+d,通常约定 A>0,ω>0A>0,\omega>0。最高、最低值给出 A=(ymax⁡−ymin⁡)/2A=(y_{\max}-y_{\min})/2、d=(ymax⁡+ymin⁡)/2d=(y_{\max}+y_{\min})/2;相邻两个同类极值点的横坐标差才是一个周期,随后 ω=2π/T\omega=2\pi/T。

用一个点求 φ\varphi 往往有多个候选,还须结合该处上升还是下降,或相邻极值的位置。图像与中线 y=dy=d 的相邻两个交点相距半个周期;不相邻交点的距离可能是半周期的整数倍。若 d≠0d\ne0,与 xx 轴的交点不再等同于中线交点,不能把两个相邻零点的距离直接当作半周期。

辅助角公式及完整退化条件

设 a,b∈Ra,b\in\mathbb R 不同时为零,R=a2+b2R=\sqrt{a^2+b^2},选择满足

cos⁡φ=aR,sin⁡φ=bR\cos\varphi=\frac aR,\qquad\sin\varphi=\frac bR

的角 φ\varphi,则

asin⁡x+bcos⁡x=Rsin⁡(x+φ).a\sin x+b\cos x=R\sin(x+\varphi).

两条件能同时成立,是因为它们的平方和为1。由正弦和角式展开右边,即为左边。a,b>0a,b>0 时可取第一象限角;一般情形须用两个符号共同确定象限,不能只写 tan⁡φ=b/a\tan\varphi=b/a,因为 aa 可能为零且正切不能区分相差 π\pi 的角。

若 xx 遍历实数,则值域 [−R,R][-R,R],上、下端分别要求 x+φ=π/2+2kπx+\varphi=\pi/2+2k\pi 和 3π/2+2kπ3\pi/2+2k\pi。若 xx 有区间限制,应先平移成相位区间,再检查端点和相位极值点;振幅只给全局界,未必在该区间达到。a=b=0a=b=0 时函数恒为零,辅助角无需也无法按上述比值唯一确定。

三角变形可按目标选取:和差倍半角公式统一角;倒数商关系与万能公式统一函数名称;和积公式改变代数结构。使用分式变形时同步保留排除的角。

常见特殊系数对应的形式为

sin⁡x±cos⁡x=2sin⁡(x±π/4),sin⁡x±3cos⁡x=2sin⁡(x±π/3),3sin⁡x±cos⁡x=2sin⁡(x±π/6).\begin{aligned} \sin x\pm\cos x&=\sqrt2\sin(x\pm\pi/4),\\ \sin x\pm\sqrt3\cos x&=2\sin(x\pm\pi/3),\\ \sqrt3\sin x\pm\cos x&=2\sin(x\pm\pi/6). \end{aligned}

这六式分别将相应特殊角的正弦、余弦代入和差角公式即可验证。它们对所有实数 xx 成立;应用于给定区间的最值时仍须检查相位范围。

四种基本三角方程的全部实数解

下列 k∈Zk\in\mathbb Z,反三角函数采用主值约定。

方程 参数条件 通解
sin⁡x=a\sin x=a ∣a∣≤1\vert a\vert \le1 x=kπ+(−1)karcsin⁡ax=k\pi+(-1)^k\arcsin a
cos⁡x=a\cos x=a ∣a∣≤1\vert a\vert \le1 x=2kπ±arccos⁡ax=2k\pi\pm\arccos a
tan⁡x=a\tan x=a a∈Ra\in\mathbb R x=kπ+arctan⁡ax=k\pi+\arctan a
cot⁡x=a\cot x=a a∈Ra\in\mathbb R x=kπ+arccot⁡ax=k\pi+\operatorname{arccot}a

前两式在 ∣a∣>1|a|>1 时无实数解;a=±1a=\pm1 时两支表示可能重复,作为解集只算一次。

为什么不能只保留反三角函数的一个值

单位圆上纵坐标相同的两点关于纵轴对称,所以

sin⁡x=sin⁡α  ⟺  x=α+2kπ 或 x=π−α+2kπ.\sin x=\sin\alpha \iff x=\alpha+2k\pi\ \text{或}\ x=\pi-\alpha+2k\pi.

取 α=arcsin⁡a\alpha=\arcsin a,将偶数、奇数下标合并,就得到表中正弦通解。横坐标相同的两点关于横轴对称,所以

cos⁡x=cos⁡α  ⟺  x=2kπ±α.\cos x=\cos\alpha\iff x=2k\pi\pm\alpha.

正切相同表示终边所在直线斜率相同,终边可同向或反向,因此两角相差 kπk\pi;余切在每个长度为 π\pi 的分支上一一对应,同样得到表中通解。

一般方程的处理顺序

先记下原式的定义域,再用恒等变换化为基本方程。求出相位的所有解后,解回自变量,最后筛选题目规定的区间和原式的非零条件。

平方可能引入符号不符的根,除以 sin⁡x\sin x 或 cos⁡x\cos x 可能漏根,半角正切换元可能遗漏奇数倍 π\pi。这些操作都要回到原式检查,不能只验证变形后的方程。

例:由相位区间求单调性和最值

研究 y=2sin⁡(2x−π/3)+1y=2\sin(2x-\pi/3)+1。振幅为 22,中线为 y=1y=1,最小正周期为 π\pi,全域值域为 [−1,3][-1,3]。

令 t=2x−π/3t=2x-\pi/3。正弦递增的相位区间为 [−π/2+2kπ,π/2+2kπ][-\pi/2+2k\pi,\pi/2+2k\pi],所以解不等式得到

−π12+kπ≤x≤5π12+kπ,k∈Z.-\frac\pi{12}+k\pi\le x\le\frac{5\pi}{12}+k\pi,\qquad k\in\mathbb Z.

最大值点由 2x−π/3=π/2+2kπ2x-\pi/3=\pi/2+2k\pi 得到 x=5π/12+kπx=5\pi/12+k\pi。若只研究 x∈[0,π/6]x\in[0,\pi/6],相位在 [−π/3,0][-\pi/3,0] 内,函数递增,值域为 [1−3,1][1-\sqrt3,1],并不能取得全域最大值 33。

例

sin⁡x+cos⁡x=1\sin x+\cos x=1 化为 2sin⁡(x+π/4)=1\sqrt2\sin(x+\pi/4)=1,得 x=2kπx=2k\pi 或 x=π/2+2kπx=\pi/2+2k\pi。

求该和在 x∈[0,π/6]x\in[0,\pi/6] 的最大值,变换后角在 [π/4,5π/12][\pi/4,5\pi/12],正弦递增,最大值为 (1+3)/2(1+\sqrt3)/2,不是全域最大值 2\sqrt2。

例:三角方程要保留同一周期内的两支解

在 [0,2π][0,2\pi] 内解 sin⁡(2x)=1/2\sin(2x)=1/2。通解为

2x=π6+2kπ或2x=5π6+2kπ.2x=\frac\pi6+2k\pi\quad\text{或}\quad2x=\frac{5\pi}6+2k\pi.

所以 x=π/12+kπx=\pi/12+k\pi 或 x=5π/12+kπx=5\pi/12+k\pi。筛选区间得到 π/12,5π/12,13π/12,17π/12\pi/12,5\pi/12,13\pi/12,17\pi/12 四个解。

若要求 sin⁡(2x)≥1/2\sin(2x)\ge1/2,先在相位轴写 2x∈[π/6+2kπ,5π/6+2kπ]2x\in[\pi/6+2k\pi,5\pi/6+2k\pi],再除以 22 并与原区间取交集。先处理相位、后处理自变量,比直接凭图猜点数更可靠。

两个不同频率的正弦和何时有周期

设 α,β>0\alpha,\beta>0,α≠β\alpha\ne\beta,且 A,BA,B 为非零常数。函数

f(x)=Asin⁡αx+Bsin⁡βxf(x)=A\sin\alpha x+B\sin\beta x

有正周期,当且仅当 α/β\alpha/\beta 为有理数。

充分性:若 α/β=m/n\alpha/\beta=m/n,m,nm,n 为正整数,则 T=2πm/α=2πn/βT=2\pi m/\alpha=2\pi n/\beta 是共同周期。

必要性:设 T>0T>0 是 ff 的周期。对 f(x+T)=f(x)f(x+T)=f(x) 连续求导两次,得到 f′′f'' 也以 TT 为周期。而

f′′+β2f=A(β2−α2)sin⁡αx,f''+\beta^2f=A(\beta^2-\alpha^2)\sin\alpha x,

同理另一线性组合分离出 sin⁡βx\sin\beta x,所以两者都以 TT 为周期。对正弦周期恒等式分别取相位为 0,π/20,\pi/2 的自变量,得到 sin⁡αT=0,cos⁡αT=1\sin\alpha T=0,\cos\alpha T=1,故 αT=2πm\alpha T=2\pi m;同理 βT=2πn\beta T=2\pi n,且 m,nm,n 为正整数。因此比值为 m/nm/n。

特别地,sin⁡x+sin⁡(2x)\sin x+\sin(\sqrt2x) 不是周期函数。不能仅凭“两个原函数没有共同周期”就略过必要性证明;一般函数相加可能发生抵消。这里利用不同频率和非零系数排除了抵消。

关联阅读

先修:和差、倍角、半角与和积公式 · 基本初等函数与图像变换。

同主题:和差、倍角、半角与和积公式 · 反三角函数与三角求和。

返回主题目录 · 全站目录 · 符号约定