三角函数公式推导
第一部分三角函数模拟计算机电路介绍
第二部分使用六分仪测量经纬度的三角函数法
https://115.com/s/swnr60y36zv?password=y110#
三角函数模拟计算机访问码:y110复制这段内容,可在115App中直接打开!
链接:https://www.aliyundrive.com/s/7K5XqziKDae
第三部分,模拟三角函数计算机公式介绍
函数为常数的条件 推导出反三角函数的计算公式
用模拟计算机计算开方,看参考拉格郎奇公式中的近似公式的推导
计算三角函数的公式1
通过无穷小及无穷大的分级中的应用题3),我们得到。在角度不太大时,
1-cos ψ=4(1- 1+cos ψ ) (90)
2
2
2 1+ 1- (sin ψ)
1- 1- (sin ψ) = 4 (1- ) (90)
2
由上面的式子组成模拟计算机的计算电路。
计算方程式的解,可见计算方程式的近似解页 比例法则,或称弦线法,依据波查诺-柯西第一定理
牛顿法则,或称切线法则
联合法
下面的公式可以用于模拟计算机的计算电路
计算三角函数的公式2
通过127. 近似公式中的例题4),我们得到。设s是弧长,d是对应于它的弦,而δ是对应于半弧的弦(图53)。最后得到关于x,cos x,d,δ的四元一次方程组
2 3dx 2
(cos x) =1-( 8δ-d ) (202a)
2
(dδ)
cos x = -1 (202b)
2
2
d 4δ d 2 2 2
( )+( - ) (1-cos) =δ (202c)
2 3x 6x
d 4δ d 1-cos x 2 4δ d 2
( )+( - - *6 ) =( - ) (202d)
2 3x 6x 2 3x 6x
计算三角函数的公式3, 最后得到关于x,cos x,d,δ的四元一次方程组
2 2
2 d *x
cos x =1- (203a)
16 2 2
f +d
3
2
2 2 d
d *(f + )
4
cos x= -1 (203b)
2
2
d 2 d
( ) + f = (203c)
2 2(cos x+1)
(203d)
2 2 2 2
2 4 f + 1 d 4 f + 1 d
d 2 3 4 3 4
( ) + cos x * =
2 2 2
x x
计算三角函数的公式4,详细推导过程可参见戴劳公式125例题
3 5 2m-1
x x m-1 x 2m
+ -…+(-1) +o(x )
3! 5! (2m-1)!
tan x=sin x/cos x=
2 4 2m
x x m x 2m+1
1- + -…+(-1) +o(x )
2! 4! (2m)!
m-1
2*2! 2*4! 2*6! (-1) (2m)! (2m)!
= - + -…+( -
m
x 3!x 5!x (2m)!x (-1) (2m-1)!x
2 4 2m
x x m x 2m+1
cos x= 1- + -…+(-1) +o(x )
2! 4! (2m)!
3 5 2m-1
x x m-1 x 2m
sin x=x- + -…+(-1) +o(x )
3! 5! (2m-1)!
详细推导见初等函数的展开
3 5 2m-1
x x m-1 x 2m
sh x=x+ + + …+(-1) +o(x )
3! 5! (2m-1)!
2 4 2m
x x m x 2m+1
ch x= 1+ + +…+(-1) +o(x )
2! 4! (2m)!
计算三角函数的拉格朗奇插值法,详细推导过程可见计算三角函数的插值法, 例如
ω(x) π
sin ( 31°)≈ sin ( )
ω`(x )(x-x ) 6
m m
m! π
= sin( )
[m![(m-1)!((m-2)!(…(1!+0))+(m-2))+(m-1)]+m!]m 6
(m-1)! π
= sin( )
[m![(m-1)!((m-2)!(…(1!+0))+(m-2))+(m-1)]m 6
1*2*3…30 π
= sin( )
31!(30!(29!(28!(…1!+1)+28!)+29!)+30!)+31! 6
ω(x) π
cos ( 31°)≈ cos ( )
ω`(x )(x-x ) 6
m m
1*2*3…30 π
= cos( )
31!(30!(29!(28!(…1!+1)+28!)+29!)+30!)+31! 6
21 ω(x) 20
e ≈ e
ω`(x )(x-x )
m m
1*2*3…21 20
= e
21!(20!(19!(18!(…1!+1)+18!)+19!)+20!)+21!
计算三角函数的带余项的拉格朗奇插值法,详细推导过程可见计算三角函数的插值法, 例如.
(m+1) π
sin ( )
ω(x) π 6
sin ( 31°)≈ * sin( )+ w(x)
ω`(x )(x-x ) 6 (m+1)!
m m
π
cos ( )
m! π 6
= * sin( )+ m!
[m![(m-1)! ((m-2)! (…(1!+0)) +(m-2)) +(m-1)]+m!]m! 6 (m+1)!
π
cos ( )
(m-1)! π 6
= * sin( )+ m!
[(m-1)! ((m-2)! (...(1!+0)) +(m-2)) +(m-1)]+m! 6 (m+1)!
π
cos( )
1*2*3...*29 π 6
= * sin( ) + 30!
30!(29!(28!(...1!+1)+28!)+29!)+30! 6 31!
(m+1) π
cos ( )
ω(x) π 6
cos ( 31°)≈ * cos( )+ w(x)
ω`(x )(x-x ) 6 (m+1)!
m m
π
sin( )
1*2*3...*29 π 6
= * sin( ) + 30!
30!(29!(28!(...1!+1)+28!)+29!)+30! 6 31!
20 (m+1)
21 ω(x) 20 (e )
e ≈ * e + w(x)
ω`(x )(x-x ) (m+1)!
m m
20 (m+1)
m! 20 (e )
= *e +
m![(m-1)! ((m-2)! (…(1!+0)) +(m-2)) +(m-1)]+m! (m+1)!
20
1*2*3...*21 20 e
= *e + m!
21!(20!(19!(18!(...1!+1)+18!)+19!)+20!)+21! (m+1)!
计算三角函数的埃尔密特公式插值法,详细推导过程可见计算三角函数的插值法, 例如。
(n)
tg`(60°) tg``(60°) tg (60°)
tg ( 61°)≈tg(60°)+ (61°-60°)+ (61°-60°) +… (61°-60°)
1! 2! n!
(N)
tg (60°) n +1 n +1 n +1
0 1 m
+ (x-x ) (x-x ) … (x-x )
m! 0 1 m
(n)
tg`(π/3) tg``(π/3) tg (π/3)
=tg(π/3)+ (180π/61-π/3)+ (180π/61-π/3) +… (180π/61-π/3)
1! 2! n!
(3)
tg (π/3) π/3 +1 π/3 +1+1 π/3 +1+1+1
+ (180π/61-π/3) (180π/61-π/3) (180π/61-π/3)
3!
tg`(π/3) tg``(π/3)
≈tg(π/3)+ (180π/61-π/3)+ (180π/61-π/3) +…
1! 2!
(1)
tg (π/3) π/3 +1
+ (180π/61-π/3)
1!
tg`(π/3) tg``(π/3)
≈tg(π/3)+ (180π/61-π/3)+ (180π/61-π/3) +…
1! 2!
2
sec (π/3) π/3 +1
+ (180π/61-π/3)
1!
(n)
sin`(60°) sin``(60°) sin (60°)
sin ( 61°)≈sin(60°)+ (61°-60°)+ (61°-60°) +… (61°-60°)
1! 2! n!
(N)
sin (60°) n +1 n +1 n +1
0 1 m
+ (x-x ) (x-x ) … (x-x )
m! 0 1 m
(n)
sin`(π/3) sin``(π/3) sin (π/3)
=sin(π/3)+ (180π/61-π/3)+ (180π/61-π/3) +… (180π/61-π/3)
1! 2! n!
(3)
sin (π/3) π/3 +1 π/3 +1+1 π/3 +1+1+1
+ (180π/61-π/3) (180π/61-π/3) (180π/61-π/3)
3!
sin`(π/3) sin``(π/3)
≈sin(π/3)+ (180π/61-π/3)+ (180π/61-π/3) +…
1! 2!
(1)
sin (π/3) π/3 +1
+ (180π/61-π/3)
1!
sin`(π/3) sin``(π/3)
≈sin(π/3)+ (180π/61-π/3)+ (180π/61-π/3) +…
1! 2!
cos (π/3) π/3 +1
+ (180π/61-π/3)
1!
推导过程见三角函数泰勒级数计算电路中的二项式级数, 计算三角函数的近似公式8
设set n=10
2
∞ x
sin x=x*∏ (1- )
n=1 2 2
n π
2
x
2 2 1-
x x n -n 2 2
=x* 2π(1- ) ( 1- ) e n π
2 2 2 2 2
n π n π x
1-
2
π
设set n=10
2
∞ x
sin x=x*∏ (1- )
n=1 2 2
n π
2
x
2 2 1-
x x 10 -10 2 2
=10* 2π(1- ) ( 1- ) e 10 π
2 2 2 2 2
10 π 10 π x
1-
2
π
2
∞ 4x
ch x= ∏ (1+ )
n=1 2 2
(2n-1) π
2
4x
2 2 1+
4x 4x n -n 2 2
= 2π(1+ ) ( 1+ ) e (2n-1) π
2 2 2 2 2
(2n-1) π (2n-1) π 4x
1+
2
π
设set n=10
2
∞ 4x
ch x= ∏ (1+ )
n=1 2 2
(2n-1) π
2
4x
2 2 1+
4x 4x 10 -10 2 2
= 2π(1+ ) ( 1+ ) e 19 π
2 2 2 2 2
19 π 19 π 4x
1+
2
π
2
π√π=
1
1-
1 1 n -n 2
2(1- ) (1- ) e 4n
2 2 1
4n 4n 1-
4
2
∞ 4x
cos x= ∏ (1- )
n=1 2 2
(2n-1) π
2
4x
2 2 1-
4x 4x n -n 2 2
= 2π(1- ) ( 1- ) e (2n-1) π
2 2 2 2 2
(2n-1) π (2n-1) π 4x
1-
2
π
设set n=10
2
∞ 4x
cos x=∏ (1- )
n=1 2 2
(2n-1) π
2
4x
2 2 1-
4x 4 x 10 -10 2 2
= 2π(1- ) ( 1- ) e 19 π
2 2 2 2 2
19 π 19 π 4x
1-
2
π
2
∞ x
sh x=x*∏ (1+ )
n=1 2 2
n π
2
x
2 2 1+
x x n -n 2 2
= x* 2π(1+ ) ( 1+ ) e (2n-1) π
2 2 2 2 2
n π n π x
1+
2
π
设set n=10
2
∞ x
sh x=x*∏ (1+ )
n=1 2 2
n π
2
x
2 2 1+
x x 10 -10 2 2
= 2π(1+ ) ( 1+ ) e 10 π
2 2 2 2 2
10 π 10 π x
1-
2
π
计算开方的模拟计算机电路, 推导过程见三角函数泰勒级数计算电路中的二项式级数
2
2z 1 2z 2 1 2z 4 1 2z 6
1+ ( ) =1+ ( ) - ( ) + ( )-
2 2 2 8 2 16 2
1+ z 1+ z 1+ z 1+ z
5 2z 8 n-1 (2n-3)!! 2z 2n-1
- ( ) +…+(-1) ( ) +… (-1≤x≤1)
128 2 2n!! 2
1+z 1+z
∞ (2n-3)!! 2z 2n-1
=∑ ( )
n=1 2n!! 2
1+z
z,如果|z|≤1
={ 1/z,如果if|z|≥1
其中:
2
2z
1+ ( ) =x
2
1+ z
1
=
2
2z
1+ ( )
2
1+ z
1 2z 2 3 2z 4 5 2z 6
=1- ( ) + ( ) - ( )+
2 2 8 2 16 2
1+ z 1+ z 1+ z
5 2z 8 n-1 (2n-3)!! 2z 2n-1
- ( ) +…+(-1) ( ) +… (-1≤x≤1)
128 2 2n!! 2
1+z 1+z
∞ (2n-3)!! 2z 2n-1
=∑ ( )
n=1 2n!! 2
1+z
z,如果if|z|≤1
={ 1/z,如果if|z|≥1
其中:
2
2z
1+ ( ) =x
2
1+ z
1
=
2
2z
1+ ( )
2
1+ z
2z 2 2z 4 2z 6
=1- ( ) + ( ) - ( )+
2 2 2
1+ z 1+ z 1+ z
2z 8 n 2z 2n-1
- ( ) +…+(-1) ( ) +… (-1≤x≤1)
2 2
1+z 1+z
∞ 2z 2n-1
=∑ ( )
n=1 2
1+z
z,如果if|z|≤1
={ 1/z,如果if|z|≥1
其中:
2
2z
1+ ( ) =x
2
1+ z
推导可以见级数的计算页, 由数学归纳法可得
a 1 1 n-1 1
=1- + -…+(-1) +…
b a a² a
其中。a>0,b>0,b-a=1
模拟计算机可以调用这个公式计算除法, 由数学归纳法可得
a c/2 1 n-1 1
=1+ + -…+(-1) +…
b a+b a
a
其中。a>0,b>0,b-a=c
由数学归纳法可得
b 1 1 n 1
=1+ - -…+(-1) +…
a b b² a
其中。a>0,b>0,b-a=1
模拟计算机可以调用这个公式计算除法, 由数学归纳法可得
b c/2 c c n-1 1
=1+ - + -…+(-1) +…
a a+b b b² b
其中。a>0,b>0,c>0,b-a=c
推导过程可见无穷级数欧拉常数页
1 1 1
e=1+ + +…+ +…
1! 2! n!
∞
=1+∑
n
=1+ +C+γ
n+1 n
其中C=0.57721566490…
用对数函数计算sinx,cosx的公式。推导过程可见无穷级数欧拉常数页
2n-1
x
sin x=∑ (-1) =log(2/π)*x+(2/π)x0.001+1+C+γ (0<x<π/2)
(2n-1)!
公式(4c)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n-1
x
sin x=∑ (-1) =log(2/π)(π-x)+(2/π)(π-x)*0.001+1+C+γ (π/2<x<π)
(2n-1)!
公式(4c)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n-1
x
sin x=∑ (-1) =-log(2/π)(x-π/2)-(2/π)(x-π/2)*0.001-1+C+γ (π<x<3π/2)
(2n-1)!
公式(4c)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n-1
x
sin x=∑ (-1) =-log(2/π)(2π-x)-(2/π)(2π-x)*0.001-1+C+γ (3π/2<x<2π)
(2n-1)!
公式(4c)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n
x
cos x=∑ (-1) =-log(2/π)(π/2-x)+(2/π)(π/2-x)*0.001+1+C+γ (0<x<π/2)
(2n)!
公式(5c)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n
x
cos x=∑ (-1) =-log(1/π)(x-π/2)-(1/π)(x-π/2)*0.001-1+C+γ (π/2<x<π)
(2n)!
公式(4c)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n
x
cos x=∑ (-1) =-log(2/π)(3π/2-x)-(2/π)(3π/2-x)*0.001-1+C+γ (π<x<3π/2)
(2n)!
公式(5a)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
2n
x
cos x=∑ (-1) =log(2/π)(x-3π/2)+(2/π)(x-3π/2))*0.01-0.01+1+C+γ (3π/2<x<2π)
(2n)!
公式(5a)中固定的常数C等于0.01, 这个常数的数值(它是从另外的方法计算出来的)是这样的: C=0.01
计算tgx ,ctgx的公式, 推导过程可见级数的乘法页
tg x=sin x/cos x
(2k)!
x x (∑ (-1) ) - ∏(-1)
=∑(-1) [ ∑ (-1) -
(2k-1)! (2k-1)!
∏(-1) ∑ (-1)
2 4 2k
x x x x x k x
=(x- + -…+(-1) +…)[1- + -…+(-1)
3! 5! (2k-1)! 2! 4! (2k)!
2! 4! k (2k)! 2 2! 4! k (2k)!
(1- + -…+(-1) +…) -1*(- )( )(…)(-1)
2 4 2k 2 4 2k
x x x x x x
-…+
2! 4! k (2k)! 2! 4! k (2k)!
1*(- )( )(…*)((-1) )(1- + -…+(-1) +…)
2 4 2k 2 4 2k
x x x x x x
tg x=sin x/cos x
x x
=∑(-1) *∑ (-1) -
(2k-1)! (2k-1)!
(2k)! ∑ (-1) ( ∑ (-1) ) - ∑(-1) *∏(-1)
(2k-1)! (2k-1)! x
∏(-1) ∑ (-1)
1 1 1 1 1 1
=1+(- + )x+( + * + ) x +…-
2! 3! 4! 2! 3! 5!
(2k)! ∑ (-1) ( ∑ (-1) ) - ∑(-1) *∏(-1)
(2k-1)! (2k-1)! x
∏(-1) ∑ (-1)
计算tgx ,ctgx的公式
ctg x=sin x/cos x
(2k-1)!
x x (∑ (-1) ) - ∏(-1)
=∑(-1) [ ∑ (-1) -
(2k)! (2k-1)!
∏(-1) ∑ (-1)
3 5 2k-1
x x x x x k-1 x
=(1- + -…+(-1) +…)[1- + -…+(-1)
2! 4! (2k)! 3! 4! (2k-1)!
3! 5! k-1 (2k-1)! 2 3! 5! k-1 (2k-1)!
(x- + -…+(-1) +…) -x*(- )( )(…)(-1)
3 5 2k-1 3 5 2k-1
x x x x x x
-…+
3! 5! k-1 (2k)! 3! 5! k-1 (2k-1)!
x*(- )( )(…*)((-1) )(x- + -…+(-1) +…)
3 5 2k-1 3 5 2k-1
x x x x x x
计算tgx ,ctgx的公式
ctg x=cos x/sin x
2k 2k-1
x x
=∑(-1) *∑ (-1) -
(2k)! (2k-1)!
(2k-1)! ∑ (-1) ( ∑ (-1) ) - ∑(-1) *∏(-1)
(2k)! (2k)! x
∏(-1) ∑ (-1)
1 1 1 1 1 1
=1+(- + )x+( + * + ) x +…-
2! 3! 4! 2! 3! 5!
(2k-1)! ∑ (-1) ( ∑ (-1) ) - ∑(-1) *∏(-1)
(2k-1)! (2k)! x
∏(-1) ∑ (-1)
推导过程见无穷级数欧拉常数页, 计算三角函数tg x,ctg x的公式
(2k)!
x x (∑ (-1) ) - ∏(-1)
∑(-1) [∑ (-1) - ]*
(2k-1)! (2k)!
∏(-1) ∑ (-1)
(2k-1)!
x x (∑ (-1) ) - ∏(-1)
∑(-1) [∑ (-1) - ]=1
(2k)! (2k-1)!
∏(-1) ∑ (-1)
推导见拉格朗奇公式, 可以由下面的式子组成模拟计算机的电路计算幂函数。也可以使用模
计算开方的模拟计算机电路
1/2 1 (1/2)(1/2-1) 2 (1/2)(1/2-1)…(1/2-n+1) n
(1+x) =1+ x+ x +…+ x +…
2 12 12*…n
1 1 2 1 3 5 4 n-1 (2n-3)!! n
1+x =1+ x- x + x - x +…+(-1) x +…
2 8 16 128 2n!!
(-1≤x≤1) (23)
与
-1/2 1 (-1/2)(-1/2-1) 2 (1/2)(1/2-1)…(1/2-n+1) n
(1+x) =1- x+ x +…+ x +…
2 12 12*…n
1 1 3 2 5 3 35 4 n-1 (2n-1)!! n
=1+ x- x + x - x +…+(-1) x +…
2 8 16 128 2n!!
1+x (-1<x≤1) (24)
拟计算机用下面的方法计算一个数的开方。
μ μ μ
(1+x) ≈(1+0) +f`(1+0) x=1+μx
μ*3
μ 3 3 μ*3
(1+x) =(1+x) =( (1+x) )
1 μ*(μ+1) 1 μ μ+1
≈(1+ *x) =((1+ *x) )
μ+2 μ+2
1 μ+1
≈(1+ *μx)
μ+2
1 1*10
2 1 2
(1+x) ≈(1+ *x)
10
1 1*3
2 1 2
(1+1) ≈(1+ *1) 161051
3
3
1 2
=(1+ )
3
3 3
1 4 1 4
=(1+ ) * (1+ )
3 3
1 3 1 3
=(1+ * ) * (1+ * )
3 4 3 4
5 5
= *
4 4
25
≈
16
≈1.787
1 1*3
2 1 2
(1+1) ≈(1+ *x)
3
3
1 2
=(1+ )
3
推导过程见戴劳常数页
3 5 2m-1
x x m-1 x 2m
arc tg x=x- + -…+ (-1) +o(x )
3 5 2m-1
3 5 2m-1
x x m x 2m
arcc tg x=-x+ - -…+ (-1) +o(x )
3 5 2m-1
3 5 2m-1
2!! x 4!!x m-1 (2m-2)!! x 2m
arc sin x=x- + -…+(-1) +o(x )
3!! 5!! (2m-1)!!
注note;5!!=135,6!!=246
注note;5!!=135,6!!=246
2 3 5 2m
x 3!! x 5!!x m (2m-1)!! x 2m+1
arc cos x=1- + - -…+(-1) +o(x )
2!! 4!! 6!! (2m)!!
注note;5!!=135,6!!=246
根据戴劳公式(120a)