基本恒等式:勾股、商、倒数与对称
学三角恒等式时,最容易掉进一个坑:把它们当成一张公式表。表当然有用,但如果只背表,很快就会分不清什么时候能用、为什么要看象限、分母为零时为什么必须停下来。
这一章把基本恒等式重新放回单位圆。单位圆上一点的坐标是 (cosx,sinx),这一个事实会同时给出勾股恒等式、商恒等式、倒数恒等式、奇偶性和周期性。你会看到,恒等式不是额外出现的规则,而是定义和对称性留下的痕迹。
三角恒等式说的是:在两边都有定义的角上,两个表达式的值总是相等。所以每次化简前都要看定义域。把 cosxsinx 写成 tanx 时,已经默认 cosx=0。
勾股恒等式来自单位圆
单位圆的方程是
X2+Y2=1
如果角 x 的终边与单位圆交于点 P,那么这个点的坐标是
P=(cosx,sinx)
把坐标代回单位圆方程,就得到
(cosx)2+(sinx)2=1
通常写成
cos2x+sin2x=1
或者
sin2x+cos2x=1
这里的 sin2x 表示 (sinx)2,不是 sin(x2)。这条恒等式之所以对所有实数角成立,是因为无论角转到哪里,点 P 始终在半径为 1 的圆上。

图:勾股恒等式来自单位圆:横纵投影的平方和等于半径平方 1。
如果从直角三角形看,cosx 和 sinx 是两条直角边,半径 1 是斜边。勾股定理说两条直角边平方和等于斜边平方,于是平方和就是 1。如果从坐标看,它就是单位圆方程本身。
已知一个值,求另一个值
勾股恒等式常用来从 sinx 求 cosx,或者从 cosx 求 sinx。关键不是只开平方,还要根据象限决定正负号。
例题:已知 sinθ=53,且 θ 在第二象限,求 cosθ 与 tanθ。
先使用勾股恒等式,把已知的 sinθ 代入:
sin2θ+cos2θ=1计算得到
(53)2+cos2θ=1所以
cos2θ=2516开平方时先得到两个可能值:
cosθ=±54第二象限的横坐标为负,所以 cosθ=−54。
最后使用正切的坐标比:
tanθ=cosθsinθ=−5453=−43
从平方值开平方时,符号不能靠手感决定。先看角所在象限,也就是单位圆点的横坐标和纵坐标符号。
商恒等式把正切带回坐标比
在单位圆上,P=(cosx,sinx)。从原点看这条终边,它的斜率是
横向变化纵向变化=cosxsinx
正切描述的正是这个比值,所以
tanx=cosxsinx
这条恒等式的条件是 cosx=0。当终边竖直时,横向变化为 0,斜率不存在,正切也无定义。

图:商恒等式来自单位圆上半径射线的斜率:纵向变化为 sin θ,横向变化为 cos θ,因此 tan θ = sin θ / cos θ。
同样地,余切是正切的倒数,也可以写成
cotx=sinxcosx
它的条件是 sinx=0。当终边落在 x 轴上时,纵向变化为 0,余切无定义。
不要把 tanx=cosxsinx 当成可以无条件替换的字符串。若 cosx=0,右边分母为 0,左边正切也无定义,化简必须停在定义域检查处。
例题:用坐标比判断正切
已知单位圆上一点 P=(−135,1312) 对应角 θ。求 sinθ、cosθ 和 tanθ。
由单位圆定义可知
cosθ=−135
sinθ=1312
因此
tanθ=cosθsinθ=−1351312=−512
点在第二象限,正切为负,这和计算结果一致。
倒数恒等式与定义域
倒数恒等式来自三个倒数定义。它们看起来很短,但每一条都有分母不能为 0 的条件。

