드 무아브르 공식

덤프버전 :

'''해석학 · 미적분학
Analysis · Calculus'''

[ 펼치기 · 접기 ]
기본 이론
함수
합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수
극한
부정형 · 유계( 콤팩트성 ) · 어림 · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사 · FEM
수열
규칙과 대응 · 단조 수렴 정리 · 급수(멱급수) · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
미분
도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(\boldsymbol\nabla)] · 라그랑주 승수법
적분
역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽
중간값 정리 · 최대·최소 정리 · 평균값 정리 ( 롤의 정리 ) · 로피탈의 정리 · 미적분의 기본정리 · 스토크스 정리 ( 발산 정리 ) · 중심극한정리 · 오일러 공식 ( 드 무아브르 공식 ) · 오일러 동차함수 정리 · 리우빌의 정리 · 부동점 정리 · 뉴턴-랩슨 방법 · 리시 방법 · 좌표계 · 소수 정리 · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환·이산 푸리에 변환) · 아다마르 변환 · 바젤 문제 · 라마누잔합 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 디랙 델타 함수 · 2학년의 꿈 · 0.999…=1 · 리만 가설미해결 · 카오스 이론미해결
분야
실해석학 · 복소해석학 · 수치해석학 · 측도론 · 미분기하학 · 해석기하학 · 해석적 정수론 · 확률론 · 수리물리학 · 수리경제학(경제수학) · 공업수학




1. 개요
2. 지수의 확장에 따른 드 무아브르 공식의 증명
2.1. 정수
2.1.1. 자연수(양의 정수)
2.1.3. 음의 정수
2.2. 실수
2.2.1. 유리수
2.2.2. 무리수
3. 복소근
3.1. 방정식 예
3.2. 삼각함수 예
3.3. 컨텍스트



1. 개요[편집]


[math(\left(\cos\theta+i\sin\theta\right)^{n}=\cos n\theta+i\sin n\theta)] [가]

[math([ \mathrm{cis}(x) ]^n = \mathrm{cis}(nx))][1]

de Moivre’s formula
오일러 공식에서 유도되는, 절대값이 1인 복소수의 실수지수 거듭제곱을 단순화시켜주는 공식이다.[2]
<math>e^{i\theta}=\cos\theta+i\sin\theta</math>이므로, 양쪽 항에 각각 [math(n)]거듭제곱을 취하면
[math(\left(e^{i\theta}\right)^{n}=\left(\cos\theta+i\sin\theta\right)^{n})]
[math(e^{in\theta}=\cos \left ( n\theta \right) +i\sin \left (n\theta \right))]

또한 이 공식에 따라 허수지수함수는 반쌍형성[3]을 띤다.
[math(\overline{\rm cis}(x) = {\rm cis}(-x))]

2. 지수의 확장에 따른 드 무아브르 공식의 증명[편집]


증명 과정은 먼저 수학적 귀납법으로 자연수 지수에 대해서 증명한 뒤, 이를 바탕으로 정수 지수, 유리수 지수에 대해서 증명하고 마지막으로 실수의 완비성을 이용해 실수 지수에 대해서 증명한다.

전제

정수론에서, 정수의 집합 [math(\mathbb{Z})]은 다음과 같이 정의된다.

①. 자연수 집합 [math(\mathbb{N}:=\{n|n\in\mathbb{N}\}=\mathbb{Z^{+}})]

※자연수 집합은 페아노 공리계를 만족하는 최소의 집합으로 정의된다. 자세한 내용은 자연수 항목 참조.

②. 음의 정수 집합 [math(\mathbb{Z^{-}}:=\{-n|n\in\mathbb{N}\})]

※음의 정수는 덧셈에 대한 역원이 자연수 집합에 속해있는 모든 수의 집합으로 정의된다.

③. 덧셈의 항등원 집합인 [math(\{0\})]

→ 정수의 집합 [math(\mathbb{Z}:=\mathbb{Z^{+}}\cup\{0\}\cup\mathbb{Z^{-}})]

이 전제를 토대로, 수학적 귀납법을 통해 증명한다.


2.1. 정수[편집]



2.1.1. 자연수(양의 정수)[편집]


