跳至内容
Topos Uranos

摘要

本课开启解析三角学,它研究三角函数之间的代数关系。本课精确地定义什么是恒等式,即在两边的整个公共定义域上都成立的等式,并汇集基本恒等式:倒数关系、商数关系、平方关系、奇偶关系和余角关系,它们还可以读作单位圆中线段的长度。本课讲授证明恒等式的方法,即把一边变形为另一边,或把两边都变形为同一个式子,并说明为什么从恒等式出发再两边平方是无效的;只要一个例外,即一个反例,就足以驳倒一个错误的恒等式。本课把每个函数用另一个函数表示,其符号由象限确定,在化简式子时注意定义域,通过代换把代数根式化为三角函数,并通过消去参数,在点 (acos⁡t,bsin⁡t)\left( a \cos t, b \sin t \right) 中认出椭圆,在点 (asec⁡t,btan⁡t)\left( a \sec t, b \tan t \right) 中认出双曲线。

学习目标

  1. 精确定义三角恒等式,确定其公共定义域并把它与方程区分开,汇集并证明基本恒等式,也包括把它们几何地读作线段。
  2. 通过把一边变形为另一边或把两边变形为同一个式子来证明恒等式,识别无效的推理,并用反例驳倒错误的恒等式。
  3. 把每个三角函数用另一个三角函数表示,带上与象限相应的符号,并在保持定义域的前提下化简式子。
  4. 运用三角代换变换含根式的式子,并在椭圆和双曲线的三角参数化中消去参数。

什么是恒等式

三角函数之间的有些等式对每个实数都成立,例如 sin⁡2θ+cos⁡2θ=1\sin^2 \theta + \cos^2 \theta = 1,它已在关于三角比与单位圆的课中证明;另一些,例如 sin⁡θ=−12\sin \theta = -\frac{1}{2},只对某些值成立,求这些值的方法已在关于反三角函数的课中学过。两者的区别在于性质:前者断言关于所有数的某件事,后者则提出一个问题。不过,“对每个实数”这句话需要加以精确化,因为许多三角式子并非在所有数上都有定义。

三角恒等式是由三角函数构成的两个式子之间的等式,它对变量的所有使两边都有定义的值都成立。这些值组成的集合是该恒等式的公共定义域。只对公共定义域中的某些值成立的等式是方程,这些值是它的解。

定义域不是细节。正切在余弦不为零处有定义,余切在正弦不为零处有定义;因此,两者之积恰好在 xx 不是 π2\frac{\pi}{2} 的整数倍时有定义,并且在那里等于 11:

tan⁡xcot⁡x=1,x≠kπ2\tan x \cot x = 1, \qquad x \neq \frac{k\pi}{2}

在 π2\frac{\pi}{2} 的倍数处,该恒等式什么也没有断言,因为它的左边不表示任何数。同样,sin⁡xtan⁡x=cos⁡x\frac{\sin x}{\tan x} = \cos x 在其公共定义域上是恒等式,这个定义域排除 π2\frac{\pi}{2} 的倍数;然而,函数 f(x)=sin⁡xtan⁡xf(x) = \frac{\sin x}{\tan x} 与 g(x)=cos⁡xg(x) = \cos x 并不相等,因为根据课程 I 中关于函数的运算的课,两个相等的函数有相同的定义域,而后者例如在 x=0x = 0 处有定义。因此,恒等式只在两个式子都有意义的地方比较它们。

基本恒等式

下面的恒等式直接由定义和前一单元的定理得到;其余所有恒等式都由它们推出。

定理基本恒等式

在每个等式的公共定义域上,下列倒数关系、商数关系和平方关系成立。此外,正弦、正切、余割和余切是奇函数,余弦和正割是偶函数;并且每个函数在 π2−θ\frac{\pi}{2} - \theta 处的值等于其余函数在 θ\theta 处的值,这里正弦与余弦、正切与余切、正割与余割互为余函数。

sin⁡θcsc⁡θ=1,cos⁡θsec⁡θ=1,tan⁡θcot⁡θ=1\sin \theta \csc \theta = 1, \qquad \cos \theta \sec \theta = 1, \qquad \tan \theta \cot \theta = 1
tan⁡θ=sin⁡θcos⁡θ,cot⁡θ=cos⁡θsin⁡θ\tan \theta = \frac{\sin \theta}{\cos \theta}, \qquad \cot \theta = \frac{\cos \theta}{\sin \theta}
sin⁡2θ+cos⁡2θ=1,1+tan⁡2θ=sec⁡2θ,1+cot⁡2θ=csc⁡2θ\sin^2 \theta + \cos^2 \theta = 1, \qquad 1 + \tan^2 \theta = \sec^2 \theta, \qquad 1 + \cot^2 \theta = \csc^2 \theta
sec⁡(−θ)=sec⁡θ,csc⁡(−θ)=−csc⁡θ,cot⁡(−θ)=−cot⁡θ\sec(-\theta) = \sec \theta, \qquad \csc(-\theta) = -\csc \theta, \qquad \cot(-\theta) = -\cot \theta
sec⁡(π2−θ)=csc⁡θ,csc⁡(π2−θ)=sec⁡θ,cot⁡(π2−θ)=tan⁡θ\sec\left( \frac{\pi}{2} - \theta \right) = \csc \theta, \qquad \csc\left( \frac{\pi}{2} - \theta \right) = \sec \theta, \qquad \cot\left( \frac{\pi}{2} - \theta \right) = \tan \theta

