오일러 공식 편집하기 (부분)

== 증명 ==
{{YouTube|Tk3PIpcppV0}}
=== 테일러 급수 ===
먼저 테일러 급수라는 걸 이해해야 되는데, 예를 들어 {{수학|''f''(x)<nowiki>=</nowiki>''e''{{위첨자|''x''}}}}와 {{수학|''g''(''x'')<nowiki>=</nowiki>''a''{{아래첨자|0}}+''a''{{아래첨자|1}}''x''+a{{아래첨자|2}}''x''{{위첨자|2}}+''a''{{아래첨자|3}}''x''{{위첨자|3}}…}}라는 함수를 놓고 보자.

{{수학|''f''(''x'')<nowiki>=</nowiki>''g''(''x'')}}가 되려면 우선 {{수학|''a''{{아래첨자|0}}}}부터 확정시켜야 하는데, {{수학|''x''<nowiki>=</nowiki>0}}을 각 함수에 대입하면 {{수학|''f''(0)<nowiki>=</nowiki>''e''{{위첨자|0}}<nowiki>=</nowiki>1}}이고, {{수학|''g''(0)<nowiki>=</nowiki>''a''{{아래첨자|0}}}}이므로 {{수학|''f''(0)<nowiki>=</nowiki>''g''(0)}}에서 {{수학|''a''{{아래첨자|0}}<nowiki>=</nowiki>1}}이다.

이제 나머지 {{수학|a{{아래첨자|1, 2, 3…}}}}들을 구해야 하는데, 이번에는 대입 전에 두 함수를 [[미분]]하자.

참고로 {{수학|e{{위첨자|x}}}}는 미분해도 그대로 {{수학|e{{위첨자|x}}}}이기 때문에 {{수학|f'(x)<nowiki>=</nowiki>e{{위첨자|x}}}}이다. {{수학|g'(x)<nowiki>=</nowiki>a{{아래첨자|1}}+2a{{아래첨자|2}}x+3a{{아래첨자|3}}x{{위첨자|2}}+…}} 식으로 전개된다.

둘 다 미분이 됐으니 0을 대입하자. {{수학|f'(0)<nowiki>=</nowiki>e{{위첨자|0}}<nowiki>=</nowiki>1}}, {{수학|g'(0)<nowiki>=</nowiki>a{{아래첨자|1}}}}

{{수학|f'(0)<nowiki>=</nowiki>g'(0)}}이어야 하므로 {{수학|a{{아래첨자|1}}<nowiki>=</nowiki>1}}이다.

그 다음에는 더블 미분, 트리플 미분, 쿼드코어 미분…… 식으로 반복해야 한다.

{{수학|f<nowiki>''</nowiki>(x)<nowiki>=</nowiki>e{{위첨자|x}}}}로 0을 대입하면 항상 1이 나온다.

{{수학|g<nowiki>''</nowiki>(x)<nowiki>=</nowiki>2a{{아래첨자|2}}+(3×2)a{{아래첨자|3}}x+…}}로 0을 대입하면 2a{{아래첨자|2}}가 나온다. 2a{{아래첨자|2}}=1에서 a{{아래첨자|2}}={{수직분수|1|2}}.

이런 식으로 미분 세 번, 네 번 한 식에 계속 0을 대입하고 a들의 값을 구해야 한다.

일일히 계산할 필요 없이 자세히 보면 규칙이 보인다. 위의 (3×2) 보이는가? 세번 미분한 식을 해왔던 대로 하면 6a{{아래첨자|3}}=1, a{{아래첨자|3}}={{수직분수|1|6}}일 것이다.

미분의 원리를 안다면 그 다음에는 계속 4×3×2, 5×4×3×2(이하 5!), 6!, 7! 식으로 a의 단위분수 계수의 분모가 진행이 될 것이라는 것도 볼 수 있다.

이번에는 다시 f(x)=g(x)로 돌아가자. {{수학|f(x)<nowiki>=</nowiki>e{{위첨자|x}}}}이고 g(x)에는 위처럼 규칙적인 a들의 향연이 될 것이다.

구했던 a들을 각각 대입하면

