드무아브르의 공식
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
드무아브르의 공식은 복소수의 거듭제곱과 삼각함수 사이의 관계를 나타내는 공식으로, 프랑스 수학자 아브라암 드무아브르가 발견했다. 이 공식은 임의의 정수 n에 대해 (cos x + i sin x)^n = cos nx + i sin nx 형태로 표현되며, 오일러의 공식을 이용하여 쉽게 증명할 수 있다. 수학적 귀납법을 통해 모든 정수 n에 대해 성립함을 증명하며, 복소수의 곱셈 및 쌍곡선 삼각법, 사원수 등 다른 수학적 개념으로 확장될 수 있다. 드무아브르의 공식은 복소수의 n 제곱근을 구하거나 허수 단위 i의 거듭제곱을 계산하는 데 활용되며, 특히 1의 거듭제곱근이나 이항방정식의 해를 구하는 데 유용하다.
더 읽어볼만한 페이지
드무아브르의 공식 | |
---|---|
정의 | |
내용 | 모든 복소수 x와 모든 정수 n에 대해 (cos x + i sin x)^n = cos nx + i sin nx이다. 여기서 i² = −1이다. |
개요 | |
공식 명칭 | 드무아브르의 공식 (de Moivre's formula) 또는 드무아브르의 정리 (de Moivre's theorem) |
역사적 맥락 | |
최초 발견 | 아브라함 드무아브르 (Ab. de Moivre)가 1707년에 발견 |
공식화 | 드무아브르의 공식은 복소수와 삼각함수를 연결하며, 복소수의 거듭제곱을 계산하는 데 유용하다. |
공식 | |
공식 | (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ) |
설명 | 여기서 θ는 각도이고, n은 정수이다. 이 공식은 n이 정수가 아닐 때도 유효하다. |
활용 | |
활용 | 드무아브르의 공식은 복소수의 거듭제곱근을 구하는 데 사용할 수 있다. |
2. 증명
오일러 공식과 수학적 귀납법을 이용하여 드무아브르의 공식을 증명할 수 있다.
; 수학적 귀납법을 이용한 증명
: n > 0인 경우, n = 1일 때 등식이 성립한다. n = k일 때 성립한다고 가정하고, n = k + 1일 때도 성립함을 보이면 된다. n = 0일 때는 1로 정의되어 성립한다. n < 0인 경우, n = -m (m은 양의 정수)로 놓고, 위에서 증명한 양의 정수 경우를 이용하여 증명할 수 있다.
; 오일러 공식을 이용한 증명
: 지수 법칙을 활용하여 유도할 수 있다.
; 복소수의 곱셈을 이용한 증명
: 복소수의 곱셈 성질과 귀납법을 통해 공식을 유도할 수 있다.[10][11]
2. 1. 오일러 공식을 이용한 증명
오일러의 공식을 이용하면 드무아브르의 공식을 쉽게 유도할 수 있다. 오일러 공식은 다음과 같다.:
지수 함수의 성질에 의해 다음 식이 성립한다.
:
위 식에 오일러 공식을 적용하면 다음을 얻는다.
:[12]
2. 2. 수학적 귀납법을 이용한 증명
n > 0인 경우, 수학적 귀납법을 사용하여 증명할 수 있다. n = 1일 때, 등식은 참이다. k일 때 다음 식이 성립한다고 가정한다.:
이제 n = k + 1일 때 식이 성립하는지 확인하면,
:
이 식이 n = k + 1일 때도 참이라는 것을 알 수 있다. 따라서 수학적 귀납법에 의하여 n ≥ 1인 모든 양의 정수에 대하여 식이 성립한다.
n = 0일 때는, 또는 라는 약속에 의하여 성립한다.
n < 0일 때, n = -m을 만족하는 양의 정수 m에 대하여 생각하면,
:
따라서 모든 정수 n에 대하여 드무아브르의 공식이 성립한다.
2. 3. 복소수의 곱셈을 이용한 증명
θ영어, φ영어 ∈ '''C'''에 대해:(\cos θ+''i''\sin θ)(\cos φ+''i''\sin φ)
:=(\cos θ\cos φ-\sin θ\sin φ)+''i''(\sin θ\cos φ+\cos θ\sin φ)
:=\cos (θ+φ)+''i''\sin (θ+φ)
가 성립한다[10]。따라서 귀납적으로
:(\cos θ+''i''\sin θ)n=\cos nθ + ''i''\sin nθ
임을 알 수 있다[11]。
3. 개별 코사인 및 사인 공식
복소수의 성질에 따라, 두 복소수가 같으려면 실수부와 허수부가 같아야 한다. 만약 가 실수이면 와 도 실수이므로, 다음과 같은 식을 얻을 수 있다. 이 공식은 16세기 프랑스 수학자 프랑수아 비에트가 발견했다.
:
이 두 방정식에서 마지막 삼각 함수는 1, -1, 0 중 하나의 값을 가지므로, 각 합에서 항의 절반이 제거된다. 이 방정식들은 가 복소수 값을 가질 때도 유효하다. 왜냐하면 양변이 의 전체 함수(즉, 전체 복소 평면에서 정칙 함수)이고, 실수 축에서 일치하는 두 함수는 모든 곳에서 일치하기 때문이다. 다음은 와 일 때의 구체적인 예시이다.
:
에 대한 공식의 우변은 체비쇼프 다항식 의 값이다.
4. 예시
와 일 때, 드무아브르의 공식은 다음과 같다.
:
위 식은 다음과 같이 나타낼 수 있다.
:
이 예시에서 좌변을 전개하면 방정식이 성립함을 쉽게 확인할 수 있다.
5. 정수가 아닌 지수
드무아브르의 공식은 지수가 정수가 아닐 때는 일반적으로 성립하지 않는다. 이는 복소수의 거듭제곱이 여러 개의 값을 가지기 때문이다. 예를 들어 (와 는 복소수)는 여러 값을 가질 수 있으며, 는 그중 하나의 값일 뿐이다.
를 실수, 를 복소수라고 하면, (은 정수)이다. 따라서 가 정수라면 라는 하나의 값을 가지지만, 가 정수가 아닐 때는 를 포함한 여러 값을 가지게 된다.
가 유리수이고 (, 는 서로소)라고 하면, 에서 순환하며 개의 값을 가진다. 가 무리수 또는 허수라면 순환하지 않고 가산 무한개의 값을 가진다.
5. 1. 복소수의 n 제곱근
드무아브르의 공식은 복소수의 n 제곱근을 구하는 데 사용될 수 있다. 복소수 는 극형식으로 다음과 같이 표현할 수 있다.:
이때 가 정수라면,
:
개의 서로 다른 근은 부터 까지의 값을 대입하여 구할 수 있다.
이 공식은 꼴의 이항방정식의 복소근을 구하는 데 활용할 수 있다.
복소수 가 극형식으로 표현되면,
:
의 제곱근은 다음과 같다.
:
여기서 는 0부터 까지의 정수이다.
이 공식은 드무아브르의 공식이라고도 알려져 있다.[3]
5. 2. 복소수의 임의의 거듭제곱
드무아브르의 공식은 정수 지수가 아닐 때는 성립하지 않는다. 복소수의 n제곱에서 n이 정수가 아니라면 복소지수가 여러 개의 값을 가지기(다가 함수) 때문에 좌변이 잘 정의되지 않는다.일반적으로 복소수 (극형식)이고 가 임의의 복소수라면, 가능한 값들의 집합은 다음과 같다.
:
가 기약 분수 와 같은 유리수라면 이 집합은 무한대가 아닌 정확히 개의 서로 다른 값을 갖는다. 특히, 가 정수라면 앞서 논의했듯이 이 집합은 정확히 하나의 값을 갖는다. 반면, 드무아브르의 공식은
:
를 제공하며, 이는 이 집합에서 에 해당하는 단일 값이다.
를 실수, 를 복소수라고 하면
: (은 정수)
이다. 따라서, 가 정수라면
:
라는 하나의 값을 가지지만, 가 정수가 아닐 때는 를 포함한 여러 값을 가지게 된다.
의 값은, 가 유리수이면, (, 는 서로소)라고 나타내면, 이므로, 에서 순환하며, 개의 값을 가진다. 가 무리수 또는 허수라면 순환하지 않고, 가산 무한개의 값을 가진다.
6. 다른 설정에서의 유사성
cosh|코사인 하이퍼볼릭영어 ''x'' + sinh|사인 하이퍼볼릭영어 ''x'' = ''ex''이므로, 쌍곡선 삼각법에도 드무아브르의 공식과 유사한 공식이 적용된다. 모든 정수 ''n''에 대해 다음이 성립한다.
''''''
''n''이 유리수일 경우 (하지만 반드시 정수일 필요는 없다), 는 의 값 중 하나가 된다.[4]
사원수의 근을 찾는 데에는 드무아브르의 공식과 유사한 형태가 존재한다. 사원수 는 형태로 표현될 수 있다.
이 표현에서, 이고 삼각 함수는 와 같이 정의된다.
인 경우, (단위 벡터)이다. 이것은 드 무아브르 공식의 변형으로 이어진다.
: [5]
행렬을 사용하면, 정수 n에 대해 가 성립한다. 이는 형태의 행렬과 복소 평면 간의 동형 사상에 따른 직접적인 결과이다.
6. 1. 쌍곡선 삼각법
cosh|코사인 하이퍼볼릭영어 ''x'' + sinh|사인 하이퍼볼릭영어 ''x'' = ''ex''이므로, 쌍곡선 삼각법에도 드무아브르의 공식과 유사한 공식이 적용된다. 모든 정수 ''n''에 대해,''''''
''n''이 유리수일 경우 (하지만 반드시 정수일 필요는 없다), 는 의 값 중 하나가 된다.[4]
6. 2. 복소수로의 확장
모든 정수 n에 대해, 드무아브르의 공식은 모든 복소수 에 대해 성립한다.:
여기서
:
는 제거되었다.
6. 3. 사원수
사원수의 근을 찾는 데에는 드무아브르의 공식과 유사한 형태가 존재한다. 다음과 같은 형태의 사원수:
는 다음과 같은 형태로 표현될 수 있다.
:
이 표현에서,
:
이고 삼각 함수는 다음과 같이 정의된다.
:
인 경우,
:
즉, 단위 벡터이다. 이것은 드 무아브르 공식의 변형으로 이어진다.
: [5]
다음과 같은 세제곱근을 구하기 위해
:
사원수를 다음과 같은 형식으로 쓴다.
:
그렇다면 세제곱근은 다음과 같이 주어진다.
:
6. 4. 2 × 2 행렬
행렬을 사용하면, 정수 n에 대해 가 성립한다. 이는 형태의 행렬과 복소 평면 간의 동형 사상에 따른 직접적인 결과이다.7. 활용
드무아브르의 공식은 의 복소근을 구하는 데에 활용할 수 있다. 복소수 는 극형식으로 다음과 같이 표현할 수 있다.
:
이때 가 정수라면,
:
개의 서로 다른 근을 구할 때, 부터 까지의 값을 대입하면 된다.
또한, 이 공식은 꼴의 이항방정식의 해를 구하는 데 사용된다.
;허수 단위의 거듭제곱
:이 정수일 때,
:
:
:이 비정수일 때는, 여러 값 중 하나만 구해진다.
;1의 거듭제곱근
:을 2 이상의 자연수라고 할 때, 을 만족하는 를 구한다.
:의 극형식을 (, 는 실수)라고 하면,
:
:
:
:
8. 역사
오일러 공식보다 먼저 증명되었지만, 오일러 공식을 사용하면 쉽게 유도할 수 있다. 아브라암 드무아브르가 발견하였으며, 허수에 대한 직접적인 언급은 없다.[13][14] 드무아브르의 공식은 오일러 공식의 전신이다. 오일러 공식과 정수 거듭제곱에 대한 지수 법칙을 사용하여 드무아브르 공식을 유도할 수 있다.
참조
[1]
논문
Aequationum quarundam potestatis tertiae, quintae, septimae, nonae, & superiorum, ad infinitum usque pergendo, in termimis finitis, ad instar regularum pro cubicis quae vocantur Cardani, resolutio analytica
1707
[2]
서적
College Algebra and Trigonometry
Pearson/Addison Wesley
[3]
웹사이트
De Moivre formula
[4]
논문
Some interesting features of hyperbolic functions
2006-08
[5]
논문
The roots of a quaternion
1942-10
[6]
서적
College Algebra and Trigonometry
Pearson/Addison Wesley
[7]
문서
等式の整理に[[三角関数#加法定理|加法定理]]を利用した。
[8]
문서
等式の整理に[[三角関数#負角・余角・補角公式|三角関数の負角公式]]を利用した。
[9]
웹사이트
ド・モアブルの定理
http://toitemita.sak[...]
[10]
문서
これは変数を実数と考えると、複素平面の単位円上、偏角 {{mvar|θ}} の複素数に偏角 {{mvar|φ}} の複素数を掛けると偏角が {{math|''θ'' + ''φ''}} になることを意味する。
[11]
웹사이트
2013年度「代数学基礎」, pp.57–60
http://kansu.jp/text[...]
[12]
웹사이트
ド・モアブルの公式とオイラーの公式 - 九州工業大学工学部 教授 鎌田 裕之
http://www.mns.kyute[...]
[13]
웹사이트
인터넷 아카이브 -수열과 적분에 대한 해석잡론(解析雜論) 아브라암 드무아브르 1730
https://archive.org/[...]
[14]
웹사이트
구글 도서-수열과 적분에 대한 해석잡론(解析雜論) 아브라암 드무아브르 1730
https://books.google[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com