Transcript
Page 1: Osnovni teorem algebre - unizg.hr

Osnovni teorem algebre

Kiลกiฤ‡, Nika

Master's thesis / Diplomski rad

2014

Degree Grantor / Ustanova koja je dodijelila akademski / struฤni stupanj: University of Zagreb, Faculty of Science / Sveuฤiliลกte u Zagrebu, Prirodoslovno-matematiฤki fakultet

Permanent link / Trajna poveznica: https://urn.nsk.hr/urn:nbn:hr:217:799040

Rights / Prava: In copyright

Download date / Datum preuzimanja: 2021-11-09

Repository / Repozitorij:

Repository of Faculty of Science - University of Zagreb

Page 2: Osnovni teorem algebre - unizg.hr

SVEUฤŒILIล TE U ZAGREBU

PRIRODOSLOVNOโ€“MATEMATIฤŒKI FAKULTET

MATEMATIฤŒKI ODSJEK

Nika Kiลกiฤ‡

OSNOVNI TEOREM ALGEBRE

Diplomski rad

Zagreb, lipanj, 2014.

Page 3: Osnovni teorem algebre - unizg.hr

SVEUฤŒILIล TE U ZAGREBU

PRIRODOSLOVNOโ€“MATEMATIฤŒKI FAKULTET

MATEMATIฤŒKI ODSJEK

Nika Kiลกiฤ‡

OSNOVNI TEOREM ALGEBRE

Diplomski rad

Voditelj rada:prof.dr.sc. Vedran Krฤadinac

Zagreb, lipanj, 2014.

Page 4: Osnovni teorem algebre - unizg.hr

Ovaj diplomski rad obranjen je dana pred ispitnim povje-renstvom u sastavu:

1. , predsjednik2. , ฤlan3. , ฤlan

Povjerenstvo je rad ocijenilo ocjenom .

Potpisi ฤlanova povjerenstva:

1.2.3.

Page 5: Osnovni teorem algebre - unizg.hr

Sadrลพaj

Sadrลพaj iv

Uvod 2

1 Povijesni pregled 3

2 Dokaz pomoฤ‡u kompaktnosti 62.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62.2 Dokaz osnovnog teorema algebre . . . . . . . . . . . . . . . . . . . . . 11

3 Algebarski dokaz 133.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133.2 Dokaz osnovnog teorema algebre . . . . . . . . . . . . . . . . . . . . . 21

4 Dokazi pomoฤ‡u kompleksne analize 244.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244.2 Dokaz osnovnog teorema algebre . . . . . . . . . . . . . . . . . . . . . 314.3 Joลก dva dokaza osnovnog teorema algebre . . . . . . . . . . . . . . . . 32

Bibliografija 37

Saลพetak 38

Summary 39

ลฝivotopis 40

iv

Page 6: Osnovni teorem algebre - unizg.hr

Uvod

Cilj ovog diplomskog rada je dokazati osnovni teorem algebre. Koristit ฤ‡emo sljedeฤ‡uformulaciju teorema:

Svaki kompleksni polinom stupnja ๐‘› ima ๐‘› kompleksnih korijena.

Navest ฤ‡emo ฤetiri pristupa dokazu koristeฤ‡i razliฤita podruฤja matematike. U svakompoglavlju ฤ‡emo prvo dati uvod u vaลพna svojstva iz podruฤja na kojem ฤ‡emo baziratidokaz, a nakon toga prelazimo na sam dokaz.

Na poฤetku rada navodimo detalje o razvoju dokaza kroz povijest. Krenut ฤ‡emood Petera Rotha koji je prvi spomenuo teorem. Spomenut ฤ‡emo Descartesa koji jeprvi objavio dokaz s nekoliko mana te Gaussa koji je napravio prvi dokaz koji je upotpunosti prihvaฤ‡en. Nakon povijesnog pregleda, u drugom poglavlju ฤ‡emo obraditidokaz osnovnog teorema algebre koristeฤ‡i kompaktnost i svojstva kompleksnih poli-noma. Prvo ฤ‡emo definirati skup polinoma i pokazati da on ฤini komutativni prsten sjedinicom. Nakon toga podsjetit ฤ‡emo se teorema o dijeljenju s ostatkom te najveฤ‡egzajedniฤkog djelitelja polinoma. U drugom dijelu poglavlja navest ฤ‡emo rezultate kojivrijede za kompleksne polinome te ih na kraju poglavlja iskoristiti za dokaz osnovnogteorema algebre.

U treฤ‡em poglavlju teorem ฤ‡emo dokazati koristeฤ‡i ฤinjenicu da kompleksni po-linom moลพemo interpretirati kao algebarski objekt. Uvest ฤ‡emo pojmove proลกirenjapolja ๐น te elemenata koji su algebarski nad poljem ๐น . Dokazat ฤ‡emo Kroneckerovteorem koji govori o egzistenciji polja proลกirenja u kojem ireducibilni polinom imakorijen. Nakon toga definiramo pojam polja razlaganja te dokazujemo teorem o egzis-tenciji takvog polja. Definirat ฤ‡emo simetriฤne polinome te iskazati osnovni teoremo simetriฤnim polinomima. U drugoj toฤki treฤ‡eg poglavlja dokazujemo leme kojekoristimo u dokazu osnovnog teorema algebre. Kljuฤna je lema koja kaลพe da svakinekonstantni realni polinom ima kompleksan korijen. Pomoฤ‡u te leme dolazimo dodokaza teorema.U posljednjem poglavlju koristimo rezultate iz kompleksne analize. Definirat ฤ‡emo po-jam nulhomotopnog puta te jednostavno povezanog podruฤja. Iskazat ฤ‡emo Cauchy-Riemannov teorem te Greenov teorem. Nakon toga dokazujemo nekoliko Cauchyjevih

1

Page 7: Osnovni teorem algebre - unizg.hr

SADRลฝAJ 2

rezultata, ukljuฤujuฤ‡i Cauchyjev teorem te Cauchyjevu integralnu formulu. Drugatoฤka ฤetvrtog poglavlja posveฤ‡ena je dokazu osnovnog teorema algebre koji se teme-lji na primjeni Liouvilleova teorema. Rad zavrลกavamo posljednjom toฤkom ฤetvrtogpoglavlja u kojoj navodimo dokaz koji koristi nejednakost srednje vrijednosti te dokazkoji se bazira na principu maksimuma modula.

Page 8: Osnovni teorem algebre - unizg.hr

Poglavlje 1

Povijesni pregled

U ranoj fazi prouฤavanja jednadลพbi, al-Khwarizmi u svojem radu nije imao potrebeza ovim teoremom jer su se tada koristili samo realni pozitivni korijeni. Tek je 1545.Cardano zakljuฤio da postoje brojevi opฤ‡enitiji od realnih brojeva. Do tog je zakljuฤkadoลกao kada je radio na formuli koja daje korijene kubiฤne jednadลพbe.

Prvi spomen osnovnog teorema algebre u ovom obliku dao je 1608. Peter Rothali se zasluge za to najฤeลกฤ‡e pripisuju Girardu. Viรจte je definirao jednadลพbe stupnja๐‘› sa ๐‘› korijena, no Albert Girard je 1629. godine u svojem radu Lโ€™invention enalgรจbre tvrdio da jednadลพbe ๐‘›-tog stupnja uvijek imaju ๐‘› rjeลกenja. Girard nije tvrdioda su ta rjeลกenja kompleksni brojevi oblika ๐‘Ž + ๐‘๐‘–, ๐‘Ž, ๐‘ โˆˆ R, veฤ‡ je ostavio otvorenumoguฤ‡nost da rjeลกenja dolaze iz veฤ‡eg skupa od skupa C. Descartes je 1637. godineu radu La gรฉomรฉtrie napisao da se za svaku jednadลพbu stupnja ๐‘› moลพe โ€žzamislitiโ€œ ๐‘›korijena, no imaginarni korijeni ne predstavljaju neku realnu koliฤinu.

Leibniz je 1702. dao protuprimjer da osnovni teorem algebre ne vrijedi. Tvrdioje da se ๐‘ฅ4 + ๐‘ก4 ne moลพe napisati kao produkt dva realna kvadratna faktora. Grijeลกioje zato ลกto nije znao da se

โˆš๐‘– moลพe napisati u obliku ๐‘Ž + ๐‘๐‘–, ๐‘Ž, ๐‘ โˆˆ R. Leibnizov

protuprimjer opovrgnuo je Euler 1742.Prvi objavljen dokaz ovog teorema dao je Dโ€™Alembert 1746. Meฤ‘utim, njegov je

dokaz imao nekoliko rupa. U dokazu je koristio lemu koja tada joลก nije bila dokazana- dokazao ju je tek 1851. godine Puiseux koristeฤ‡i upravo osnovni teorem algebre.Takoฤ‘er, Dโ€™Alembert nije koristio argument kompaktnosti kako bi kompletirao dokaz.

Euler je dokazao da svaki realni polinom stupnja ๐‘›, ๐‘› โ‰ค 6 ima toฤno ๐‘› kori-jena. 1749. godine pokuลกao je dokazati osnovni teorem algebre za realne polinome usljedeฤ‡em obliku:

Svaki polinom stupnja ๐‘› s realnim koeficijentima ima toฤno ๐‘› korijena uC.

3

Page 9: Osnovni teorem algebre - unizg.hr

POGLAVLJE 1. POVIJESNI PREGLED 4

Eulerov se dokaz temeljio na dekompoziciji normiranog polinoma stupnja 2๐‘š na pro-dukt dva normirana polinoma stupnja 2๐‘šโˆ’1. Kompletan je dokaz napravio za ๐‘š = 4,dok je opฤ‡i sluฤaj ostao samo skica.

Koristeฤ‡i svoje znanje o permutacijama korijena, Lagrange je 1772. godine popu-nio sve rupe Eulerova dokaza. No, i dalje je pretpostavljao da polinomi stupnja ๐‘›moraju imati ๐‘› korijena neke vrste kako bi kasnije pokazao da ti korijeni moraju bitioblika ๐‘Ž + ๐‘๐‘–, ๐‘Ž, ๐‘ โˆˆ R.

Laplace je 1795. pokuลกao dokazati osnovni teorem algebre koristeฤ‡i diskriminantupolinoma. Jedini problem u tom dokazu bio je ponovno pretpostavka o postojanjukorijena.

Prvi objavljen dokaz koji je u potpunosti prihvaฤ‡en napravio je Gauss u svojojdoktorskoj disertaciji 1799. godine koristeฤ‡i topologiju. Gauss je koristio alternativnuformulaciju teorema koja glasi:

Svaki realni polinom moลพe se faktorizirati u linearne i kvadratne faktore.

On je i prvi koji je pronaลกao kljuฤni problem u prethodnim dokazima - pretpostavkuo postojanju korijena. No, i njegov dokaz ima neke rupe te ne zadovoljava danaลกnjestandarde.

Na bazi Dโ€™Alembertove ideje, 1814. godine Jean Robert Argand objavljuje naj-jednostavniji dokaz teorema. U prijaลกnjim radovima interpretirao je mnoลพenje s ๐‘–kao rotaciju ravnine za 90๐‘œ i ustanovio Argandov dijagram kao geometrijsku repre-zentaciju kompleksnih brojeva. U ฤlanku Rรฉflexions sur la nouvelle thรฉorie dโ€™analyseArgand koristi opฤ‡i teorem o postojanju minimuma neprekidne funkcije kako bi po-jednostavio Dโ€™Alembertov dokaz. Argandov dokaz nije rigorozan samo zato ลกto tadajoลก nije razvijen koncept donje granice. Ovaj je dokaz stekao popularnost kroz Chrys-talov udลพbenik algebre iz 1886. godine koji je tada bio vrlo utjecajan.

Gauss je 1816. objavio drugi dokaz teorema koristeฤ‡i Eulerov pristup i taj je dokazpotpun. Nije pretpostavio da postoje korijeni neke vrste veฤ‡ je radio s nepoznanicama.Treฤ‡i dokaz Gauss je objavio takoฤ‘er 1816. godine ponovno koristeฤ‡i topologiju.Naziv kompleksni broj Gauss uvodi 1831. godine, a naziv konjugat Cauchy 1821.godine.

1849. godine Gauss je napravio prvi dokaz da kompleksni polinom stupnja ๐‘›ima ๐‘› kompleksnih korijena. Meฤ‘utim, taj je dokaz bio vrlo sliฤan njegovom prvomdokazu i bilo je lako za izvesti taj rezultat iz rezultata za realne polinome. Iako jeGauss inzistirao na tome da se ne moลพe pretpostaviti egzistencija korijena za koje ฤ‡ese kasnije dokazati da su oblika ๐‘Ž+๐‘๐‘–, ๐‘Ž, ๐‘ โˆˆ R, vjerovao je da postoji cijela hijerarhijaimaginarnih veliฤina od kojih su kompleksni brojevi najjednostavniji. On ih je zvaosjenama sjena.

Page 10: Osnovni teorem algebre - unizg.hr

POGLAVLJE 1. POVIJESNI PREGLED 5

Argandov dokaz dokazuje samo egzistenciju, no ne daje moguฤ‡nost da se korijenikostruiraju. Weierstrass je joลก 1859. krenuo s konstruktivnim dokazom, no njega jenapravio tek 1940. godine Hellmuth Kneser. Taj je dokaz 1981. godine pojednostavionjegov sin, Martin Kneser.

Page 11: Osnovni teorem algebre - unizg.hr

Poglavlje 2

Dokaz pomoฤ‡u kompaktnosti

U ovom poglavlju dokazat ฤ‡emo osnovni teorem algebre koristeฤ‡i svojstva kompleksnihpolinoma. U prvom dijelu navodimo osnovne pojmove vezane uz kompleksne brojevei kompleksne polinome, a zatim to primjenjujemo u drugom dijelu kada dokazujemoteorem.

2.1 UvodNa poฤetku ovog odjeljka navest ฤ‡emo svojstva koja imaju operacije zbrajanja i mno-ลพenja. Nakon toga definirat ฤ‡emo nekoliko algebarskih struktura na kojima su zadanete dvije operacije te ฤ‡emo ih upotrijebiti kako bismo precizno definirali skup kom-pleksnih polinoma.Binarne operacije zbrajanja + : ๐น โ†’ ๐น i mnoลพenja ยท : ๐น โ†’ ๐น na skupu ๐น imajusljedeฤ‡a svojstva:

(1) Zbrajanje je komutativno: ๐‘Ž + ๐‘ = ๐‘ + ๐‘Ž, za svaki ๐‘Ž, ๐‘ โˆˆ ๐น .

(2) Zbrajanje je asocijativno: ๐‘Ž + (๐‘ + ๐‘) = (๐‘Ž + ๐‘) + ๐‘, za ๐‘Ž, ๐‘, ๐‘ โˆˆ ๐น .

(3) Postoji neutralni element za zbrajanje koji oznaฤavamo s 0 takav da vrijedi๐‘Ž + 0 = 0 + ๐‘Ž = ๐‘Ž, za svaki ๐‘Ž โˆˆ ๐น .

(4) Za svaki ๐‘Ž โˆˆ ๐น postoji inverz za zbrajanje โˆ’๐‘Ž takav da vrijedi ๐‘Ž + (โˆ’๐‘Ž) = 0.

(5) Mnoลพenje je komutativno: ๐‘Ž๐‘ = ๐‘๐‘Ž, za svaki ๐‘Ž, ๐‘ โˆˆ ๐น .

(6) Mnoลพenje je asocijativno: ๐‘Ž(๐‘๐‘) = (๐‘Ž๐‘)๐‘, za ๐‘Ž, ๐‘, ๐‘ โˆˆ ๐น .

(7) Postoji neutralni element za mnoลพenje koji oznaฤavamo s 1 takav da vrijedi๐‘Ž1 = 1๐‘Ž = ๐‘Ž, za svaki ๐‘Ž โˆˆ ๐น .

6

Page 12: Osnovni teorem algebre - unizg.hr

POGLAVLJE 2. DOKAZ POMOฤ†U KOMPAKTNOSTI 7

(8) Za svaki ๐‘Ž โˆˆ ๐น, ๐‘Ž = 0 postoji multiplikativni inverz ๐‘Žโˆ’1 takav da vrijedi ๐‘Ž๐‘Žโˆ’1 =1.

(9) Distributivnost mnoลพenja prema zbrajanju: ๐‘Ž(๐‘ + ๐‘) = ๐‘Ž๐‘ + ๐‘Ž๐‘, za ๐‘Ž, ๐‘, ๐‘ โˆˆ ๐น .

Neprazan skup ๐‘… sa operacijama zbrajanja i mnoลพenja koji zadovoljava prvih ฤetiriaksioma te aksiome (6) i (9) zove se prsten. Skup ๐บ koji zadovoljava sve aksiomeosim osmog naziva se komutativni prsten s jedinicom. Skup ๐น s operacijamazbrajanja i mnoลพenja je polje ako je komutativni prsten s jedinicom i svaki elementskupa ๐น ima multiplikativni inverz, odnosno skup je polje ako zadovoljava svih devetgore navedenih aksioma.

