logo

미적분학에서의 오일러 공식 📂미분적분학

미적분학에서의 오일러 공식

정리

  1. 오일러 공식:

eix=cosx+isinx { e }^{ ix }= \cos x + i \sin x

  1. 오일러 등식:

eiπ+1=0 { e }^{ i\pi }+1=0

설명

오일러 공식euler’s formula은 그 형태 자체가 워낙 기이해서 오일러 본인조차 어디다 쓰일지는 몰랐다고 하는데, 현대에는 너무나 많은 분야에서 활용되고 있어 요약을 하기가 어려울 정도로 유용한 공식이 되었다. 허수라는 것이 학계에서 아직 잘 받아들여지지 않았을 당시의 발견이라는 점을 생각해보면 더욱 경이롭다.유도 자체는 지수 함수, 사인 함수, 코사인 함수의 테일러 전개를 통해 간단히 할 수 있다.

ex=n=0xnn! { { e ^ x } }=\sum _{ n=0 }^{ \infty }{ \frac { { x } ^{ n } }{ n! } }

sinx=n=0x2n+1(2n+1)!(1)n \sin x=\sum _{ n=0 }^{ \infty }{ \frac { { x } ^{ 2n+1 } }{ (2n+1)! }{ { (-1) }^{ n } } }

cosx=n=0x2n(2n)!(1)n \cos x=\sum _{ n=0 }^{ \infty }{ \frac { { x } ^{ 2n } }{ (2n)! }{ { (-1) }^{ n } } }

유도(오일러 공식)

eix=n=0(ix)nn!=(ix)00!+(ix)11!+(ix)22!+(ix)33!+(ix)44!+=10!+ix1!x22!ix33!+x44!+=(10!x22!+x44!x66!+)+i(x1!x33!+x55!x77!+)=cosx+isinx \begin{align*} { e }^{ ix } =& \sum _{ n=0 }^{ \infty }{ \frac { { (ix) } ^{ n } }{ n! } } \\ =&\frac { { (ix) } ^{ 0 } }{ 0! }+\frac { { (ix) } ^{ 1 } }{ 1! }+\frac { { (ix) } ^{ 2 } }{ 2! }+\frac { { (ix) } ^{ 3 } }{ 3! }+\frac { { (ix) } ^{ 4 } }{ 4! }+ \cdots \\ =&\frac { 1 }{ 0! }+\frac { ix }{ 1! }-\frac { { x }^{ 2 } }{ 2! }-\frac { i { x }^{ 3 } }{ 3! }+\frac { { x } ^{ 4 } }{ 4! }+ \cdots \\ =& \left( \frac { 1 }{ 0! } - \frac { { x } ^{ 2 } }{ 2! }+\frac { { x } ^{ 4 } }{ 4! }-\frac { { x } ^{ 6 } }{ 6! }+\cdots \right) + i\left( \frac { x }{ 1! } - \frac { { x } ^{ 3 } }{ 3! }+\frac { { x } ^{ 5 } }{ 5! }-\frac { { x } ^{ 7 } }{ 7! }+\cdots \right) \\ =& \cos x + i \sin x \end{align*}

따라서

eix=cosx+isinx { e }^{ ix }= \cos x + i \sin x


이 공식에서 특히 x=πx=\pi 를 대입하면 이른바 ‘세상에서 가장 아름다운 등식’인 오일러 등식을 얻는다. 또 오일러 등식을 잘 만져보면 허수 단위 iiii승, 즉 iii^i 의 값을 구할 수도 있다. 놀랍게도 그 값은 실수인데, 증명은 다음과 같다.

증명

eiπ+1=0    eiπ=1    eiπ2=1    (eiπ2)i=1i    eiπ2i=ii    ii=eπ2    ii=1eπ \begin{align*} && { e }^{ i\pi }+1 =& 0 \\ \implies && { e }^{ i\pi }=&-1 \\ \implies && { e }^{ \frac { i\pi }{ 2 } } =& \sqrt { -1 } \\ \implies && { \left( { e } ^{ \frac { i\pi }{ 2 } } \right) }^{ i } =& { \sqrt { -1 } }^{ i } \\ \implies && { e }^{ \frac { i\pi }{ 2 }i } =& { i } ^{ i } \\ \implies && { i }^{ i } =& { e }^{ -\frac { \pi }{ 2 } } \\ \implies && { i }^{ i } =& \frac { 1 }{ \sqrt { { e }^{ \pi } } } \end{align*}