高等数学 · 三角函数

三角函数

系统整理正弦、余弦、正切、余切、正割和余割函数,覆盖定义、定义域、值域、图像、恒等式、方程、反三角函数与微积分公式。

三角函数

1. 角度制与弧度制

角度制中,一周角为:

360360^\circ

弧度制中,一周角为:

2π2\pi

若圆弧长为 ll,半径为 rr,则圆心角的弧度数定义为:

θ=lr\theta=\frac{l}{r}

常用换算:

180=π180^\circ=\pi 360=2π360^\circ=2\pi θ=θ180π\theta^\circ=\theta\cdot\frac{180^\circ}{\pi} θ rad=θ180π\theta\text{ rad}=\theta\cdot\frac{180^\circ}{\pi}

在大学微积分中,三角函数的自变量默认使用弧度制。

2. 三角函数的定义

2.1 直角三角形定义

设直角三角形的锐角为 θ\theta,斜边为 cc,对边为 aa,邻边为 bb

则:

sinθ=ac\sin\theta=\frac{a}{c} cosθ=bc\cos\theta=\frac{b}{c} tanθ=ab\tan\theta=\frac{a}{b} cotθ=ba\cot\theta=\frac{b}{a} secθ=cb\sec\theta=\frac{c}{b} cscθ=ca\csc\theta=\frac{c}{a}

直角三角形定义只适合锐角。任意角的三角函数使用单位圆定义。

2.2 单位圆定义

在平面直角坐标系中,取单位圆:

x2+y2=1x^2+y^2=1

θ\theta 的终边与单位圆交于点 P(x,y)P(x,y),则:

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

因此:

tanθ=sinθcosθ(cosθ0)\tan\theta=\frac{\sin\theta}{\cos\theta} \qquad \left(\cos\theta\ne0\right) cotθ=cosθsinθ(sinθ0)\cot\theta=\frac{\cos\theta}{\sin\theta} \qquad \left(\sin\theta\ne0\right) secθ=1cosθ\sec\theta=\frac{1}{\cos\theta} cscθ=1sinθ\csc\theta=\frac{1}{\sin\theta}

由单位圆方程得到基本关系:

sin2θ+cos2θ=1\sin^2\theta+\cos^2\theta=1

3. 定义域与值域

函数 定义域 值域 基本周期
y=sinxy=\sin x R\mathbb R [1,1][-1,1] 2π2\pi
y=cosxy=\cos x R\mathbb R [1,1][-1,1] 2π2\pi
y=tanxy=\tan x xR, xπ2+kπx\in\mathbb R,\ x\ne\frac{\pi}{2}+k\pi R\mathbb R π\pi
y=cotxy=\cot x xR, xkπx\in\mathbb R,\ x\ne k\pi R\mathbb R π\pi
y=secxy=\sec x xR, xπ2+kπx\in\mathbb R,\ x\ne\frac{\pi}{2}+k\pi (,1][1,)(-\infty,-1]\cup[1,\infty) 2π2\pi
y=cscxy=\csc x xR, xkπx\in\mathbb R,\ x\ne k\pi (,1][1,)(-\infty,-1]\cup[1,\infty) 2π2\pi

其中:

kZk\in\mathbb Z

4. 象限符号

象限 sinx\sin x cosx\cos x tanx\tan x
第一象限 ++ ++ ++
第二象限 ++ - -
第三象限 - - ++
第四象限 - ++ -

倒数函数与对应的原函数符号相同:

  • secx\sec xcosx\cos x 同号。
  • cscx\csc xsinx\sin x 同号。

5. 奇偶性

正弦、正切、余切、余割是奇函数:

sin(x)=sinx\sin(-x)=-\sin x tan(x)=tanx\tan(-x)=-\tan x cot(x)=cotx\cot(-x)=-\cot x csc(x)=cscx\csc(-x)=-\csc x

余弦、正割是偶函数:

cos(x)=cosx\cos(-x)=\cos x sec(x)=secx\sec(-x)=\sec x

6. 周期性

正弦、余弦、正割、余割的周期为 2π2\pi