①. [math(\left(\cos\theta+i\sin\theta\right)^{n}=\cos \left(n\theta\right)+i\sin \left(n\theta\right))]는 [math(n=1)]일 때는 자명하다.
②. [math(\left(\cos\theta+i\sin\theta\right)^{n}=\cos \left(n\theta\right)+i\sin \left(n\theta\right))]가 임의의 양의 정수 [math(k)]에서 성립한다고 가정하자.
즉, [math(\left(\cos\theta+i\sin\theta\right)^{k}=\cos \left(k\theta\right)+i\sin \left(k\theta\right))]가 성립한다.
이제, 양변에 [math(\left(\cos\theta+i\sin\theta\right))]를 곱해보자.
[math(\left(\cos\theta+i\sin\theta\right)^{k}\cdot\left(\cos\theta+i\sin\theta\right)=\left \{ \cos\left ( k\theta \right )+i\sin\left ( k\theta \right ) \right \}\times\left ( \cos \theta+i\sin \theta \right ))]
좌변은 지수의 성질에 의하여 [math(\left(\cos\theta+i\sin\theta\right)^{k+1})]이 되고, 우변은 전개하면 다음과 같아진다.
[math(\cos\left ( k\theta \right )\cos \theta-\sin\left ( k\theta \right )\sin\theta+i\left \{\sin\left ( k\theta \right )\cos\theta +\cos\left ( k\theta \right ) \sin\theta \right \})]
이제, 삼각함수의 덧셈정리에 의하여 정리해주면, 이 식은 이렇게 단순화된다.
[math(\cos\left \{ \left ( k+1 \right )\theta \right \}+i\sin\left \{ \left ( k+1 \right )\theta \right \})]
즉, [math(k)]에서 성립할 때, [math(\left(k+1\right))]에서도 성립하므로, 수학적 귀납법에 의하여 이 식은 모든 자연수 [math(n)]에 대해서 항상 성립한다. 이로써 자연수(=양의 정수) 지수에서 드 무아브르 공식이 성립함을 증명했다.


2.1.2. 0[편집]


[math(\left(\cos\theta+i\sin\theta\right)^{n}=\cos \left (n\theta \right)+i\sin \left(n\theta\right))]에서, [math(n=0)]일 때

좌변은 [math(\left(\cos\theta+i\sin\theta\right)^{0}=1)]이며

우변은 [math(\cos \left(0\theta\right)+i\sin \left(0\theta\right)=1+0i=1)]이므로 자명하다.



2.1.3. 음의 정수[편집]


<math>a^{-b}=\displaystyle{\frac{1}{a^{b}}}</math>라는 것과 [math(\cos(\theta)-\sin(\theta)=\cos(-\theta)+\sin(-\theta))]라는 것을 기억하자.

이제, 음의 정수 [math(k)]에 대해서, [math(k=-t)]가 되는 양의 정수 [math(t)]를 생각하면, 자연수 지수에서의 드 무아부르 정리에 의해

[math(\left(\cos\theta+i\sin\theta\right)^{k}=\left(\cos\theta+i\sin\theta\right)^{-t}=\displaystyle{\frac{1}{\left(\cos\theta+i\sin\theta\right)^{t}}}=\displaystyle{\frac{1}{\cos \left( t\theta \right) +i\sin \left( t\theta \right) }})]가 된다.

이제 이 식을 실수화 시키기 위해 분자와 분모에 [math(\cos \left ( t\theta \right)-i\sin \left(t\theta \right) )]를 곱하자. 이는 [math(\cos \left( t\theta\right)+i\sin \left(t\theta \right))]의 켤레 복소수이다.

[math(\displaystyle{\frac{\cos \left(t\theta\right)-i\sin \left(t\theta\right)}{\left(\cos \left(t\theta\right)+i\sin \left(t\theta\right)\right)\cdot\left(\cos \left(t\theta\right)-i\sin \left(t\theta\right)\right)}}=\displaystyle{\frac{\cos \left(t\theta\right)-i\sin \left(t\theta\right)}{\cos^{2} \left(t\theta\right)+\sin^{2} \left(t\theta\right)}}=\cos \left(t\theta\right)-i\sin \left(t\theta\right))]가 된다.[4]

이 때, [math(\cos \left(t\theta\right)-i\sin \left(t\theta\right)=\cos\left ( -t\theta \right )+i\sin\left ( -t\theta \right )=\cos \left(k\theta\right)+i\sin \left(k\theta\right))]가 되어, 음의 정수 지수에서도 성립함을 증명했다.

이로써 자연수(=양의 정수), 0, 음의 정수 지수에서 모두 성립하므로, 정수 지수에서 드 무아브르 공식이 성립함을 증명했다.



