高等代数理论基础75:代数基本定理的证明

代数基本定理的证明

引理:设f(x)是次数n\ge 1​的复系数多项式,则

1.\forall M\ge 0,\exists N\gt 0​,当|z|\gt N​时有|f(z)|\ge M​

2.|f(z)|在复平面上有最小值

证明:

1.设f(z)=a_0z^n+a_1z^{n-1}+\cdots+a_n

A=Max(|a_1|,|a_2|,\cdots,|a_n|)

|a_1z^{n-1}+\cdots+a_n|\le |a_1||z|^{n-1}+|a_2||z|^{n-2}+\cdots+|a_n|\le A(|z|^{n-1}+|z|^{n-2}+\cdots+1)

=A{|z|^n-1\over |z|-1}​

|z|\ge {2A\over |a_0|}+1时,A{|z|^n-1\over |z|-1}\le {1\over 2}|a_0||z|^n

|a_1z^{n-1}+a_2z^{n-2}+\cdots+a_n|\le {1\over 2}|a_0||z|^n

|f(z)|\ge |a_0||z|^n-|a_1z^{n-1}+\cdots+a_n|\ge {1\over 2}|a_0||z|^n

|z|\ge \sqrt[n]{2M\over |a_0|}

|f(z)|\ge M

N=Max({2A\over |a_0|+1,\sqrt[n]{2M\over |a_0|}})​

则当|z|\ge N时有|f(z)|\ge M

2.\forall z_1,令|f(z_1)|=M

N\gt 0,当|z|\ge N时有|f(z)|\ge |f(z_1)|

再取Oxy平面上闭区域\sqrt{x^2+y^2}\le N

\forall z=x+iy\in \C​

|z|\le N\Leftrightarrow \sqrt{x^2+y^2}\le N​

设复多项式f(z)=f_1(x,y)=if_2(x,y)

其中f_1(x,y)​f_2(x,y)​都为x,y​的二元实系数多项式

\therefore |f(z)|=\sqrt{f_1(x,y)^2+f_2(x,y)^2}​x,y​的连续函数

在闭区域\sqrt{x^2+y^2}\le N​上有极小值

|f(z)|​|z|\le N​中有极小值

即有|z_0|\le N,当|z|\le N时有|f(z)|\ge |f(z_0)|​

|f(z_1)|​|f(z_0)|​中较小的一个

即复平面上|f(z)|的最小值\qquad\mathcal{Q.E.D}

代数基本定理:每个次数\ge 1​的复系数多项式必有复数根

证明:

f(z)=a_nz^n+a_{n-1}z^{n-1}+\cdots+a_0为一个复系数多项式​

其中a_n\neq 0,n\ge 1

|f(z)|在复平面上有最小值|f(z_0)

下证f(z_0)=0

若不然,设f(z_0)=b_0\neq 0​

f(z)​表成z-z_0​的方幂和

f(z)=b_0+b_1(z-z_0)+\cdots+b_n(z-z_0)^n

其中b_0=f(z_0)

b_1=\cdots=b_{k-1}=0,b_k\neq 0

f(z)=b_0+b_k(z-z_0)^k+\cdots+b_n(z-z_0)^n​

{f(z)\over b_0}=1+{b_k\over b_0}(z-z_0)^k+\cdots+{b_n\over b_0}(z-z_0)^n​

z-z_0=h,{b_l\over b_0}=c_l,l=k,\cdots,n​

{f(z_0+h)\over b_0}=1+c_kh^k+c_kh^k({c_{k+1}\over c_k}h+\cdots+{c_n\over c_k}h^{n-k})​

\therefore |{f(z_0+h)\over b_0}|\le |1+c_kh^k|+|c_kh^k|(|{c_{k+1}\over c_k}||h|+\cdots+|{c_n\over c_k}||h|^{n-k})​

\arg h={\pi-\arg c_k\over k}​

c_kh^k​为负实数

|h|​充分小,k\ge 1​

-c_kh^k=|c_kh^k|=|c_k||h|^k\lt 1​

k=n​,则|1+c_kh^k|+|c_kh^k|(|{c_{k+1}\over c_k}||h|+\cdots+|{c_n\over c_k}||h|^{n-k})​无第二项

k\lt n​,则n-k\gt 0​

|h|​充分小

|{c_{k+1}\over c_k}||h|+\cdots+|{c_n\over c_k}||h|^{n-k}\lt {1\over 2}​

\therefore |c_kh^k|(|{c_{k+1}\over c_k}||h|+\cdots+|{c_n\over c_k}||h|^{n-k})\lt {1\over 2}|c_kh^k|

\therefore {|f(z_0+h)|\over |b_0|}\le |1+c_kh^k|+{1\over 2}|c_kh^k|

=1-|c_kh^k|+{1\over 2}|c_kh^k|=1-{1\over 2}|c_kh^k|\lt 1

\therefore |f(z_0+h)|\lt |b_0|=|f(z_0)|

|f(z_0)|是最小值矛盾

\therefore |b_0|=|f(z_0)|=0​

z_0f(z)的一个复数根\qquad\mathcal{Q.E.D}

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,293评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,604评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,958评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,729评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,719评论 5 366
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,630评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,000评论 3 397
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,665评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,909评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,646评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,726评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,400评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,986评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,959评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,197评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,996评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,481评论 2 342

推荐阅读更多精彩内容

  • 嗷嗷本人目前数学系大三,对高等代数大致复习一遍之后的思路整理,个人想法居多,不严谨,仅供参考,有错误欢迎指出,有建...
    流星落黑光阅读 11,232评论 1 16
  • 探讨一: 对于这个问题, 我觉得没什么"哲学"的. 数学引发出来的哲学问题不在这里. 而关于计量单位制, 它实际上...
    瑞波荡漾阅读 3,200评论 1 3
  • JMeter简介 JMeter是一款开源桌面软件,用来模拟用户负载来完成性能测试工作。JMeter可以对web进行...
    ottol阅读 957评论 1 11
  • 很多新学员都没办法进入状态,导致了在学习中没有很好的效果,进而失去了学习的信心。其实这样的情况只是因为自己本身没有...
    苏秀A阅读 769评论 0 0
  • 发现这家小店是通过朋友圈知道的,大概是在5月初,当时刚刚接触手冲咖啡,就很好奇在一座小城里出现这样一家精品咖啡馆,...
    进击的嘉欣大小姐阅读 5,002评论 0 1