图:倒数恒等式把三角函数配成三组互为倒数的关系;使用时要先检查分母是否为 0。
倒数关系也可以反过来用:
sinx=cscx1
cosx=secx1
tanx=cotx1
当表达式里出现 secx、cscx、cotx 时,把它们写成 sinx 和 cosx 往往会让结构变清楚。比如
sinx⋅cscx=1
但这只在 sinx=0 时成立。因为 cscx 本身只在 sinx=0 时有定义。
从勾股恒等式推出两条常用形式
把
sin2x+cos2x=1
两边同时除以 cos2x,在 cosx=0 时得到
tan2x+1=sec2x
两边同时除以 sin2x,在 sinx=0 时得到
1+cot2x=csc2x
这两条也叫勾股恒等式,但它们不是新规则。它们只是第一条勾股恒等式除以不同的平方后得到的形式。
对称性是坐标符号的变化
单位圆有很多对称性。角变成 −x、π−x、π+x 或 2π−x 时,点在圆上的位置发生镜像或旋转,坐标的符号随之变化。

图:单位圆上的对称性:通过 x 轴镜像、y 轴镜像和关于原点对称,比较相关角的坐标符号变化。
设
P=(cosx,sinx)
那么几个常见角对应的坐标是:
从第一行可以看出正弦和余弦的奇偶性:
sin(−x)=−sinx
cos(−x)=cosx
再结合商恒等式,可以得到正切的奇偶性:
tan(−x)=cos(−x)sin(−x)=cosx−sinx=−tanx
所以正弦和正切是奇函数,余弦是偶函数。倒数函数也跟着变化:cscx 和 cotx 是奇函数,secx 是偶函数。
对称恒等式的核心不是“把角放进括号然后套公式”,而是看单位圆点被反射到哪里。横坐标变号就影响余弦,纵坐标变号就影响正弦,二者的比值变号就影响正切。
周期恒等式来自重复到达
单位圆上转过一整圈以后会回到同一点。一整圈是 2π 弧度,所以
sin(x+2π)=sinx
cos(x+2π)=cosx
更一般地,对于任意整数 k,
sin(x+2πk)=sinx
cos(x+2πk)=cosx
正割和余割分别是余弦、正弦的倒数,所以它们也以 2π 为周期。

图:周期恒等式:θ 与 θ+2π 对应单位圆上的同一点;相隔 π 的两点与原点共线且斜率相同,因此 tan(θ+π)=tan θ。
正切的周期更短。角增加 π 时,单位圆点走到相对点:
(cos(x+π),sin(x+π))=(−cosx,−sinx)
两个坐标同时变号,它们的比值不变:
tan(x+π)=−cosx−sinx=tanx
所以
tan(x+πk)=tanx
其中 k 是整数,并且两边都要有定义。余切同样以 π 为周期。
例题:用周期和对称求值
求 sin(−67π)。
先用奇偶性把负角处理掉:
sin(−67π)=−sin(67π)67π=π+6π,所以
sin(π+6π)=−sin(6π)因为 sin(6π)=21,所以
sin(67π)=−21回到第一步:
sin(−67π)=−(−21)=21
求值时先确定符号
很多求值题只给一个三角函数值和象限。它们看似是代数题,实质上仍然是单位圆题。
例题:已知 tanθ=−2,且 θ 在第二象限。求 sinθ、cosθ 和 secθ。
先由第二象限判断符号:sinθ>0,cosθ<0,所以 tanθ<0 与题目一致。
使用
1+tan2θ=sec2θ代入 tanθ=−2,得到
sec2θ=1+4=5第二象限中 cosθ<0,所以 secθ=cosθ1<0。因此
secθ=−5由倒数关系得到
cosθ=secθ1=−51=−55再用 tanθ=cosθsinθ:
−2=−55sinθ所以
sinθ=525
这个过程没有把角求出来。它只用到了象限、商恒等式、倒数恒等式和勾股恒等式。很多三角题正是这样工作的:不需要知道角的具体大小,也能确定函数值。
化简时要保留等价条件
化简不是让式子看起来短,而是在合法条件下把结构看清楚。一个可靠的顺序是:
- 先看分母、根号、倒数函数,写清楚哪些角不能取;
- 把 tanx、secx、cscx、cotx 统一成 sinx 和 cosx;
- 寻找 sin2x+cos2x=1、1−sin2x=cos2x、1−cos2x=sin2x;
- 约分前确认被约掉的因子不为 0。

