■円積分の話(その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
===================================