Neka je ๐น polje i ๐‘› prirodan broj. Polinom stupnja ๐‘› nad poljem ๐น je formalnasuma oblika ๐‘(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ

๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ฅ + ๐‘Ž0, gdje su ๐‘Ž๐‘– โˆˆ ๐น za ๐‘– = 0, . . . , ๐‘› i ๐‘Ž๐‘› = 0.Polinom je normiran ukoliko je ๐‘Ž๐‘› = 1. Sa ๐น [๐‘ฅ] oznaฤavamo skup svih polinoma nad๐น , a sa ๐น๐‘›[๐‘ฅ] skup svih polinoma stupnja manjeg ili jednakog ๐‘›.

Definirajmo zbrajanje, oduzimanje i mnoลพenje na ๐น [๐‘ฅ]. Neka su ๐‘, ๐‘ž โˆˆ ๐น [๐‘ฅ],๐‘(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ

๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ฅ + ๐‘Ž0 i ๐‘ž(๐‘ฅ) = ๐‘๐‘š๐‘ฅ๐‘š + ยท ยท ยท + ๐‘1๐‘ฅ + ๐‘0. Tada je

๐‘(๐‘ฅ) ยฑ ๐‘ž(๐‘ฅ) = (๐‘Ž0 ยฑ ๐‘0) + (๐‘Ž1 ยฑ ๐‘1)๐‘ฅ + ยท ยท ยท , i

๐‘(๐‘ฅ)๐‘ž(๐‘ฅ) = (๐‘Ž0๐‘0) + (๐‘Ž0๐‘1 + ๐‘Ž1๐‘0)๐‘ฅ + ยท ยท ยท + (๐‘Ž๐‘›๐‘๐‘š)๐‘ฅ๐‘›+๐‘š.

Sada skup ๐น [๐‘ฅ] ฤini komutativni prsten s jedinicom.Polinom ๐‘ je ireducibilan ako se ne moลพe napisati kao produkt ๐‘ž๐‘Ÿ, gdje su ๐‘ž i ๐‘Ÿpolinomi stupnja barem 1.

U nastavku navodimo teorem o dijeljenju polinoma s ostatkom te teorem o naj-veฤ‡em zajedniฤkom djelitelju, koji ฤ‡e nam trebati kasnije.

Teorem 2.1.1. (Teorem o dijeljenju s ostatkom) Za svaka dva polinoma ๐‘“, ๐‘” โˆˆ ๐น [๐‘ฅ],๐‘” = 0 postoje jedinstveni polinomi ๐‘ž, ๐‘Ÿ โˆˆ ๐น [๐‘ฅ], deg ๐‘Ÿ < deg ๐‘”, takvi da vrijedi

๐‘“ = ๐‘” ยท ๐‘ž + ๐‘Ÿ.

Dokaz. Prvo ฤ‡emo dokazati egzistenciju polinoma ๐‘ž i ๐‘Ÿ. Pretpostavimo da je deg ๐‘“ โ‰ฅdeg ๐‘”. Ukoliko nije, stavimo ๐‘ž = 0 i ๐‘Ÿ = ๐‘“ i teorem vrijedi. Neka je ๐‘“(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ

๐‘› +ยท ยท ยท + ๐‘Ž0 i ๐‘”(๐‘ฅ) = ๐‘๐‘š๐‘ฅ

๐‘š + ยท ยท ยท + ๐‘0, ๐‘Ž๐‘›, ๐‘๐‘š = 0.Definirajmo polinom ๐‘“1 sa

๐‘“1(๐‘ฅ) = ๐‘“(๐‘ฅ) โˆ’ ๐‘Ž๐‘›๐‘๐‘š

๐‘ฅ๐‘›โˆ’๐‘š๐‘”(๐‘ฅ) = ๐‘Ž1,๐‘›1๐‘ฅ๐‘›1 + ยท ยท ยท + ๐‘Ž1,0

i neka je ๐‘›1 = deg ๐‘“1. Tada je ๐‘“1 polinom stupnja manjeg od ๐‘›. Ukoliko je ๐‘›1 โ‰ฅ ๐‘š,ponavljamo postupak te definiramo ๐‘“2 sa

๐‘“2(๐‘ฅ) = ๐‘“1(๐‘ฅ) โˆ’ ๐‘Ž1,๐‘›1

๐‘๐‘š๐‘ฅ๐‘›1โˆ’๐‘š๐‘”(๐‘ฅ), deg ๐‘“2 = ๐‘›2.

Page 13: Osnovni teorem algebre - unizg.hr

POGLAVLJE 2. DOKAZ POMOฤ†U KOMPAKTNOSTI 8

Sada analogno nastavljamo postupak ako je ๐‘›2 โ‰ฅ ๐‘š. Na kraju imamo niz polinoma๐‘“, ๐‘“1, ๐‘“2, . . . te nakon ๐‘˜ koraka dobivamo polinom stupnja manjeg od ๐‘š:

๐‘“๐‘˜(๐‘ฅ) = ๐‘“๐‘˜โˆ’1(๐‘ฅ) โˆ’๐‘Ž๐‘˜โˆ’1,๐‘›๐‘˜โˆ’1

๐‘๐‘š๐‘ฅ๐‘›๐‘˜โˆ’1โˆ’๐‘š๐‘”(๐‘ฅ).

Zbrajanjem jednakosti koje definiraju ๐‘“1, . . . , ๐‘“๐‘˜ dobivamo

๐‘“(๐‘ฅ) = (๐‘Ž๐‘›๐‘๐‘š

๐‘ฅ๐‘›โˆ’๐‘š +๐‘Ž1,๐‘›1

๐‘๐‘š๐‘ฅ๐‘›1โˆ’๐‘š + ยท ยท ยท +

๐‘Ž๐‘˜โˆ’1,๐‘›๐‘˜โˆ’1

๐‘๐‘š๐‘ฅ๐‘›๐‘˜โˆ’1โˆ’๐‘š)๐‘”(๐‘ฅ) + ๐‘“๐‘˜(๐‘ฅ).

Sada za ๐‘ž(๐‘ฅ) := ๐‘Ž๐‘›๐‘๐‘š๐‘ฅ๐‘›โˆ’๐‘š +

๐‘Ž1,๐‘›1

๐‘๐‘š๐‘ฅ๐‘›1โˆ’๐‘š + ยท ยท ยท +

๐‘Ž๐‘˜โˆ’1,๐‘›๐‘˜โˆ’1

๐‘๐‘š๐‘ฅ๐‘›๐‘˜โˆ’1โˆ’๐‘š i ๐‘Ÿ(๐‘ฅ) = ๐‘“๐‘˜(๐‘ฅ) slijedi

egzistencija takvih polinoma.Dokaลพimo joลก jedinstvenost. Neka je

๐‘“(๐‘ฅ) = ๐‘ž1(๐‘ฅ)๐‘”(๐‘ฅ) + ๐‘Ÿ1(๐‘ฅ) = ๐‘ž2(๐‘ฅ)๐‘”(๐‘ฅ) + ๐‘Ÿ2(๐‘ฅ), (2.1)

te neka je deg ๐‘Ÿ1, deg ๐‘Ÿ2 < deg ๐‘”. Sada iz 2.1 imamo

๐‘Ÿ2(๐‘ฅ) โˆ’ ๐‘Ÿ1(๐‘ฅ) = (๐‘ž1(๐‘ฅ) โˆ’ ๐‘ž2(๐‘ฅ))๐‘”(๐‘ฅ),

te slijedi da ๐‘” dijeli ๐‘Ÿ2 โˆ’ ๐‘Ÿ1. S obzirom na to da je stupanj polinoma ๐‘Ÿ2 โˆ’ ๐‘Ÿ1 manjiod stupnja polinoma ๐‘”, to je moguฤ‡e samo ako je ๐‘Ÿ2 โˆ’ ๐‘Ÿ1 = 0, tj. ๐‘Ÿ1 = ๐‘Ÿ2. Nadalje,(๐‘ž1(๐‘ฅ) โˆ’ ๐‘ž2(๐‘ฅ))๐‘”(๐‘ฅ) = 0, iz ฤega slijedi ๐‘ž1 = ๐‘ž2.

Definicija 2.1.2. Neka su ๐‘“, ๐‘” โˆˆ ๐น [๐‘ฅ]. Polinom ๐‘‘ โˆˆ ๐น [๐‘ฅ] je najveฤ‡i zajedniฤkidjelitelj od ๐‘“ i ๐‘” ako je normiran, dijeli i ๐‘“ i ๐‘” te ako svaki polinom ๐‘‘1 koji dijeli ๐‘“i ๐‘” ujedno dijeli i ๐‘‘. Koristimo oznaku ๐‘‘ = (๐‘“, ๐‘”). Ukoliko je (๐‘“, ๐‘”) = 1 kaลพemo da su๐‘“ i ๐‘” relativno prosti .

Teorem 2.1.3. Neka su ๐‘“, ๐‘” โˆˆ ๐น [๐‘ฅ], ๐‘“, ๐‘” = 0. Tada postoji jedinstveni najveฤ‡izajedniฤki djelitelj od ๐‘“ i ๐‘”.

Dokaz. Egzistenciju moลพemo dokazati koristeฤ‡i Euklidov algoritam. Pretpostavimoda je deg ๐‘“ โ‰ฅ deg ๐‘”. Koristeฤ‡i teorem 2.1.1 dobivamo ๐‘“ = ๐‘” ยท ๐‘ž1 + ๐‘Ÿ1, deg ๐‘Ÿ1 < deg ๐‘”.Moลพemo ponovno primjeniti navedeni teorem na polinome ๐‘” i ๐‘Ÿ1 te dobivamo ๐‘” =๐‘Ÿ1 ยท ๐‘ž2 + ๐‘Ÿ2, deg ๐‘Ÿ2 < deg ๐‘Ÿ1. Sada nastavljamo isti postupak i nakon konaฤno mnogokoraka ๐‘˜ imamo ostatak ๐‘Ÿ๐‘˜+1 = 0. Dakle, posljednja jednakost je ๐‘Ÿ๐‘˜โˆ’1 = ๐‘Ÿ๐‘˜ ยท ๐‘ž๐‘˜+1.Iz nje slijedi da ๐‘Ÿ๐‘˜ dijeli ๐‘Ÿ๐‘˜โˆ’1. Sada se vraฤ‡amo unatrag i zakljuฤujemo da ๐‘Ÿ๐‘˜ dijeli๐‘Ÿ๐‘˜โˆ’2 i tako dalje sve do druge jednakosti gdje vidimo da ๐‘Ÿ๐‘˜ dijeli ๐‘” i prve jednakostiiz koje zakljuฤujemo da ๐‘Ÿ๐‘˜ dijeli i ๐‘“ . Dakle, ๐‘Ÿ๐‘˜ je djelitelj od ๐‘“ i ๐‘”. Pokaลพimo da je๐‘Ÿ๐‘˜ i najveฤ‡i zajedniฤki djelitelj. Neka je ๐‘š neki drugi djelitelj od ๐‘“ i ๐‘”. Iz jedne odjednakosti gore slijedi da je ๐‘Ÿ1 = ๐‘“ โˆ’ ๐‘” ยท ๐‘ž1 pa imamo da ๐‘š dijeli ๐‘Ÿ1. Nastavljamo isti

Page 14: Osnovni teorem algebre - unizg.hr

POGLAVLJE 2. DOKAZ POMOฤ†U KOMPAKTNOSTI 9

postupak i na kraju zakljuฤujemo da ๐‘š dijeli ๐‘Ÿ๐‘˜ ลกto znaฤi da je ๐‘Ÿ๐‘˜ najveฤ‡i zajedniฤkidjelitelj ๐‘“ i ๐‘”.

Sada joลก moramo dokazati jedinstvenost. Pretpostavimo da postoje dva najveฤ‡azajedniฤka djelitelja i neka su to ๐‘‘ i ๐‘‘โ€ฒ. Iz definicije najveฤ‡eg zajedniฤkog djeliteljaslijedi da polinom ๐‘‘ dijeli ๐‘‘โ€ฒ i ๐‘‘โ€ฒ dijeli ๐‘‘. Zato polinome ๐‘‘ i ๐‘‘โ€ฒ moลพemo zapisati kao

๐‘‘ = ๐‘‘โ€ฒ๐‘žโ€ฒ, ๐‘‘โ€ฒ = ๐‘‘๐‘ž.

Vrijedi deg ๐‘‘ โ‰ค deg ๐‘‘โ€ฒ i deg ๐‘‘โ€ฒ โ‰ค deg ๐‘‘, tj. deg ๐‘‘ = deg ๐‘‘โ€ฒ. Zakljuฤujemo da su ๐‘ž i ๐‘žโ€ฒkonstante te, s obzirom na to da su ๐‘‘ i ๐‘‘โ€ฒ normirani, ๐‘ž = ๐‘žโ€ฒ = 1. Dakle, ๐‘‘ = ๐‘‘โ€ฒ.

Iz dokaza teorema 2.1.3 moลพemo zakljuฤiti da se najveฤ‡i zajedniฤki djelitelj po-linoma ๐‘“ i ๐‘”, ๐‘‘, moลพe zapisati kao linearna kombinacija od ๐‘“ i ๐‘”, ๐‘‘ = ๐‘ข๐‘“ + ๐‘ฃ๐‘”,๐‘ข, ๐‘ฃ โˆˆ ๐น [๐‘ฅ]. Posebno, ako su ๐‘“ i ๐‘” relativno prosti tada je njihov najveฤ‡i zajedniฤkidjelitelj jednak 1 pa to moลพemo zapisati kao

๐‘ข๐‘“ + ๐‘ฃ๐‘” = 1. (2.2)

Sada ฤ‡emo navesti nekoliko osnovnih rezultata za kompleksne polinome.

Definicija 2.1.4. Neka je ๐‘ โˆˆ C[๐‘ฅ], ๐‘(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ๐‘› + ยท ยท ยท+๐‘Ž0. Tada je njegov konjugat

definiran sa ๐‘(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ๐‘› + ยท ยท ยท + ๐‘Ž0.

Lema 2.1.5. Za svaki ๐‘ โˆˆ C[๐‘ฅ] vrijedi

(1) Ako je ๐‘ง โˆˆ C onda vrijedi ๐‘(๐‘ง) = ๐‘(๐‘ง).

(2) ๐‘ƒ je realni polinom ako i samo ako je ๐‘(๐‘ฅ) = ๐‘(๐‘ฅ).

(3) Ako je ๐‘(๐‘ฅ)๐‘ž(๐‘ฅ) = โ„Ž(๐‘ฅ), onda je โ„Ž(๐‘ฅ) = ๐‘(๐‘ฅ)๐‘ž(๐‘ฅ).

Dokaz. (1) Neka je ๐‘ง โˆˆ C i ๐‘(๐‘ง) = ๐‘Ž๐‘›๐‘ง๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0. Tada vrijedi:

๐‘(๐‘ง) = ๐‘Ž๐‘›๐‘ง๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0 = ๐‘Ž๐‘›๐‘ง๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0 = ๐‘(๐‘ง).

(2) Neka je ๐‘ realni polinom. Tada je ๐‘Ž๐‘– = ๐‘Ž๐‘– za sve koeficijente pa je ๐‘(๐‘ง) = ๐‘(๐‘ง).Obratno, pretpostavimo da vrijedi ๐‘(๐‘ง) = ๐‘(๐‘ง). To znaฤi da je ๐‘Ž๐‘– = ๐‘Ž๐‘– za svekoeficijente pa je ๐‘Ž๐‘– โˆˆ R,โˆ€๐‘– te je ๐‘ realni polinom.

(3) Neka su ๐‘, ๐‘ž โˆˆ C[๐‘ฅ], ๐‘(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ฅ + ๐‘Ž0 i

๐‘ž(๐‘ฅ) = ๐‘๐‘š๐‘ฅ๐‘š + ยท ยท ยท + ๐‘1๐‘ฅ + ๐‘0. Tada je

๐‘(๐‘ฅ)๐‘ž(๐‘ฅ) = (๐‘Ž0๐‘0) + (๐‘Ž0๐‘1 + ๐‘Ž1๐‘0)๐‘ฅ + ยท ยท ยท + (๐‘Ž๐‘›๐‘๐‘š)๐‘ฅ๐‘›+๐‘š

= (๐‘Ž0๐‘0) + (๐‘Ž0๐‘1 + ๐‘Ž1๐‘0)๐‘ฅ + ยท ยท ยท + (๐‘Ž๐‘›๐‘๐‘š)๐‘ฅ๐‘›+๐‘š

= โ„Ž(๐‘ฅ).

Page 15: Osnovni teorem algebre - unizg.hr

POGLAVLJE 2. DOKAZ POMOฤ†U KOMPAKTNOSTI 10

Lema 2.1.6. Neka je ๐‘”(๐‘ฅ) โˆˆ C[๐‘ฅ]. Tada je โ„Ž(๐‘ฅ) = ๐‘”(๐‘ฅ)๐‘”(๐‘ฅ) โˆˆ R[๐‘ฅ].

Dokaz. Vrijedi โ„Ž(๐‘ฅ) = ๐‘”(๐‘ฅ)๐‘”(๐‘ฅ) = ๐‘”(๐‘ฅ)๐‘”(๐‘ฅ) = ๐‘”(๐‘ฅ)๐‘”(๐‘ฅ) = โ„Ž(๐‘ฅ). Sada iz drugog dijelaleme 2.1.5 slijedi da je โ„Ž realni polinom.

Lema 2.1.7. Ako je ๐‘ korijen polinoma ๐‘ โˆˆ ๐น [๐‘ฅ], onda ๐‘ฅโˆ’ ๐‘ dijeli ๐‘.

Dokaz. Neka je ๐‘(๐‘) = 0. Iz teorema 2.1.1 slijedi

๐‘(๐‘ฅ) = (๐‘ฅโˆ’ ๐‘)๐‘ž(๐‘ฅ) + ๐‘Ÿ(๐‘ฅ),

gdje je ๐‘Ÿ(๐‘ฅ) = 0 ili ๐‘Ÿ(๐‘ฅ) = ๐‘˜ โˆˆ ๐น zato ลกto stupanj od ๐‘Ÿ mora biti strogo manji odstupnja polinoma ๐‘ฅโˆ’ ๐‘. Sada je ๐‘ oblika

๐‘(๐‘ฅ) = (๐‘ฅโˆ’ ๐‘)๐‘ž(๐‘ฅ) + ๐‘˜.

Buduฤ‡i da je ๐‘(๐‘) = 0 + ๐‘˜ = 0, slijedi da je ๐‘˜ = 0, tj. ๐‘ฅโˆ’ ๐‘ dijeli ๐‘.

Teorem 2.1.8. Polinom stupnja ๐‘› nad poljem ๐น [๐‘ฅ] moลพe imati najviลกe ๐‘› korijena.

Dokaz. Neka je ๐‘ polinom stupnja ๐‘› nad poljem ๐น [๐‘ฅ]. Dokazujemo teorem indukcijompo ๐‘›. Za ๐‘› = 0, ๐‘ je konstantni polinom pa nema korijena. Pretpostavimo da teoremvrijedi za sve polinome stupnja manjeg od ๐‘›. Neka je ๐›ผ korijen od ๐‘. Iz leme 2.1.7slijedi da ๐‘ moลพemo zapisati kao ๐‘(๐‘ฅ) = (๐‘ฅโˆ’๐›ผ)๐‘ž(๐‘ฅ), gdje je ๐‘ž polinom stupnja ๐‘›โˆ’ 1.Neka je sada ๐›ฝ neki drugi korijen od ๐‘, ๐›ฝ = ๐›ผ. Tada vrijedi ๐‘(๐›ฝ) = (๐›ฝ โˆ’ ๐›ผ)๐‘ž(๐›ฝ). Sobzirom na to da je ๐›ฝ razliฤit od ๐›ผ, ๐‘ž(๐›ฝ) = 0. No, ๐‘ž je polinom stupnja ๐‘›โˆ’ 1 pa popretpostavci indukcije ima najviลกe ๐‘›โˆ’1 korijena. Dakle, ๐‘ ima najviลกe ๐‘› korijena.

U jednom od narednih dokaza koristimo DeMoivreov teorem za korijene. Zaiskaz teorema potrebni su nam neki osnovni pojmovi vezani uz kompleksne brojeve.Kompleksni broj ๐‘ง = (๐‘ฅ, ๐‘ฆ) โˆˆ C, ๐‘ฅ, ๐‘ฆ โˆˆ R moลพemo zapisati u polarnom obliku,

๐‘ง = ๐‘Ÿ(cos ๐œƒ + ๐‘– sin ๐œƒ),

gdje je ๐œƒ kut koji vektor od ishodiลกta do toฤke (๐‘ฅ, ๐‘ฆ) ฤini sa pozitivnom ๐‘ฅ-osi.Eulerov identitet dan je sa

๐‘’๐‘–๐œƒ = cos(๐œƒ) + ๐‘– sin ๐œƒ.

Dakle, kompleksni broj ๐‘ง moลพe se zapisati kao ๐‘ง = ๐‘Ÿ๐‘’๐‘–๐œƒ.

Teorem 2.1.9. (DeMoivreov teorem za korijene) Ako je ๐‘ง โˆˆ C,๐‘ง = 0, tada postojitoฤno ๐‘› razliฤitih ๐‘›-tih korijena od ๐‘ง, tj. rjeลกenja jednadลพbe ๐‘ฅ๐‘› = ๐‘ง. Ako je ๐‘ง = ๐‘Ÿ๐‘’๐‘–๐œƒ,korijeni su dani sa

๐‘ฅ๐‘˜ = ๐‘Ÿ1๐‘› ๐‘’๐‘–

๐œƒ+2๐‘›๐‘˜๐‘› , ๐‘˜ = 0, 1, . . . , ๐‘›โˆ’ 1.

Page 16: Osnovni teorem algebre - unizg.hr

POGLAVLJE 2. DOKAZ POMOฤ†U KOMPAKTNOSTI 11

Slika 2.1: Kompleksni broj u polarnoj formi

2.2 Dokaz osnovnog teorema algebreDefinicija 2.2.1. Skup ๐พ โŠ‚ R๐‘› je kompaktan ako je ograniฤen i zatvoren.

Teorem 2.2.2. Neka je ๐‘“ : ๐พ โ†’ R neprekidna i K kompaktan podskup od R๐‘›. Tada๐‘“ postiลพe minimalnu i maksimalnu vrijednost.

Dokaz ovog teorema moลพe se naฤ‡i u knjizi [6].

Lema 2.2.3. Neka je ๐‘“(๐‘ฅ) = ๐‘ฅ๐‘› + ๐‘Ž๐‘›โˆ’1๐‘ฅ๐‘›โˆ’1 + ยท ยท ยท + ๐‘Ž1๐‘ฅ + ๐‘Ž0 kompleksni polinom.

Tada postoji toฤka ๐‘ง0 โˆˆ C u kojoj |๐‘“ | postiลพe minimum.

Dokaz. S obzirom na to da vrijedi lim|๐‘ง|โ†’โˆž |๐‘“(๐‘ง)| = +โˆž, minimum od |๐‘“(๐‘ง)| za๐‘ง โˆˆ C bit ฤ‡e takoฤ‘er i minimum na nekoj dovoljno velikoj kugli ๐พ(0, ๐‘Ÿ). Funkcija|๐‘“ | je neprekidna realna funkcija pa iz leme 2.2.2 slijedi da |๐‘“ | postiลพe minimum nakompaktnom skupu ๐พ(0, ๐‘Ÿ).

Lema 2.2.4. Neka je ๐‘“ โˆˆ C[๐‘ฅ] nekonstantni kompleksni polinom. Ako je ๐‘“(๐‘ฅ0) = 0,onda |๐‘“(๐‘ฅ0)| nije minimum od |๐‘“ |.

Dokaz. Neka je ๐‘“(๐‘ฅ) โˆˆ C[๐‘ฅ] nekonstantni polinom i neka je ๐‘ฅ0 toฤka u kojoj vrijedi๐‘“(๐‘ฅ0) = 0. Translatirajmo varijablu ๐‘ฅ za โˆ’๐‘ฅ0. Sada je toฤka ๐‘ฅ0 translatirana uishodiลกte pa za ishodiลกte vrijedi ๐‘“(0) = 0. Nadalje, pomnoลพimo funkciju ๐‘“ sa ๐‘“(0)โˆ’1

pa imamo ๐‘“(0) = 1. Kako bi dokazali teorem, moramo pokazati da |๐‘“ | ne postiลพeminimum 1.

Neka je ๐‘˜ najmanja pozitivna potencija od ๐‘ฅ koja se javlja u polinomu ๐‘“ . Tadaje ๐‘“ oblika

๐‘“(๐‘ฅ) = 1 + ๐‘Ž๐‘ฅ๐‘˜ + ๐‘Ž2๐‘ฅ๐‘˜+1 + ๐‘Ž3๐‘ฅ

๐‘˜+2 + ยท ยท ยท .

Page 17: Osnovni teorem algebre - unizg.hr

POGLAVLJE 2. DOKAZ POMOฤ†U KOMPAKTNOSTI 12

Iz teorema 2.1.9 slijedi da postoji ๐‘˜โˆ’ti korijen od โˆ’๐‘Žโˆ’1 koji oznaฤavamo s ๐›ผ, ๐›ผ =(โˆ’๐‘Ž)โˆ’

1๐‘˜ . Napravimo ponovno zamjenu varijabli tako da ๐‘ฅ zamijenimo sa ๐›ผ๐‘ฅ. Sada je

๐‘“ oblika:

๐‘“(๐‘ฅ) = 1โˆ’๐‘ฅ๐‘˜ + ๐‘2๐‘ฅ๐‘˜+1 + ๐‘3๐‘ฅ

๐‘˜+2 + ยท ยท ยท = 1โˆ’๐‘ฅ๐‘˜ +๐‘ฅ๐‘˜+1๐‘”(๐‘ฅ), gdje je ๐‘”(๐‘ฅ) neki polinom.

Iz nejednakosti trokuta imamo:

|๐‘“(๐‘ฅ)| โ‰ค |1 โˆ’ ๐‘ฅ๐‘˜| + |๐‘ฅ|๐‘˜+1|๐‘”(๐‘ฅ)|.

Ako uzmemo male pozitivne ๐‘ฅ, ๐‘ฅ๐‘˜ < 1 pa je i 1 โˆ’ ๐‘ฅ๐‘˜ > 0 te vrijedi

|๐‘“(๐‘ฅ)| โ‰ค |1 โˆ’ ๐‘ฅ๐‘˜| + ๐‘ฅ๐‘˜+1|๐‘”(๐‘ฅ)| = 1 โˆ’ ๐‘ฅ๐‘˜(1 โˆ’ ๐‘ฅ|๐‘”(๐‘ฅ)|).

Za male ๐‘ฅ, ๐‘ฅ|๐‘”(๐‘ฅ)| je isto mali pa moลพemo izabrati ๐‘ฅ0 za koji ฤ‡e vrijediti ๐‘ฅ0|๐‘”(๐‘ฅ0)| < 1.Tada je ๐‘ฅ๐‘˜

0(1 โˆ’ ๐‘ฅ0|๐‘”(๐‘ฅ0)|) > 0 i |๐‘“(๐‘ฅ0)| < 1 = |๐‘“(0)|, ลกto znaฤi da 1 nije minimum|๐‘“ |.

Sada imamo sve rezultate koji su nam potrebni za dokaz osnovnog teorema alge-bre.

Teorem 2.2.5. (Osnovni teorem algebre) Ako je ๐‘“ โˆˆ C[๐‘ฅ] nekonstantan polinom,tada ๐‘“ ima bar jedan kompleksni korijen.

Dokaz. Neka je ๐‘“ nekonstantan kompleksni polinom. Tada iz leme 2.2.3 imamo da|๐‘“ | postiลพe minimum u nekoj toฤki ๐‘ฅ0 โˆˆ C . Iz leme 2.2.4, s obzirom da je ๐‘ฅ0 toฤkaminimuma, slijedi |๐‘“(๐‘ฅ0)| = 0, tj. ๐‘“(๐‘ฅ0) = 0. Dakle, ๐‘“ ima kompleksni korijen.

Page 18: Osnovni teorem algebre - unizg.hr

Poglavlje 3

Algebarski dokaz

Kompleksni polinom moลพemo interpretirati kao algebarski objekt. Tada osnovni te-orem algebre moลพemo formulirati na sljedeฤ‡i naฤin:

Polje kompleksnih brojeva C je algebarski zatvoreno.

U ovom ฤ‡emo poglavlju dokazati osnovni teorem algebre koristeฤ‡i svojstva polja iproลกirenja polja. Dokaz ฤ‡e se bazirati na ฤinjenicama da realni polinom neparnogstupnja ima realne korijene te da ako imamo ireducibilni polinom nad poljem ๐น ,tada moลพemo naฤ‡i proลกirenje od ๐น u kojem ฤ‡e taj polinom imati korijen. U uvodunavodimo najvaลพnije rezultate koji ฤ‡e nam biti potrebni, a zatim kreฤ‡emo s dokazom.

3.1 UvodAko su ๐น i ๐น โ€ฒ polja i vrijedi da je ๐น โŠ† ๐น โ€ฒ tada kaลพemo da je ๐น โ€ฒ proลกirenje polja๐น . Tada je ๐น โ€ฒ vektorski prostor nad poljem ๐น . Stupanj proลกirenja definiramo kaodim๐น ๐น โ€ฒ i oznaฤavamo sa |๐น โ€ฒ : ๐น |. Primjerice, |C : R| = 2 i baza vektorskog prostoraC nad R je (1, ๐‘–).

Sljedeฤ‡a lema pokazuje vaลพno svojstvo proลกirenja polja vezano uz stupanj proลกi-renja.

Lema 3.1.1. Neka su ๐น โŠ‚ ๐น โ€ฒ โŠ‚ ๐น โ€ฒโ€ฒ polja i neka je ๐น โ€ฒโ€ฒ konaฤno proลกirenje polja ๐น .Tada su |๐น โ€ฒโ€ฒ : ๐น โ€ฒ| i |๐น โ€ฒ : ๐น | konaฤni te vrijedi

|๐น โ€ฒโ€ฒ : ๐น | = |๐น โ€ฒโ€ฒ : ๐น โ€ฒ||๐น โ€ฒ : ๐น |.

Dokaz. Znamo da je dimenzija potpolja manja od dimenzije polja pa konaฤnost |๐น โ€ฒโ€ฒ :๐น โ€ฒ| i |๐น โ€ฒ : ๐น | slijedi direktno. Neka je |๐น โ€ฒ : ๐น | = ๐‘› i |๐น โ€ฒโ€ฒ : ๐น โ€ฒ| = ๐‘š te neka

13

Page 19: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 14

๐›ผ1, . . . , ๐›ผ๐‘š ฤine bazu za ๐น โ€ฒโ€ฒ nad ๐น โ€ฒ te ๐›ฝ1, . . . , ๐›ฝ๐‘› bazu za ๐น โ€ฒ nad ๐น . Pokazat ฤ‡emo da๐›ผ๐‘–๐›ฝ๐‘—, ๐‘– = 1, . . . ,๐‘š, ๐‘— = 1, . . . , ๐‘› ฤine bazu za ๐น โ€ฒโ€ฒ nad ๐น .Pokaลพimo prvo da su ๐›ผ๐‘–๐›ฝ๐‘— linearno nezavisni. Pretpostavimo da vrijediโˆ‘

๐‘–,๐‘—

๐‘“๐‘–๐‘—๐›ผ๐‘–๐›ฝ๐‘— = 0.

Tada je โˆ‘๐‘—

(โˆ‘๐‘–

๐‘“๐‘–๐‘—๐›ผ๐‘–)๐›ฝ๐‘— = 0.

Elementi ๐›ฝ1, . . . , ๐›ฝ๐‘› ฤine bazu pa mora vrijeditiโˆ‘

๐‘– ๐‘“๐‘–๐‘—๐›ผ๐‘– = 0. Nadalje, tada vrijedi๐‘“๐‘–๐‘— = 0 za svaki ๐‘– = 1, . . . ,๐‘š te za svaki ๐‘— = 1, . . . , ๐‘›. Dakle, ๐›ผ๐‘–๐›ฝ๐‘— su linearnonezavisni. Neka je sada ๐‘ฅ โˆˆ ๐น โ€ฒโ€ฒ. Moลพemo ga zapisati kao ๐‘ฅ =

โˆ‘๐‘– ๐‘”๐‘–๐›ผ๐‘–. No, svaki

๐‘”๐‘– je iz ๐น โ€ฒ pa njega moลพemo zapisati u obliku ๐‘”๐‘– =โˆ‘

๐‘— ๐‘”๐‘–๐‘—๐›ฝ๐‘—. Zakljuฤujemo da svakielement iz polja ๐น โ€ฒโ€ฒ moลพemo prikazati u obliku

๐‘ฅ =โˆ‘๐‘–,๐‘—

๐‘”๐‘–๐‘—๐›ผ๐‘–๐›ฝ๐‘—,

odnosno ๐›ผ๐‘–๐›ฝ๐‘— ฤine bazu za ๐น โ€ฒโ€ฒ nad ๐น te vrijedi

๐‘š๐‘› = |๐น โ€ฒโ€ฒ : ๐น | = |๐น โ€ฒโ€ฒ : ๐น โ€ฒ||๐น โ€ฒ : ๐น |.

Definicija 3.1.2. Neka je ๐น โ€ฒ proลกirenje polja ๐น . Za element ๐›ผ โˆˆ ๐น โ€ฒ kaลพemo da jealgebarski nad ๐น ako postoji nekonstantni polinom ๐‘ โˆˆ ๐น [๐‘ฅ] takav da je ๐‘(๐›ผ) = 0.Ako je svaki element ๐›ผ โˆˆ ๐น โ€ฒ algebarski nad ๐น kaลพemo da je ๐น โ€ฒ algebarsko proลกirenjepolja ๐น .Ako ๐›ผ nije algebarski nad ๐น kaลพemo da je transcendentan nad ๐น .

Teorem 3.1.3. Ako je ๐น โ€ฒ proลกirenje konaฤnog stupnja od ๐น , onda je ๐น โ€ฒ algebarskoproลกirenje.

Dokaz. Uzmimo proizvoljni element ๐›ผ โˆˆ ๐น โ€ฒ. Trebamo pokazati da postoji polinom๐‘ โˆˆ ๐น [๐‘ฅ] kojem ฤ‡e ๐›ผ biti nultoฤka. S obzirom na to da je ๐น โ€ฒ proลกirenje konaฤnogstupnja od ๐น , znamo da baza od ๐น โ€ฒ nad ๐น ima konaฤno mnogo elemenata, na primjer๐‘› elemenata. Tada ฤ‡e svaki skup od (๐‘›+ 1) elemenata biti linearno zavisan. Uzmimoelemente 1, ๐›ผ, ๐›ผ2, . . . , ๐›ผ๐‘› โˆˆ ๐น โ€ฒ. Oni su linearno zavisni pa postoje ๐›ฝ0, . . . , ๐›ฝ๐‘› โˆˆ ๐น kojinisu svi nula takvi da vrijedi

๐›ฝ0 + ๐›ฝ1๐›ผ + ยท ยท ยท + ๐›ฝ๐‘›๐›ผ๐‘› = 0.

Sada za ๐‘(๐‘ฅ) = ๐›ฝ0 + ๐›ฝ1๐‘ฅ + ยท ยท ยท + ๐›ฝ๐‘›๐‘ฅ๐‘› slijedi traลพena tvrdnja.

Page 20: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 15

Definicija 3.1.4. Polje ๐น je algebarski zatvoreno ako svaki nekonstantni polinom๐‘ โˆˆ ๐น [๐‘ฅ] ima nultoฤku u polju ๐น .

Definicija 3.1.5. Neka je ๐น โ€ฒ proลกirenje polja ๐น . Kaลพemo da je ๐น โ€ฒ algebarski za-tvaraฤ od ๐น ako je ๐น โ€ฒ algebarsko nad ๐น i ๐น โ€ฒ je algebarski zatvoreno.

Lema 3.1.6. Ako je ๐›ผ โˆˆ ๐น โ€ฒ algebarski nad ๐น , onda postoji jedinstveni normiraniireducibilni polinom ๐‘ โˆˆ ๐น [๐‘ฅ] za koji vrijedi ๐‘(๐›ผ) = 0. Taj polinom oznaฤavamo sa๐‘–๐‘Ÿ๐‘Ÿ(๐›ผ, ๐น ).

Dokaz. Neka je ๐›ผ algebarski nad ๐น โ€ฒ i neka je ๐‘“ โˆˆ ๐น [๐‘ฅ] nekonstantni polinom takavda je ๐‘“(๐›ผ) = 0. Polinom ๐‘“ ฤ‡e se faktorizirati u ireducibilne polinome ๐‘๐‘–, ๐‘– = 1, 2, . . ..U polju ne postoje djelitelji nule pa ๐›ผ mora biti korijen jednog od faktora, na primjerod ๐‘1. Polinom ๐‘1 moลพemo normirati ลกto znaฤi da smo naลกli normirani ireducibilnipolinom kojem je ๐›ผ korijen. Sada moลพemo uzeti takav polinom ๐‘ koji je najmanjegstupnja.Provjerimo sada jedinstvenost. Neka je ๐‘” โˆˆ ๐น [๐‘ฅ] neki drugi normirani ireducibilnipolinom za koji vrijedi ๐‘”(๐›ผ) = 0. Polinom ๐‘ je najmanjeg stupnja pa polinom ๐‘” imaveฤ‡i ili jednak stupanj od ๐‘. Koristimo teorem o dijeljenju polinoma s ostatkom 2.1.1i dobivamo:

๐‘”(๐‘ฅ) = ๐‘ž(๐‘ฅ)๐‘(๐‘ฅ) + ๐‘Ÿ(๐‘ฅ),

gdje je ๐‘Ÿ ili stupnja manjeg od ๐‘ ili ๐‘Ÿ โ‰ก 0. Nadalje,

๐‘”(๐›ผ) = ๐‘ž(๐›ผ)๐‘(๐›ผ) + ๐‘Ÿ(๐›ผ),

iz ฤega slijedi da je ๐‘Ÿ(๐›ผ) = 0. Sada znamo da ๐‘Ÿ mora biti identiฤki jednak nuli jerbi u suprotnom imali polinom kojem je ๐›ผ korijen a manjeg je stupnja od ๐‘. Dakle,๐‘”(๐‘ฅ) = ๐‘ž(๐‘ฅ)๐‘(๐‘ฅ). Polinom ๐‘” je ireducibilan i normiran pa ๐‘ž(๐‘ฅ) = 1. Zakljuฤujemo daje ๐‘” = ๐‘ te je polinom ๐‘ jedinstven.

Neka je ๐›ผ โˆˆ ๐น โ€ฒ algebarski nad ๐น . Tada definiramo polje ๐น (๐›ผ) sa

๐น (๐›ผ) = ๐‘“0 + ๐‘“1๐›ผ + ยท ยท ยท + ๐‘“๐‘›โˆ’1๐›ผ๐‘›โˆ’1; ๐‘“๐‘– โˆˆ ๐น.

Ukoliko imamo ๐›ผ, ๐›ฝ โˆˆ ๐น โ€ฒ koji su algebarski nad ๐น , sa ๐น (๐›ผ, ๐›ฝ) oznaฤavamo (๐น (๐›ผ))(๐›ฝ).

Teorem 3.1.7. Ako je ๐น โ€ฒ proลกirenje konaฤnog stupnja od ๐น , onda postoji konaฤniskup algebarskih elemenata ๐›ผ1, . . . , ๐›ผ๐‘› takvih da je ๐น โ€ฒ = ๐น (๐›ผ1, . . . , ๐›ผ๐‘›).

Dokaz. Neka je ๐น โ€ฒ proลกirenje konaฤnog stupnja od ๐น , tj. |๐น โ€ฒ : ๐น | = ๐‘˜ < โˆž. Tadaje po teoremu 3.1.3 ๐น โ€ฒ algebarsko proลกirenje od ๐น . S obzirom na to da su tada svielementi iz ๐น โ€ฒ algebarski nad ๐น , odaberimo neki ๐›ผ1 โˆˆ ๐น โ€ฒ koji nije u ๐น . Vrijedi

Page 21: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 16

๐น โŠ‚ ๐น (๐›ผ1) โŠ‚ ๐น โ€ฒ i |๐น โ€ฒ : ๐น (๐›ผ1)| < ๐‘˜. Ako je stupanj proลกirenja jednak jedan,stavimo ๐น โ€ฒ = ๐น (๐›ผ1). Ukoliko nije, odaberimo ๐›ผ2 โˆˆ ๐น โ€ฒ koji nije u ๐น (๐›ผ1). Tada je๐น (๐›ผ1) โŠ‚ ๐น (๐›ผ1, ๐›ผ2) โŠ‚ ๐น โ€ฒ i |๐น โ€ฒ : ๐น (๐›ผ1, ๐›ผ2)| < |๐น โ€ฒ : ๐น (๐›ผ1)|. Ako je stupanj proลกirenjajednak jedan, ๐น โ€ฒ = ๐น (๐›ผ1, ๐›ผ2). Ako je veฤ‡i od jedan, nastavimo postupak. Znamo daje ๐‘˜ konaฤan pa ฤ‡e ovaj proces imati konaฤan broj koraka.

Teorem 3.1.8. (Kroneckerov teorem) Neka je ๐น polje i ๐‘“ โˆˆ ๐น [๐‘ฅ] ireducibilni polinom.Tada postoji proลกirenje konaฤnog stupnja ๐น โ€ฒ od ๐น u kojem ๐‘“ ima korijen.

Dokaz. Neka je ๐‘“(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ฅ + ๐‘Ž0 i ๐‘Ž๐‘› = 0. Definirat ฤ‡emo ๐›ผ tako da

vrijedi๐‘Ž0 + ๐‘Ž1๐›ผ + ยท ยท ยท + ๐‘Ž๐‘›๐›ผ

๐‘› = 0.

Nadalje, definirajmo ๐น โ€ฒ = ๐น (๐›ผ) kao

๐น (๐›ผ) = ๐‘“0 + ๐‘“1๐›ผ + ยท ยท ยท + ๐‘“๐‘›โˆ’1๐›ผ๐‘›โˆ’1; ๐‘“๐‘– โˆˆ ๐น.

Sada ฤ‡emo na ๐น (๐›ผ) definirati zbrajanje i oduzimanje po komponentama i definiratฤ‡emo mnoลพenje tako da sve potencije od ๐›ผ koje su veฤ‡e od ๐›ผ๐‘› zamijenimo koristeฤ‡i

๐›ผ๐‘› =โˆ’๐‘Ž0 โˆ’ ๐‘Ž1๐›ผโˆ’ ยท ยท ยท โˆ’ ๐‘Ž๐‘›โˆ’1๐›ผ

๐‘›โˆ’1

๐‘Ž๐‘›. (3.1)

Provjerimo sada zadovoljava li ๐น (๐›ผ) aksiome polja. S obzirom na to kako smo de-finirali zbrajanje i mnoลพenje, slijedi da ๐น (๐›ผ) zadovoljava sve aksiome (1) โˆ’ (9) osimosmog. Preostaje pokazati da za svaki nenul element iz ๐น (๐›ผ) postoji multiplikativniinverz. Neka je ๐‘” โˆˆ ๐น [๐‘ฅ], ๐‘” = 0. Ako je deg(๐‘”) < ๐‘› = deg(๐‘–๐‘Ÿ๐‘Ÿ(๐›ผ, ๐น )) tada ๐‘”(๐›ผ) = 0jer je ๐‘–๐‘Ÿ๐‘Ÿ(๐›ผ, ๐น ) ireducibilni polinom najmanjeg stupnja kojem je ๐›ผ korijen. Ako jeโ„Ž โˆˆ ๐น [๐‘ฅ] polinom stupnja veฤ‡eg od ๐‘›, tada โ„Ž moลพemo poistovjetiti sa polinomom โ„Ž1

stupnja manjeg od ๐‘›โˆ’ 1 kojeg ฤ‡emo dobiti kada zamijenimo potencije od ๐›ผ koje suveฤ‡e od ๐›ผ๐‘› koristeฤ‡i izraz 3.1.Neka je sada ๐‘” โˆˆ ๐น (๐›ผ), ๐‘”(๐›ผ) = 0. Pogledajmo odgovarajuฤ‡i polinom ๐‘” โˆˆ ๐น [๐‘ฅ] stupnjamanjeg od ๐‘›โˆ’1. Polinom ๐‘–๐‘Ÿ๐‘Ÿ(๐›ผ, ๐น ) =: ๐‘ je ireducibilan pa su polinomi ๐‘” i ๐‘ relativnoprosti. Iz diskusije u drugom poglavlju i jednadลพbe 2.2 znamo da postoje โ„Ž i ๐‘˜ โˆˆ ๐น [๐‘ฅ]takvi da vrijedi

๐‘”(๐‘ฅ)โ„Ž(๐‘ฅ) + ๐‘(๐‘ฅ)๐‘˜(๐‘ฅ) = 1.

Za ๐‘ฅ = ๐›ผ slijedi๐‘”(๐›ผ)โ„Ž(๐›ผ) + ๐‘(๐›ผ)๐‘˜(๐›ผ) = 1.

S obzirom na to da je ๐›ผ korijen od ๐‘ i โ„Ž(๐›ผ) = โ„Ž1(๐›ผ) โˆˆ ๐น [๐›ผ], imamo

๐‘”(๐›ผ)โ„Ž1(๐›ผ) = 1,

Page 22: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 17

tj. โ„Ž1(๐›ผ) je multiplikativni inverz od ๐‘”(๐›ผ).Ukoliko poistovjetimo skup ๐น sa skupom konstantnih polinoma, slijedi da je ๐น โŠ†

๐น (๐›ผ). Dakle, ๐น โ€ฒ = ๐น (๐›ผ) je proลกirenje od ๐น . Nadalje, iz definicije ๐น (๐›ผ) znamoda 1, ๐›ผ, ๐›ผ2, . . . , ๐›ผ๐‘›โˆ’1 ฤine bazu pa je ๐น (๐›ผ) dimenzije ๐‘›. Zakljuฤujemo da je ๐น โ€ฒ

proลกirenje konaฤnog stupnja od ๐น u kojem ๐‘“ ima korijen.

Pokaลพimo na primjeru kako se definira polje proลกirenja te operacije na njemu.

Primjer 3.1.9. Neka je ๐‘“(๐‘ฅ) = ๐‘ฅ3 โˆ’ 3 โˆˆ Q[๐‘ฅ]. Polinom ๐‘“ je ireducibilan nad Q,no u polju R ima korijen ๐›ผ = 3

13 . Tada je, prema postupku koriลกtenom u dokazu

teorema 3.1.8, proลกirenje polja Q, Q(๐›ผ), definirano sa

Q(๐›ผ) = ๐‘“0 + ๐‘“1๐›ผ + ๐‘“2๐›ผ2; ๐‘“๐‘– โˆˆ Q te ๐›ผ3 = 3.

Neka je ๐‘”(๐‘ฅ) = โˆ’๐‘ฅ2 โˆ’ 3๐‘ฅ + 6 i โ„Ž(๐‘ฅ) = 6๐‘ฅ2 + ๐‘ฅ + 3. Tada je

๐‘”(๐›ผ) + โ„Ž(๐›ผ) = 5๐›ผ2 โˆ’ 2๐›ผ + 9,

te zbog ๐›ผ3 = 3,

๐‘”(๐›ผ)โ„Ž(๐›ผ) = (โˆ’๐›ผ2 โˆ’ 3๐›ผ + 6)(6๐›ผ2 + ๐›ผ + 3)

= โˆ’6๐›ผ4 โˆ’ 19๐›ผ3 + 30๐›ผ2 โˆ’ 3๐›ผ + 18

= 30๐›ผ2 โˆ’ 21๐›ผโˆ’ 39.

(3.2)

Kako bismo pronaลกli multiplikativni inverz polinoma ๐‘”, primjenjujemo Euklidov algo-ritam na polinome ๐‘” i ๐‘“ . Vrijedi

๐‘ฅ3 โˆ’ 3 = (โˆ’๐‘ฅ2 โˆ’ 3๐‘ฅ + 6)(โˆ’๐‘ฅ + 3) + (15๐‘ฅโˆ’ 21),

โˆ’๐‘ฅ2 โˆ’ 3๐‘ฅ + 6 = (15๐‘ฅโˆ’ 21)(โˆ’ 1

15๐‘ฅโˆ’ 22

75) โˆ’ 4

25.

Dakle,

1 = โˆ’ 5

12(โˆ’๐›ผ2 โˆ’ 3๐›ผ + 6)(๐›ผ2 +

7

5๐›ผ +

9

5),

odnosno, inverz od ๐‘” u Q(๐›ผ) je polinom ๐‘”โˆ’1 = ๐›ผ2 + 75๐›ผ + 9

5.

Sada ฤ‡emo definirati polje razlaganja te dokazati teorem o egzistenciji takvogpolja.

Page 23: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 18

Definicija 3.1.10. Neka je ๐น polje i ๐‘“ โˆˆ ๐น [๐‘ฅ] nekonstantni polinom. Kaลพemo dase polinom ๐‘“ razlaลพe nad proลกirenjem ๐น โ€ฒ polja ๐น ako se ๐‘“ faktorizira u linearnefaktore u ๐น โ€ฒ[๐‘ฅ], tj. postoji ๐‘Ž โˆˆ ๐น i ๐›ผ1, . . . , ๐›ผ๐‘› โˆˆ ๐น โ€ฒ takvi da je

๐‘“(๐‘ฅ) = ๐‘Ž(๐‘ฅโˆ’ ๐›ผ1) ยท ยท ยท (๐‘ฅโˆ’ ๐›ผ๐‘›).

Polje ๐น โ€ฒ je polje razlaganja za polinom ๐‘“ nad poljem ๐น ako je ๐น โ€ฒ najmanjeproลกirenje polja ๐น u kojem se ๐‘“ razlaลพe.

Teorem 3.1.11. (Egzistencija polja razlaganja) Neka je ๐น polje i ๐‘“ โˆˆ ๐น [๐‘ฅ] nekons-tantni polinom. Tada postoji polje razlaganja za ๐‘“ nad ๐น .

Dokaz. Bez smanjenja opฤ‡enitosti moลพemo pretpostaviti da je ๐‘“ ireducibilni polinomstupnja ๐‘›. Teorem dokazujemo indukcijom po stupnju polinoma ๐‘“ . Ako je ๐‘› = 1,onda je ๐‘“ oblika ๐‘“(๐‘ฅ) = ๐‘Ž(๐‘ฅ โˆ’ ๐›ผ), ๐›ผ โˆˆ ๐น pa moลพemo staviti da je ๐น traลพeno poljerazlaganja. Pretpostavimo sada da je ๐‘› โ‰ฅ 2 i da tvrdnja vrijedi za polinome stupnjamanjeg od ๐‘›. Teorem 3.1.8 povlaฤi da postoji polje ๐น โ€ฒ koje sadrลพi korijen ๐›ผ1 i vrijedi๐‘“(๐›ผ1) = 0. Tada je ๐‘“(๐‘ฅ) = (๐‘ฅ โˆ’ ๐›ผ1)๐‘ž(๐‘ฅ), gdje je ๐‘ž โˆˆ ๐น โ€ฒ[๐‘ฅ] polinom stupnja ๐‘› โˆ’ 1.Po pretpostavci indukcije slijedi da za ๐‘ž postoji polje razlaganja, tj. postoje korijeni๐›ผ2, . . . , ๐›ผ๐‘› โˆˆ ๐น โ€ฒโ€ฒ takvi da je ๐‘ž(๐‘ฅ) = ๐‘Ž(๐‘ฅโˆ’๐›ผ2) ยท ยท ยท (๐‘ฅโˆ’๐›ผ๐‘›). Dakle, ๐‘(๐‘ฅ) = ๐‘Ž(๐‘ฅโˆ’๐›ผ1)(๐‘ฅโˆ’๐›ผ2) ยท ยท ยท (๐‘ฅโˆ’ ๐›ผ๐‘›) i ๐›ผ1, . . . , ๐›ผ๐‘› โˆˆ ๐น โ€ฒโ€ฒ, odnosno postoji polje razlaganja za ๐‘ nad ๐น .

U nastavku uvodimo pojam ๐‘–-tog elementarnog simetriฤnog polinoma te navodimoosnovni teorem o simetriฤnim polinomima.

Definicija 3.1.12. Polinom ๐‘“(๐‘ฆ1, . . . , ๐‘ฆ๐‘›) โˆˆ ๐น [๐‘ฆ1, . . . , ๐‘ฆ๐‘›] je simetriฤan polinom u๐‘ฆ1, . . . , ๐‘ฆ๐‘› ako je

๐‘“(๐‘ฆ1, . . . , ๐‘ฆ๐‘›) = ๐‘“(๐œŽ(๐‘ฆ1), . . . , ๐œŽ(๐‘ฆ๐‘›))

za svaku permutaciju ๐œŽ.Ako su ๐น โŠ‚ ๐น โ€ฒ polja i ๐›ผ1, . . . , ๐›ผ๐‘› su u ๐น โ€ฒ, tada polinom ๐‘“(๐›ผ1, . . . , ๐›ผ๐‘›) sa koefici-

jentima u ๐น zovemo simetriฤnim u ๐›ผ1, . . . , ๐›ผ๐‘› ako je

๐‘“(๐›ผ1, . . . , ๐›ผ๐‘›) = ๐‘“(๐œŽ(๐›ผ1), . . . , ๐œŽ(๐›ผ๐‘›))

za svaku permutaciju ๐œŽ.

Definicija 3.1.13. Neka je ๐น โ€ฒ proลกirenje polja ๐น i neka su ๐‘ฅ, ๐‘ฆ1, . . . , ๐‘ฆ๐‘› โˆˆ ๐น โ€ฒ. Defi-nirajmo polinom ๐‘ โˆˆ ๐น [๐‘ฅ, ๐‘ฆ1, . . . , ๐‘ฆ๐‘›] sa

๐‘(๐‘ฅ, ๐‘ฆ1, . . . , ๐‘ฆ๐‘›) = (๐‘ฅโˆ’ ๐‘ฆ1) . . . (๐‘ฅโˆ’ ๐‘ฆ๐‘›).

I-ti elementarni simetriฤni polinom ๐‘ ๐‘– u ๐‘ฆ1, . . . , ๐‘ฆ๐‘› za ๐‘– = 1, . . . , ๐‘› je (โˆ’1)๐‘–๐‘Ž๐‘– ,gdje je ๐‘Ž๐‘– koeficijent uz ๐‘ฅ๐‘›โˆ’๐‘– u polinomu ๐‘.

Page 24: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 19

Primjer 3.1.14. Opฤ‡enito, vrijede sljedeฤ‡e formule za ๐‘ ๐‘–:

๐‘ 1(๐‘ฆ1, ๐‘ฆ2, . . . , ๐‘ฆ๐‘›) =๐‘›โˆ‘

๐‘–=0

๐‘ฆ๐‘–,

๐‘ 2(๐‘ฆ1, ๐‘ฆ2, . . . , ๐‘ฆ๐‘›) =โˆ‘๐‘–<๐‘—

๐‘ฆ๐‘–๐‘ฆ๐‘—,

๐‘ 3(๐‘ฆ1, ๐‘ฆ2, . . . , ๐‘ฆ๐‘›) =โˆ‘๐‘–<๐‘—<๐‘˜

๐‘ฆ๐‘–๐‘ฆ๐‘—๐‘ฆ๐‘˜,

...๐‘ ๐‘›(๐‘ฆ1, ๐‘ฆ2, . . . , ๐‘ฆ๐‘›) = ๐‘ฆ1๐‘ฆ2 ยท ยท ยท ๐‘ฆ๐‘›.

Za ๐‘› = 1, elementarni simetriฤni polinom je ๐‘ 1(๐‘ฆ1) = ๐‘ฆ1.Za ๐‘› = 2, elementarni simetriฤni polinomi su:

๐‘ 1(๐‘ฆ1, ๐‘ฆ2) = ๐‘ฆ1 + ๐‘ฆ2,

๐‘ 2(๐‘ฆ1, ๐‘ฆ2) = ๐‘ฆ1๐‘ฆ2.

Za ๐‘› = 3, elementarni simetriฤni polinomi su:

๐‘ 1(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3) = ๐‘ฆ1 + ๐‘ฆ2 + ๐‘ฆ3,

๐‘ 2(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3) = ๐‘ฆ1๐‘ฆ2 + ๐‘ฆ1๐‘ฆ3 + ๐‘ฆ2๐‘ฆ3,

๐‘ 3(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3) = ๐‘ฆ1๐‘ฆ2๐‘ฆ3.

Za ๐‘› = 4, elementarni simetriฤni polinomi su:

๐‘ 1(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3, ๐‘ฆ4) = ๐‘ฆ1 + ๐‘ฆ2 + ๐‘ฆ3 + ๐‘ฆ4,

๐‘ 2(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3, ๐‘ฆ4) = ๐‘ฆ1๐‘ฆ2 + ๐‘ฆ1๐‘ฆ3 + ๐‘ฆ1๐‘ฆ4 + ๐‘ฆ2๐‘ฆ3 + ๐‘ฆ2๐‘ฆ4 + ๐‘ฆ3๐‘ฆ4,

๐‘ 3(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3, ๐‘ฆ4) = ๐‘ฆ1๐‘ฆ2๐‘ฆ3 + ๐‘ฆ1๐‘ฆ2๐‘ฆ4 + ๐‘ฆ1๐‘ฆ3๐‘ฆ4 + ๐‘ฆ2๐‘ฆ3๐‘ฆ4,

๐‘ 4(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3, ๐‘ฆ4) = ๐‘ฆ1๐‘ฆ2๐‘ฆ3๐‘ฆ4.

Teorem 3.1.15. (Osnovni teorem o simetriฤnim polinomima) Za svaki simetriฤnipolinom ๐‘“ โˆˆ ๐น [๐‘ฆ1, . . . , ๐‘ฆ๐‘›] postoji jedinstven polinom ๐‘” โˆˆ ๐น [๐‘ฆ1, . . . , ๐‘ฆ๐‘›] takav da je๐‘“(๐‘ฆ1, . . . , ๐‘ฆ๐‘›) = ๐‘”(๐‘ 1(๐‘ฆ1, . . . , ๐‘ฆ๐‘›), . . . , ๐‘ ๐‘›(๐‘ฆ1, . . . , ๐‘ฆ๐‘›)).

Dokaz teorema ne navodimo, no moลพe se naฤ‡i u knjizi [3].

Page 25: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 20

Primjer 3.1.16. Neka je ๐‘“(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3) = ๐‘ฆ31 + ๐‘ฆ32 + ๐‘ฆ33. Elementarne simetriฤne poli-nome znamo iz primjera 3.1.14. Tada ๐‘“ moลพemo zapisati u obliku

๐‘“(๐‘ฆ1, ๐‘ฆ2, ๐‘ฆ3) = ๐‘ฆ31 + ๐‘ฆ32 + ๐‘ฆ33= (๐‘ฆ1 + ๐‘ฆ2 + ๐‘ฆ3)

3 โˆ’ 3๐‘ฆ21๐‘ฆ2 โˆ’ 3๐‘ฆ1๐‘ฆ22 โˆ’ 3๐‘ฆ21๐‘ฆ3 โˆ’ 3๐‘ฆ1๐‘ฆ

23 โˆ’ 3๐‘ฆ22๐‘ฆ3 โˆ’ 3๐‘ฆ2๐‘ฆ

23

โˆ’ 6๐‘ฆ1๐‘ฆ2๐‘ฆ3

= ๐‘ 31 โˆ’ 3(๐‘ฆ21๐‘ฆ2 + ๐‘ฆ1๐‘ฆ22 + ๐‘ฆ21๐‘ฆ3 + ๐‘ฆ1๐‘ฆ

23 + ๐‘ฆ22๐‘ฆ3 + ๐‘ฆ2๐‘ฆ

23 + 3๐‘ฆ1๐‘ฆ2๐‘ฆ3) + 3๐‘ 3

= ๐‘ 31 โˆ’ 3(๐‘ฆ1 + ๐‘ฆ2 + ๐‘ฆ3)(๐‘ฆ1๐‘ฆ2 + ๐‘ฆ1๐‘ฆ3 + ๐‘ฆ2๐‘ฆ3) + 3๐‘ฆ1๐‘ฆ2๐‘ฆ3

= ๐‘ 31 โˆ’ 3๐‘ 1๐‘ 2 + 3๐‘ 3.

Lema 3.1.17. Neka je ๐‘ โˆˆ ๐น [๐‘ฅ] i neka ๐‘ ima korijene ๐›ผ1, . . . , ๐›ผ๐‘› u polju razlaganja๐น โ€ฒ. Tada za svaki elementarni simetriฤni polinom ๐‘ ๐‘– vrijedi ๐‘ ๐‘–(๐›ผ1, . . . , ๐›ผ๐‘›) โˆˆ ๐น .

Dokaz. Neka je ๐‘ oblika ๐‘(๐‘ฅ) = ๐‘“๐‘›๐‘ฅ๐‘› + . . . + ๐‘“1๐‘ฅ + ๐‘“0 โˆˆ ๐น [๐‘ฅ]. ๐‘ se razlaลพe nad ๐น โ€ฒ sa

korijenima ๐›ผ1, . . . , ๐›ผ๐‘› pa je u ๐น โ€ฒ[๐‘ฅ] ๐‘ oblika

๐‘(๐‘ฅ) = ๐‘“๐‘›(๐‘ฅโˆ’ ๐›ผ1) . . . (๐‘ฅโˆ’ ๐›ผ๐‘›).

Koeficijenti su tada ๐‘“๐‘›(โˆ’1)๐‘–๐‘ ๐‘–(๐›ผ1, . . . , ๐›ผ๐‘›), gdje su ๐‘ ๐‘–(๐›ผ1, . . . , ๐›ผ๐‘›) elementarni sime-triฤni polinomi u ๐›ผ1, . . . , ๐›ผ๐‘›. S obzirom na to da je ๐‘ polinom nad poljem ๐น ,svi njegovi koeficijenti su iz ๐น pa je ๐‘“๐‘›(โˆ’1)๐‘–๐‘ ๐‘–(๐›ผ1, . . . , ๐›ผ๐‘›) โˆˆ ๐น , โˆ€๐‘–. Tada je i๐‘ ๐‘–(๐›ผ1, . . . , ๐›ผ๐‘›) โˆˆ ๐น .

Lema 3.1.18. Neka je ๐‘(๐‘ฅ) โˆˆ ๐น [๐‘ฅ] i pretpostavimo da ๐‘ ima korijene ๐›ผ1, . . . , ๐›ผ๐‘› upolju razlaganja ๐น โ€ฒ. Nadalje, pretpostavimo da je๐‘” = ๐‘”(๐‘ฅ, ๐›ผ1, . . . , ๐›ผ๐‘›) โˆˆ ๐น โ€ฒ[๐‘ฅ]. Ako je ๐‘” simetriฤan polinom u ๐›ผ1, . . . , ๐›ผ๐‘›, onda je๐‘” โˆˆ ๐น [๐‘ฅ].

Dokaz. Ako je ๐‘” simetriฤan polinom u ๐›ผ1, . . . , ๐›ผ๐‘› tada iz teorema slijedi da je ๐‘” sime-triฤan polinom u elementarnim simetriฤnim polinomima ๐‘ ๐‘– u ๐›ผ1, . . . , ๐›ผ๐‘›. Iz leme 3.1.17slijedi da su ๐‘ ๐‘– u polju ๐น pa su koeficijenti od ๐‘” u ๐น . Dakle, ๐‘” โˆˆ ๐น [๐‘ฅ].

Na kraju uvoda navedimo jedan vaลพan teorem iz matematiฤke analize te njegovkorolar. To ฤ‡emo primijeniti u dokazu leme koja se koristi za dokazivanje osnovnogteorema algebre.

Teorem 3.1.19. (Teorem srednje vrijednosti) Neka je ๐‘“ : [๐‘Ž, ๐‘] โ†’ R neprekidnafunkcija. Ako je ๐‘“(๐‘Ž) < ๐‘˜ < ๐‘“(๐‘) ili ๐‘“(๐‘Ž) > ๐‘˜ > ๐‘“(๐‘), tada postoji ๐‘ โˆˆ [๐‘Ž, ๐‘] takav daje ๐‘“(๐‘) = ๐‘˜.

Korolar 3.1.20. Neka je ๐‘“ : [๐‘Ž, ๐‘] โ†’ R neprekidna funkcija i ๐‘“(๐‘Ž)๐‘“(๐‘) < 0. Tadapostoji ๐‘ โˆˆ (๐‘Ž, ๐‘) takav da je ๐‘“(๐‘) = 0.

Page 26: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 21

3.2 Dokaz osnovnog teorema algebreU ovom odjeljku ฤ‡emo iskazati i dokazati ฤetiri leme pomoฤ‡u kojih ฤ‡e se osnovniteorem algebre moฤ‡i jednostavno dokazati.

Lema 3.2.1. Svaki polinom ๐‘ โˆˆ R[๐‘ฅ] neparnog stupnja mora imati realni korijen.

Dokaz. Neka je ๐‘(๐‘ฅ) โˆˆ R[๐‘ฅ] i neka je ๐‘‘๐‘’๐‘”(๐‘) = ๐‘› = 2๐‘˜ + 1, ๐‘˜ โˆˆ N. Pretpostavimoda je koeficijent ๐‘Ž๐‘› > 0. Tada je polinom ๐‘ oblika ๐‘(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ

๐‘› + ยท ยท ยท + ๐‘Ž0. Nadalje,vrijedi

(1) lim๐‘ฅโ†’โˆž ๐‘(๐‘ฅ) = lim๐‘ฅโ†’โˆž ๐‘Ž๐‘›๐‘ฅ๐‘› = โˆž, jer je ๐‘Ž๐‘› > 0.

(2) lim๐‘ฅโ†’โˆ’โˆž ๐‘(๐‘ฅ) = lim๐‘ฅโ†’โˆ’โˆž ๐‘Ž๐‘›๐‘ฅ๐‘› = โˆ’โˆž, jer je ๐‘› neparan i ๐‘Ž๐‘› > 0.

Sada vidimo da ๐‘ moลพe biti proizvoljno velik i pozitivan pa postoji toฤka ๐‘ฅ1 u kojoj je๐‘(๐‘ฅ1) > 0. Nadalje, ๐‘ moลพe biti i jako negativan, tj. postoji ๐‘ฅ2 takav da je ๐‘(๐‘ฅ2) < 0.Iz teorema srednje vrijednosti slijedi da postoji ๐‘ฅ3 โˆˆ [๐‘ฅ2, ๐‘ฅ1] takav da je ๐‘(๐‘ฅ3) = 0.

Lema 3.2.2. Svaki polinom stupnja 2 mora imati kompleksan korijen.

Dokaz. Dokaz ove leme je posljedica formule za rjeลกavanje kvadratnih jednadลพbi. Akoje ๐‘(๐‘ฅ) = ๐‘Ž๐‘ฅ2 + ๐‘๐‘ฅ + ๐‘, ๐‘Ž = 0, tada su korijeni dani sa

๐‘ฅ1 =โˆ’๐‘ +

โˆš๐‘2 โˆ’ 4๐‘Ž๐‘

2๐‘Ž, ๐‘ฅ2 =

โˆ’๐‘โˆ’โˆš๐‘2 โˆ’ 4๐‘Ž๐‘

2๐‘Ž.

Iz DeMoivreova teorema 2.1.9 za korijene znamo da svaki kompleksan broj ima drugikorijen pa ๐‘ฅ1 i ๐‘ฅ2 postoje u C.

Lema 3.2.3. Ako svaki nekonstantni realni polinom ima kompleksan korijen, ondasvaki nekonstantni kompleksni polinom ima kompleksan korijen.

Dokaz. Neka je ๐‘ โˆˆ C[๐‘ฅ] i neka svaki nekonstantni realni polinom ima bar jedankompleksan korijen. Definirajmo โ„Ž(๐‘ฅ) = ๐‘(๐‘ฅ)๐‘(๐‘ฅ). Iz leme 2.1.6 slijedi da je โ„Ž(๐‘ฅ) โˆˆR[๐‘ฅ]. Po pretpostavci โ„Ž ima bar jedan kompleksan korijen, neka je to ๐‘ง0. Sadaimamo โ„Ž(๐‘ง0) = ๐‘(๐‘ง0)๐‘(๐‘ง0) = 0. Polje C nema djelitelja nule pa jedan od ฤlanova uprethodnom umnoลกku mora biti jednak nuli. Ako je ๐‘(๐‘ง0) = 0, tada smo pronaลกlikompleksni korijen kompleksnog polinoma. Ukoliko je ๐‘(๐‘ง0) = 0, iz leme 2.1.5 slijedida je ๐‘(๐‘ง0) = ๐‘(๐‘ง0) = ๐‘(๐‘ง0) = 0. Dakle, ๐‘ง0 je korijen od ๐‘.

Lema 3.2.4. Svaki nekonstantni realni polinom ima kompleksni korijen.

Page 27: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 22

Dokaz. Neka je ๐‘“(๐‘ฅ) = ๐‘Ž๐‘›๐‘ฅ๐‘› + ยท ยท ยท + ๐‘Ž0 realni polinom, ๐‘› โ‰ฅ 1 i ๐‘Ž๐‘› = 0. Neka je ๐‘›

oblika ๐‘› = 2๐‘š๐‘ž, gdje je ๐‘ž neparni broj. Dokazat ฤ‡emo lemu indukcijom po ๐‘š. Za๐‘š = 0, ๐‘“ je polinom neparnog stupnja pa iz leme 3.2.1 znamo da ๐‘“ ima realan korijeni teorem vrijedi. Pretpostavimo da tvrdnja vrijedi za 2๐‘˜โˆ’1๐‘ž, ๐‘˜ = 2, . . . ,๐‘š. Neka jestupanj polinoma jednak ๐‘› = 2๐‘š๐‘ž i ๐น โ€ฒ polje razlaganja za ๐‘“ nad R u kojem su korijeni๐›ผ1, . . . , ๐›ผ๐‘›. Takvo polje postoji zbog teorema 3.1.11.

Pokazat ฤ‡emo da bar jedan od ovih korijena mora biti iz C. Odaberimo โ„Ž โˆˆ Z idefinirajmo polinom ๐ป sa

๐ป(๐‘ฅ) =โˆ๐‘–<๐‘—

(๐‘ฅโˆ’ (๐›ผ๐‘– + ๐›ผ๐‘— + โ„Ž๐›ผ๐‘–๐›ผ๐‘—)) โˆˆ ๐น โ€ฒ[๐‘ฅ].

Kad smo formirali ๐ป odabrali smo parove korijena ๐›ผ๐‘–, ๐›ผ๐‘—. Broj takvih parova jednakje broju naฤina na koji moลพemo odabrati dva elementa od njih ๐‘› = 2๐‘š๐‘ž. To je danosa (

2๐‘š๐‘ž

2

)=

(2๐‘š๐‘ž)!

2!(2๐‘š๐‘ž โˆ’ 2)!= 2๐‘šโˆ’1๐‘ž(2๐‘š๐‘ž โˆ’ 1) = 2๐‘šโˆ’1๐‘žโ€ฒ, gdje je ๐‘žโ€ฒneparan.

Dakle, ๐ป je stupnja 2๐‘šโˆ’1๐‘žโ€ฒ. ๐ป je simetriฤan polinom u korijenima ๐›ผ1, . . . , ๐›ผ๐‘›. Sobzirom na to da su ๐›ผ1, . . . , ๐›ผ๐‘› korijeni realnog polinoma iz leme 3.1.18 slijedi dasvaki polinom u polju razlaganja simetriฤan u tim korijenima mora biti realni polinom.Dakle, ๐ป je realni polinom stupnja 2๐‘šโˆ’1๐‘ž pa po pretpostavci indukcije mora imatikompleksni korijen. To znaฤi da postoji par ๐›ผ๐‘–, ๐›ผ๐‘— takvi da vrijede ๐›ผ๐‘–+๐›ผ๐‘—+โ„Ž๐›ผ๐‘–๐›ผ๐‘— โˆˆ C.Zbog proizvoljnosti od โ„Ž slijedi da za svaki cijeli broj ๐‘Ž mora postojati takav par ๐›ผ๐‘–, ๐›ผ๐‘—

da vrijedi ๐›ผ๐‘–+๐›ผ๐‘—+๐‘Ž๐›ผ๐‘–๐›ผ๐‘— โˆˆ C. Postoji konaฤan broj parova ๐›ผ๐‘–, ๐›ผ๐‘— pa moraju postojatibarem dva razliฤita cijela broja ๐‘Ž1, ๐‘Ž2 za koje je

๐‘ง1 = ๐›ผ๐‘– + ๐›ผ๐‘— + ๐‘Ž1๐›ผ๐‘–๐›ผ๐‘— โˆˆ C i ๐‘ง2 = ๐›ผ๐‘– + ๐›ผ๐‘— + ๐‘Ž2๐›ผ๐‘–๐›ผ๐‘— โˆˆ C.

Tada je ๐‘ง1 โˆ’ ๐‘ง2 = (๐‘Ž1 โˆ’ ๐‘Ž2)๐›ผ๐‘–๐›ผ๐‘— โˆˆ C i ๐›ผ๐‘–๐›ผ๐‘— โˆˆ C jer je ๐‘Ž1, ๐‘Ž2 โˆˆ Z โŠ‚ C. Nadalje,๐‘Ž1๐›ผ๐‘–๐›ผ๐‘— โˆˆ C te iz toga slijedi da je ๐›ผ๐‘– + ๐›ผ๐‘— โˆˆ C. Sada imamo

๐‘(๐‘ฅ) = (๐‘ฅโˆ’ ๐›ผ๐‘–)(๐‘ฅโˆ’ ๐›ผ๐‘—) = ๐‘ฅ2 โˆ’ (๐›ผ๐‘– + ๐›ผ๐‘—)๐‘ฅ + ๐›ผ๐‘–๐›ผ๐‘— โˆˆ C[๐‘ฅ].

Polinom ๐‘ je kompleksni polinom stupnja 2 pa iz leme 3.2.2 znamo da mora imatikompleksan korijen. Dakle, ๐›ผ๐‘–, ๐›ผ๐‘— โˆˆ C pa ๐‘“ ima kompleksan korijen.

Sada ฤ‡emo upotrijebiti sve rezultate koje smo naveli u ovoj toฤki te tako dokazatiosnovni teorem algebre.

Teorem 3.2.5. (Osnovni teorem algebre) Svaki nekonstantni kompleksni polinomima kompleksni korijen. Drugim rijeฤima, polje kompleksnih brojeva C je algebarskizatvoreno.

Page 28: Osnovni teorem algebre - unizg.hr

POGLAVLJE 3. ALGEBARSKI DOKAZ 23

Dokaz. Dokaz slijedi iz dvije leme. Iz leme 3.2.4 znamo da svaki nekonstantni realnipolinom ima kompleksni korijen. Lema 3.2.3 kaลพe da ako svaki nekonstantni realnipolinom ima kompleksni korijen, onda i svaki nekonstantan kompleksni polinom imakompleksni korijen.

Page 29: Osnovni teorem algebre - unizg.hr

Poglavlje 4

Dokazi pomoฤ‡u kompleksne analize

Kako bismo napravili sljedeฤ‡i dokaz osnovnog teorema algebre, potrebni su nam rezul-tati iz kompleksne analize. Kreฤ‡emo od Cauchyjeva teorema te nakon njega navodimorezultate koji se oslanjaju na taj teorem. U drugom odjeljku navodimo Liouvilleov te-orem i koristimo ga u dokazu osnovnog teorema algebre. Poglavlje zavrลกavamo sa joลกdva dokaza osnovnog teorema algebre koji se temelje na teoremu srednje vrijednostii na teoremu maksimuma modula.

4.1 UvodZa poฤetak, navedimo definicije vezane uz svojstva skupova i funkcija koje ฤ‡emokoristiti u ovom poglavlju.

Definicija 4.1.1. Otvoren i povezan skup ฮฉ โŠ† C je podruฤje.

Definicija 4.1.2. Neka su ๐›พ : [๐‘Ž, ๐‘] โ†’ ฮฉ, ๐›ฟ : [๐‘Ž, ๐‘] โ†’ ฮฉ krivulje na podruฤju ฮฉ takveda je ๐›พ(๐‘Ž) = ๐›ฟ(๐‘Ž) = ๐‘ง1 i ๐›พ(๐‘) = ๐›ฟ(๐‘) = ๐‘ง2. Homotopija u ฮฉ od krivulje ๐›พ do krivulje๐›ฟ je neprekidno preslikavanje ๐ป : [0, 1] ร— [๐‘Ž, ๐‘] โ†’ ฮฉ za koje vrijedi:

๐ป(0, ๐‘ ) = ๐›พ(๐‘ ), ๐ป(1, ๐‘ ) = ๐›ฟ(๐‘ ), โˆ€๐‘  โˆˆ [๐‘Ž, ๐‘];

๐ป(๐‘ก, ๐‘Ž) = ๐‘ง1, ๐ป(๐‘ก, ๐‘) = ๐‘ง2, โˆ€๐‘ก โˆˆ [0, 1].

Kaลพemo da su krivulje homotopne ako postoji homotopija u ฮฉ od krivulje ๐›พ dokrivulje ๐›ฟ.

Definicija 4.1.3. Put ๐›พ : [๐‘Ž, ๐‘] โ†’ ฮฉ je nulhomotopan ako je homotopan s kons-tantnim preslikavanjem ๐›ฟ, ๐›ฟ(๐‘ก) = ๐›พ(๐‘Ž) = ๐›พ(๐‘),โˆ€๐‘ก โˆˆ [๐‘Ž, ๐‘].

Definicija 4.1.4. Kaลพemo da je put ๐›พ : [๐‘Ž, ๐‘] โ†’ C jednostavno zatvoren akovrijedi ๐›พ(๐‘Ž) = ๐›พ(๐‘) i ๐›พ(๐‘ก1) = ๐›พ(๐‘ก2) za svaki ๐‘ก1, ๐‘ก2 โˆˆ [๐‘Ž, ๐‘).

24

Page 30: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 25

(a) Jednostavno zatvorenput

(b) Put koji nije jednos-tavno zatvoren

Slika 4.1

Definicija 4.1.5. Podruฤje je jednostavno povezano ako je svaki zatvoren putnulhomotopan.

Na slici 4.2 su primjeri jednostavno povezanog podruฤja te podruฤja koje nije jednos-tavno povezano.

(a) Jednostavno povezano podru-ฤje

(b) Podruฤje koje nije jednostavnopovezano

Slika 4.2

Definicija 4.1.6. Za funkciju ๐‘“ : ฮฉ โ†’ C kaลพemo da je holomorfna na otvorenomskupu ฮฉ โŠ‚ C ako postoji derivacija ๐‘“ โ€ฒ(๐‘ง) za svaki ๐‘ง โˆˆ ฮฉ. Funkcija ๐‘“(๐‘ง) je holo-morfna u toฤki ๐‘ง0 ako postoji okolina toฤke ๐‘ง0 na kojoj je ๐‘“ holomorfna. Ako je ๐‘“holomorfna na C kaลพemo da je ๐‘“ cijela .

Teorem 4.1.7. (Cauchy-Riemannov teorem) Neka je ๐‘“ = ๐‘ข + ๐‘–๐‘ฃ : ฮฉ โ†’ C i ๐‘ง0 =(๐‘ฅ0, ๐‘ฆ0) โˆˆ ฮฉ. Funkcija ๐‘“ je derivabilna u ๐‘ง0 ako i samo ako je funkcija (๐‘ฅ, ๐‘ฆ) โ†ฆโ†’(๐‘ข(๐‘ฅ, ๐‘ฆ), ๐‘ฃ(๐‘ฅ, ๐‘ฆ)) diferencijabilna u (๐‘ฅ0, ๐‘ฆ0) i vrijede Cauchy-Riemannovi uvjeti:

๐œ•๐‘ข

๐œ•๐‘ฅ=

๐œ•๐‘ฃ

๐œ•๐‘ฆi

๐œ•๐‘ข

๐œ•๐‘ฆ= โˆ’๐œ•๐‘ฃ

๐œ•๐‘ฅ.

Page 31: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 26

Dokaz ovog teorema moลพe se naฤ‡i u knjizi [5].

Definicija 4.1.8. Neka je ๐‘“ : ฮฉ โ†’ C holomorfna i ๐›พ : [๐‘Ž, ๐‘] โ†’ ฮฉ po dijelovimagladak put. Tada kompleksni integral definiramo s:โˆซ

๐›พ

๐‘“(๐‘ง)๐‘‘๐‘ง =

โˆซ ๐‘

๐‘Ž

๐‘“(๐›พ(๐‘ก))๐›พโ€ฒ(๐‘ก)๐‘‘๐‘ก.

Teorem 4.1.9. (Greenov teorem) Neka je ๐ท โŠ‚ R2 povezan i kompaktan skup ฤijije rub ๐œ•๐ท sastavljen od konaฤno mnogo meฤ‘usobno disjunktnih po dijelovima glatkihzatvorenih krivulja koje su pozitivno orijentirane u odnosu na D. Pretpostavimo da su๐น,๐บ : ฮฉ โ†’ R neprekidno diferencijabilne funkcije na otvorenom skupu ฮฉ koji sadrลพi๐ท i ๐œ•๐ท. Tada vrijedi:โˆซ

๐œ•๐ท

๐น๐‘‘๐‘ฅ + ๐บ๐‘‘๐‘ฆ =

โˆซ โˆซ๐ท

(๐œ•๐บ

๐œ•๐‘ฅโˆ’ ๐œ•๐น

๐œ•๐‘ฆ)๐‘‘๐‘ฅ๐‘‘๐‘ฆ.

Ovaj teorem neฤ‡emo dokazivati, no dokaz se moลพe naฤ‡i u knjizi [7].

Teorem 4.1.10. (Cauchyjev teorem) Neka je ๐‘“ : ฮฉ โ†’ C holomorfna funkcija za kojuvrijedi da je ๐‘“ โ€ฒ neprekidna i neka je ฮฉ โŠ‚ C podruฤje. Tada jeโˆซ

๐›พ

๐‘“(๐‘ง)๐‘‘๐‘ง = 0

za svaki po dijelovima gladak zatvoren nulhomotopan put ๐›พ.

Dokaz. Neka je ๐‘ง = ๐‘ฅ + ๐‘–๐‘ฆ i ๐‘“(๐‘ง) = ๐‘ข + ๐‘–๐‘ฃ. Raspiลกemo integral i imamo:โˆซ๐›พ

๐‘“(๐‘ง)๐‘‘๐‘ง =

โˆซ๐›พ

(๐‘ข๐‘‘๐‘ฅโˆ’ ๐‘ฃ๐‘‘๐‘ฆ) + ๐‘–

โˆซ๐›พ

(๐‘ฃ๐‘‘๐‘ฅ + ๐‘ข๐‘‘๐‘ฆ).

Funkcije ๐œ•๐‘ข๐œ•๐‘ฅ, ๐œ•๐‘ข๐œ•๐‘ฆ, ๐œ•๐‘ฃ๐œ•๐‘ฅ, ๐œ•๐‘ฃ๐œ•๐‘ฆ

su neprekidne te moลพemo iskoristiti teorem 4.1.9 i slijediโˆซ๐›พ

๐‘“(๐‘ง)๐‘‘๐‘ง =

โˆซ โˆซ(โˆ’๐œ•๐‘ฃ

๐œ•๐‘ฅโˆ’ ๐œ•๐‘ข

๐œ•๐‘ฆ)๐‘‘๐‘ฅ๐‘‘๐‘ฆ + ๐‘–

โˆซ โˆซ(๐œ•๐‘ข

๐œ•๐‘ฅโˆ’ ๐œ•๐‘ฃ

๐œ•๐‘ฆ)๐‘‘๐‘ฅ๐‘‘๐‘ฆ.

Sada traลพeni rezultat slijedi iz Cauchy-Riemannovih uvjeta.

Napomena 4.1.11. Gornji teorem vrijedi i bez pretpostavke da je ๐‘“ โ€ฒ neprekidna.Tada se radi o Cauchy-Goursatovom teoremu za zvjezdaste skupove. Dokaz se temeljina sljedeฤ‡em teoremu:

Page 32: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 27

Teorem 4.1.12. (Goursat-Pringsheim) Neka je ฮฉ โŠ‚ C otvoren skup, โˆ† โŠ‚ ฮฉ trokuti neka je ๐‘“ : ฮฉ โ†’ C derivabilna funkcija. Tada vrijedi:โˆซ

๐œ•ฮ”

๐‘“(๐‘ง)๐‘‘๐‘ง = 0.

Dokaz Goursat-Pringsheimova teorema moลพe se naฤ‡i u knjizi [5].

Teorem 4.1.13. (Cauchyjeva integralna formula) Neka je ๐‘“ : ฮฉ โ†’ C holomorfnana podruฤju ฮฉ , ๐›พ po dijelovima gladak jednostavno zatvoren put ฤije je unutraลกnjepodruฤje sadrลพano u ฮฉ i neka toฤka ๐‘ง0 pripada tom unutraลกnjem podruฤju.

Tada vrijedi

๐‘“(๐‘ง0) =1

2๐œ‹๐‘–

โˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง.

Dokaz. Neka je ๐ถ0 = ๐พ(๐‘ง0, ๐‘Ÿ0). Put ๐›พ moลพemo rastaviti na ๐›พ = ๐›พ1 + ๐ถ0 gdje ๐›พ1zaobilazi ๐‘ง0 a ๐ถ0 ga okruลพuje.

Slika 4.3: Rastav puta ๐›พ

Sada imamo: โˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง =

โˆซ๐›พ1

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง +

โˆซ๐ถ0

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง.

Iz teorema 4.1.10 slijedi da jeโˆซ๐›พ1

๐‘“(๐‘ง)๐‘งโˆ’๐‘ง0

๐‘‘๐‘ง = 0 jer ๐›พ1 ne okruลพuje ๐‘ง0. Slijedi:โˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง =

โˆซ๐ถ0

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง = ๐‘“(๐‘ง0)

โˆซ๐ถ0

๐‘‘๐‘ง

๐‘ง โˆ’ ๐‘ง0+

โˆซ๐ถ0

๐‘“(๐‘ง) โˆ’ ๐‘“(๐‘ง0)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง.

Page 33: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 28

Na ๐ถ0 je ๐‘ง = ๐‘ง0 + ๐‘Ÿ0๐‘’๐‘–๐‘ก โ‡’ ๐‘‘๐‘ง = ๐‘–๐‘Ÿ0๐‘’

๐‘–๐‘ก๐‘‘๐‘ก, te vrijediโˆซ๐ถ0

๐‘‘๐‘ง

๐‘ง โˆ’ ๐‘ง0=

โˆซ 2๐œ‹

0

๐‘–๐‘Ÿ0๐‘’๐‘–๐‘ก

๐‘ง0 + ๐‘Ÿ0๐‘’๐‘–๐‘ก โˆ’ ๐‘ง0= ๐‘–

โˆซ 2๐œ‹

0

๐‘‘๐‘ก = 2๐œ‹๐‘–.

Zbog neprekidnosti od ๐‘“ u ๐‘ง0, za dovoljno mali ๐‘Ÿ0 i ๐‘ง โˆˆ ๐ถ0 vrijedi|๐‘“(๐‘ง) โˆ’ ๐‘“(๐‘ง0)| < ๐œ–. Tada slijedi

|๐ผ| :=

โˆซ๐ถ0

๐‘“(๐‘ง) โˆ’ ๐‘“(๐‘ง0)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง

โ‰ค

โˆซ๐ถ0

|๐‘“(๐‘ง) โˆ’ ๐‘“(๐‘ง0)||๐‘ง โˆ’ ๐‘ง0|

|๐‘‘๐‘ง| < ๐œ–

๐‘Ÿ02๐œ‹๐‘Ÿ0 = 2๐œ‹๐œ–.

U gornjoj nejednakosti ๐œ– moลพe biti proizvoljno mali pa slijedi ๐ผ = 0. Sada imamoโˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง = ๐‘“(๐‘ง0)2๐œ‹๐‘– + 0 โ‡’ ๐‘“(๐‘ง0) =

1

2๐œ‹๐‘–

โˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง.

Teorem 4.1.14. (Deriviranje unutar integrala) Neka je ฮฉ otvoren skup, a ๐‘“ : ฮฉ ร—[๐‘Ž, ๐‘] โ†’ C neprekidna funkcija ฤija derivacija po varijabli z postoji i neprekidna je.Tada je ๐‘” : ฮฉ โ†’ C, ๐‘”(๐‘ง) =

โˆซ ๐‘

๐‘Ž๐‘“(๐‘ง, ๐‘ก)๐‘‘๐‘ก derivabilna na ฮฉ i vrijedi

๐‘”โ€ฒ(๐‘ง) =

โˆซ ๐‘

๐‘Ž

๐œ•๐‘“

๐œ•๐‘ง(๐‘ง, ๐‘ก)๐‘‘๐‘ก.

Dokaz. Dokaลพimo prvo rezultat za funkcije ๐น : [๐‘Ž, ๐‘]ร— [๐‘, ๐‘‘] โ†’ R i ๐บ(๐‘ง) =โˆซ ๐‘

๐‘Ž๐น (๐‘ง, ๐‘ก)๐‘‘๐‘ก

uz pretpostavku da derivacija od ๐น po prvoj varijabli ๐‘ง postoji i neprekidna je. Dakle,dokazujemo da je ๐บ derivabilna te da vrijedi

๐บโ€ฒ(๐‘ง) =

โˆซ ๐‘

๐‘Ž

๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)๐‘‘๐‘ก. (4.1)

Iz teorema srednje vrijednosti slijedi ๐น (๐‘ง+โ„Ž,๐‘ก)โˆ’๐น (๐‘ง,๐‘ก)โ„Ž

= ๐œ•๐น๐œ•๐‘ง

(๐‘งโ€ฒ, ๐‘ก), gdje je ๐‘ง โ‰ค ๐‘งโ€ฒ โ‰ค ๐‘ง +โ„Ž.Nadalje, imamo

๐บ(๐‘ง + โ„Ž) โˆ’๐บ(๐‘ง)

โ„Žโˆ’

โˆซ ๐‘

๐‘Ž

๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)๐‘‘๐‘ก

=

โˆซ ๐‘

๐‘Ž

(๐น (๐‘ง + โ„Ž, ๐‘ก) โˆ’ ๐น (๐‘ง, ๐‘ก)

โ„Žโˆ’ ๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)

)๐‘‘๐‘ก

=

โˆซ ๐‘

๐‘Ž

(๐œ•๐น

๐œ•๐‘ง(๐‘งโ€ฒ, ๐‘ก) โˆ’ ๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)

)๐‘‘๐‘ก

โ‰ค

โˆซ ๐‘

๐‘Ž

๐œ•๐น

๐œ•๐‘ง(๐‘งโ€ฒ, ๐‘ก) โˆ’ ๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)

๐‘‘๐‘ก.

Page 34: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 29

Funkcija ๐œ•๐น๐œ•๐‘ง

je neprekidna na kompaktu [๐‘Ž, ๐‘]ร— [๐‘, ๐‘‘] pa je i uniformno neprekidna.To znaฤi da za svaki ๐œ– > 0 postoji ๐›ฟ > 0 takvi da za |โ„Ž| < ๐›ฟ vrijedi

๐œ•๐น

๐œ•๐‘ง(๐‘งโ€ฒ, ๐‘ก) โˆ’ ๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)

<

๐œ–

๐‘โˆ’ ๐‘Ž.

Odavde slijedi โˆซ ๐‘

๐‘Ž

๐œ•๐น

๐œ•๐‘ง(๐‘งโ€ฒ, ๐‘ก) โˆ’ ๐œ•๐น

๐œ•๐‘ง(๐‘ง, ๐‘ก)

๐‘‘๐‘ก <

โˆซ ๐‘

๐‘Ž

๐œ–

๐‘โˆ’ ๐‘Ž๐‘‘๐‘ก = ๐œ–.

Dakle, izraz๐บ(๐‘ง+โ„Ž)โˆ’๐บ(๐‘ง)

โ„Žโˆ’

โˆซ ๐‘

๐‘Ž๐œ•๐น๐œ•๐‘ง

(๐‘ง, ๐‘ก)๐‘‘๐‘ก

konvergira u 0 kada โ„Ž โ†’ 0.Sada moลพemo dokazati teorem. Neka je ๐‘ง = ๐‘ฅ + ๐‘–๐‘ฆ, ๐‘“(๐‘ง, ๐‘ก) = ๐‘“(๐‘ฅ, ๐‘ฆ, ๐‘ก) =

๐‘ข(๐‘ฅ, ๐‘ฆ, ๐‘ก) + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ, ๐‘ก) i ๐‘”(๐‘ง) =โˆซ ๐‘

๐‘Ž๐‘“(๐‘ง, ๐‘ก)๐‘‘๐‘ก. Definirajmo joลก funkcije ๐‘ i ๐‘ž sa ๐‘(๐‘ฅ, ๐‘ฆ) :=โˆซ ๐‘

๐‘Ž๐‘ข(๐‘ฅ, ๐‘ฆ, ๐‘ก)๐‘‘๐‘ก i ๐‘ž(๐‘ฅ, ๐‘ฆ) :=

โˆซ ๐‘

๐‘Ž๐‘ฃ(๐‘ฅ, ๐‘ฆ, ๐‘ก)๐‘‘๐‘ก. Tada za ๐‘” vrijedi

๐‘”(๐‘ง) = ๐‘”(๐‘ฅ, ๐‘ฆ) =

โˆซ ๐‘

๐‘Ž

๐‘“(๐‘ง, ๐‘ก)๐‘‘๐‘ก =

โˆซ ๐‘

๐‘Ž

๐‘ข(๐‘ฅ, ๐‘ฆ, ๐‘ก)๐‘‘๐‘ก + ๐‘–

โˆซ ๐‘

๐‘Ž

๐‘ฃ(๐‘ฅ, ๐‘ฆ, ๐‘ก)๐‘‘๐‘ก

= ๐‘(๐‘ฅ, ๐‘ฆ) + ๐‘–๐‘ž(๐‘ฅ, ๐‘ฆ).

Iz 4.1 slijedi:๐œ•๐‘”

๐œ•๐‘ฅ(๐‘ฅ, ๐‘ฆ) =

๐œ•๐‘

๐œ•๐‘ฅ(๐‘ฅ, ๐‘ฆ) + ๐‘–

๐œ•๐‘ž

๐œ•๐‘ฅ(๐‘ฅ, ๐‘ฆ),

๐œ•๐‘”

๐œ•๐‘ฆ(๐‘ฅ, ๐‘ฆ) =

๐œ•๐‘

๐œ•๐‘ฆ(๐‘ฅ, ๐‘ฆ) + ๐‘–

๐œ•๐‘ž

๐œ•๐‘ฆ(๐‘ฅ, ๐‘ฆ).

Parcijalne derivacije ๐‘ i ๐‘ž po ๐‘ฅ i ๐‘ฆ su neprekidne a zbog neprekidnosti od ๐‘“ i ๐œ•๐‘“๐œ•๐‘ง

za๐‘ข, ๐‘ฃ, ๐‘ i ๐‘ž vrijede Cauchy-Riemannovi uvjeti. Dakle, vrijedi

๐œ•๐‘

๐œ•๐‘ฅ=

๐œ•๐‘ž

๐œ•๐‘ฆi

๐œ•๐‘

๐œ•๐‘ฆ= โˆ’๐œ•๐‘ž

๐œ•๐‘ฅ.

Koristeฤ‡i teorem 4.1.7, zakljuฤujemo da je ๐‘” derivabilna.

Korolar 4.1.15. Neka je ๐‘“ : ฮฉ โ†’ C holomorfna na jednostavno povezanom podruฤjuฮฉ koje sadrลพi po dijelovima gladak zatvoren put ๐›พ. Ako je ๐‘ง0 unutraลกnja toฤka od ๐›พ,tada za n-tu derivaciju od ๐‘“ vrijedi

๐‘“ (๐‘›)(๐‘ง0) =๐‘›!

2๐œ‹๐‘–

โˆซ๐›พ

๐‘“(๐‘ง)

(๐‘ง โˆ’ ๐‘ง0)๐‘›+1๐‘‘๐‘ง.

Page 35: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 30

Dokaz. Po teoremu 4.1.13 vrijedi

๐‘“(๐‘ง0) =1

2๐œ‹๐‘–

โˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง.

Deriviranjem unutar integrala po varijabli ๐‘ง0 imamo

๐‘“ โ€ฒ(๐‘ง0) =1

2๐œ‹๐‘–

โˆซ๐›พ

๐‘“(๐‘ง)

(๐‘ง โˆ’ ๐‘ง0)2๐‘‘๐‘ง

te indukcijom dobivamo traลพenu formulu.

Teorem 4.1.16. (Cauchyjeva ocjena) Neka je ๐‘“(๐‘ง) : ฮฉ โ†’ C holomorfna na jednos-tavno povezanom podruฤju ฮฉ koje sadrลพi zatvoreni krug ๐ถ0 = ๐พ(๐‘ง0, ๐‘Ÿ0).

Tada vrijedi

|๐‘“ (๐‘›)(๐‘ง0)| โ‰ค๐‘›!๐‘€

๐‘Ÿ๐‘›0, gdje je ๐‘€ = max

๐ถ0

|๐‘“(๐‘ง)|.

Posebno, ako je |๐‘“(๐‘ง)| < ๐‘€ za ๐‘ง โˆˆ ๐ถ0, tada vrijedi

|๐‘“ โ€ฒ(๐‘ง)| < ๐‘€

๐‘Ÿ0za sve ๐‘ง โˆˆ ๐พ(๐‘ง0, ๐‘Ÿ0).

Dokaz. Iz korolara 4.1.15 slijedi:

|๐‘“ (๐‘›)(๐‘ง0)| โ‰ค๐‘›!

2๐œ‹๐‘–

โˆซ๐ถ0

๐‘“(๐‘ง)

(๐‘ง โˆ’ ๐‘ง0)๐‘›+1๐‘‘๐‘ง

โ‰ค ๐‘€๐‘›!

2๐œ‹

โˆซ๐ถ0

๐‘‘๐‘ง

(๐‘ง โˆ’ ๐‘ง0)๐‘›+1

.

Na ๐ถ0, ๐‘ง = ๐‘ง0 + ๐‘Ÿ0๐‘’๐‘–๐‘ก โ‡’ ๐‘‘๐‘ง = ๐‘–๐‘Ÿ0๐‘’

๐‘–๐‘ก pa jeโˆซ๐ถ0

๐‘‘๐‘ง

(๐‘ง โˆ’ ๐‘ง0)๐‘›+1

=

โˆซ 2๐œ‹

0

๐‘‘๐‘ก

๐‘Ÿ๐‘›0 ๐‘’๐‘–๐‘ก๐‘›

=

2๐œ‹

๐‘Ÿ๐‘›0.

Tada je

|๐‘“ (๐‘›)(๐‘ง0)| โ‰ค๐‘€๐‘›!

๐‘Ÿ๐‘›0.

Page 36: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 31

4.2 Dokaz osnovnog teorema algebreU ovom odjeljku iskazujemo i dokazujemo Liouvilleov teorem te pomoฤ‡u njega doka-zujemo osnovni teorem algebre.

Teorem 4.2.1. (Liouvilleov teorem) Neka je ๐‘“ : C โ†’ C cijela i neka je ๐‘“ ograniฤenana C. Tada je f konstanta.Opฤ‡enitije, ako je ๐‘“ (๐‘›) ograniฤena na C, tada je f polinom stupnja najviลกe ๐‘› + 1.

Dokaz. Neka je ๐‘“ : C โ†’ C cijela funkcija i neka je ograniฤena, tj. takva da postojineki ๐‘€ > 0 za koji je |๐‘“(๐‘ง)| โ‰ค ๐‘€,โˆ€๐‘ง โˆˆ C. Iz Cauchyeve ocjene za ๐‘ง0 = 0 na ๐พ(0, ๐‘Ÿ)slijedi

|๐‘“ โ€ฒ(๐‘ง)| < ๐‘€

๐‘Ÿza sve ๐‘ง โˆˆ ๐พ(0, ๐‘Ÿ).

S obzirom na to da je f cijela funkcija, moลพemo pustiti ๐‘Ÿ โ†’ โˆž. Iz Cauchyjeve ocjeneslijedi |๐‘“ โ€ฒ(๐‘ง)| = 0 te ๐‘“ โ€ฒ(๐‘ง) = 0. Tada je f konstantna.

Sada dokazujemo opฤ‡enitiju tvrdnju. Ako je ๐‘“ (๐‘›) ograniฤena na C tada vrijedi|๐‘“ (๐‘›)(๐‘ง)| โ‰ค ๐‘€ za svaki ๐‘ง โˆˆ C. Iz Cauchyjeve ocjene primjenjene na ๐‘“๐‘› slijedi

|๐‘“ (๐‘›+1)(๐‘ง)| โ‰ค ๐‘€

๐‘Ÿza sve ๐‘ง โˆˆ ๐พ(0, ๐‘Ÿ) i za svaki ๐‘Ÿ > 0.

Isto kao gore, puลกtajuฤ‡i da ๐‘Ÿ ide u beskonaฤnost, dobivamo ๐‘“ (๐‘›+1)(๐‘ง) = 0 te je ๐‘“ (๐‘›)

konstanta. No, tada je f polinom stupnja najviลกe ๐‘› + 1.

Teorem 4.2.2. (Osnovni teorem algebre) Neka je P kompleksni polinom stupnjaveฤ‡eg ili jednakog jedan. Tada P ima bar jedan kompleksni korijen, tj. postoji ๐‘ง0 โˆˆ Ctakav da je ๐‘ƒ (๐‘ง0) = 0.

Dokaz. Neka je ๐‘ƒ (๐‘ง) = ๐‘ง๐‘›+๐‘Ž๐‘›โˆ’1๐‘ง๐‘›โˆ’1+ยท ยท ยท+๐‘Ž1๐‘ง+๐‘Ž0, ๐‘› โ‰ฅ 1. Polinomi su derivabilni na

C pa je P cijela funkcija. Dokazujemo teorem kontrapozicijom tako da pretpostavimo๐‘ƒ (๐‘ง) = 0,โˆ€๐‘ง โˆˆ C. Definirajmo ๐‘“ : C โ†’ C sa ๐‘“(๐‘ง) = 1

๐‘ƒ (๐‘ง). S obzirom na to da je P

cijela funkcija i ๐‘“ je cijela. Nadalje, vrijedi

|๐‘“(๐‘ง)| =1

|๐‘ƒ (๐‘ง)|=

1

|๐‘ง๐‘› + ๐‘Ž๐‘›โˆ’1๐‘ง๐‘›โˆ’1 + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0|

=1

|๐‘ง|๐‘›1

|1 + ๐‘Ž๐‘›โˆ’1

๐‘ง+ ยท ยท ยท + ๐‘Ž0

๐‘ง๐‘›|.

Kada |๐‘ง| โ†’ โˆž, vrijedi 1|๐‘ง|๐‘› โ†’ 0 te tada i ๐‘Ž๐‘›โˆ’1

๐‘ง, ยท ยท ยท , ๐‘Ž0

๐‘ง๐‘›teลพe u 0. Iz toga slijedi

1

1+๐‘Ž๐‘›โˆ’1

๐‘ง+ยทยทยท+ ๐‘Ž0

๐‘ง๐‘›โ†’ 1 te je lim|๐‘ง|โ†’โˆž |๐‘“(๐‘ง)| = 0. Dakle, f je ograniฤena funkcija. Iz

Liouvilleova teorema slijedi da ๐‘“ mora biti konstanta. Tada je i ๐‘ƒ konstantan ลกto jekontradikcija sa pretpostavkom da je ๐‘ƒ polinom stupnja barem 1.

Page 37: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 32

4.3 Joลก dva dokaza osnovnog teorema algebreU nastavku dajemo joลก dva dokaza pomoฤ‡u kompleksne analize.

Lema 4.3.1. (Teorem i nejednakost srednje vrijednosti za kompleksne integrale) Nekaje funkcija f holomorfna na nekom ฮฉ โŠ† C koji sadrลพi ๐ถ = ๐พ(๐‘ง0, ๐‘Ÿ) i neka je ๐›พ(๐‘ก) =๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก, 0 โ‰ค ๐‘ก โ‰ค 2๐œ‹ parametrizacija od ๐œ•๐ถ.Tada vrijedi

๐‘“(๐‘ง0) =1

2๐œ‹

โˆซ 2๐œ‹

0

๐‘“(๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก)๐‘‘๐‘ก (Teorem srednje vrijednosti)

i|๐‘“(๐‘ง0)| โ‰ค ๐‘š๐‘Ž๐‘ฅ๐œ•๐ถ |๐‘“ | (Nejednakost srednje vrijednosti).

Dokaz. Neka je ๐›พ navedena parametrizacija od ๐œ•๐ถ. Iz teorema 4.1.13 slijedi

๐‘“(๐‘ง0) =1

2๐œ‹๐‘–

โˆซ๐›พ

๐‘“(๐‘ง)

๐‘ง โˆ’ ๐‘ง0๐‘‘๐‘ง =

1

2๐œ‹๐‘–

โˆซ 2๐œ‹

0

๐‘“(๐›พ(๐‘ก))๐›พโ€ฒ(๐‘ก)๐‘‘๐‘ก

๐›พ(๐‘ก) โˆ’ ๐‘ง0

=1

2๐œ‹๐‘–

โˆซ 2๐œ‹

0

๐‘“(๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก)

๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก โˆ’ ๐‘ง0๐‘–๐‘Ÿ๐‘’๐‘–๐‘ก๐‘‘๐‘ก

=1

2๐œ‹

โˆซ 2๐œ‹

0

๐‘“(๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก)๐‘‘๐‘ก.

Sada imamo

|๐‘“(๐‘ง0)| =

1

2๐œ‹

โˆซ 2๐œ‹

0

๐‘“(๐›พ(๐‘ก))๐‘‘๐‘ก

โ‰ค 1

2๐œ‹

โˆซ 2๐œ‹

0

๐‘“(๐›พ(๐‘ก))๐‘‘๐‘ก

โ‰ค 1

2๐œ‹

โˆซ 2๐œ‹

0

|๐‘“(๐›พ(๐‘ก))| ๐‘‘๐‘ก โ‰ค 1

2๐œ‹max๐œ•๐ถ

|๐‘“ |โˆซ 2๐œ‹

0

๐‘‘๐‘ก = max๐œ•๐ถ

|๐‘“ |.

Lema 4.3.2. Neka je ๐‘ƒ (๐‘ง) = ๐‘Ž๐‘›๐‘ง๐‘›+ ยท ยท ยท+๐‘Ž1๐‘ง+๐‘Ž0 kompleksni polinom stupnja ๐‘› โ‰ฅ 1.

Tada postoji ๐‘… โ‰ฅ 1 takav da za sve ๐‘ง โˆˆ C , |๐‘ง| โ‰ฅ ๐‘… vrijedi

1

2|๐‘Ž๐‘›||๐‘ง๐‘›| โ‰ค |๐‘ƒ (๐‘ง)| โ‰ค 2|๐‘Ž๐‘›||๐‘ง|๐‘›.

Posebno, lim|๐‘ง|โ†’โˆž |๐‘ƒ (๐‘ง)| = +โˆž.

Page 38: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 33

Dokaz. Neka je ๐‘…(๐‘ง) = |๐‘Ž0| + |๐‘Ž1||๐‘ง| + ยท ยท ยท + |๐‘Ž๐‘›โˆ’1||๐‘ง|๐‘›โˆ’1. Koristimo nejednakosttrokuta:

|๐‘ฅ| โˆ’ |๐‘ฆ| โ‰ค |๐‘ฅ + ๐‘ฆ| โ‰ค |๐‘ฅ| + |๐‘ฆ|, โˆ€๐‘ฅ, ๐‘ฆ โˆˆ C.

Tada za ๐‘ฅ = ๐‘Ž๐‘›๐‘ง๐‘› i ๐‘ฆ = ๐‘Ž๐‘›โˆ’1๐‘ง

๐‘›โˆ’1 + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0 slijedi:

|๐‘Ž๐‘›๐‘ง๐‘›| โˆ’ |๐‘Ž๐‘›โˆ’1๐‘ง๐‘›โˆ’1| โˆ’ ยท ยท ยท โˆ’ |๐‘Ž0| โ‰ค |๐‘Ž๐‘›๐‘ง๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0|

โ‰ค |๐‘Ž๐‘›๐‘ง๐‘›| + |๐‘Ž๐‘›โˆ’1๐‘ง๐‘›โˆ’1| + ยท ยท ยท + |๐‘Ž0|.

Dakle,|๐‘Ž๐‘›||๐‘ง|๐‘› โˆ’๐‘…(๐‘ง) โ‰ค |๐‘ƒ (๐‘ง)| โ‰ค |๐‘Ž๐‘›||๐‘ง|๐‘› + ๐‘…(๐‘ง).

Ako je |๐‘ง| โ‰ฅ 1, tada vrijedi |๐‘ง|๐‘– โ‰ค |๐‘ง|๐‘›โˆ’1 za svaki ๐‘– < ๐‘›, i imamo da je ๐‘…(๐‘ง) โ‰คโˆ‘๐‘›โˆ’1๐‘–=0 |๐‘Ž๐‘–||๐‘ง|๐‘›โˆ’1 =: ๐‘˜|๐‘ง|๐‘›โˆ’1.Iz toga za izbor ๐‘… := ๐‘š๐‘Ž๐‘ฅ1, 2๐‘˜|๐‘Ž๐‘›|โˆ’1 slijedi traลพena nejednakost.

Sada moลพemo napraviti dokaz osnovnog teorema algebre.

Dokaz. (Osnovni teorem algebre)Neka je ๐‘ƒ (๐‘ง) = ๐‘Ž๐‘›๐‘ง

๐‘› + ยท ยท ยท + ๐‘Ž1๐‘ง + ๐‘Ž0 kompleksni polinom, ๐‘› โ‰ฅ 1. Pretpostavimoda ๐‘ƒ nema korijen u C. Tada je ๐‘“(๐‘ง) = 1

๐‘ƒ (๐‘ง)holomorfna na C pa moลพemo primjeniti

nejednakost srednje vrijednosti iz leme 4.3.1 te dobivamo izraz

|๐‘“(0)| โ‰ค ๐‘š๐‘Ž๐‘ฅ๐œ•๐ถ๐‘Ÿ |๐‘“(๐‘ง)|

za sve krugove ๐ถ๐‘Ÿ = ๐พ(0, ๐‘Ÿ), ๐‘Ÿ > 0. Iz leme 4.3.2 znamo da je lim|๐‘ง|โ†’โˆž |๐‘ƒ (๐‘ง)| = +โˆžte iz toga slijedi ๐‘™๐‘–๐‘š๐‘งโ†’โˆž|๐‘“(๐‘ง)| = 0 i ๐‘“(0) = 0 . To vodi do kontradikcije jer ๐‘“(0) =1

๐‘ƒ (0)= 0.

Osnovni teorem algebre moลพe se dokazati i koristeฤ‡i princip maksimuma modula.U nastavku prvo navodimo iskaz i dokaz principa maksimuma modula za krug. Nakontoga dokazujemo teorem maksimuma modula te na kraju dajemo dokaz osnovnogteorema algebre.

Teorem 4.3.3. (Princip maksimuma modula za krug) Neka je ๐‘“ holomorfna na๐พ(๐‘ง0, ๐‘…), ๐‘… > 0 i neka vrijedi

|๐‘“(๐‘ง)| โ‰ค |๐‘“(๐‘ง0)|, โˆ€๐‘ง โˆˆ ๐พ(๐‘ง0, ๐‘…).

Tada je ๐‘“ konstanta.

Page 39: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 34

Dokaz. Za fiksiran 0 < ๐‘Ÿ < ๐‘… iz leme 4.3.1 i pretpostavke teorema slijedi da je

|๐‘“(๐‘ง0)| โ‰ค1

2๐œ‹

โˆซ 2๐œ‹

0

|๐‘“(๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก)|๐‘‘๐‘ก โ‰ค 1

2๐œ‹

โˆซ 2๐œ‹

0

|๐‘“(๐‘ง0)|๐‘‘๐‘ก = |๐‘“(๐‘ง0)|.

Dakle, vrijedi โˆซ 2๐œ‹

0

(|๐‘“(๐‘ง0)| โˆ’ |๐‘“(๐‘ง0 + ๐‘Ÿ๐‘’๐‘–๐‘ก)|)๐‘‘๐‘ก = 0,

iz ฤega zbog neprekidnosti i nenegativnosti funkcije pod integralom zakljuฤujemo daje ona identiฤki jednaka nuli, tj. |๐‘“ | je konstanta.Neka je ๐‘“ = ๐‘ข + ๐‘–๐‘ฃ. Tada je |๐‘“ | = |๐‘ข + ๐‘–๐‘ฃ| =

โˆš๐‘ข2 + ๐‘ฃ2 te je

๐‘ข2 + ๐‘ฃ2 = ๐‘˜, (4.2)

gdje je ๐‘˜ konstanta. Sad ฤ‡emo prvo derivirati 4.2 po ๐‘ฅ a zatim po ๐‘ฆ. Dobivamo

2๐‘ข๐œ•๐‘ข

๐œ•๐‘ฅ+ 2๐‘ฃ

๐œ•๐‘ฃ

๐œ•๐‘ฅ= 0,

2๐‘ข๐œ•๐‘ข

๐œ•๐‘ฆ+ 2๐‘ฃ

๐œ•๐‘ฃ

๐œ•๐‘ฆ= 0.

(4.3)

Primjenimo Cauchy-Riemannove jednadลพbe te imamo

๐‘ข๐œ•๐‘ข

๐œ•๐‘ฅโˆ’ ๐‘ฃ

๐œ•๐‘ข

๐œ•๐‘ฆ= 0,

๐‘ข๐œ•๐‘ข

๐œ•๐‘ฆ+ ๐‘ฃ

๐œ•๐‘ข

๐œ•๐‘ฅ= 0.

Pomnoลพimo prvu jednadลพbu s ๐‘ข i drugu s ๐‘ฃ, dobivene rezultate zbrojimo i dobivamo(๐‘ข2 + ๐‘ฃ2)๐œ•๐‘ข

๐œ•๐‘ฅ= 0, odnosno ๐‘˜ ๐œ•๐‘ข

๐œ•๐‘ฅ= 0. Ako je ๐‘˜ = 0, tvrdnja odmah slijedi. Neka je

๐‘˜ = 0. Tada je ๐œ•๐‘ข๐œ•๐‘ฅ

= 0 i iz Cauchy-Riemannovih jednadลพbi slijedi da je ๐œ•๐‘ฃ๐œ•๐‘ฆ

= 0. Sadaiz jednadลพbi 4.3 dobivamo

๐‘ฃ๐œ•๐‘ฃ

๐œ•๐‘ฅ= 0,

๐‘ข๐œ•๐‘ข

๐œ•๐‘ฆ= 0.

Znamo da je ๐‘˜ = 0 pa ๐‘ข i ๐‘ฃ ne mogu istovremeno biti jednaki nuli. Ako je ๐‘ฃ = 0,onda je ๐œ•๐‘ฃ

๐œ•๐‘ฅ= 0 a time je i ๐œ•๐‘ข

๐œ•๐‘ฆ= 0. Analogno slijedi ako je ๐‘ข = 0. Dakle, ๐‘ข i ๐‘ฃ su

konstantne pa je ๐‘“ konstantna.

Sljedeฤ‡i teorem bit ฤ‡e nam potreban u dokazu teorema maksimuma modula, dokazse moลพe naฤ‡i u [5].

Page 40: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 35

Teorem 4.3.4. (Teorem o jedinstvenosti holomorfne funkcije) Neka je skup ฮฉ โŠ† Cotvoren i povezan i neka su ๐‘“ i ๐‘” holomorfne na ฮฉ. Ako se ๐‘“ i ๐‘” podudaraju na nekomskupu koji ima gomiliลกte u ฮฉ, onda je ๐‘“ = ๐‘” na ฮฉ.

Teorem 4.3.5. (Teorem maksimuma modula) Neka je ๐‘“ nekonstantna i holomorfnana ograniฤenom podruฤju ๐ท i neprekidna na ๐œ•๐ท. Tada |๐‘“ | ne postiลพe maksimum uunutraลกnjoj toฤki od ๐ท, tj. maksimum se postiลพe na rubu od ๐ท.

Dokaz. Znamo da je zatvoren i ograniฤen skup ๐ท = ๐ท โˆช ๐œ•๐ท kompaktan. Funkcija|๐‘“ | je neprekidna na ๐ท pa prema teoremu 2.2.2 postiลพe maksimum na ๐ท. Nazovimotoฤku u kojoj poprima maksimum ๐‘ง0.

Pretpostavimo da ๐‘ง0 /โˆˆ ๐œ•๐ท. Skup ๐ท je otvoren te oko ๐‘ง0 moลพemo opisati krugradijusa ๐‘… > 0 koji ฤ‡e biti sadrลพan u ๐ท. Sada po principu maksimalnog modula zakrug imamo da |๐‘“ | postiลพe maksimum na ๐พ(๐‘ง0, ๐‘…) u toฤki ๐‘ง0 pa je ๐‘“ konstanta natom krugu. Nadalje, ๐‘“ je tada po teoremu 4.3.4 konstantna na cijelom ๐ท ลกto namdaje kontradikciju. Dakle, maksimum je na rubu.

Korolar 4.3.6. (Princip minimuma) Neka je ๐‘“ holomorfna na podruฤju ฮฉ i neka pos-toji toฤka ๐‘ง0 โˆˆ ฮฉ koja je toฤka lokalnog minimuma za |๐‘“ |, tj. postoji ๐ถ๐œ– = ๐พ(๐‘ง0, ๐œ–) โŠ† ฮฉtako da vrijedi |๐‘“(๐‘ง0)| โ‰ค |๐‘“(๐‘ง)| za sve ๐‘ง โˆˆ ๐ถ๐œ–. Tada je ili ๐‘“(๐‘ง0) = 0 ili je ๐‘“ konstantana ฮฉ.

Dokaz. Pretpostavimo da je ๐‘“ = 0. Pogledajmo funkciju ๐‘” := 1๐‘“. Funkcija ๐‘“ ima

lokalni minimum u toฤki ๐‘ง0 pa funkcija ๐‘” ima lokalni maksimum u ๐‘ง0. Sada iz teoremamaksimalnog modula za krug slijedi da je ๐‘“ konstantna.

Sada moลพemo primjeniti sve gore navedene teoreme i dati posljednji dokaz osnov-nog teorema algebre.

Dokaz. (Osnovni teorem algebre)Neka je ๐‘ƒ (๐‘ง) = ๐‘Ž๐‘›๐‘ง

๐‘› + ยท ยท ยท+๐‘Ž1๐‘ง +๐‘Ž0 kompleksni polinom stupnja ๐‘› โ‰ฅ 1. Za svaki๐‘Ÿ > 0, neka je ๐ถ๐‘Ÿ = ๐พ(0, ๐‘Ÿ). Svaki ๐ถ๐‘Ÿ je kompaktan skup pa zbog neprekidnosti od๐‘ƒ slijedi da |๐‘ƒ | ima minimum u nekoj toฤki ๐‘ง๐‘š โˆˆ ๐ถ๐‘š. S obzirom na to da vrijedilim|๐‘ง|โ†’โˆž |๐‘ƒ (๐‘ง)| = +โˆž, moลพemo odabrati dovoljno velik ๐‘… tako da toฤka minimuma๐‘ง๐‘… bude u interioru od ๐ถ๐‘…. Kako bi to vidjeli, neka je ๐‘  > 0 takav da je |๐‘ƒ (๐‘ง)| >|๐‘ƒ (0)| = |๐‘Ž0| za |๐‘ง| > ๐‘ . Neka je ๐‘… > ๐‘ . Tada za svaku toฤku na rubu od ๐ถ๐‘… vrijedi|๐‘ƒ (๐‘ง)| > |๐‘ƒ (0)| pa toฤka minimuma ๐‘ง๐‘… mora biti u interioru od ๐ถ๐‘….

Oko ๐‘ง๐‘… moลพemo opisati otvorenu kuglu radijusa ๐œ–, ๐ถ๐œ– = ๐พ(๐‘ง๐‘…, ๐œ–), ๐ถ๐œ– โŠ‚ ๐ถ๐‘…. No,๐‘ƒ (๐‘ง) je holomorfna na ๐ถ๐œ– i vrijedi |๐‘ƒ (๐‘ง)| โ‰ฅ |๐‘ƒ (๐‘ง๐‘…)| za sve ๐‘ง โˆˆ ๐ถ๐œ–. Iz korolara 4.3.6imamo da je ili ๐‘ƒ (๐‘ง๐‘…) = 0 ili je ๐‘ƒ lokalno konstantan na ๐ถ๐œ–. Kada bi ๐‘ƒ bio lokalno

Page 41: Osnovni teorem algebre - unizg.hr

POGLAVLJE 4. DOKAZI POMOฤ†U KOMPLEKSNE ANALIZE 36

konstantan na ๐ถ๐œ–, ๐‘ƒ (๐‘ง) = ๐‘, โˆ€๐‘ง โˆˆ C๐œ–, tada bi polinom ๐‘”(๐‘ง) = ๐‘ƒ (๐‘ง) โˆ’ ๐‘ imao besko-naฤno mnogo korijena. To nije moguฤ‡e jer polinom nad nekim poljem moลพe imatisamo konaฤan broj korijena. Dakle, ๐‘ƒ (๐‘ง๐‘…) = 0.

Page 42: Osnovni teorem algebre - unizg.hr

Bibliografija

[1] B. Fine i G. Rosenberger, The fundamental theorem of algebra, Springer-Verlag,New York, 1997.

[2] J.J. Oโ€™Connor i E.F. Robertson, The fundamental theorem of alge-bra, 1996, http://www-history.mcs.st-andrews.ac.uk/HistTopics/Fund_theorem_of_algebra.html.

[3] B. Pavkoviฤ‡ i D. Veljan, Elementarna matematika 1, Tehniฤka knjiga, Zagreb,1992.

[4] I. Stewart, Galois Theory, Chapman and Hall, London, 1973.

[5] ล . Ungar, Matematiฤka analiza 4, skripta, 2001, http://web.math.pmf.unizg.hr/~ungar/NASTAVA/MA/Analiza4.pdf.

[6] ล . Ungar, Matematiฤka analiza 3, PMF-Matematiฤki odjel, Zagreb, 2002, http://web.math.pmf.unizg.hr/~ungar/NASTAVA/MA/Analiza3.pdf.

[7] ล . Ungar, Matematiฤka analiza u R๐‘›, PMF-Matematiฤki odjel, Zagreb, 2005.

37

Page 43: Osnovni teorem algebre - unizg.hr

Saลพetak

U ovom diplomskom radu obradili smo nekoliko dokaza osnovnog teorema algebre.Na samom poฤetku rada naveli smo povijesni pregled ovog teorema. U drugom smopoglavlju iskoristili svojstva kompleksnih polinoma te dali prvi dokaz. U sljedeฤ‡empoglavlju smo interpretirali kompleksne polinome kao algebarske objekte. Na tajsmo naฤin mogli dokazati teorem primijenivลกi svojstva polja i njihovih proลกirenja.Posljednje poglavlje posveฤ‡eno je kompleksnoj analizi. Pokazali smo da se osnovniteorem algebre moลพe dokazati primjenom Liouvilleova teorema. Na kraju rada izloลพilismo joลก dva dokaza koji se temelje na teoriji kompleksne analize. U prvom smokoristili nejednakost srednje vrijednosti, a u drugom princip maksimuma modula.

Page 44: Osnovni teorem algebre - unizg.hr

Summary

In this graduate thesis we prove the fundamental theorem of algebra in several ways.In the first chapter we give a the historical overview of this theorem. In the secondchapter we outline the first proof using properties of complex polynomials. In the nextchapter, we interpret complex polynomials as algebraic objects. In this way we areable to present the second proof by applying field and extension field properties. Thefinal chapter is dedicated to complex analysis. We demostrate that the fundamentaltheorem of algebra can be proved by using Liouvilleโ€™s theorem. At the end of thework, we give two additional proofs rooted in complex analysis. The first one usesthe mean value inequality and the second one is based on the maximum modulusprinciple.

Page 45: Osnovni teorem algebre - unizg.hr

ลฝivotopis

Roฤ‘ena sam 23. oลพujka 1991. godine u Varaลพdinu. Pohaฤ‘ala sam VI. osnovnuลกkolu u Varaลพdinu. Tijekom osnovnoลกkolskog i srednjoลกkolskog obrazovanja uฤila samengleski, njemaฤki i francuski jezik. Nakon zavrลกetka osnovne ลกkole, 2005. godineupisujem opฤ‡i smjer Prve gimnazije Varaลพdin. Maturirala sam 2009. godine te tadana Prirodoslovno-matematiฤkom fakultetu u Zagrebu upisujem preddiplomski studijmatematike. Godine 2012. zavrลกila sam preddiplomski studij te upisujem Diplomskisveuฤiliลกni studij Financijske i poslovne matematike.