图:恒等式化简路线:先确认定义域,再统一表达形式,寻找勾股恒等式,最后检查分母条件。
例题:化简一个表达式
化简
sinx1−cos2x
其中 sinx=0。
先认出 1−cos2x 来自勾股恒等式:
1−cos2x=sin2x把原式改写为
sinxsin2x因为题目已经要求 sinx=0,可以约去一个 sinx,得到
sinx
如果忘记条件,直接把 sinx 约掉,就会误以为原式在所有角上都等于 sinx。但原式在 sinx=0 时根本没有定义。
例题:把倒数函数化成基本函数
化简
sinx⋅cscx+cosx⋅secx
先写出定义域条件:cscx 要求 sinx=0,secx 要求 cosx=0。
使用倒数恒等式:
sinx⋅sinx1+cosx⋅cosx1在 sinx=0 且 cosx=0 时,两个乘积分别等于 1,所以原式化简为
2
本章的基本恒等式可以归成四个来源:单位圆方程给勾股恒等式,函数定义给商恒等式和倒数恒等式,单位圆对称给奇偶和相关角恒等式,整圈旋转给周期恒等式。
练习
- 已知 cosθ=257,且 θ 在第四象限,求 sinθ 和 tanθ。
第四象限中 sinθ<0。由 sin2θ+cos2θ=1 得
sin2θ=1−(257)2=625576所以 sinθ=−2524。再用商恒等式:
tanθ=257−2524=−724
- 化简 sec2x−tan2x,并说明需要什么定义域条件。
由 tan2x+1=sec2x 可得
sec2x−tan2x=1这个表达式中 secx 和 tanx 都要求 cosx=0。
- 判断 sin(π−x)、cos(π−x)、tan(π−x) 分别等于什么。
单位圆点从 (cosx,sinx) 反射到第二象限对应点 (−cosx,sinx),所以
sin(π−x)=sinxcos(π−x)=−cosx当两边都有定义时,
tan(π−x)=−cosxsinx=−tanx
- 已知 sinθ=−54,且 θ 在第三象限,求 cosθ、secθ 和 cotθ。
第三象限中 cosθ<0。由勾股恒等式得到
cos2θ=1−(−54)2=259所以 cosθ=−53。因此
secθ=−35并且
cotθ=sinθcosθ=−54−53=43
- 化简 secxtanx。
先写成正弦和余弦:
secxtanx=cosx1cosxsinx=sinx原式要求 cosx=0,因为 tanx 和 secx 都在这些角上才有定义。
- 求 cos(−35π)。
余弦是偶函数,所以
cos(−35π)=cos(35π)而 35π=2π−3π,第四象限余弦为正,所以结果是
21
- 说明为什么 tan(x+π)=tanx,但通常不能说 sin(x+π)=sinx。
角增加 π 后,单位圆点从 (cosx,sinx) 变成 (−cosx,−sinx)。正切是坐标比:
−cosx−sinx=cosxsinx所以正切不变。正弦只看纵坐标,纵坐标变成相反数,因此
sin(x+π)=−sinx一般不等于 sinx。
- 化简 cosx1−sin2x,其中 cosx=0。
由勾股恒等式,
1−sin2x=cos2x所以
cosx1−sin2x=cosxcos2x=cosx这里能约分是因为已知 cosx=0。
- 如果 secθ=−513,且 θ 在第三象限,求 cosθ、sinθ 和 tanθ。
由倒数恒等式,
cosθ=secθ1=−135第三象限中 sinθ<0。由勾股恒等式,
sin2θ=1−16925=169144所以 sinθ=−1312。于是
tanθ=−135−1312=512
- 把 csc(−x)、sec(−x)、cot(−x) 分别写成关于 x 的表达式。
因为 sin(−x)=−sinx,所以
csc(−x)=−cscx因为 cos(−x)=cosx,所以
sec(−x)=secx又因为 cotx=sinxcosx,所以
cot(−x)=sin(−x)cos(−x)=−sinxcosx=−cotx