■円積分の話(その4)

f(θ)=log(cosθ+isinθ)

とおきます。

===================================

df/dθ=1/(cosθ+isinθ)・(-sinθ+icosθ)

=1/(cosθ+isinθ)・i(isinθ+cosθ)

=1/(cosθ+isinθ)・i(cosθ+isinθ)

=i

iθ=log(cosθ+isinθ)+A

θ=0を代入するとA=0

===================================

iθ=log(cosθ+isinθ)

exp(iθ)=cosθ+isinθ・・・オイラーの公式

θ=πとおくとexp(iπ)=-1

===================================