一切都在点 P(θ)=(cos⁡θ,sin⁡θ)P(\theta) = \left( \cos \theta, \sin \theta \right) 上读出,这个点来自关于三角比的课:其余四个函数在那里被定义为它的坐标之商,而那节课中证明的正弦和余弦的对称性定理给出 P(θ)P(\theta) 关于 xx 轴和关于直线 y=xy = x 的反射。其余恒等式通过取商和倒数得到。图中用的是锐角。

证明

  1. tan⁡θ=sin⁡θcos⁡θ,cot⁡θ=cos⁡θsin⁡θ,sec⁡θ=1cos⁡θ,csc⁡θ=1sin⁡θ\tan \theta = \frac{\sin \theta}{\cos \theta}, \quad \cot \theta = \frac{\cos \theta}{\sin \theta}, \quad \sec \theta = \frac{1}{\cos \theta}, \quad \csc \theta = \frac{1}{\sin \theta}

    倒数关系和商数关系就是正切、余切、正割和余割的定义:每个函数在其分母不为零处有定义,并且在这个定义域上,一个函数与它的倒数之积等于 11。图中,正弦和余弦是 P(θ)P(\theta) 的坐标。

  2. sin⁡2θ+cos⁡2θ=1→sin⁡2θcos⁡2θ+1=1cos⁡2θ,1+cos⁡2θsin⁡2θ=1sin⁡2θ\sin^2 \theta + \cos^2 \theta = 1 \rightarrow \frac{\resaltar{\sin^2 \theta}}{\cos^2 \theta} + 1 = \frac{1}{\resaltar{\cos^2 \theta}}, \quad 1 + \frac{\resaltar{\cos^2 \theta}}{\sin^2 \theta} = \frac{1}{\resaltar{\sin^2 \theta}}

    点 P(θ)P(\theta) 到原点的距离为 11:这就是第一个平方关系,已在关于三角比的课中证明。在满足 cos⁡θ≠0\cos \theta \neq 0 的地方,把它的两边除以 cos⁡2θ\cos^2 \theta;在满足 sin⁡θ≠0\sin \theta \neq 0 的地方,除以 sin⁡2θ\sin^2 \theta;由前面得到的恒等式即得另外两个。

  3. P(−θ)=(cos⁡θ,−sin⁡θ)\dato{i}{P(-\theta) = \left( \cos \theta, \resaltar{-\sin \theta} \right)}

    P(θ)P(\theta) 关于 xx 轴的反射是 P(−θ)P(-\theta):由对称性定理,余弦是偶函数,正弦是奇函数。特别地,−θ-\theta 属于每个函数的定义域,当且仅当 θ\theta 属于它,因为正弦和余弦的零点是对称的。

  4. sec⁡(−θ)=1cos⁡θ=sec⁡θ,csc⁡(−θ)=1−sin⁡θ=−csc⁡θ,cot⁡(−θ)=cos⁡θ−sin⁡θ=−cot⁡θ\sec(-\theta) = \frac{1}{\cos \theta} = \sec \theta, \quad \csc(-\theta) = \frac{1}{\resaltar{-\sin \theta}} = -\csc \theta, \quad \cot(-\theta) = \frac{\cos \theta}{\resaltar{-\sin \theta}} = -\cot \theta

    取倒数和商时,表达式中只含一次正弦的函数会出现负号:正割是偶函数,余割、正切和余切是奇函数。

  5. P(π2−θ)=(sin⁡θ,cos⁡θ)\dato{c}{P\left( \frac{\pi}{2} - \theta \right) = \left( \resaltar{\sin \theta}, \resaltar{\cos \theta} \right)}

    P(θ)P(\theta) 关于直线 y=xy = x 的反射是 P(π2−θ)P\left( \frac{\pi}{2} - \theta \right):由对称性定理,这个反射交换正弦和余弦。

  6. sec⁡(π2−θ)=1sin⁡θ=csc⁡θ,csc⁡(π2−θ)=1cos⁡θ=sec⁡θ,cot⁡(π2−θ)=sin⁡θcos⁡θ=tan⁡θ\sec\left( \frac{\pi}{2} - \theta \right) = \frac{1}{\resaltar{\sin \theta}} = \csc \theta, \quad \csc\left( \frac{\pi}{2} - \theta \right) = \frac{1}{\resaltar{\cos \theta}} = \sec \theta, \quad \cot\left( \frac{\pi}{2} - \theta \right) = \frac{\resaltar{\sin \theta}}{\resaltar{\cos \theta}} = \tan \theta

    取倒数和商时,正割与余割、正切与余切也互相交换。定义域互相对应:π2−θ\frac{\pi}{2} - \theta 属于正割的定义域,当且仅当 θ\theta 属于余割的定义域,因为 cos⁡(π2−θ)=sin⁡θ\cos\left( \frac{\pi}{2} - \theta \right) = \sin \theta,其余函数也是如此。