2.2. 실수[편집]



2.2.1. 유리수[편집]


전제
정수지수에서 성립함을 보였기 때문에 이를 이용한다.
[math(\left(\cos\theta+i\sin\theta\right)^{n}=\cos (n\theta)+i\sin(n\theta))]가 유리수 지수 [math(n=\displaystyle{\frac{a}{b}})] (a, b는 서로소인 정수)에서 성립한다고 하자.
즉, [math(\left(\cos\theta+i\sin\theta\right)^{\displaystyle{\left(\frac{a}{b}\right)}}=\displaystyle{\cos \left (\frac{a}{b}\theta\right)+i\sin\left(\frac{a}{b}\theta\right) })]가 성립한다고 하자.
이제, 양 변을 [math(b)]제곱하자.
[math(\left(\cos\theta+i\sin\theta \right)^{\displaystyle{\left(\frac{a}{b}\right)b}}=\displaystyle{\left(\cos \left (\frac{a}{b}\theta\right)+i\sin \left(\frac{a}{b}\theta \right) \right)^{b}})]
좌변을 정리하면 [math(\left(\cos\theta+i\sin\theta\right)^{a}=\cos \left ( a\theta \right)+i\sin \left ( a\theta \right) )]가 되고, 우변도 정리하면 다음과 같다.
[math(\cos \left( b\cdot\frac{a}{b}\theta \right)+i\sin \left ( b\cdot\frac{a}{b}\theta \right)=\cos \left( a\theta \right )+i\sin \left ( a\theta \right) )]
양 변의 계산값이 같으므로, 유리수 지수에서도 드 무아부르 공식이 성립함을 증명했다.
(이 증명 방식대로라면 전제를 [math(0=0)]으로 두고 임의의 실수 [math(a, b)]에 대하여 [math(a=b)]라고 가정하면 [math(a*0=b*0=0)]이 성립하므로 [math(a=b)]가 성립한다)


2.2.2. 무리수[편집]


전제1. 실수의 완비성

수직선상에 위치한 어떤 수라도, 그 수를 향해 수렴하는 단조 증가, 혹은 단조 감소 유리수열을 만들 수 있다.

※예시

[math(\sqrt{2}=1.414213\cdots)]라는 무리수가 존재한다면, 이런 수열을 만들 수 있다.

[math(1, 1.4, 1.41, 1.414, 1.4142, 1.41421, 1.414213, \cdots)]

[math(\displaystyle{\frac{a}{b}})]라는 유리수가 존재한다면 이런 수열을 만들 수 있다.

[math(a_{n}=\displaystyle{\frac{a}{b}-10^{-n}})]


전제2. 지수함수의 무리수지수 정의

[math(a^{b})]라는 수가 주어졌을 시, [math(b)]가 무리수라면, 이 [math(b)]를 향해 수렴하는 단조증가/단조감소 수열 [math(u_{n}, l_{n})]을 만들 수 있다.

그렇다면, [math(\displaystyle{\lim_{n \to \infty}a^{u_{n}}}=\displaystyle{\lim_{n \to \infty}a^{l_{n}}})]로 극한값은 하나의 값으로 수렴하여, 이 수렴되는 극한값이 바로 [math(a^{b})]라고 정의된다.


이로써 유리수, 무리수 지수에서 모두 성립하므로, 실수 지수에서 드 무아부르 공식이 성립함을 증명했다.
즉, 실수의 완비성에 의하여 모든 실수 지수에서 성립하게 되는 것이다.


3. 복소근[편집]


드 무아브르 공식은 1의 n제곱근(nth root of unity)에서 나타나는 복소수인 복소근을 보여주는 성질을 갖고있다.
이러한 성질은 n차방정식의 n개의 근을 갖는다는 대수학의 기본 정리를 잘 보여준다.

3.1. 방정식 예[편집]


[math( x^3 =1 )]
[math(x^3-1=0)]의 꼴로 이항한 뒤 인수분해하면

