대수학의 기본 정리(Fundamental Theorem of Algebra)는 복소수체 $\mathbb{C}$ 위에서 정의된 0이 아닌 차수를 가진 다항식은 적어도 하나의 복소수 근을 가진다는 내용을 담은 수학 정리이다. 즉, 차수가 $n$인 다항식
$$ p(z)=a_n z^{n}+a_{n-1}z^{n-1}+\dots +a_1 z + a_0 \qquad (a_n eq0,; a_i\in\mathbb{C}) $$
에 대해 $\exists,\alpha\in\mathbb{C}$가 존재하여 $p(\alpha)=0$임을 의미한다. 이 정리의 직접적인 귀결은 $\mathbb{C}$가 대수적으로 폐쇄된 체라는 사실이며, 따라서 모든 복소수 계수를 갖는 다항식은 복소수 선인수들의 곱으로 완전히 인수분해될 수 있다.
1. 역사
| 연도 | 사건 | 비고 |
|---|---|---|
| 1746 | 루이 프리드리히 하우스(Leopold Kronecker)와 앙드레 오라페르(André-Marié) 등 초기 연구 | 근본적인 증명은 아직 부족 |
| 1799 | 카를 프리드리히 가우스(Carl Friedrich Gauss) – “Disquisitiones Arithmeticae”에서 첫 완전한 증명 제시 | 현재 가장 널리 인용되는 최초의 완전 증명 |
| 19세기 초 | 라우스(Louis)·쿠르트-카네니(Cauchy) 등 다른 증명 제시 | 복소평면의 위상학적·해석학적 접근법 사용 |
| 20세기 | 대수기하학·위상수학적 방법을 통한 다양한 증명 | 예: 대수적 위상학, 복소수 사영평면 이용 |
가우스는 당시 복소수 체가 실수 위에 체계적으로 정의되지 않은 상황에서도, 복소수의 “극한” 개념을 활용해 정리를 증명하였다. 이후 코시(Cauchy), 리만(Riemann) 등 여러 수학자가 위상학적 방법을 도입하면서 정리의 증명이 다각화되었다.
2. 정리의 주요 형태
-
표준 형태
모든 차수 $n\ge 1$인 복소계수 다항식은 $\mathbb{C}$ 안에서 적어도 하나의 근을 가진다. -
인수분해 형태
위 정리와 체의 대수적 폐쇄성에 의해
$$ p(z)=a_n \prod_{k=1}^{n} (z-\alpha_k), \qquad \alpha_k\in\mathbb{C} $$ 로 표현 가능하다. -
실수계수 다항식에 대한 파생형
실수계수 다항식의 경우, 근은 실수이거나 서로 켤레를 이루는 복소수 쌍으로 나타난다.
3. 증명 개요
정리의 증명은 여러 가지 방식이 존재한다. 대표적인 접근법은 다음과 같다.
| 증명 방법 | 핵심 아이디어 |
|---|---|
| 위상학적 증명(코시·라우스) | 복소평면의 큰 원 위에서 다항식의 절댓값이 원점에서 멀어짐을 이용, 원을 따라 연속적인 위상학적 변화를 통해 영점 존재 증명 |
| 복소수 사영평면(리만 구) | $\mathbb{C}\cup{\infty}$ 를 구형으로 확장하고, 다항식이 무한대에서 $\infty$ 로 가는 정도를 분석하여 영점 존재를 보임 |
| 대수적 증명(가우스) | 복소수를 실수와 허수 부분으로 분리한 뒤, 실수 부분과 허수 부분을 동시에 0으로 만드는 해를 찾는 연립방정식 형태로 변형 |
| 분석학적 증명(연속성·극한) | $ |
각 증명은 가정에 따라 약간씩 다른 추가 정리를 필요로 한다(예: 연속함수의 최소값 정리, 사영평면의 위상학적 성질 등).
4. 응용 및 관련 개념
- 다항식 인수정리: 위 정리의 직접적인 귀결로, 복소평면에서 다항식을 완전 인수분해할 수 있다.
- 복소수 체의 대수적 폐쇄성: $\mathbb{C}$가 대수적으로 폐쇄된 유일한 표준 체라는 성질을 보장은 수학 전반에 걸쳐 중요한 역할을 한다.
- 복소함수론: 정리는 복소함수의 영점과 극점 이론, 로랑 급수 전개의 근거가 된다.
- 수치해석: 근을 찾는 알고리즘(예: 뉴턴법, 와일즈-프라울러 방식)에서는 정리의 존재성이 전제 조건이 된다.
5. 참고 문헌
- G. H. Hardy, A Course of Pure Mathematics, 10th ed., Cambridge University Press, 1964.
- A. M. Ostrowski, Solution of Equations and Systems of Equations, Academic Press, 1960.
- R. Remmert, Theory of Complex Functions, Springer, 1991.
- H. M. Edwards, Galois Theory, Springer, 1984.
6. 외부 링크
- 위키백과 : 「Fundamental theorem of algebra」
- 스탠포드 대학 수학 강의 – 복소해석 (Complex Analysis)
본 항목은 객관적이고 중립적인 서술을 목표로 하였으며, 현재까지 확인된 학술 자료에 기반하여 작성되었습니다.