贡献者: 欄、停敘; 叶燊Leafshen; jingyuan; addis
预备知识 弧度制与任意角
,
几何与解析几何初步,函数
在初中阶段,三角函数(trigonometric functions)通常是在直角三角形的背景下引入的。在学习时,相信读者尚未学习 “函数” 这一概念,自然仅仅将其作为名称接受,并未意识到它与数学上的函数有何关联。而现在,在了解了函数表示的是输入与输出之间的确定关系的基础上,回顾初中的学习内容,可以发现:无论直角三角形的边长如何变化,只要其中一个锐角固定,三边之间的任意两者的比例始终不变。这一现象正是函数关系的体现——每个角都对应着唯一的比例,这也解释了三角函数名称的由来。
三角函数是一个历史悠久的数学主题,它的独特性在于,它不仅直接关联于几何图形,同时也符合函数的数学定义。这种双重属性使其从一开始就展现出复杂性。然而,复杂性往往伴随着强大的应用能力——事实上,几乎所有的周期函数都可以用三角函数表示。这一特性催生了一门重要的数学分支——傅里叶分析(Fourier analysis),它构成了现代电子信息技术、信号处理等领域的基础,建立了时间与频率之间的数学联系。
在高中阶段,三角函数主要考察的内容包括:
- 三角恒等变换,主要涉及三角函数的代数运算,如基本恒等式、倍角与半角公式等。
- 解三角形,基本仍是三角函数在几何中的应用,包括正弦定理和余弦定理的运用。
- 函数视角下的三角函数,主要考察三角函数的函数性质,如周期性、单调性、对称性、导数以及与其他函数的复合等内容。
这三个部分分别体现了三角函数在代数、几何和函数分析中的不同侧重点。而本文的核心目标正是将初中阶段熟悉的直角三角形中的三角函数推广至任意角,为上面提到的三个应用方向奠定基础。
1. 推广三角函数至任意角
最初,三角函数(如 、 等)被用于衡量三角形的边长关系,但这种定义仅适用于锐角,即 ,因为直角三角形的定义要求其中一角固定为 ,从而限制了角的取值范围。随着角度的推广至任意角,为了突破这一限制,使三角函数适用于任意角,即 。三角函数的定义也需要从直角三角形推广到符合任意角的更一般的形式,以涵盖所有角度。
图 1:任意角示意图
如图 1 所示,既然任意角可以在坐标系中由角 与圆 的交点 确定,自然可以想到,三角函数的定义也应与圆 和点 相关。此外,由于相差 或 的任意角具有相同的终边,显然这些角的三角函数值应该相同。换句话说,所有基本三角函数都应是周期函数,并且 是它们的一个周期。
接下来的问题是如何在单位圆中构造包含角 的直角三角形。这样做的好处在于,既能利用原本基于直角三角形的三角函数定义来推导新的定义,又能保证新定义在锐角情况下与原定义的结果一致,从而实现平滑地扩展。
在坐标系中,一个能把已知条件都利用上的直角三角形构造方式是过点 向 轴作垂线。此时,斜边即圆的半径 ,角 的对边等于点 的纵坐标 ,邻边等于其横坐标 。由于这三个量对于任意角 都是确定的,因此可以自然地推广初中学过的三角函数定义:
2. 三角函数
在几何问题中,三角函数通常以角度为单位表示,但从函数的角度来看,为了使三角函数更自然地融入实数函数体系,通常采用弧度制,将角的大小作为自变量。引入弧度制不仅简化了数学表达,还优化了三角函数的性质。例如,在弧度制下, 在 处的导数为 ,这一特性使得微积分中的运算更加简洁和直观。
此外,如前文在讨论任意角和弧度制时所述,三角函数的研究也通常放在单位圆中。这是因为单位圆的半径恒定为 ,使得三角函数的定义中不再显式地依赖 (而正切 的表达式本身就不涉及 )。本质上,三角函数仅取决于角的大小,而与斜边长度无关,因此在单位圆中定义三角函数更加清晰,也有利于后续的函数分析和计算。
定义 1 三角函数
设自变量 为 与 轴的夹角,角 与单位圆的交点为 ,则有:
- 正弦函数(sine)
- 余弦函数(cosine)
- 正切函数(tangent)
这里的三角函数在定义方式上,与之前学习的幂函数、指数函数和对数函数有所不同。尽管它仍然是一个运算,但这一运算并非直接的代数运算,而是涉及几何图形、长度等概念。在高中阶段,这种区别并不会带来太大影响,但在高等数学中,这样的定义可能会引发某些循环论证的问题,因此在更深入的数学学习中,三角函数的定义会进一步调整。然而,无论如何调整,这些改进仍然是基于最初直角三角形中的三角函数概念,只是为了逻辑上的严密性进行扩展。
事实上,许多数学概念的发展都遵循类似的过程。最初的概念往往是直观且朴素的,但为了扩大其适用范围或增强其严谨性,数学家会对其重新定义。这时,理解概念的关键在于两点:一是掌握最初的直观概念,二是理解重新定义时所采用的思路。任何数学概念的提出都不是凭空产生的,而是基于已有的知识体系逐步演化而来的。
值得注意的是,由于点 位于单位圆上,其坐标 和 可能为负值,因此三角函数的取值也可能为负。例如,第二象限角的余弦值为负,第三象限角的正弦值为负,这超出了原本直角三角形中三角函数仅表示边长比的概念。毕竟,在直角三角形中,边长始终是非负的。然而,这种推广方式仍然是合理的。一方面,在锐角范围内,它与初中阶段的三角函数定义完全一致;另一方面,它揭示了三角函数更本质的数学关系,即不仅仅是边长的比例,而是结合坐标方向的数值表达。实际上,原定义中没有负值的情况只是直角三角形模型下的特殊表现,而推广至任意角后,负值的引入是自然且必要的,使得三角函数的定义更加普遍和完备。
除上述介绍的三种基本三角函数外,还有另外三种三角函数,在高中阶段通常不涉及,包括1:
定义 2 *三角函数
设自变量 为 与 轴的夹角,角 与单位圆的交点为 ,则有:
- 余切函数(cotangent)
- 正割函数(secant)
- 余割函数(cosecant)
显然,它们分别是 的倒数。需要注意的是,尽管余割的英文是 cosecant,但由于 已经被用来表示余弦(cosine),因此采用另一种方式来表示余割:取单词 cosecant 中的第 1、3、5 个字母,形成 这一记号。
可以看到,这六个三角函数的定义都与圆密切相关,它们既可以看作是角 的变化,也可以看作是点 在单位圆上的运动。因此,三角函数也被称为圆函数(circular functions)。在初中和高中阶段,三角函数的背景始终限定在某个直角三角形中,而在扩展后的函数视角下中,可以这样理解:三角函数出现的场景必然可以找到某个点在圆上运动,这个观念在大学阶段会有非常重要的作用。
另外,在数学表达中,为了避免三角函数幂次的歧义,通常采用特定的书写习惯。例如,表达 可能会引起误解,不确定是 还是 。因此,约定:
- 若表示 ,写作 ,即幂次标在 的上方。
- 若表示 ,则仍写作 ,并在必要时使用括号以避免混淆。
另外若内部仅为单项式,则可省略括号,而若内部为多项式,则需保留括号,以避免误解。具体例子而言如下:
此外,在涉及三角函数的倒数时,通常直接使用相应的三角函数名称。例如 一般直接使用倒数写法或记作 。特别地, 等代表 或其他三角函数的反函数,称作反三角函数,通常未免歧义会记作 等,称作 “反正弦函数”,在计算机语言中也常用 asin(x) 表示。
3. 三角函数的几何含义
之前介绍的三角函数定义较为抽象,为了更清晰地理解六个三角函数的几何含义,以下内容将从几何角度分析锐角情况下任意角的三角函数定义,并探讨这些函数名称的由来。
一般,称呼需要研究的角 为正角。在此前的学习中,已经了解两个角互为余角的条件,即它们的角度之和为 。换句话说,余角是 减去给定正角后剩余的角。
在圆的背景下,弦、切、割的概念可以描述如下2:
- 连接圆上两点的线段称为弦3。
- 过圆外一点作直线,与圆交于相异的两点时,该直线称为割线。
- 过圆外一点作直线,与圆相交于唯一一点时,该直线称为切线。
这些几何元素可以在坐标系中直观地表示,如 图 2 所示。
图 2:任意角的三角函数(锐角)
从图中可以清楚地看出:
- 和 是弦的一半,即对应于单位圆内的直角三角形中的直角边。
- 通过点 和 作圆的切线,即与坐标轴垂直的直线,与角的终边所在直线相交于点 和 ,得到的线段 和 ,分别对应 和 。换句话说,可以将这一过程理解为:希望从角的终边上找到一点,使其可以作圆的切线,并且为了利用直角三角形的特性,要求该切线与坐标轴(即角的始边)垂直,这样可以反推出圆外的点 和 。
- 和 分别对应于从 作通过圆心的割线所得到的线段 和 ,即切线、坐标轴和角的终边所在直线截取出的三角形的斜边。
可以看出三角函数中的弦、切、割分别是圆中弦、切线、割线的一部分。这样,每个正角的弦、切、割都涉及两个三角形:一个是单位圆内的三角形 ;另一个是包含圆外一点的三角形 。对于余角,对应关系类似,只是对应的三角形是以余角展开的三角形。
当然根据上面的介绍,相信读者自己也可以画出其他情况下对应的几何图形,图 3 所示的是钝角情况下的图像。
图 3:任意角的三角函数(钝角)
将几何结果与三角函数的代数定义 定义 1 和 定义 2 相对照可以看到4:
- 正角弦、切的符号,由线段位于 轴的上侧或下侧决定。
- 余角弦、切的符号,由线段位于 轴的左侧或右侧决定。
- 割线的符号取决于它是否在角的终边上,若在终边上则为正,若在终边的反向延长线上则为负。
通过几何关系可以直观地看出,当角的终边落在 轴上时,过 作的垂线将与终边平行,导致二者无交点 ,无法构成直角三角形,进而使得 不存在。这种情况对应于 ,即 式 4 中分母为 的情况。根据任意角的角度表示规则,此时的角度满足: 或 ,两者可以合并为:
即, 在 取上述值时无定义,而 由于 也同样无意义。同样地,
时, 也无意义。
4. *同角三角函数的基本关系
根据前文给出的三角函数定义,很容易得到下面三组同角三角函数的恒等关系:
上面的公式太多了,不好记怎么办?有人总结了如图 4 所示的方法来辅助记忆:
- 六边形对角线上的函数互为倒数。
- 六边形顶点上的函数等于相邻两顶点乘积。
- 三个倒立的三角(黄色标记)上方两顶点的平方和等于下方顶点。
图 4:同角三角函数的基本关系
在上面的同角三角函数的恒等关系中,可以发现同一个数值往往有多种不同的表达方式。例如, 既可以表示为 ,也可以表示为 。这种性质表明,由三角函数构成的表达式与代数中熟悉的幂表达式不同,其表示形式通常并不唯一。这种灵活性是三角函数的一个重要特点,也是高中阶段经常需要处理的问题之一。
其实,由于高中阶段不涉及 ,因此,上面的关系中,常常使用的只有:
前者是大名鼎鼎的勾股定理,后者则是初中时学习的 的定义。这里之所以给出这么多,一则是为了知识的完整,二则是在一些推导过程中,利用恒等关系可以化简避免错误。如果觉得记忆困难,完全可以放弃,提升熟练度一样可以。
5. 诱导公式
之前提到过,第一象限内的角都是锐角,它们的三角函数值直接来源于直角三角形的边长或边的比值,因此无论计算哪种三角函数,其结果均为正值。在最初编制三角函数表时,人们仅针对这一范围制作表格,并对其数值进行了深入研究。然而,随着角度范围的扩展,如果要为所有可能的角度单独编制三角函数表,是几乎不可能的。
此时,人们发现可以利用三角函数在单位圆上的对称性5,将不同象限的角与第一象限的锐角建立关系。这些关系被归纳为诱导公式(Формулы приведения)6。这些公式不仅揭示了三角函数的对称性,也极大地简化了计算。
通过诱导公式,可以将任意角的三角函数值转换为第一象限的锐角情况,从而避免为所有角度单独编制三角函数表,使原有的表格仍然适用。这种方法使得计算更加高效,也为进一步研究三角恒等变换提供了重要工具。
根据三角函数的定义,角 在单位圆上对应的点 具有坐标 ,该点的坐标决定了角 的各个三角函数值。由于单位圆具有多种对称性,当两个角 的对应点 具有关于 轴、 轴或原点的对称性时,其横、纵坐标的绝对值相等,而符号则可能保持不变或相反。这直接影响了三角函数值的变化规律。具体来说,若两点 具有以下对称关系,则其坐标满足:
- 关于 轴对称时, 保持不变,而 互为相反数;
- 关于 轴对称时, 互为相反数,而 保持不变;
- 关于原点对称时,、 均互为相反数;
- 关于 对称时,交换横坐标和纵坐标,即从 变成 ;
- 关于 对称时,交换横坐标和纵坐标,且二者均变号,即从 变成 。
由此可见,第二、第三、第四象限的角的三角函数值与第一象限锐角的三角函数值仅相差一个符号。因此,在计算时,只需确定对应的锐角值,并依据象限确定符号,即可快速求解。
接下来的关键问题就是:
- 如何用数学表达式描述这些对称关系;
- 对称引起的坐标的变化将如何影响三角函数值。
用角表示对称关系
首先来看关于 轴对称的情况。由于三角函数的角是以 轴正方向为始边定义的,因此若两个角 对应的点 关于 轴对称,则 的位置可以看作是 沿 轴翻转,即 的终边逆时针旋转 所在的角度,而 的终边则顺时针旋转相同的角度。这意味着,若 对应的角为 ,则 对应的角为 。由于单位圆的周期性,所有相差 的角终边都在同一位置,此时有:
下面再来推导关于 轴对称的角度关系,这可以分成两终边在上半平面或下半平面两种情况。若角 的终边对应的点 关于 轴对称,且两者都位于上半平面,则此时二者是早已熟悉的 “互补” 关系,即 ,从而:
当 在下半平面时,可以先使用 轴对称的关系,将下半平面的角转换为上半平面处理。若 都位于下半平面,可以令它们的关于 轴对称的角分别为 ,即:
此时, 在上半平面且关于 轴对称,即 ,带入
式 17 并令 ,得到:
由于 的任意性,令
式 18 与
式 20 中的 结果相差 可以发现二者的尽管表达式不同,但实际上表达的结果相同。这说明无论 处于上半平面还是下半平面,它们关于 轴对称的角度关系都是相同的。
接下来是关于原点对称的情况,若两个角 对应的点 关于原点对称,则 可以看作是 先关于 轴对称,再关于 轴对称得到的。若 对应的角为 ,则关于 轴对称后,得到 ,其角为:
再将 关于 轴对称,得到最终的 ,则:
合并
式 21 和
式 22 ,令 化简得:
然后是关于 对称的情况,当 与 都处于第一象限时,二者的和为 ,这是之前学习过的 “互余”。此时满足 ,
即:
当 处于其他象限时,可以利用关于 轴、 轴或原点的对称变换,先将其变换到第一象限,再使用
式 24 中的关系。下面以 处于第二象限为例,此时 处于第四象限。将 和 分别关于 轴和 轴进行的对称变换,将其变换到第一象限:
此时, 与 均位于第一象限且仍关于 对称,即
,取 后得到的结果与
式 24 相同。事实上,所有象限经过上述处理后得到的结果都相同。
最后是关于 对称的情况,此时只要将两个角关于 轴或 轴对称后,二者就会关于 对称。由于 x 轴情况简单就以此为例,将 和 分别关于 轴进行的对称变换,可以得到:
此时满足 ,代入 可得:
至此,所有需要的对称情况都得到了,分别是:
需要注意的是,尽管在前面的推导过程中,一开始时都假设 是第一象限角,但推导结果表明,这些对称的角关系对任意角 都成立。这一结果使得在教学中,为了便于记忆,常见的口诀会在记忆结论时,假设任意角 是第一象限角。这本是方便记忆的口诀,然而,许多教师在讲解时可能不会详细说明这一原理,而是仅强调结论,使得部分学生对其推导逻辑缺乏理解。前述分析正是对此进行了严密的论证,揭示了这些公式背后的数学本质。
对称性是数学中一种极为重要的思维方式,它不仅适用于三角函数的研究,还广泛应用于其他数学领域。例如,在高等数学中,研究对称性最终发展出了群论,这门学科系统地研究了各种对称结构,并在代数、几何、物理等诸多领域具有深远影响。因此,掌握对称性的思维方式,不仅能帮助理解三角函数的性质,也能为更深入的数学学习奠定基础。
诱导公式
首先,根据任意角的周期性有:
然后根据刚才讨论过的对称性和坐标关系,并所有的正切函数拆分为正弦和余弦分别考虑,有7:
- 关于 轴对称时:
- 关于 轴对称时:
- 关于原点对称时:
- 关于 对称时:
- 关于 对称时:
这些公式互相结合可以得到更多的关系,比如将第一条和第五条结合可以得到:
这些结果看上去很杂很多,但人们将这些公式总结为一个著名的口诀,即 “奇变偶不变,符号看象限”。这句话的含义是:
- 当角度涉及 的奇数倍(如 , , 等)时,正弦和余弦函数会相互转换,即 “奇变”;
- 当角度涉及 的偶数倍(如 , 等,即 的整数倍)时,函数形式保持不变,即 “偶不变”;
- 符号的确定依赖于角将角 视为锐角时,表达式所在的象限,即 “符号看象限”,参见图 5 。
图 5:三角函数的符号与角所在象限的关系
例 1 化简: 和
解:
对于 ,由于 是 的偶数倍,结果仍是 ,由于 终边落在 负半轴上,因此 落在第二象限,根据图 5 , 在第二象限符号为正,因此:
对于 ,由于 是 的奇数倍,结果变名为 ,由于 终边落在 负半轴上,因此 落在第四象限,根据图 5 , 在第四象限符号为正8,因此:
1. ^ 实际上,历史上还存在两个已经被弃用的三角函数概念:
正矢(versine)
余矢(vercosine)
为方便读者理解,并没有把上面的表达式放在单位圆中。在
图 2 中,锐角的正矢和余矢分别对应于点 在 轴的投影与 之间的部分,以及在 轴的投影与 之间的部分。早期的三角函数表中曾经包含这两个函数,最初的目的在于避免因正弦或余弦值过小而引入计算误差。然而,随着计算机的发展,这两个函数由于与其他三角函数的关系较弱,逐渐被弃用。
2. ^ 关于曲线的切线和割线,可参考
切线与割线。
3. ^ 如果将弦与弧的组合视作一把 “弓”,那么弦正对应于弓上的弦,而 “矢” 的位置恰好就是这把弓上的 “箭”。
4. ^ 这里抛弃了人教版教科书上 “三角函数线” 的表述,更加简洁自然。
5. ^ 高中教材通常采用三角函数线进行推导,而实际上,通过三角函数的定义结合单位圆的对称性,可以简单、快速地得出这些结论。
6. ^ “приведение” 原意为 “换算,导出,引导”,因此其实这一组公式可以理解为 “换算公式”,即将其他象限的角换算至第一象限的对应角。英语中并无固定对应术语,通常仅称作对称关系,近年来有译作 “induction formula”,但使用较少。
7. ^ 下面的关系为简便先省略 。
8. ^ 注意此处是看原本的函数,而非变后的。