{{수학|e{{위첨자|x}}<nowiki>=</nowiki>1+x+{{수직분수|1|2}}x{{위첨자|2}}+{{수직분수|1|3!}}x{{위첨자|3}}+{{수직분수|1|4!}}x{{위첨자|4}}+…}}이다. 시그마를 이용해 나오는 식이 테일러 급수이다.

{{인용문|{{수학|e{{위첨자|x}}<nowiki>=</nowiki>Σ{{위첨자|∞}}{{아래첨자|n<nowiki>=</nowiki>0}} {{수직분수|x{{위첨자|n}}|n!}}}}}}

=== 오일러 공식 ===
위의 테일러 급수는 웬만하면 배우기 힘든 부분인데다가 오일러 공식을 이해하기 위한 과정 중 중요한 단계라서 일일히 설명했지만 여기서부터는 사인함수와 코사인함수의 급수도 같이 진행해야 한다.

이건 사인/코사인의 특징 찾아봐도 나오니까 설명은 생략하고 결론부터 알려준다.

* {{수학|sin x<nowiki>=</nowiki>x-{{수직분수|1|3!}}x{{위첨자|3}}+{{수직분수|1|5!}}x{{위첨자|5}}-{{수직분수|1|7!}}x{{위첨자|7}}+…}}
* {{수학|cos x<nowiki>=</nowiki>x-{{수직분수|1|2!}}x{{위첨자|2}}+{{수직분수|1|4!}}x{{위첨자|4}}-{{수직분수|1|6!}}x{{위첨자|6}}+…}}

이제 니들이 궁금한 iθ가 나온다. 일단 위 테일러 급수는 허수를 대입해도 성립한다는 점을 알아둬야 한다.

i{{위첨자|2}}=-1임을 기억하고 문제를 풀자. 마지막에 실수부분과 허수부분을 나눌 것이다. 테일러 급수의 x에 iθ를 대입하면

{{수학|e{{위첨자|iθ}}<nowiki>=</nowiki>1+iθ+{{수직분수|1|2!}}(iθ){{위첨자|2}}+{{수직분수|1|3!}}(iθ){{위첨자|3}}+{{수직분수|1|4!}}(iθ){{위첨자|4}}+...<br><nowiki>=</nowiki>({{색|red|1-{{수직분수|1|2!}}θ{{위첨자|2}}+{{수직분수|1|4!}}θ{{위첨자|4}}-…}})+i({{색|blue|θ-{{수직분수|1|3!}}θ{{위첨자|3}}+{{수직분수|1|5!}}θ{{위첨자|5}}-…}})}}

그런데 빨간색으로 칠한 부분과 파란색으로 칠한 부분 어디서 보지 않았는가? 그렇다. 위에서 설명한 사인과 코사인의 급수의 미지수 부분만 x에서 θ로 바뀐 것이다.

빨간 부분은 cos θ로 치환 가능하고, 파란 부분은 sin θ로 치환 가능함을 알 수 있다. 위의 식은 θ를 x로 바꾸어 이렇게 표현이 가능하다.
{{인용문|{{수학|e{{위첨자|ix}}<nowiki>=</nowiki>cos x+i sin x}}}}

=== 오일러 등식 ===
사실상 이 문서가 생긴 이유이자 최종 목표다. 문서 제목은 오일러 공식이지만 이거 증명하려고 문서 만들었다.

cos π=-1, sin π=0임을 이용해 식을 계산하자.

오일러 공식의 미지수에 π를 대입하면 {{수학|e{{위첨자|iπ}}<nowiki>=</nowiki>cos π+i sin π<nowiki>=</nowiki>-1+i×0<nowiki>=</nowiki>-1}}

이렇게 생긴 등식의 양변에 +1을 더하면

{{인용문|{{수학|e{{위첨자|iπ}}+1<nowiki>=</nowiki>0}}|오일러 등식}}

이 공식이 주목받는 이유는 수학의 대표적인 5개 상수([[자연상수|e]], [[허수|i]], [[원주율|π]], [[1]], [[0]])가 아주 간결한 한 식에 모였기 때문이다.

[[분류:수학]]