[math(x^3-1=(x-1)(x^2+x+1)=0)]
[가] Miscellanea analytica de seriebus et quadraturis. Accessere variae considerationes de methodis comparationum, combinationum & differentiarum, solutiones difficiliorum aliquot problematum ad sortem spectantium, itemque constructiones faciles orbium planetarum, una cum determinatione maximarum & minimarum mutationum quae in motibus corporum coelestium occurrunt - Abraham de Moivre, 1730 (Google Books) https://books.google.co.kr/books/about/Miscellanea_analytica_de_seriebus_et_qua.html?id=TFX1165yEc4C&redir_esc=y ,(인터넷 아카이브) https://archive.org/details/bub_gb_TFX1165yEc4C [1] 오일러 공식을 함수꼴로 쓸 때의 형태.[2] 지수함수의 복소수지수 거듭제곱은 다가함수가 되기 때문에, 드 무아브르 공식으로 유도되는 값은 대표값이 된다.[3]켤레 대칭[4] [math(\displaystyle{\frac{z_1}{z_2}}=\displaystyle{\frac{z_{1}\bar{z_2}}{\left|z_2\right|^{2}}})]라는 점을 이용해도 된다. [math(z_1=1)], [math(\left|z_2\right|=1)]이므로 [math(\displaystyle{\frac{1}{z_2}}=\bar{z_2})]라고 해석할 수도 있다.

이차방정식 [math(x^2+x+1=0)]을 근의 공식으로 풀면 최종적인 근은 다음과 같다.

[math( x=1\;\textsf{또는}\;x=\dfrac{-1 + \sqrt 3i}{2} \text{와} \;x=\dfrac{-1 - \sqrt 3i}{2} )]

[math(x^3=1)](또는 [math(x^2+x+1=0)])의 한 허근이 [math(\omega)]이면 다른 허근은 [math(\overline \omega)]로 표기함으로써 켤레복소수임을 나타낼수있다.

3.2. 삼각함수 예[편집]


예 1의 3제곱근 [math( x^3 =1 )]에서 보면 드무아브르 공식은 다음과 같다.
[math( x^n =a (\cos\theta + i\sin\theta) \textrm{ 이때 } a= \omega^n (n\text{th root of unity}))]
[math( x^3 = \left(a(\cos\theta + i\sin\theta) \right)^3 = 1(\cos\theta + i\sin\theta) )]
[math( a^3(\cos\theta + i\sin\theta)^3 = 1(\cos360\degree + i\sin360\degree) )]
[math( a^3(\cos3\theta + i\sin3\theta) = 1(\cos360\degree + i\sin360\degree) )]
[math( a^3= 1 \, \textrm{그리고 }3\theta = 360\degree k + 360\degree k )]
[math( \theta = \dfrac{360\degree}{3}k + \dfrac{360\degree}{3}k \quad)]
[math( \theta = 120\degree k + 120\degree k )]이고
[math( k=\{n-1,n-2,...,n-n\}= \{2,1,0\} )]이므로
따라서
[math( \theta= 120\degree,240\degree,0\degree)]
따라서
[math( x = \cos 120\degree + i\sin 120\degree \, , \cos 240\degree + i\sin 240\degree \, , \cos 0\degree + i\sin 0\degree \, )]
따라서 이렇게

[math( \;x=\dfrac{-1 + \sqrt 3i}{2} \; , \;x=\dfrac{-1 - \sqrt 3i}{2} \;, x=1\;)]
를 조사할수도 있다.


3.3. 컨텍스트[편집]


결론적으로 드무아브르 공식은 1의 3제곱근에서 보면
[math( \omega^1 = \dfrac{-1 + \sqrt 3i}{2} )]이고
[math( \omega^2 = \omega \cdot \omega = \left( \dfrac{-1 + \sqrt 3i}{2} \right) \cdot \left( \dfrac{-1 + \sqrt 3i}{2} \right) = \dfrac{-1 - \sqrt 3i}{2})] 이고
[math( \omega^3 = \omega \cdot \omega^2 = \left( \dfrac{-1 + \sqrt 3i}{2} \right) \cdot \left( \dfrac{-1 - \sqrt 3i}{2} \right) = 1 )] 이다.
그리고
[math( \omega^4 = \omega^3 \cdot \omega^1 = \omega^1 )] 이다.
이러한 맥락(context)에서 1의 3제곱근 드무아브르 공식은
[math( \omega)]의 지수를 순서수로 다루어 본다면
[math( \omega^1)]을 자기 자신으로 하는 [math(1,2,3,1,2,3,...)]의 순환 순열군순환군의 맥락(context)을 보여준다는 점에서 주요하다고 할수있다.
한편 드무아브르 공식은 1의 n제곱근에서
[math( \omega^n =1)]임을 조사할수있다.


파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-11-24 11:56:23에 나무위키 드 무아브르 공식 문서에서 가져왔습니다.