sin(x+2kπ)=sinx\sin(x+2k\pi)=\sin x cos(x+2kπ)=cosx\cos(x+2k\pi)=\cos x sec(x+2kπ)=secx\sec(x+2k\pi)=\sec x csc(x+2kπ)=cscx\csc(x+2k\pi)=\csc x

正切、余切的周期为 π\pi

tan(x+kπ)=tanx\tan(x+k\pi)=\tan x cot(x+kπ)=cotx\cot(x+k\pi)=\cot x

7. 特殊角函数值

xx 00 π6\frac{\pi}{6} π4\frac{\pi}{4} π3\frac{\pi}{3} π2\frac{\pi}{2}
sinx\sin x 00 12\frac12 22\frac{\sqrt2}{2} 32\frac{\sqrt3}{2} 11
cosx\cos x 11 32\frac{\sqrt3}{2} 22\frac{\sqrt2}{2} 12\frac12 00
tanx\tan x 00 33\frac{\sqrt3}{3} 11 3\sqrt3 不存在
cotx\cot x 不存在 3\sqrt3 11 33\frac{\sqrt3}{3} 00
secx\sec x 11 233\frac{2\sqrt3}{3} 2\sqrt2 22 不存在
cscx\csc x 不存在 22 2\sqrt2 233\frac{2\sqrt3}{3} 11

8. 六个基本函数图像

8.1 正弦函数

y=sinxy=\sin x

关键点:

(0,0)(0,0) (π2,1)\left(\frac{\pi}{2},1\right) (π,0)(\pi,0) (3π2,1)\left(\frac{3\pi}{2},-1\right) (2π,0)(2\pi,0)
Graph正弦函数 y = sin x
定义域范围:-2π 到 2π;虚线表示间断点。

性质:

  • 定义域为 R\mathbb R
  • 值域为 [1,1][-1,1]
  • 零点为 x=kπx=k\pi
  • 最大值为 11
  • 最小值为 1-1
  • 周期为 2π2\pi

8.2 余弦函数

y=cosxy=\cos x

关键点:

(0,1)(0,1) (π2,0)\left(\frac{\pi}{2},0\right) (π,1)(\pi,-1) (3π2,0)\left(\frac{3\pi}{2},0\right) (2π,1)(2\pi,1)
Graph余弦函数 y = cos x
定义域范围:-2π 到 2π;虚线表示间断点。

性质:

  • 定义域为 R\mathbb R
  • 值域为 [1,1][-1,1]
  • 零点为 x=π2+kπx=\frac{\pi}{2}+k\pi
  • 最大值为 11
  • 最小值为 1-1
  • 周期为 2π2\pi

8.3 正切函数

y=tanxy=\tan x

零点:

x=kπx=k\pi

渐近线:

x=π2+kπx=\frac{\pi}{2}+k\pi
Graph正切函数 y = tan x
定义域范围:-2π 到 2π;虚线表示间断点。

性质:

  • 定义域为 xR, xπ2+kπx\in\mathbb R,\ x\ne\frac{\pi}{2}+k\pi
  • 值域为 R\mathbb R
  • 周期为 π\pi
  • 在每个定义区间上严格递增。

8.4 余切函数

y=cotxy=\cot x

零点:

x=π2+kπx=\frac{\pi}{2}+k\pi

渐近线:

x=kπx=k\pi
Graph余切函数 y = cot x
定义域范围:-2π 到 2π;虚线表示间断点。

性质:

  • 定义域为 xR, xkπx\in\mathbb R,\ x\ne k\pi
  • 值域为 R\mathbb R
  • 周期为 π\pi
  • 在每个定义区间上严格递减。

8.5 正割函数

y=secx=1cosxy=\sec x=\frac{1}{\cos x}

定义域排除:

x=π2+kπx=\frac{\pi}{2}+k\pi

值域:

(,1][1,)(-\infty,-1]\cup[1,\infty)
Graph正割函数 y = sec x
定义域范围:-2π 到 2π;虚线表示间断点。

性质:

  • 图像位于 y1y\le-1y1y\ge1 的区域。
  • 渐近线为:
x=π2+kπx=\frac{\pi}{2}+k\pi

8.6 余割函数

y=cscx=1sinxy=\csc x=\frac{1}{\sin x}

定义域排除:

x=kπx=k\pi

值域:

(,1][1,)(-\infty,-1]\cup[1,\infty)
Graph余割函数 y = csc x
定义域范围:-2π 到 2π;虚线表示间断点。

性质:

  • 图像位于 y1y\le-1y1y\ge1 的区域。
  • 渐近线为:
x=kπx=k\pi

9. 图像变换

9.1 正弦型和余弦型

考虑:

y=Asin(ωx+φ)+By=A\sin(\omega x+\varphi)+B

或:

y=Acos(ωx+φ)+By=A\cos(\omega x+\varphi)+B

其中:

  • 振幅为 A|A|
  • 中心线为 y=By=B
  • 最大值为:
B+AB+|A|
  • 最小值为:
BAB-|A|
  • 周期为:
T=2πωT=\frac{2\pi}{|\omega|}
  • 相位平移为:
φω-\frac{\varphi}{\omega}
  • 值域为:
[BA,B+A][B-|A|,B+|A|]

9.2 正切型

考虑:

y=Atan(ωx+φ)+By=A\tan(\omega x+\varphi)+B

周期为:

T=πωT=\frac{\pi}{|\omega|}

渐近线满足:

ωx+φ=π2+kπ\omega x+\varphi=\frac{\pi}{2}+k\pi

所以:

x=π2+kπφωx=\frac{\frac{\pi}{2}+k\pi-\varphi}{\omega}

10. 基本恒等式

10.1 倒数关系

secx=1cosx\sec x=\frac{1}{\cos x} cscx=1sinx\csc x=\frac{1}{\sin x}

10.2 商关系

tanx=sinxcosx\tan x=\frac{\sin x}{\cos x} cotx=cosxsinx\cot x=\frac{\cos x}{\sin x}

10.3 平方关系

sin2x+cos2x=1\sin^2x+\cos^2x=1 1+tan2x=sec2x1+\tan^2x=\sec^2x 1+cot2x=csc2x1+\cot^2x=\csc^2x

10.4 和差公式

