최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.216
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[02:34:43] SCP-1172
[13:40:31] 충청북도
[13:39:36] 충청남도
[13:38:41] 전라남도
[13:37:54] 경상북도
[13:37:03] 대구광역시
[13:36:34] 경기도
[23:35:12] 경상남도
[23:34:05] 경기도
[21:53:52] 임정득
돌아가기
삭제
이동
파일 올리기
대수학의 기본 정리
(편집) (2)
(편집 필터 규칙)
209,968
== 증명 == 다음 복소다항식이 근을 갖지 않는다고 가정하자. [math(f(z)=a_0+a_1z+\cdots+a_nz^n)] 그러면 충분히 큰 [math(R>0)]이 있어 [math(|z|>R)]이면 [math(|a_0|+|a_1||z|+\cdots+|a_{n-1}||z|^{n-1}<\frac{1}{2} |a_n||z|^n)] 이다. 이는 좌변과 우변의 비의 극한을 계산하면 알 수 있다. 따라서 [math(|z|>R)]이면 [math(\frac{|a_n|}{2} |z|^n \le |f(z)|\le\frac{3|a_n|}{2}|z|^n)]이다. 그리고 다음 영역은 컴팩트하다. [math(\overline{B}(0,R)=\{z\in\Bbb{C} : |z|\le R\})] 그러므로 [math(|f|)]를 최소로 만드는 [math(z_0)]가 존재하고, 특히 [math(f(z)\neq 0)]에서 [math(|f(z_0)|>0)] 이다. 이제 [math(\displaystyle 0<|\frac{1}{f(z)}|\le \frac{1}{m}\ (\displaystyle m=\min\{\frac{1}{2}|a_n|R^n,|f(z_0)|\}))] 이 성립한다. 따라서 [math(\displaystyle \frac{1}{f})] 는 유계인 전해석함수이므로 이는 리우빌의 정리에 의해 상수함수이고 복소평면 전체에서 항등적으로 [math(0)]이다. 다시 말해, 상수가 아닌 다항식 [math(f)]는 적어도 하나의 영점을 갖는다. ■
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
== 증명 == 다음 복소다항식이 근을 갖지 않는다고 가정하자. [math(f(z)=a_0+a_1z+\cdots+a_nz^n)] 그러면 충분히 큰 [math(R>0)]이 있어 [math(|z|>R)]이면 [math(|a_0|+|a_1||z|+\cdots+|a_{n-1}||z|^{n-1}<\frac{1}{2} |a_n||z|^n)] 이다. 이는 좌변과 우변의 비의 극한을 계산하면 알 수 있다. 따라서 [math(|z|>R)]이면 [math(\frac{|a_n|}{2} |z|^n \le |f(z)|\le\frac{3|a_n|}{2}|z|^n)]이다. 그리고 다음 영역은 컴팩트하다. [math(\overline{B}(0,R)=\{z\in\Bbb{C} : |z|\le R\})] 그러므로 [math(|f|)]를 최소로 만드는 [math(z_0)]가 존재하고, 특히 [math(f(z)\neq 0)]에서 [math(|f(z_0)|>0)] 이다. 이제 [math(\displaystyle 0<|\frac{1}{f(z)}|\le \frac{1}{m}\ (\displaystyle m=\min\{\frac{1}{2}|a_n|R^n,|f(z_0)|\}))] 이 성립한다. 따라서 [math(\displaystyle \frac{1}{f})] 는 유계인 전해석함수이므로 이는 리우빌의 정리에 의해 상수함수이고 복소평면 전체에서 항등적으로 [math(0)]이다. 다시 말해, 상수가 아닌 다항식 [math(f)]는 적어도 하나의 영점을 갖는다. ■
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기
