대수학의 기본정리
1. 개요
代數學의 基本定理 / fundamental theorem of algebra, FTA
상수가 아닌 복소계수 다항식은 반드시 (최소 한 개의[1]) 복소수 근을 갖는다. 즉,
단, 이 $$\alpha$$를 찾는 구체적인 방법(즉, 근의 공식)이 있다는 말은 아니다.[2] 또는 복소수체와 그것이 대수적으로 닫힌 구조(algebraic closure)가 일치한다고도 표현할 수 있다.
사전지식 없이 이 정리를 보면 매우 당연한 걸 증명하는 것 같지만, '''요점은 복소수'''다. 일차방정식에 실수 계수를 넣는다고 새로운 수체계를 확장할 필요는 전혀 없었지만, 이차방정식을 풀기 위해서는 복소수라는 새로운 수 체계를 고안해야만 했다. 그렇다면, 어쩌면 3차, 4차, 5차, …, '''방정식의 차수가 올라 갈 때마다 이를 풀기 위해서 복소수보다 더 복잡한 수 체계를 매번 만들어내야 하지 않을까?'''라는 불안 어린 추측을 할 수 있다. 아니, 하는 것이 당연하다. 이런 측면에서 보자면 모든 $$n$$차방정식을 풀기 위해서 이차방정식을 풀기 위해 확장했던 복소체계 외에는 새로운 확장이 불필요하다는 건 어쩌면 기적에 가까운 사실일 수도 있다.
2. 역사
기본적으로 가우스가 이것을 증명했다고 하지만, 그리 간단하지만은 않은 문제. 1746년 프랑스의 달랑베르가 증명을 제시했고, 실계수 다항식이 항상 복소수 근을 가진다고 주장하긴 했지만 몇 줄의 논증을 더 갖다 붙여야 증명이 해결되는 문제가 있었다. 달랑베르가 증명을 제시한 뒤 오일러, 라플라스, 라그랑주 등 많은 수학자들이 증명을 시도했다. 한마디로 대수학의 기본정리는 20세기 즈음의 페르마의 마지막 정리 같은 18세기의 화두였던 것이다.
18세기 말에 두 가지의 증명이 나왔으며, 하나는 제임스 우드의 대수학적 증명인데 묻혔다. 그때 기준으로도 명확히 보이는 오류가 있었기 때문. 또 하나는 가우스가 이것을 박사 학위 논문으로 증명하였는데, 기존 증명들의 오류를 조목조목 반박했다. 오일러 등의 대수적인 증명은, 다항식의 근이 (복소수를 넘어선 범위에서) 일단 있다고 가정하고 출발한다는 문제가 있음을 지적한다. 어떤 의미에서는 증명하고자 하는 사실을 일부 가정하고 있으므로 순환논법이라는 것. 달랑베르의 해석학적 증명은 증명하지 않은 다른 정리에 기반하고 있다는 사실을 지적하고, 증명에 등장하는 일부 정리에 대해 반례까지 제시한다. 그렇게 메이저 증명들의 오류를 지적하고 기하학적인 면을 강조한 새로운 증명을 제시하며 대수학의 기본정리의 증명자로 인정받...는가 했지만...
현대적인 잣대로 보면 가우스의 증명도 오류가 있다. 위상수학적인 면에서 오류가 발생했다고 한다. 연속적인 함수나 극한 같은 문제에 대해 엄밀한 이해가 부족해서 그랬다고. 이후 1816년과 1849년에 낸 가우스의 다른 증명들도 지금 기준으로 보면 오류가 있다. 역설적이게도, 위의 문제를 해결하는 것에 대하여 달랑베르가 무한소 대신 극한 개념을 사용하자고 제안했으나 정작 제대로 써 먹지를 못했다.
'''현대 수학의 엄밀한 기준을 충족하는 최초의 증명은 1806년 아르강이 해냈다.''' 예전의 애매한 실수 계수의 식이 아닌 복소수 계수의 식까지 확장시켜 증명한 것이다.
네이버캐스트-대수학의 기본 정리에도 이를 정리한 글이 있으며, 읽어볼 만한 가치가 있다.
3. 증명
대수학의 기본정리는 아이러니하게도 순수하게 대수학만을 이용하는 증명[3]은 존재하지 않는다(...).
3.1. 리우빌의 정리를 이용한 증명
다음 증명은 리우빌의 정리(Liouville's theorem)[4]라는 복소해석학의 주요 정리를 이용한 증명으로, 증명 내용도 대학 학부 수준이고 복소해석학 자체를 수학과 외의 학과에서도 많이 쓰기 때문에 비교적 다른 학과들도 접하기 쉬운 증명이다. 리우빌의 정리는 사실 증명이 그렇게 어렵지 않지만, 정리의 증명에 필요한 재료가 상당히 많다. 자세한 내용은 복소해석학 책을 아무거나 구해서 보면 된다. 가장 간단하게 증명하는 방법은 코시 적분공식에서 유도되는 코시 부등식을 이용하는 것. 아래의 증명은 코시 적분공식에서 코시 부등식을 유도하는 과정을 생략했다.
먼저 리우빌의 정리의 내용은 다음과 같다.
이는 복소해석학에서도 가장 아름다운 공식으로 꼽히는데 이는 당연히 $$f(z)$$가 실수함수라면 성립하지 않는다.[6] 쉽게 말해 복소함수가 전 복소평면에서 미분가능함에도 음이나 양의 무한대로 발산하지 않는다면 그러한 함수는 모조리 상수함수라는 소리이다.[7]
이제 리우빌의 정리를 이용해 대수학의 기본정리를 증명하고자 한다. 먼저 $$p(z)$$가 상수함수가 아닌 복소계수의 다항식이라 가정하자. 모순을 위해 $$p(z)$$가 복소평면에서 단 한 개의 근도 가지지 않는다고 가정하자. $$p(z)$$는 당연히 [math(0)]이 아닌 상수항을 가지는데, 그렇지 않으면 [math(0)]을 근으로 갖기 때문이다. $$p(z)$$는 다항함수이므로 전해석적이며, $$p(z)$$가 근을 가지지 않기에 $$1/p(z)$$또한 전해석함수이다. 만약 여기서 $$p(z)$$의 절댓값이 [math(0)]이 아닌 양수 $$M$$보다 항상 크다는것을 보일 수 있다면 (즉 $$\left|p(z)\right|$$의 하한이 [math(0)]보다 큰 양수) $$\left|1/p(z)\right|$$가 $$M^{-1}$$보다 항상 작으므로 리우빌의 정리에 의해 $$p(z)$$가 상수함수임을 의미하며, 이는 모순이다. 따라서 $$p(z)$$는 적어도 하나의 근을 복소평면상에서 가져야 한다. (여기서 계속 [math(0)]이 아닌 양수보다 큼을 강조하는 이유는 $$p(z)$$가 그냥 [math(0)]보다 크다라고만 결론지으면 $$z$$가 변함에 따라 [math(0)]에 무한히 근접할 수 있는 경우가 존재할 수 있으며, 이 경우 $$1/p(z)$$의 절댓값이 무한히 커지므로 리우빌의 정리를 사용할 수 없다.)
이제 $$\left|p(z)\right|$$가 모든 $$z$$에 대해 ([math(0)]보다 큰) 양수 $$M$$보다 크거나 같음을 보이면 된다. 만약 $$z$$가 매우매우 크다면 (좀더 엄밀히는 적절한 양수 $$R$$가 존재하여, $$\left|z\right|>R$$일 때,) $$p(z)$$의 크기는 $$z^{n}$$에 의해 지배되며, 이는 $$z$$가 커지면 무한대로 발산하기에 $$\left|1/p(z)\right|$$는 $$\left|z\right|>R$$에 대해서 상한이 존재한다. 만약 $$\left|z\right|<R$$라면 이는 반지름 $$R$$인 영역 내부이며 $$1/p(z)$$는 그러한 영역 내부(경계포함)에서 해석적이다. 즉, $$\left|1/p(z)\right|$$는 $$\left|z\right|<R$$에서 상한을 가진다. 따라서 $$\left|1/p(z)\right|$$는 복소평면 전체에서 상한을 가지며, 리우빌의 정리에 의해 $$p(z)$$는 상수함수가 되어야 한다. 이는 모순이기에 $$p(z)$$는 적어도 하나의 근을 가진다.
보다 자세하게 정리하면 다음과 같이 된다.
3.2. 루셰의 정리를 이용한 증명방법
이 증명은 복소해석학의 루셰의 정리(Rouché's theorem)를 이용한 증명방법이다. 한 가지 재밌는 특징이 뭐냐면, 리우빌의 정리를 통한 증명은 '''적어도 영점이 1개 있다'''만을 보장하는데 반해서, 루셰의 정리는 '''n차 방정식은 중근을 포함하여 정확하게 n개의 영점을 갖는다'''라는 사실을 추가적인 과정 없이 바로 보장한다는 것이다.[8]
먼저 루셰의 정리는 다음과 같다.
3.3. 갈루아 이론을 이용한 증명
우리가 "방정식을 푼다" 고 할 때 방정식의 해를 어떤 집합에서 찾는지 생각해보자. 실수들의 집합 $$\mathbb{R}$$, 대수학의 기본정리의 경우 복소수들의 집합 $$\mathbb{C}$$, 종종 모듈로 연산을 할 경우 $$ p$$로 나눈 나머지만을 고려하여 $$ \left\{0,1,2,\ldots, p-1\right\} $$ 에서 해를 찾게 된다. 이러한 작업을 할 수 있는 일반적인 집합이 바로 체(field) 이다. 체에 대한 이론을 정립하고 기존에 고려하던 실수체 $$\mathbb{R}$$과 $$\mathbb{C}$$를 넘어서는 수많은 체들에 대해 방정식을 풀게 되면서 기존에 가능하지 않던 접근이 가능해진다. 갈루아 이론은 두 체 $$ E\subset F$$가 있을 때 두 체 사이의 체를 갈루아 군이라는 대상의 부분군과 일대일 대응을 시킴으로써 분류를 가능하게 하는 이론이다. 이로서 군에 대하여 정립된 이론 (Sylow theory 등)을 적용할 수 있게 된다.
이 증명에서 이용되는 "대수적이지 않은 성질"은 $$ \mathbb{R} $$ 위의 홀수차수 방정식은 근을 갖는다는 <중간값 정리> 와, 임의의 복소수의 제곱근이 복소수 집합 내에서 존재한다는, 본질적으로 <2차방정식의 풀이> 이다.
기존에 알고 있던 명제들을 체론의 언어로 바꾸는 것에서 시작하자.
중간값 정리
$$ \mathbb{R}$$ 의 홀수 차수 확대체(extension field)는 자기 자신뿐이다.[9]
2차방정식의 풀이
$$ \mathbb{C}$$ 의 2차 확대체는 자기 자신뿐이다.
이제 중간값 정리와 2차방정식의 풀이를 이용하여 대수학의 기본정리를 증명한다. $$ \mathbb{C} $$ 의 유한 확대체 $$E$$ 가 존재한다고 가정하자. 임의의 유한 확대체는 유한 갈루아 확대체에 포함된다[11]. $$ F$$를 $$ E$$를 포함하는 갈루아 확대체라 하자. 갈루아군 $$\text{Gal}\left(F/\mathbb{R}\right) $$ 의 2-Sylow Subgroup $$ H$$ 를 생각하자. 갈루아 이론에 의해 $$H = \text{Gal}\left(F/F'\right) $$가 되는 $$F $$의 부분체 $$F' $$가 존재하며, $$H $$가 2-Sylow Subgroup이므로 $$ \left[F':\mathbb{R}\right] $$는 홀수이다. 하지만 <중간값 정리>에 의해 $$ F'=\mathbb{R}$$ 이고, $$ \left[F:\mathbb{R}\right] $$ 는 2의 거듭제곱이어야만 한다. $$ \left[F:\mathbb{R}\right]=\left[F:\mathbb{C}\right]\left[\mathbb{C}:\mathbb{R}\right]=2\left[F:\mathbb{C}\right] $$ 에서 $$ \left[F:\mathbb{C}\right]$$ 또한 2의 거듭제곱임을 알 수 있다. 이제 $$\left[F:\mathbb{C}\right]=2^e\ne 1 $$라 가정하자. Sylow theory의 결과를 다시 한 번 적용하면, $$\text{Gal}\left(F/\mathbb{C}\right)$$ 의 원소 개수 $$ 2^{e-1}$$ 인 부분군이 존재하며, 갈루아 이론에 의해 이 부분군에 대응되는 $$\mathbb{C}$$의 2차 확대체가 존재하게 된다. 이것은 <2차방정식의 풀이>에 모순이다. 따라서 $$ \left[F:\mathbb{C}\right]=1$$ 이고 $$ F=\mathbb{C}$$ 이다. 이로써 대수학의 기본정리가 증명되었다.대수학의 기본정리
$$ \mathbb{C} $$의 유한 확대체(finite extension field)는 자기 자신뿐이다.[10]
3.4. 대수적 위상수학의 기본군을 이용한 증명
대수적 위상수학의 S1의 기본군을 이용해서 해를 가지지 않는 복소다항식은 오직 상수함수밖에 없다는것을 보일 수 있다.
3.5. 위상수학을 이용한 증명
이 증명[12]은 다른 증명들보다도 준비해야 할 것들이 적고 그마저도 (너무 파고들지만 않는다면) 그리 어렵지 않은 것들이다. 0이 아닌 임의의 복소수 $$a$$에 대해 $$x^n - a = 0$$을 만족하는 $$n$$개의 복소수 $$x$$를 항상 찾을 수 있다는 것[13]과 다음 정리들이다.
컴팩트(compact)한 위상공간(topological space) $$X$$에서 $$\mathbb{R}$$로 가는 함수는 항상 최댓값과 최솟값을 가진다.
이들에 대한 증명은 생략한다. 위상수학 책을 참고하도록 하자.[14]$$\mathbb{R}^2$$, 혹은 $$\mathbb{C}$$에서 유계이고 닫힌 집합은 (예를 들어 원판 $$\{z : |z| \le R\}$$)은 컴팩트하다.
이제 $$f(z) = \sum_{i = 0}^n a_i z^i \;\; (n > 0)$$라고 두고, 다만 편의 상 $$a_n = 1$$이라고 두겠다. 먼저 다음을 증명한다.
이를 증명하기 위해 먼저 $$|z| > R$$인 모든 $$z \in \mathbb{C}$$에 대해 $$|f(z)| \ge |a_0|$$가 만족되는 양수 $$R \in \mathbb{R}$$을 찾아 보자. 일단 $$|z| > R_0$$이면 $$|f(z)| \ge \frac{1}{2} |z|^n$$이 성립하는 양수 $$R_0$$를 항상 찾을 수 있다.[15] 그러면 $$R = \textrm{max}\{R_0, (2|a_0|)^{1/n}\}$$라고 두는 것으로 금방 찾을 수 있다.계수가 복소수인 모든 복소 다항함수 $$f(z) = \sum_{r = 0}^n a_r z^r$$에 대해 $$|f(z)|$$의 최솟값이 존재한다. 즉, 어떤 $$z_0 \in \mathbb{C}$$가 존재해 모든 $$z \in \mathbb{C}$$에 대하여 $$|f(z_0)| \le |f(z)|$$가 성립한다.
이제 $$D = \{z \in \mathbb{C} : |z| \le R\}$$이라고 두자. 그러면 위에서 지적했듯이 $$D$$는 컴팩트하다. 그리고 $$f|_D : D \to \mathbb{R}$$은 연속이므로 위의 정리들 중 하나에 의하여 $$f|_D$$는 최솟값을 가진다. 즉, 어떤 $$z_0 \in D$$가 있어 모든 $$z \in D$$에 대해 $$|f(z_0)| \le |f(z)|$$인 것이다. 그러면 물론 $$|f(z_0)| \le |a_0|$$인데, 앞에서 $$z \notin D$$인 $$z \in \mathbb{C}$$에 대하여 $$|f(z)| \ge |a_0|$$임을 보였다. 따라서 모든 $$z \in \mathbb{C}$$에 대해 $$|f(z_0)| \le f(z)$$임을 보였다.
이 증명된 보조정리를 통해 근을 찾아 보자. 그런데 우리의 목표대로라면 사실 $$f(z_0) = 0$$이어야 한다. 이걸 보여보자. 그러기 위해 $$f(z_0) \ne 0$$라고 가정하자. 여기서 다음과 같이 $$f(z)$$를 쓸 수 있을 것이다.
$$\displaystyle f(z) = \sum_{i = 0}^n c_i (z - z_0)^i = c_0 + \sum_{i = q}^n c_i (z - z_0)^i$$.
여기서 $$q$$는 어떤 양의 정수로, $$c_q \ne 0$$이도록 하는 값이다. $$c_n = 1$$이므로 이러한 $$q$$는 항상 찾을 수 있다. 한편 $$f(z_0) = c_0$$이므로 $$f(z_0) \ne 0$$라고 둔 것은 $$c_0 \ne 0$$라고 둔 것과 똑같다.
이제 할 일이 뭐냐면 $$|f(z)| < |f(z_0)|$$인 $$z \in \mathbb{C}$$를 찾는 것이다.[16] 그러기 위해 먼저 $$f(z)$$를 좀 더 다듬어 보자.
$$\displaystyle f(z) = c_0 + c_q (z - z_0)^q + (z - z_0)^q \sum_{i = 0}^{n - q - 1} c_{i + q + 1} (z - z_0)^{i + 1}$$.
이 식의 절댓값이 $$|c_0|$$보다 작도록 만들고 싶으니, 위 항들에서 최대한 많은 것들을 정리해 $$c_0$$랑 연관이 있도록 하는 것이 좋겠다. 그러기 위해 일단 $$z = z_0 + tv$$ ($$t \in \mathbb{R}, \;\; v \in \mathbb{C}$$)로 둬 보자. 그러면 다음을 얻는다.
$$\displaystyle f(z_0 + vt) = c_0 + c_q v^q t^q + t^q v^q \sum_{i = 0}^{n - q - 1} c_{i + q + 1} v^{i + 1} t^{i + 1}$$.
여기서 $$v$$는 편한 대로 둘 수 있다. 이제 아이디어 하나를 쓸 것인데, $$v^q + \frac{c_0}{c_q} = 0$$이도록 $$v$$를 정하는 것이다. 이는 맨 위에서 다룬 바에 따라 항상 찾을 수 있다.
$$\displaystyle f(z_0 + vt) = c_0 - c_0 t^q - \frac{c_0}{c_q} t^q \sum_{i = 0}^{n - q - 1} c_{i + q + 1} v^{i + 1} t^{i + 1} = c_0 (1 - t^q) - c_0 t^q \left( t \sum_{i = 0}^{n - q - 1} \frac{c_{q + i + 1} v^{i + 1}}{c_0} t^i \right)$$.
여기서 편의 상 $$g(t) = t \sum_{i = 0}^{n - q - 1} \frac{c_{q + i + 1} v^{i + 1}}{c_0} t^i$$라고 두자. 그러면 다음을 얻는다.
$$\displaystyle |f(z_0 + vt)| = \left| c_0 (1 - t^q) - c_0 t^q g(t) \right| \le |c_0| |1 - t^q| + |c_0| |t^q| |g(t)|$$.
그리고 이제 $$0 < t < 1$$인 $$t$$만 생각하자. 그러면 다음이 성립한다.
$$\displaystyle |f(z_0 + vt)| \le |c_0| (1 - t^q) + |c_0| t^q |g(t)| = |c_0| \left[ 1 - t^q \left( 1 - |g(t)| \right) \right]$$.
지금 상황에서 $$|g(t)| < 1$$인 $$t \in (0, 1)$$을 찾기만 하면 될 것이다. 그런데 $$g : \mathbb{R} \ni t \mapsto t \sum_{i = 0}^{n - q - 1} \frac{c_{q + i + 1} v^{i + 1}}{c_0} t^i \in \mathbb{C}$$는 보다시피 연속이고, $$g(0) = 0$$이기 때문에, $$\epsilon-\delta$$ 논법에 따라 적당한 $$\delta > 0$$가 존재해 $$|t - 0| < \delta$$인 모든 $$t$$에 대하여 $$|g(t) - g(0)| = |g(t)| < 1$$임이 성립한다.[17] 결국 $$t \in (0, \delta)$$인 아무 $$t$$를 고르기만 하면 $$|f(z_0 + vt)| < |c_0| = |f(z_0)|$$가 성립한다. 이는 $$|f(z_0)|$$가 최솟값이라는 점에 모순이다. 따라서 처음부터 $$f(z_0)$$가 0이 아니라고 한 것이 틀린 것이라는 결론을 얻게 된다. 즉, $$f(z_0) = 0$$임을 얻는다.
4. 따름정리 1
중고등학생이 보통 대수학의 기본정리라고 알고 있는 것. n차 방정식은 항상 n개의 근을 가진다는 정리로, 위 대수학의 기본정리의 자명한 귀결이다. 루셰의 정리를 이용한 대수학의 기본정리와 동치이지만, 여기서는 리우빌의 정리에서 유도된 대수학의 기본정리를 통해 귀납적으로 증명하도록 한다.
상수가 아닌 복소계수 다항식 $$p\left(x\right)={\displaystyle \sum_{i=0}^{n}}a_{i}x^{i}=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{0}$$($$a_{n}\ne0$$, $$n\ge 1$$)을 항상 $$p\left(x\right)=a_{n}{\displaystyle \prod_{i=1}^{n}}\left(x-\alpha_{i}\right)=a_{n}\left(x-\alpha_{1}\right)\left(x-\alpha_{2}\right)\cdots\left(x-\alpha_{n}\right)$$로 분리할 수 있다는 것이다.
4.1. 증명
차수에 대한 수학적 귀납법을 쓴다. 1차인 경우, 자명하다.
모든 $$\left(n-1\right)$$차 다항식이 위와 같은 분해를 갖는다고 하자. 대수학의 기본정리에 의해 $$p\left(\alpha_{n}\right)=0$$인 복소수 $$\alpha_{n}$$이 항상 존재하므로 $$p\left(z\right)=\left(z-\alpha_{n}\right)q\left(z\right)$$로 분리할 수 있는데 $$q\left(z\right)$$는 $$\left(n-1\right)$$차 다항식이다. 여기에 귀납 가정을 적용하면 된다.
5. 따름정리 2
중간값 정리를 이용하면[18] 쉽게 보일 수 있고, 이렇게도 보일 수 있다는 것 정도로 보면 된다. 물론 위에서 소개된 대수학적 방법에서 이 사실을 응용하기 때문에 차라리 중간값 정리를 이용한 증명을 기억해 두는 편이 나을 것이다.'''모든 실계수 홀수차수 방정식은 1개 이상의 실근을 가진다.'''
5.1. 증명
이를 증명하기 위하여 먼저 '''실계수 방정식은 반드시 짝수개의 켤레복소수의 근을 가진다''' 라는 성질을 증명하고자 한다.
여기서 다음 켤레복소수의 성질을 이용하자.$$f\left(\mathbf{z}\right)=\displaystyle{\sum^{n}_{k=0}a_{k}x^{k}}=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{1}x+a_{0}$$이 복소수 $$z=p+qi$$를 근으로 가진다고 하자.
그렇다면 $$f\left(z\right)=a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots+a_{1}z+a_{0}=0$$이 성립한다.
$$\overline{z_1}+\overline{z_2}=\overline{z_1+z_2}$$
$$\overline{z}^{n}=\overline{z^n}$$
$$a\overline{z}=\overline{az}$$(단 $$a \in \mathbf{R}$$)[19]
이제 이 성질을 이용하여, 모든 실계수 홀수차수 방정식이 적어도 1개의 실근을 가진다는 점을 증명하자.$$f\left(\overline{z}\right)=a_{n}\overline{z}^{n}+a_{n-1}\overline{z}^{n-1}+\cdots+a_{1}\overline{z}+a_{0}=\overline{a_{n}z^{n}}+\overline{a_{n-1}z^{n-1}}+\cdots+\overline{a_{1}z}+a_{0}$$
$$=\overline{a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots+a_{1}z+a_{0}}=\overline{f\left(z\right)}=\overline{0}=0$$
즉, 복소수 $$z$$가 $$f\left(\mathbf{z}\right)=0$$의 한 근이라면, 그 켤레복소수 $$\overline{z}$$ 역시 $$f\left(\mathbf{z}\right)=0$$의 한 근이 된다. 그러므로 복소수근이 존재한다고 하면 켤레복소수 역시 근이 되게 된다.
$$f\left(\mathbf{z}\right)=0$$가 복소근 $$z=p+qi$$을 근으로 가진다고 하면 $$\overline{z}=p-qi$$역시 근이 되므로, $$f\left(\mathbf{z}\right)=0$$는 $$(x-z)$$와 $$(x-\overline{z})$$의 두 일차식을 인수로 가지게 된다.
즉, 복소근을 지니게 되면 $$\left(x-z\right)\left(x-\overline{z}\right)=\left(x-p-qi\right)\left(x-p+qi\right)=\left(x-p\right)^{2}-\left(qi\right)^{2}=\left(x-p\right)^{2}+q^{2}=x^{2}-2px+\left(p^2+q^2\right)$$라는 실계수 이차식을 인수로 가지게 된다. 그런데, 바로 위에서 증명했듯이, 켤레복소수 역시 근이 되므로 실질적으로 실계수 홀수(=2k-1)차수 방정식은 최대 짝수개(2k-2)의 켤레복소수의 근을 가지게 된다. 하지만 따름정리 1에서 n차 복소계수 다항식은 복소수 범위에서 중근을 포함하여 n개의 근을 가지게 된다. 즉 2k-1차 방정식의 2k-1개의 근 중에서 최대 2k-2개의 근이 복소근이므로, 적어도 1개의 근은 실근을 가짐은 자명하다.
6. 외부 링크
- 네이버캐스트-대수학의 기본 정리
- # 3Blue1Brown의 설명 영상
[1] 사실, 이 조건은 밑문단의 따름정리 때문에 넣든 빼든 같은 뜻이다.[2] 이미 5차 이상의 방정식의 일반적인 근의 공식이 존재하지 않음을 닐스 헨리크 아벨이 증명한 바 있다. 매우 특수한 경우에 한해서는 근의 공식이 존재하지만, 일반적인 상황으로의 확장은 불가능하다.[3] 대수학의 초등적 증명(Elementary Proof)이라고도 한다. 초등적 증명이란 '''특정 수학 분야의 증명에서 해당 분야, 혹은 그보다 기초적인 기술만으로 증명을 마치는 것'''을 의미한다. 대수학의 경우는 대수학 내부에서만 증명을 마치는 것이며, 기타 분야의 경우 대수학과 해당 분야만을 사용해야 한다.[4] 프랑스의 수학자 조제프 리우빌(Joseph Liouville)의 이름을 땄다. 이 사람의 이름을 딴 정리가 등각사상(conformal mapping), 해밀턴 역학(Hamiltonian mechanics), 미분기하학(differential geometry) 등의 분야에 여럿 있다.[5] 즉, 어떤 양수 $$M$$이 존재하여 모든 $$z$$에 대해 $$f(z)$$의 절댓값이 $$M$$보다 작다면[6] $$f(x) = \sin x$$이면 유계이지만 상수함수가 아니다. $$f(x) = \sin x$$이 복소함수라면 유계가 아니므로 성립하지 않는다.[7] 참고로 이 정리에서 나온 보조 정리(Lemma)가 바로, 복소평면상의 함수 $$f$$가 유계 개영역 $$D$$에서 해석적이며 유계일 경우, 상수함수가 아니라면 그 최대값은 $$D$$상에 존재하지 않고 개영역 $$D$$의 경계인 $$\partial (D)=Bd(D)$$에 존재한다. 라는 최대 크기 원리(Maximum modulus principle)다.[8] 사실 근을 하나라도 항상 갖는다는 것만 보여도 n차 방정식이 중근을 포함하여 정확하게 n개의 영점을 갖는다는 것을 쉽게 증명할 수 있다. 아래의 따름정리에서 소개한다.[9] 홀수 차수 확대체의 최소 다항식은 기약 다항식이므로, 1차식이 아닌 이상 근을 가질 수 없다.[10] 만약 어떤 복소계수 다항식 $$ p\left(x\right) $$ 의 해가 복소수체 $$ \mathbb{C}$$ 내부에서 존재하지 않는다면, 그러한 해들을 미지수 $$ \xi $$ 로 놓고, 정확히 $$ \mathbb{R}$$ 에서 $$x^2+1=0 $$ 의 해를 추가하여 $$\mathbb{C}$$ 를 만들듯, $$ \mathbb{C} $$ 를 포함하는 더 큰 체를 만들 수 있기 때문이다.[11] $$ \text{Char}\left(\mathbb{C}\right) = 0 $$이므로, $$E $$의 최소 다항식의 분해체를 생각하면 된다[12] 영문 위키피디아에 실린 한 증명을 참고하였다. 다만 이 증명의 출처(논문 등)는 알 수 없다.[13] 물론 가능한 $$x$$들은 $$a = |a| e^{i\theta}$$라고 썼을 때 $$|a|^{1/n} e^{i(\theta + 2\pi q)/n} \;\; (q = 0, 1, 2, \cdots, n - 1)$$일텐데, 사실 이걸 제대로 증명하는 것도 만만치 않다. 일단 $$a$$가 음수가 아닌 실수라면 중간값 정리로 쉽게 밝힐 수 있겠지만 문제는 $$e^{i\theta}$$ 쪽인데, 물론 워낙 유명한 결과이니 그냥 넘겨도 상관 없을 수 있겠지만 사실 크기가 1인 모든 복소수가 $$e^{i\theta}$$ 꼴로 표현될 수 있다는 걸 보이는 건 만만치 않은 문제다. 이 문제는 Rudin의 RCA 중 prologue에서 멋지게 해결해 뒀으니, 꼭 읽어 보도록 하자. 너무 거창해 보여서 차라리 이 방법을 포기하고 위의 다른 증명들을 쓰면 되지 않냐고 할 수도 있겠는데, 그러기엔 모든 복소수가 어떤 복소수의 지수함수 꼴로 항상 표현될 수 있다는 이 내용이 수학 전반적으로 너무 중요한 거라서(예를 들어 본질적으로는 '''현대 수학에서 sine과 cosine 등의 삼각함수, 그리고 원주율 $$\pi$$를 가장 엄밀하게 정의하는 것'''을 포함한다!) 수학 전공자들이라면 반드시 읽어 봐야 할 내용이라고 해도 과언이 아니다.
간단하게 순서를 소개하면, 다음 순서대로 증명을 한다.
1. 임의의 복소수 $$z$$에 대하여 $$e^z\neq0$$이라는 점을 보인다.
2. $${d \over dz}e^{z}=e^{z}$$임을 보인다.
3. $$e^{z}\to\infty\Leftrightarrow z\to\infty, e^{z}\to0\Leftrightarrow z\to-\infty$$임을 보인다.
4. $$e^{i\pi/2}=i$$를 만족하는 양의 실수 $$\pi$$의 존재성을 보이고 $$e^z=1$$와 $$z/2i\pi$$가 정수임이 동치임을 보인다.
5. 4에 의하여 $$\exp$$가 복소수 축에 평행한 직선에서 주기함수임을 보인다.
6. $$t\in \mathbb{R}\to e^{t}$$가 복소평면의 단위원으로 사상되는 사상임을 보인다.
7. 따라서 $$w \in \mathbb{C}\left(\neq 0\right)$$에 대하여 $$w=e^{z}$$가 성립하는 $$z\in\mathbb{C}$$가 존재한다.
라는 순서를 거치게 된다.[14] 두번째야 완비거리공간(complete metric space)에서의 컴팩트성을 다루면 반드시 증명하는 성질이므로 책에서 금방 찾을 수 있다. 첫번째는 컴팩트한 공간의 연속상(continuous image) 역시 컴팩트하다는 사실과 컴팩트 거리공간(compact metric space)은 sequentially compact하다는 것((일반적인) 컴팩트 공간이 limit-point compact하는 걸 이용할 수도 있을 것이다), 그리고 실수의 완비성을 이용하면 금방 보일 수 있다.[15] 그냥 넘어갈 수도 있지만(...) 굳이 증명하자면 이렇게 할 수 있다. 먼저 $$|f(z)| = |\sum_{i = 0}^n a_i z^i| = |z^n + \sum_{i = 0}^{n - 1} a_i z^i| \ge |z|^n |1 - |\sum_{i = 1}^{n} \frac{a_{n - i}}{z^i}||$$가 성립한다. 한편 $$|z| > 1$$인 $$z \in \mathbb{C}$$에 대하여 $$|\sum_{i = 1}^n \frac{a_{n - i}}{z^i}| \le \sum_{i = 1}^n \frac{|a_{n - i}|}{|z|^i} \le \sum_{i = 1}^n \frac{A}{|z|} = \frac{nA}{z}$$ $$(A = \textrm{max}\{|a_0|, |a_1|, \cdots, |a_{n - 1}|\})$$이 성립한다. 이제 $$R_0 = \textrm{max}\{1, 2nA\}$$라고 두면 $$|z| > R_0$$인 모든 $$z \in \mathbb{C}$$에 대하여 $$|1 - |\sum_{i = 1}^{n} \frac{a_{n - i}}{z^i}|| \ge \frac{1}{2}$$가 성립하므로 $$|f(z)| \ge \frac{1}{2} |z|^n$$임을 알 수 있다.[16] 수학자들이 minimality(maximality)를 갖고 있을 때 흔히 하는 일인데, 보이고자 하는 명제의 결론을 먼저 뒤집은 다음, 가지고 있는 minimal (maximal) element보다 더 작은 (더 큰) 원소를 찾아서 모순을 만드는 것이다.[17] 참고로 $$\epsilon = 1$$로 설정한 것이다.[18] $$f(x)=\displaystyle \sum_{k=0}^{n}a_kx^k=a_nx^n+\cdots+a_1x+a_0$$(단, $$a_n\neq 0$$)이라 할 때, 적당한 양의 실수 $$R$$가 존재하여, $$\forall z\geq R$$일 때 $$f(z)f(-z)<0$$임을 보이고 중간값 정리를 사용하면 된다.[19] 만약 $$a\in\mathbf{C}$$라면 $$a\overline{z}=\displaystyle{\overline{\overline{a}z}}$$가 되어서 이 방법으로의 증명은 성립하지 않게 된다. 실계수 방정식이라는 전제가 있기 때문에 계수를 켤레복소수 밖으로 빼낼 수 있는 것.
간단하게 순서를 소개하면, 다음 순서대로 증명을 한다.
1. 임의의 복소수 $$z$$에 대하여 $$e^z\neq0$$이라는 점을 보인다.
2. $${d \over dz}e^{z}=e^{z}$$임을 보인다.
3. $$e^{z}\to\infty\Leftrightarrow z\to\infty, e^{z}\to0\Leftrightarrow z\to-\infty$$임을 보인다.
4. $$e^{i\pi/2}=i$$를 만족하는 양의 실수 $$\pi$$의 존재성을 보이고 $$e^z=1$$와 $$z/2i\pi$$가 정수임이 동치임을 보인다.
5. 4에 의하여 $$\exp$$가 복소수 축에 평행한 직선에서 주기함수임을 보인다.
6. $$t\in \mathbb{R}\to e^{t}$$가 복소평면의 단위원으로 사상되는 사상임을 보인다.
7. 따라서 $$w \in \mathbb{C}\left(\neq 0\right)$$에 대하여 $$w=e^{z}$$가 성립하는 $$z\in\mathbb{C}$$가 존재한다.
라는 순서를 거치게 된다.[14] 두번째야 완비거리공간(complete metric space)에서의 컴팩트성을 다루면 반드시 증명하는 성질이므로 책에서 금방 찾을 수 있다. 첫번째는 컴팩트한 공간의 연속상(continuous image) 역시 컴팩트하다는 사실과 컴팩트 거리공간(compact metric space)은 sequentially compact하다는 것((일반적인) 컴팩트 공간이 limit-point compact하는 걸 이용할 수도 있을 것이다), 그리고 실수의 완비성을 이용하면 금방 보일 수 있다.[15] 그냥 넘어갈 수도 있지만(...) 굳이 증명하자면 이렇게 할 수 있다. 먼저 $$|f(z)| = |\sum_{i = 0}^n a_i z^i| = |z^n + \sum_{i = 0}^{n - 1} a_i z^i| \ge |z|^n |1 - |\sum_{i = 1}^{n} \frac{a_{n - i}}{z^i}||$$가 성립한다. 한편 $$|z| > 1$$인 $$z \in \mathbb{C}$$에 대하여 $$|\sum_{i = 1}^n \frac{a_{n - i}}{z^i}| \le \sum_{i = 1}^n \frac{|a_{n - i}|}{|z|^i} \le \sum_{i = 1}^n \frac{A}{|z|} = \frac{nA}{z}$$ $$(A = \textrm{max}\{|a_0|, |a_1|, \cdots, |a_{n - 1}|\})$$이 성립한다. 이제 $$R_0 = \textrm{max}\{1, 2nA\}$$라고 두면 $$|z| > R_0$$인 모든 $$z \in \mathbb{C}$$에 대하여 $$|1 - |\sum_{i = 1}^{n} \frac{a_{n - i}}{z^i}|| \ge \frac{1}{2}$$가 성립하므로 $$|f(z)| \ge \frac{1}{2} |z|^n$$임을 알 수 있다.[16] 수학자들이 minimality(maximality)를 갖고 있을 때 흔히 하는 일인데, 보이고자 하는 명제의 결론을 먼저 뒤집은 다음, 가지고 있는 minimal (maximal) element보다 더 작은 (더 큰) 원소를 찾아서 모순을 만드는 것이다.[17] 참고로 $$\epsilon = 1$$로 설정한 것이다.[18] $$f(x)=\displaystyle \sum_{k=0}^{n}a_kx^k=a_nx^n+\cdots+a_1x+a_0$$(단, $$a_n\neq 0$$)이라 할 때, 적당한 양의 실수 $$R$$가 존재하여, $$\forall z\geq R$$일 때 $$f(z)f(-z)<0$$임을 보이고 중간값 정리를 사용하면 된다.[19] 만약 $$a\in\mathbf{C}$$라면 $$a\overline{z}=\displaystyle{\overline{\overline{a}z}}$$가 되어서 이 방법으로의 증명은 성립하지 않게 된다. 실계수 방정식이라는 전제가 있기 때문에 계수를 켤레복소수 밖으로 빼낼 수 있는 것.