本文通过数学归纳法等给出了若干多角和三角函数展开式,即多角和的正弦、余弦和正切函数展开式。基于此我们还给出了若干相应的公式,如对Machin公式的推广。总之,本文对于高中阶段三角函数的教学和认识有一定的辅助作用。 With the mathematical induction and other methods at hand, this paper presentes some expressions of trigonometric functions with multi-angles, i.e. expressions of the sine, cosine and tangent functions. Based on these, we also give some corresponding formulas, for instance, the generalized Machin formulae. Above all, this paper plays an auxiliary role in the teaching and understanding of trigonometric function in senior high school.
本文通过数学归纳法等给出了若干多角和三角函数展开式,即多角和的正弦、余弦和正切函数展开式。基于此我们还给出了若干相应的公式,如对Machin公式的推广。总之,本文对于高中阶段三角函数的教学和认识有一定的辅助作用。
三角函数,数学归纳法,多角和
—Starting from Trigonometric Functions in Senior High School
Shuangte Wang1, Hengguo Yu2, Huanyi Liu2, Yanmei Chen1
1Yueqing Liushi No. 3 Middle School, Wenzhou Zhejiang
2College of Mathematics and Physics, Wenzhou University, Wenzhou Zhejiang
Received: Mar. 17th, 2022; accepted: Apr. 18th, 2022; published: Apr. 25th, 2022
With the mathematical induction and other methods at hand, this paper presentes some expressions of trigonometric functions with multi-angles, i.e. expressions of the sine, cosine and tangent functions. Based on these, we also give some corresponding formulas, for instance, the generalized Machin formulae. Above all, this paper plays an auxiliary role in the teaching and understanding of trigonometric function in senior high school.
Keywords:Trigonometric Function, Mathematical Induction, Summation with Multi-Angles
Copyright © 2022 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
中学阶段,学生已经熟练掌握和运用两角和与差的正弦,余弦和正切公式,至于诱导公式﹑半角公式和二倍角公式,本质上来说都是上述和差公式的特例和推广。但是对于多角和情形,一般的资料中较少涉及,尽管涉及倍角和三角函数的若干结论可在数学手册和教科研论文中出现 [
由于一些恒等式的引入,如 sin 2 x + cos 2 x = 1 ,倍角和三角函数公式展开后可以写成多种形式。为此,本文对这方面问题作深入研究和探讨,并借助于数学归纳法给出相应结果。安排如下:首先,采用复变函数中的Euler公式和螺旋归纳法分别证明多角和正弦﹑余弦函数公式,同时用矩阵法证明理论上可得上述公式,并且奇数个角正弦﹑余弦函数展开式存在相同的结构,这是对相关文献的补充;其次,利用归纳法给出多角和正切函数公式,多数文献中并未提及;最后是总结和讨论,并将本文结果推广到双曲正弦﹑余弦函数中。
这里首先按照奇﹑偶数的情况分别给出关于正弦﹑余弦三角函数的展开公式,即如下定理。
定理1:对于任意的 x i ( i = 1 , ⋯ , n ) 和正整数n,有
sin ( ∑ i = 1 2 n x i ) = ∑ l = 0 n − 1 ( − 1 ) l ∑ i 1 , i 2 , ⋯ , i 2 l + 1 ∈ J 2 l + 1 2 n ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n ) ,(1a)
sin ( ∑ i = 1 2 n + 1 x i ) = ∑ l = 0 n ( − 1 ) l ∑ i 1 , i 2 , ⋯ , i 2 l + 1 ∈ J 2 l + 1 2 n + 1 ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n + 1 ) ,(1b)
cos ( ∑ i = 1 2 n x i ) = ∑ l = 0 n ( − 1 ) n − l ∑ i 1 , i 2 , ⋯ , i 2 l ∈ J 2 l 2 n ( sin x 1 ⋯ cos x i 1 ⋯ cos x i 2 l ⋯ sin x 2 n ) , (1c)
cos ( ∑ i = 1 2 n + 1 x i ) = ∑ l = 0 n ( − 1 ) n − l ∑ i 1 , i 2 , ⋯ , i 2 l ∈ J 2 l + 1 2 n + 1 ( sin x 1 ⋯ cos x i 1 ⋯ cos x i 2 l ⋯ sin x 2 n + 1 ) ,(1d)
其中加括号 ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n ) 仅表示求和的各项,记号
J k N = { ( i 1 , i 2 , ⋯ , i k ) | i l ( l = 1 , 2 , ⋯ , k ) ∈ I , 1 < 2 < ⋯ < i 1 < ⋯ < i k < ⋯ < N , i h 1 ≠ i h 2 ( h 1 ≠ h 2 ) } ,
而指标集 I = { 1 , 2 , ⋯ , N } 。
证明1:首先利用复变函数中的Euler公式 e i x = cos x + i sin x 进行证明,考虑
sin ( ∑ j = 1 2 n x j ) = 1 2 i [ exp ( i ∑ j = 1 2 n x j ) − exp ( − i ∑ j = 1 2 n x j ) ] = 1 2 i [ ∏ j = 1 2 n exp ( i x j ) − ∏ j = 1 2 n exp ( − i x j ) ] = 1 2 i [ ∏ j = 1 2 n ( cos x j + i sin x j ) − ∏ j = 1 2 n ( cos x j − i sin x j ) ] .
现定义 A n = ∏ j = 1 2 n ( cos x j + i sin x j ) = a 2 n + i b 2 n ,则 sin ( ∑ j = 1 2 n x j ) = b 2 n = Im ( A 2 n ) 。注意奇数个i相乘才有虚部,故虚部为
b 2 n = ∑ l = 0 n − 1 ( − 1 ) l ∑ i 1 , i 2 , ⋯ , i 2 l + 1 ∈ J 2 l + 1 2 n ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n ) .
类似的还可求出 sin ( ∑ i = 1 2 n + 1 x i ) , cos ( ∑ j = 1 2 n x j ) 及 cos ( ∑ j = 1 2 n + 1 x j ) ,因为
sin ( ∑ j = 1 2 n + 1 x j ) = Im ( A 2 n + 1 ) , cos ( ∑ j = 1 2 n x j ) = Re ( A 2 n ) , cos ( ∑ j = 1 2 n + 1 x j ) = Re ( A 2 n + 1 ) . █
证明2:这里对n采用螺旋归纳法进行证明。显然当 n = 1 和2时已经成立。假设取n时公式(1a)~(1d)均成立,现取 n + 1 ,以(1a)为例,展开有
sin ( ∑ i = 1 2 n + 1 x i ) = sin ( ∑ i = 1 2 n x i ) cos x 2 n + 1 + cos ( ∑ i = 1 2 n x i ) sin x 2 n + 1 = [ ∑ l = 0 n − 1 ( − 1 ) l ∑ i 1 , i 2 , ⋯ , i 2 l + 1 ∈ J 2 l + 1 2 n ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n ) ] cos x 2 n + 1 + [ ∑ l = 0 n ( − 1 ) n − l ∑ i 1 , i 2 , ⋯ , i 2 l ∈ J 2 l 2 n ( sin x 1 ⋯ cos x i 1 ⋯ cos x i 2 l ⋯ sin x 2 n ) ] sin x 2 n + 1 .
显然分别取 l = 0 和 l = n 可得仅含有 sin x i 1 的求和项 ∑ i 1 = 1 2 n + 1 ( cos x 1 ⋯ sin x i 1 ⋯ cos x 2 n + 1 ) ;取一般的l可得含 cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n + 1 的 C 2 n 2 l + 1 + C 2 n 2 n − 2 l = C 2 n + 1 2 l + 1 项求和表达式:
∑ i 1 , i 2 , ⋯ , i 2 l + 1 ∈ J 2 l + 1 2 n ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l + 1 ⋯ cos x 2 n + 1 ) ;
而 sin x 1 ⋯ sin x 2 n + 1 仅有一项且系数为 ( − 1 ) n 。总之,(1a)在取 n + 1 时也成立。类似的,其余三个展开式也成立。█
定理1的证明2可加深对于数学归纳法的认识,它使得学生和教师更多的了解到,不仅限于书本教材中所阐述的“一维”形式的数学归纳法,即还可以存在“二维”形式的归纳法。由(1b)和(1d)知三角和的正弦、余弦公式分别为
sin ( x 1 + x 2 + x 3 ) = sin x 1 cos x 2 cos x 3 + cos x 1 sin x 2 cos x 3 + cos x 1 cos x 2 sin x 3 − sin x 1 sin x 2 sin x 3 , (2a)
cos ( x 1 + x 2 + x 3 ) = cos x 1 cos x 2 cos x 3 − sin x 1 sin x 2 cos x 3 − sin x 1 cos x 2 sin x 3 − cos x 1 sin x 2 sin x 3 . (2b)
显然从(1a)~(1d)右边项数可验证一个恒等式 C N 0 + C N 2 + C N 4 + ⋯ = C N 1 + C N 3 + C N 5 + ⋯ 。
如果按文献 [
总之,利用复变函数的Euler公式或螺旋归纳法均可给出公式(1),而采用矩阵的方法在理论上是可以给出结论。
特别的,对于(1d),取出系数 ( − 1 ) n 并作变换 sin ↔ cos ,等号右边转化为
∑ l = 0 n ( − 1 ) l ∑ i 1 , i 2 , ⋯ , i 2 l ∈ J 2 l + 1 2 n + 1 ( cos x 1 ⋯ sin x i 1 ⋯ sin x i 2 l ⋯ cos x 2 n + 1 ) = sin ( ∑ i = 1 2 n + 1 x i ) ,
因此有(1b)和(1d)的对应关系: sin ( ∑ i = 1 2 n + 1 x i ) ↔ × ( − 1 ) n , sin ↔ cos cos ( ∑ i = 1 2 n + 1 x i ) 。文献 [
推论1:对于任意的x和非负整数n,有
sin ( 2 n x ) = ∑ l = 0 n − 1 ( − 1 ) l C 2 n 2 l + 1 ( sin x ) 2 l + 1 ( cos x ) 2 n − 2 l − 1 , (3a)
sin [ ( 2 n + 1 ) x ] = ∑ l = 0 n ( − 1 ) l C 2 n + 1 2 l + 1 ( sin x ) 2 l + 1 ( cos x ) 2 n − 2 l ; (3b)
cos ( 2 n x ) = ∑ l = 0 n ( − 1 ) n − l C 2 n 2 l ( cos x ) 2 l ( sin x ) 2 n − 2 l , (3c)
cos [ ( 2 n + 1 ) x ] = ∑ l = 0 n ( − 1 ) n − l C 2 n + 1 2 l + 1 ( cos x ) 2 l + 1 ( sin x ) 2 n − 2 l . (3d)
其中 C n k = ( n k ) = n ! k ! ( n − k ) ! 指组合数。█
推论1还可通过Euler公式 e i θ = cos θ + i sin θ 得到,见文献 [
sin [ ( 2 n + 1 ) x ] = ∑ l = 0 n ∑ i = 0 n − l ( − 1 ) l + i C 2 n + 1 2 l + 1 C n − l i ( sin x ) 2 ( l + i ) + 1 ,
再取 l + i = α , i = β 有
sin [ ( 2 n + 1 ) x ] = ∑ α = 0 n ( sin x ) 2 α + 1 ⋅ [ ( − 1 ) α ∑ β = 0 α C 2 n + 1 2 ( α − β ) + 1 C n − ( α − β ) i ] : = ∑ α = 0 n a 2 α + 1 ( sin x ) 2 α + 1 .(4)
而 cos [ ( 2 n + 1 ) x ] = ( − 1 ) n ∑ α = 0 n a 2 α + 1 ( cos x ) 2 α + 1 。如果(4)的两边对x求导,并比较系数就有恒等式(系数 a 2 k + 1 的递推式) a 2 k + 1 = ( − 1 ) k + n ∑ α = k n 2 α + 1 2 n + 1 a 2 α + 1 C β k ,便于倍角和公式的推导。文献 [
由此可以得到若干结果。例如,(1b)的另一个形式为
sin ( ∑ i = 1 2 n + 1 x i ) = ∑ l = 0 n ( − 1 ) n − l ∑ i 1 , i 2 , ⋯ , i 2 l + 1 ∈ J 2 l 2 n + 1 ( sin x 1 ⋯ cos x i 1 ⋯ cos x i 2 l ⋯ sin x 2 n + 1 ) , (5)
在(3a)~(3c)和(5)中分别取 sin n π 2 , sin ( 2 n + 1 ) π 4 , cos n π 2 和 cos ( 2 n + 1 ) π 4 ,有恒等式
∑ l = 0 n − 1 ( − 1 ) l C 2 n 2 l + 1 = ( − 1 ) [ n 2 ] 2 n r ( n ) , ∑ l = 0 n ( − 1 ) l C 2 n + 1 2 l + 1 = ( − 1 ) [ n 2 ] 2 n , ∑ l = 0 n − 1 ( − 1 ) l C 2 n 2 l = ( − 1 ) [ n 2 ] 2 n r ( n + 1 ) , ∑ l = 0 n ( − 1 ) l C 2 n + 1 2 l = ( − 1 ) [ n + 1 2 ] 2 n , (6)
其中 r ( n ) = n − [ n 2 ] 为除2的余数,方括号表示下取整。再从(3a)出发,改写各项为
( sin x ) 2 l + 1 ( cos x ) 2 n − 2 l − 1 = sin x ∑ l ′ = 0 l ( − 1 ) l ′ C l l ′ ( cos x ) 2 n − 2 l + 2 l ′ + 1 ,
并在 [ 0 , π 2 ] 上积分一次就有恒等式
∑ l = 0 n − 1 ∑ l ′ = 0 l ( − 1 ) l + l ′ C 2 n 2 l + 1 C l l ′ 2 n − 2 l + 2 l ′ = r ( n ) n . (7)
类似的,消去(3b)中的 cos x 就有恒等式
∑ l = 0 n ∑ l ′ = 0 n − l ( − 1 ) l + l ′ C 2 n + 1 2 l + 1 C n − l l ′ ( 2 l + 2 l ′ ) ! ! ( 2 l + 2 l ′ + 1 ) ! ! = 1 2 n + 1 . (8)
最后,以上结果(3)还可用于讨论 sin ( m n π ) 和 cos ( m n π ) 是否为无理数,如文献 [
其次,另一个结论是关于多角和的正切函数公式。如果我们按定义用正弦除以余弦的方式,即用定理1的结果直接处理正切函数,将导致问题更复杂化,不便于得到和定理1“类似”的结论。下面的定理2则从初等对称多项式的角度阐述相应结论,但同样要区分奇偶性。
定理2:对于任意的 θ i ( i = 1 , ⋯ , n ) 和正整数n,在定义域内有 tan ( ∑ i = 1 n α i ) = T n = F n G n ,其中
F n : = F n ( x 1 , x 2 , ⋯ , x n ) = ∑ l = 0 u n ( − 1 ) l σ 2 l + 1 ( n ) , G n : = G n ( x 1 , x 2 , ⋯ , x n ) = ∑ l = 0 v n ( − 1 ) l σ 2 l ( n ) . (9)
而 σ k ( n ) : = σ k ( n ) ( x 1 , x 2 , ⋯ , x n ) ( k = 0 , 1 , ⋯ , n ) 均为关于 x 1 , x 2 , ⋯ , x n 的初等对称多项式,即
σ 0 ( n ) = 1 , σ 1 ( n ) = ∑ i = 1 n x i , σ 2 ( n ) = ∑ i = 1 n ∑ j = i + 1 n x i x j , ⋯ , σ n ( n ) = ∏ i = 1 n x i , (10)
相应的 x i = tan α i ,上限 u n = [ n − 1 2 ] 和 v n = [ n 2 ] 。
证明:同样采用归纳法证明。n取1和2时成立,假设n取s时已经成立,对于n取 s + 1 ,分两种情况考虑。
若s为偶数,设 s = 2 k ,则
tan ( ∑ i = 1 s + 1 α i ) = F s + x s + 1 G s G s − x s + 1 F s = ∑ l = 0 k − 1 ( − 1 ) l σ 2 l + 1 ( s ) + x 2 k + 1 ∑ l = 0 k ( − 1 ) l σ 2 l ( s ) ∑ l = 0 k ( − 1 ) l σ 2 l ( s ) + x 2 k + 1 ∑ l = 0 k ( − 1 ) l σ 2 l − 1 ( s ) = F s + 1 G s + 1 .
若s为奇数,设 s = 2 k + 1 ,则
tan ( ∑ i = 1 s + 1 α i ) = F s + x s + 1 G s G s − x s + 1 F s = ∑ l = 0 k ( − 1 ) l σ 2 l + 1 ( s ) + x 2 k + 2 ∑ l = 0 k ( − 1 ) l σ 2 l ( s ) ∑ l = 0 k ( − 1 ) l σ 2 l ( s ) + x 2 k + 2 ∑ l = 1 k + 1 ( − 1 ) l σ 2 l − 1 ( s ) = F s + 1 G s + 1 .
因此n取s时也成立,故结论成立。█
显然定理2完全涵盖了过去的正切函数的两角和差公式,它以一种对称的形式表明这个结果的优美和简洁。由定理2有三角和正切公式
tan ( α + β + γ ) = tan α + tan β + tan γ − tan α tan β tan γ 1 − tan α tan β − tan α tan γ − tan β tan γ . (11)
进一步的,有倍角和公式和反正切函数加法公式,即:
推论2:对于任意的 θ 和正整数n,在定义域内有
tan ( n θ ) = ∑ l = 0 u n ( − 1 ) l C n 2 l + 1 ( tan θ ) 2 l + 1 ∑ l = 0 v n ( − 1 ) l C n 2 l ( tan θ ) 2 l . (12)█
推论3:在定义域内有
∑ i = 1 n arctan A i = arctan [ T n ( A 1 , A 2 , ⋯ , A n ) ] + k ( A 1 , A 2 , ⋯ , A n ) π . (13)
其中 k ( A 1 , A 2 , ⋯ , A n ) 为待定整数。█
注意由推论2可证明 tan [ ( 2 n + 1 ) θ ] = f n ( tan θ ) , cot [ ( 2 n + 1 ) θ ] = f n ( cot θ ) ,其中函数
f n ( t ) = ∑ l = 0 n ( − 1 ) l C 2 n + 1 2 l + 1 t 2 l + 1 ∑ l = 0 n ( − 1 ) l C 2 n + 1 2 l t 2 l .
即正切、余切函数的奇倍数展开形式完全相同,与文献 [
π 4 = 4 arctan 1 5 − arctan 1 239 (Machin公式),
π 4 = 5 arctan 1 7 + 2 arctan 3 79 (Euler反正切型公式) [
π 4 = 2 arctan 1 3 + arctan 1 7 (赫顿公式) [
π 4 = 4 arctan 1 5 − arctan 1 70 + arctan 1 99 ,
π 4 = arctan 1 2 − arctan 1 5 + arctan 1 8 (斯特拉尼斯基公式) [
一般的Machin公式有 n ⋅ arctan 1 B + arctan 1 A n = π 4 ,其中 A 2 n = φ 2 n ( B ) φ 2 n ( − B ) , A 2 n + 1 = − φ 2 n + 1 ( B ) φ 2 n + 1 ( − B ) ,而函数 φ n ( B ) = ∑ k = 0 n ( − 1 ) [ k 2 ] C n k B n − k 。一个简单的反正切恒等式为 arctan 1 2 + arctan 1 3 = π 4 ,其格点图示如下(图1):
图1. arctan 1 2 + arctan 1 3 = π 4 图示
注意到推论3,文献 [
图2. arctan 1 + arctan 2 + arctan 3 = π 图示
定理2的结论表明了多项式理论的重要性。但现行数学专业高等代数课程的一些教材中对于多项式理论的介绍和探讨往往较少,还需要学生选修或者自主寻找相关资料,这就使得数学的整体性被割裂。而推论2和推论3可看成是对上述定理的验证。
个别学有余力的学生可能会提出关于多角和三角函数的问题,一些学生甚至疑惑于数学教材为何不增加这方面知识点,本文的结果有助于中学生深入了解三角函数和差公式,也有助于三角函数的教学。对于即将进入大学深造的中学生而言,定理1的证明有助于其对于数学归纳法和复数的重新梳理认识。此外,不难发现,作代换 sin → s h , cos → c h 后,双曲正弦、余弦函数也有类似于(1)的多角和公式,在此不做详述,至于双曲正切函数,完全可以类推。这也启发我们,如果两个函数 f ( α ) 和 g ( α ) 满足关系
f ( α + β ) = f ( α ) g ( β ) + g ( α ) f ( β ) , g ( α + β ) = g ( α ) g ( β ) − f ( α ) f ( β ) ,
那么,是否有类似于(1)的公式?至于一个抽象函数 f ( α ) 满足正切函数和差形式公式时,是否有类似结论,我们则以常微分方程课程中的一道习题来反衬出定理2的趣味性:
例题:求具有性质 x ( t + s ) = x ( t ) + x ( s ) 1 − x ( t ) x ( s ) 的函数 x ( t ) ,已知 x ′ ( 0 ) 存在。
在当前“减负提质”口号和“双减”政策的大背景下,中学教师在讲解时除了告诉学生要牢记正余弦三角函数的和差公式,更应该让学生明白后续的诱导公式本质上来源于这两个公式,并以此深刻领会到数学的相互融合与贯通,而不是仅仅枯燥的背诵。既要让学生打好坚实的数学基础,又要注重和理解数学课程的实际应用,这是值得任课教师来深入探讨的。当然,从学生的角度看,也要避免过度超前知识点的引入,如奥数竞赛培训中涉及一些大学数学知识,同时结合本文的内容,应进一步启发和激励学生深入探索背后隐含的有趣数学结论。从教师的角度看,这有助于提升其基本数学素养和数学能力,有助于中学数学命题的编制。
尤其注意的是,在当前人才战略的大背景下,教师已不再是过去传统意义上传道授业解惑者,更应该具备广博的知识面和储备科研方向的基本素质。在信息时代的高速发展大形势下,学生已不再是过去只依靠教师才能学习的受教者,网络的使用使得学习更加多元化。数学教师也不应仅仅局限于中小学数学的狭窄知识面,需要涉猎更多大学阶段相关数学知识,要懂得不断学习和终身学习的意义,以此才能在教学中站稳讲台,并充分带动其它课程的建设,例如,与中学物理课程的紧密结合。
作者感谢编辑和审稿人的工作,感谢赵敏老师和戴传军老师,感谢张茂同老师和赵淑静老师,感谢陈谱锦老师。
王双特,于恒国,刘环艺,陈艳梅. 若干多角和三角函数公式——从高中三角函数说起Some Formulas of Trigonometric Functions with Multi-Angles—Starting from Trigonometric Functions in Senior High School[J]. 教育进展, 2022, 12(04): 1196-1204. https://doi.org/10.12677/AE.2022.124187