六个函数的线段表示

正切和正割的名称来自几何:对于锐角,它们是单位圆的一条切线和一条割线上的线段长度。这幅经典的图在一张图中汇集了六个函数和三个平方关系。

定理六个三角比的线段表示

设 0<θ<π20 < \theta < \frac{\pi}{2},PP 为单位圆上的点 P(θ)P(\theta),QQ 为从它向 xx 轴所作垂线的垂足,A=(1,0)A = (1, 0),B=(0,1)B = (0, 1)。含终边的直线与在 AA 处的竖直切线交于一点 TT,与在 BB 处的水平切线交于一点 SS。那么,θ\theta 的余弦、正弦、正切、正割、余切和余割分别是从 OO 到 QQ、从 QQ 到 PP、从 AA 到 TT、从 OO 到 TT、从 BB 到 SS 以及从 OO 到 SS 的线段的长度;而在顶点为 OO、AA 和 TT 的三角形中,以及在顶点为 OO、BB 和 SS 的三角形中,勾股定理分别是第二个和第三个平方关系。

下面逐条线段地走遍这幅图。所用的工具就是在关于三角比的课中给出正切意义的那个工具:含终边的直线过原点且斜率为 tan⁡θ\tan \theta,所以它的方程是 y=xtan⁡θy = x \tan \theta。

证明

  1. P(θ)=(cos⁡θ,sin⁡θ),Q=(cos⁡θ,0)P(\theta) = \left( \cos \theta, \sin \theta \right), \quad Q = \left( \cos \theta, 0 \right)

    按定义,PP 的坐标是余弦和正弦;从 OO 到 QQ 的水平线段的长度是横坐标,从 QQ 到 PP 的竖直线段的长度是纵坐标,二者在第一象限都是正的。

  2. T=(1,tan⁡θ)\dato{t}{T = \left( 1, \tan \theta \right)}

    圆在 AA 处的切线是直线 x=1x = 1。把 x=1x = 1 代入终边的方程,得到 TT:从 AA 到 TT 的线段在切线上,其长度为 tan⁡θ\tan \theta。

  3. T=sec⁡θ⋅(cos⁡θ,sin⁡θ)T = \resaltar{\sec \theta} \cdot \left( \cos \theta, \sin \theta \right)

    点 TT 是点 P(θ)P(\theta) 乘以 sec⁡θ\sec \theta,因为 sec⁡θcos⁡θ=1\sec \theta \cos \theta = 1。由于 P(θ)P(\theta) 到原点的距离为 11,TT 到原点的距离为 sec⁡θ\sec \theta:从 OO 到 TT 的线段在割线上,其长度就是正割。

  4. 12+tan⁡2θ=sec⁡2θ\resaltar{1^2} + \resaltar{\tan^2 \theta} = \resaltar{\sec^2 \theta}

    顶点为 OO、AA 和 TT 的三角形在 AA 处是直角,两条直角边为 11 和 tan⁡θ\tan \theta,斜边为 sec⁡θ\sec \theta。在其中运用勾股定理,就是第二个平方关系。

  5. S=(cot⁡θ,1)=csc⁡θ⋅(cos⁡θ,sin⁡θ)\dato{s}{S = \left( \cot \theta, 1 \right) = \csc \theta \cdot \left( \cos \theta, \sin \theta \right)}

    在 BB 处的切线是直线 y=1y = 1。把 y=1y = 1 代入 y=xtan⁡θy = x \tan \theta 得 x=cot⁡θx = \cot \theta;又因为 csc⁡θsin⁡θ=1\csc \theta \sin \theta = 1,点 SS 是 P(θ)P(\theta) 乘以 csc⁡θ\csc \theta。因此,从 BB 到 SS 的线段的长度是余切,从 OO 到 SS 的线段的长度是余割。

  6. 12+cot⁡2θ=csc⁡2θ\resaltar{1^2} + \resaltar{\cot^2 \theta} = \resaltar{\csc^2 \theta}

    顶点为 OO、BB 和 SS 的三角形在 BB 处是直角,两条直角边为 11 和 cot⁡θ\cot \theta,斜边为 csc⁡θ\csc \theta:由它得出第三个平方关系。它在 OO 处的角等于 π2−θ\frac{\pi}{2} - \theta,对于这个角,θ\theta 的余切是对边:它是余角的正切。

从图中还可以读出,锐角的正割和余割大于 11,因为它们是有一条直角边长为 11 的三角形的斜边,并且正切小于正割。同样,第一个平方关系就是勾股定理在顶点为 OO、QQ 和 PP 的三角形中的情形。