■余弦定理と球面余弦定理(その3)
オイラーの公式(1748年)
exp(iθ)=cosθ+isinθ
ド・モアブルの定理(1722年)
(cosθ+isinθ)^n=cosnθ+isinnθ
などは虚(あるいは複素数)の三角法の公式と捉えることがができるであろう.
複素数の世界では,z=x+iyとしたとき,
sinz=sinxcoshy+icosxsinhy
cosz=cosxcoshy−isinxsinhy
expz=exp(x)cosy+iexp(x)siny
などのように書くことができる.
sinz,coszが周期2πをもつこと
sin(z+2π)=sinz
は複素数の世界でも同じであるが,一方,expzは虚の周期2πiをもつ.
exp(z+2πi)=expz
なお,平面正弦定理では,
sinα:sinβ:sinγ=a/R:b/R:c/R
であるが,球面正弦定理は
sinα:sinβ:sinγ=sin(a/R):sin(b/R):sin(c/R)
で表される.
それに対して,双曲的三角法では,球面正弦定理のRをiRに置き換えることによって,
sinα:sinβ:sinγ=sinh(a/R):sinh(b/R):sinh(c/R)
が得られる.
===================================