sin(α+β)=sinαcosβ+cosαsinβ\sin(\alpha+\beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta sin(αβ)=sinαcosβcosαsinβ\sin(\alpha-\beta) = \sin\alpha\cos\beta - \cos\alpha\sin\beta cos(α+β)=cosαcosβsinαsinβ\cos(\alpha+\beta) = \cos\alpha\cos\beta - \sin\alpha\sin\beta cos(αβ)=cosαcosβ+sinαsinβ\cos(\alpha-\beta) = \cos\alpha\cos\beta + \sin\alpha\sin\beta tan(α+β)=tanα+tanβ1tanαtanβ\tan(\alpha+\beta) = \frac{\tan\alpha+\tan\beta} {1-\tan\alpha\tan\beta} tan(αβ)=tanαtanβ1+tanαtanβ\tan(\alpha-\beta) = \frac{\tan\alpha-\tan\beta} {1+\tan\alpha\tan\beta}

10.5 二倍角公式

sin2x=2sinxcosx\sin2x=2\sin x\cos x cos2x=cos2xsin2x\cos2x=\cos^2x-\sin^2x cos2x=12sin2x\cos2x=1-2\sin^2x cos2x=2cos2x1\cos2x=2\cos^2x-1 tan2x=2tanx1tan2x\tan2x=\frac{2\tan x}{1-\tan^2x}

10.6 半角公式

sin2x2=1cosx2\sin^2\frac{x}{2} = \frac{1-\cos x}{2} cos2x2=1+cosx2\cos^2\frac{x}{2} = \frac{1+\cos x}{2} tan2x2=1cosx1+cosx\tan^2\frac{x}{2} = \frac{1-\cos x}{1+\cos x} sinx2=±1cosx2\sin\frac{x}{2} = \pm\sqrt{\frac{1-\cos x}{2}} cosx2=±1+cosx2\cos\frac{x}{2} = \pm\sqrt{\frac{1+\cos x}{2}} tanx2=±1cosx1+cosx\tan\frac{x}{2} = \pm\sqrt{\frac{1-\cos x}{1+\cos x}}

10.7 降幂公式

sin2x=1cos2x2\sin^2x=\frac{1-\cos2x}{2} cos2x=1+cos2x2\cos^2x=\frac{1+\cos2x}{2} sinxcosx=sin2x2\sin x\cos x=\frac{\sin2x}{2}

10.8 积化和差

sinαsinβ=12[cos(αβ)cos(α+β)]\sin\alpha\sin\beta = \frac12[ \cos(\alpha-\beta) - \cos(\alpha+\beta) ] cosαcosβ=12[cos(αβ)+cos(α+β)]\cos\alpha\cos\beta = \frac12[ \cos(\alpha-\beta) + \cos(\alpha+\beta) ] sinαcosβ=12[sin(α+β)+sin(αβ)]\sin\alpha\cos\beta = \frac12[ \sin(\alpha+\beta) + \sin(\alpha-\beta) ] cosαsinβ=12[sin(α+β)sin(αβ)]\cos\alpha\sin\beta = \frac12[ \sin(\alpha+\beta) - \sin(\alpha-\beta) ]

10.9 和差化积

sinα+sinβ=2sinα+β2cosαβ2\sin\alpha+\sin\beta = 2\sin\frac{\alpha+\beta}{2} \cos\frac{\alpha-\beta}{2} sinαsinβ=2cosα+β2sinαβ2\sin\alpha-\sin\beta = 2\cos\frac{\alpha+\beta}{2} \sin\frac{\alpha-\beta}{2} cosα+cosβ=2cosα+β2cosαβ2\cos\alpha+\cos\beta = 2\cos\frac{\alpha+\beta}{2} \cos\frac{\alpha-\beta}{2} cosαcosβ=2sinα+β2sinαβ2\cos\alpha-\cos\beta = -2\sin\frac{\alpha+\beta}{2} \sin\frac{\alpha-\beta}{2}

11. 三角方程通解

11.1 正弦方程

若:

sinx=sinα\sin x=\sin\alpha

则:

x=2kπ+αx=2k\pi+\alpha

或:

x=2kπ+παx=2k\pi+\pi-\alpha

11.2 余弦方程

若:

cosx=cosα\cos x=\cos\alpha

则:

x=2kπ±αx=2k\pi\pm\alpha

11.3 正切方程

若:

tanx=tanα\tan x=\tan\alpha

则:

x=kπ+αx=k\pi+\alpha

11.4 余切方程

若:

cotx=cotα\cot x=\cot\alpha

则:

x=kπ+αx=k\pi+\alpha

其中:

kZk\in\mathbb Z

12. 反三角函数

12.1 反正弦函数

y=arcsinxy=\arcsin x

定义域:

[1,1][-1,1]

值域:

[π2,π2]\left[-\frac{\pi}{2},\frac{\pi}{2}\right]

12.2 反余弦函数

y=arccosxy=\arccos x

定义域:

[1,1][-1,1]

值域:

[0,π][0,\pi]

12.3 反正切函数

y=arctanxy=\arctan x

定义域:

R\mathbb R

值域:

(π2,π2)\left(-\frac{\pi}{2},\frac{\pi}{2}\right)

12.4 反余切函数

常用约定为:

y=arccotxy=\operatorname{arccot}x

定义域为:

R\mathbb R

常用值域为:

(0,π)(0,\pi)

13. 导数公式

以下公式均以弧度制为前提:

(sinx)=cosx(\sin x)'=\cos x (cosx)=sinx(\cos x)'=-\sin x (tanx)=sec2x(\tan x)'=\sec^2x (cotx)=csc2x(\cot x)'=-\csc^2x (secx)=secxtanx(\sec x)'=\sec x\tan x (cscx)=cscxcotx(\csc x)'=-\csc x\cot x

复合函数:

(sinu)=cosuu(\sin u)'=\cos u\cdot u' (cosu)=sinuu(\cos u)'=-\sin u\cdot u' (tanu)=sec2uu(\tan u)'=\sec^2u\cdot u' (cotu)=csc2uu(\cot u)'=-\csc^2u\cdot u' (secu)=secutanuu(\sec u)'=\sec u\tan u\cdot u' (cscu)=cscucotuu(\csc u)'=-\csc u\cot u\cdot u'

反三角函数:

(arcsinx)=11x2(\arcsin x)'=\frac{1}{\sqrt{1-x^2}} (arccosx)=11x2(\arccos x)'=-\frac{1}{\sqrt{1-x^2}} (arctanx)=11+x2(\arctan x)'=\frac{1}{1+x^2} (arccotx)=11+x2(\operatorname{arccot}x)'=-\frac{1}{1+x^2}

14. 三角函数积分

sinxdx=cosx+C\int\sin x\,dx=-\cos x+C cosxdx=sinx+C\int\cos x\,dx=\sin x+C tanxdx=lncosx+C\int\tan x\,dx=-\ln|\cos x|+C cotxdx=lnsinx+C\int\cot x\,dx=\ln|\sin x|+C sec2xdx=tanx+C\int\sec^2x\,dx=\tan x+C csc2xdx=cotx+C\int\csc^2x\,dx=-\cot x+C secxtanxdx=secx+C\int\sec x\tan x\,dx=\sec x+C cscxcotxdx=cscx+C\int\csc x\cot x\,dx=-\csc x+C secxdx=lnsecx+tanx+C\int\sec x\,dx = \ln|\sec x+\tan x|+C cscxdx=lncscxcotx+C\int\csc x\,dx = \ln|\csc x-\cot x|+C

平方积分:

sin2xdx=x2sin2x4+C\int\sin^2x\,dx = \frac{x}{2}-\frac{\sin2x}{4}+C cos2xdx=x2+sin2x4+C\int\cos^2x\,dx = \frac{x}{2}+\frac{\sin2x}{4}+C

15. 极限与泰勒展开

x0x\to0 时:

limx0sinxx=1\lim_{x\to0}\frac{\sin x}{x}=1 limx0tanxx=1\lim_{x\to0}\frac{\tan x}{x}=1 limx01cosxx2=12\lim_{x\to0}\frac{1-\cos x}{x^2}=\frac12

等价无穷小:

sinxx\sin x\sim x tanxx\tan x\sim x 1cosxx221-\cos x\sim\frac{x^2}{2}

正弦函数的麦克劳林展开:

sinx=xx33!+x55!x77!+\sin x = x-\frac{x^3}{3!} +\frac{x^5}{5!} -\frac{x^7}{7!} +\cdots

余弦函数的麦克劳林展开:

cosx=1x22!+x44!x66!+\cos x = 1-\frac{x^2}{2!} +\frac{x^4}{4!} -\frac{x^6}{6!} +\cdots

16. 万能代换

令:

t=tanx2t=\tan\frac{x}{2}

则:

sinx=2t1+t2\sin x=\frac{2t}{1+t^2} cosx=1t21+t2\cos x=\frac{1-t^2}{1+t^2} tanx=2t1t2\tan x=\frac{2t}{1-t^2} dx=21+t2dtdx=\frac{2}{1+t^2}\,dt

该代换可以将含有 sinx\sin xcosx\cos x 的有理式积分转化为有理函数积分。

17. 辅助角公式

对于:

asinx+bcosxa\sin x+b\cos x

令:

R=a2+b2R=\sqrt{a^2+b^2}

则存在角 φ\varphi,使得:

asinx+bcosx=Rsin(x+φ)a\sin x+b\cos x = R\sin(x+\varphi)

其中:

Rcosφ=aR\cos\varphi=a Rsinφ=bR\sin\varphi=b

因此:

a2+b2asinx+bcosxa2+b2-\sqrt{a^2+b^2} \le a\sin x+b\cos x \le \sqrt{a^2+b^2}

18. 欧拉公式

复指数与三角函数的关系为:

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

因此:

cosx=eix+eix2\cos x=\frac{e^{ix}+e^{-ix}}{2} sinx=eixeix2i\sin x=\frac{e^{ix}-e^{-ix}}{2i}

欧拉公式把三角函数、指数函数和复数联系起来,是傅里叶分析和微分方程的重要基础。

19. 知识结构

三角函数的核心关系可以概括为:

单位圆六个基本函数定义域和值域图像与周期恒等变形方程导数与积分\text{单位圆} \longrightarrow \text{六个基本函数} \longrightarrow \text{定义域和值域} \longrightarrow \text{图像与周期} \longrightarrow \text{恒等变形} \longrightarrow \text{方程} \longrightarrow \text{导数与积分}