kvadratne forme i krivulje drugog reda

45
Kvadratne forme i krivulje drugog reda Petrinjak, Petra Master's thesis / Diplomski rad 2019 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:881813 Rights / Prava: In copyright Download date / Datum preuzimanja: 2021-11-03 Repository / Repozitorij: Repository of Faculty of Science - University of Zagreb

Upload: others

Post on 03-Nov-2021

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Kvadratne forme i krivulje drugog reda

Kvadratne forme i krivulje drugog reda

Petrinjak, Petra

Master's thesis / Diplomski rad

2019

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:881813

Rights / Prava: In copyright

Download date / Datum preuzimanja: 2021-11-03

Repository / Repozitorij:

Repository of Faculty of Science - University of Zagreb

Page 2: Kvadratne forme i krivulje drugog reda

Sveuฤiliลกte u Zagrebu

Prirodoslovno-matematiฤki fakultet

Matematiฤki odsjek

Petra Petrinjak

KVADRATNE FORME I KRIVULJE DRUGOG REDA

Diplomski rad

Voditelj rada:

Prof. dr. sc. TOMISLAV ล IKIฤ†

Zagreb, SRPANJ, 2019.

Page 3: Kvadratne forme i krivulje drugog reda

Ovaj diplomski rad obranjen je dana _____________ pred nastavniฤkim povjerenstvom u

sastavu:

1. __________________________, predsjednik

2. __________________________, ฤlan

3. __________________________, ฤlan

Povjerenstvo je rad ocijenilo ocjenom _____________________ .

Potpisi ฤlanova povjerenstva:

1. __________________________

2. __________________________

3. __________________________

Page 4: Kvadratne forme i krivulje drugog reda

Hvala mom mentoru na svom trudu, strpljivosti i vremenu koje mi je posvetio i kroz koji me

vodio piลกuฤ‡i ovaj rad.

Ovaj diplomski rad posveฤ‡ujem svojim roditeljima bez kojih kojih danas ne bih bila tu gdje

jesam, s diplomom u ruci. Veliko vam hvala za sve, bili ste moj vjetar u leฤ‘a kada mi je bilo

najpotrebnije, strpljivo ste me vodili iz godine u godinu imajuฤ‡i u mene potpuno povjerenje

koje sam, nadam se, opravdala ovom diplomom. Stoga je ovaj rad i vaลก rad. Uz njih, nimalo

manje vaลพno โ€žhvalaโ€œ mojem Filipu koji je sa mnom proลพivljavao svaki kolokvij, svako

ฤekanje rezultata i koji je bio uz mene u najgorim i naljepลกim trenucima studiranja. Koji je

trpio sve moje ispade i ispunjavao obaveze umjesto mene kako bih mogla uฤiti i biti tu gdje

sam danas. Bez tebe sve ovo nebi imalo smisla. I zadnje hvala mojim prijateljima, znaju oni

koji su, bez vas studentski dani nebi bili tako lako podnoลกljivi, uvijek ste me gurali naprijed, vi

ste prijatelji za cijeli ลพivot.

Najdraลพi moji, mogu vam samo poruฤiti:

โ€žIf the sun refused to shine

I would still be loving you!โ€œ

Page 5: Kvadratne forme i krivulje drugog reda

SADRลฝAJ

1. UVOD ................................................................................................................................. 1

2. KONIKE KAO PRESJEK RAVNINE I STOล CA ............................................................ 2

3. KRIVULJE DRUGOG REDA ........................................................................................... 5

3.1. Kruลพnica ........................................................................................................................... 5

3.1.1. Srediลกnja jednadลพba kruลพnice .................................................................................... 6

3.1.2. Jednadลพba translatirane kruลพnice .............................................................................. 7

3.2. Elipsa ............................................................................................................................... 7

3.2.1. Srediลกnja jednadลพba elipse ........................................................................................ 8

3.2.2. Jednadลพba translatirane elipse ................................................................................. 11

3.3. Hiperbola ....................................................................................................................... 11

3.3.1. Srediลกnja jednadลพba hiperbole ................................................................................ 13

3.3.2. Jednadลพba translatirane hiperbole ........................................................................... 15

3.4. Parabola ......................................................................................................................... 15

3.4.1. Srediลกnja jednadลพba parabole .................................................................................. 16

3.4.2. Jednadลพba translatirane parabole ............................................................................ 17

3.5. Vaลพna napomena ............................................................................................................ 17

4. EKVIVALENCIJA KONIKA I KRIVULJA DRUGOG REDA ..................................... 18

5. KVADRATNE FORME ................................................................................................... 22

6. DIJAGONALIZACIJA SIMETRIฤŒNE MATRICE I KANONSKI OBLIK

KVADRATNE FORME .......................................................................................................... 26

7. KLASIFIKACIJA KRIVULJA DRUGOG REDA .......................................................... 30

Bibliografija ............................................................................................................................. 37

Page 6: Kvadratne forme i krivulje drugog reda

1

1. UVOD

Krivulje drugog reda pripadaju u jedne od prvih prouฤavanih krivulja, a njihov pronalazak

seลพe u 4.stoljeฤ‡e prije Krista te se pripisuje Menehmu. Apolonije iz Perge prvi puta prikazuje

elipsu, hiperbolu i parabolu kao ravninske presjeke kruลพnog stoลกca ฤiji se plaลกt prostire na

obje strane od vrha. On je uveo i ime konika kakve danas poznajemo. Ovaj rad podijeljen je

na ลกest poglavlja.

U prvom poglavlju opisat ฤ‡u i kroz animaciju u GeoGebri prikazati kako nastaju kruลพnica,

elipsa, hiperbola i parabola kao presjek ravnine i stoลกca.

Potom ฤ‡u u drugom poglavlju izreฤ‡i njihove definicije kao krivulje drugog reda kao i napisati

srediลกnje i translatirane jednadลพbe krivulja.

U treฤ‡em poglavlju povezat ฤ‡u poglavlje jedan i dva, odnosno pokazati ekvivalenciju izmeฤ‘u

ta dva pristupa.

U ฤetvrtom poglavlju uvesti ฤ‡u kvadratne forme, povezati ih sa simetriฤnim matricama te ฤ‡e

se u ostatku rada podrazumijevati da je matrica simetriฤna. Izreฤ‡i ฤ‡u kako predznak utjeฤe na

kvadratnu formu te kakav je to kanonski oblik kvadratne forme. Temeljni teorem o

klasifikaciji krivulja drugog reda bit ฤ‡e zasnovan na odreฤ‘ivanju definitnosti, pozitivne ili

negativne.

U petom poglavlju povezat ฤ‡emo simetriฤnu matricu s dijagonalnom te dokazati da su sliฤne,

a potom na primjeru pokazati kako kvadratnu formu zapisati u kanonskom obliku. U

poglavljima ฤetiri i pet zapravo smo pokazali da se svaka simetriฤna kvadratna forma moลพe

dijagonalizirati, a u posljednjem, ลกestom poglavlju, pokazat ฤ‡u kako pomoฤ‡u svojstvenih

vrijednosti moลพemo klasificirati krivulje drugog reda te potkrijepiti primjerom.

Page 7: Kvadratne forme i krivulje drugog reda

2

2. KONIKE KAO PRESJEK RAVNINE I STOล CA

Kruลพnica, elipsa, hiperbola i parabola spadaju u jedne od prvih prouฤavanih krivulja, a

prouฤavali su ih joลก stari Grci. To su bili Platonovi uฤenici, a prva krivulja o kojoj su pisali

bila je kruลพnica, potom o elipsi, hiperboli i paraboli. Pronalazak konika seลพe u 4.stoljeฤ‡e prije

Krista, a pripisuje se Menehmu koji je pripadao Platonovoj akademiji u Ateni. Konikama se

bavio i Euklid, ali njegova djela su izgubljena. Doฤ‘emo li potom u 3.stoljeฤ‡e prije Krista, u

djelu โ€žKonikeโ€œ, jedan od najveฤ‡ih grฤkih matematiฤara starog doba, Apolonije iz Perge, prvi

puta prikazuje elipsu, hiperbolu i parabolu kao ravninske presjeke kruลพnog stoลกca ฤiji se plaลกt

prostire na obje strane od vrha, bez obzira je li stoลพac uspravan ili kos, ลกiljast ili tup. Na taj je

naฤin dobio elipsu, hiperbolu ili parabolu, ovisno o tome sijeฤe li ravnina samo jedan plaลกt

stoลกca, oba plaลกta ili je paralelna s jednom izvodnicom. Apolonije je intenzivno prouฤavao

krivulje drugog reda ลกto nam govori i ฤinjenica da je o njima napisao osam knjiga. Uveo je i

imena konika kakve danas poznajemo i koristimo: elipsa, parabola i hiperbola. Odredio je i

njihove jednadลพbe. U danaลกnjem zapisu imamo:

๐‘ฆ2 = 2๐‘๐‘ฅ ยฑ๐‘

๐‘Ž๐‘ฅ2

gdje elipsi odgovara znak minus, hiperboli znak plus, a u paraboli je taj ฤlan jednak nuli.

Odatle dolaze i njihovi nazivi: elleipsis = manjak, hyperbole = viลกak i parabole = jednakost.

Tek od 15.stoljeฤ‡a, odnosno od renesanse, ponovno oลพivljava interes za konike. Iz tog

vremena vaลพno je prvo originalno djelo o konikama โ€žLibellus super viginti duobus Elementis

conicsโ€œ autora Johannesa Wernera. Pojam fokusa uveo je Kepler 1604.godine. Znao je da se

pramen zraka u smjeru osi reflektira od parabole i prolazi njezinim fokusom. Galilei je

ustanovio da se slobodno baฤeno tijelo giba po paraboli, a Kepler je formulirao svoje zakone

o gibanju planeta po elipsama u ฤijem jednom od fokusa je Sunce.

Algebarske ravninske krivulje drugog reda nastale presjekom ravnine i kruลพne dvostruke

stoลพaste plohe nazivamo krivuljom drugog reda. U iduฤ‡im poglavljima ovog rada objasnit

ฤ‡emo te time i opravdati nazivanje konika krivuljama drugog reda. Stoga, moลพemo reฤ‡i da se

radi o sinonimima pa Krivulje drugog reda joลก nazivamo i konikama i ฤunjosjeฤnicama. U

njih spadaju kruลพnica, elipsa, hiperbola i parabola, ali i njihove degeneracije: dva realna

ukrลกtena pravca, jedan realni dvostruki pravac i dva konjugirano imaginarna pravca s realnim

sjeciลกtem u konaฤnosti. Nas zanimaju sluฤajevi kada ravnina ne prolazi vrhom stoลกca. Tada

Page 8: Kvadratne forme i krivulje drugog reda

3

nastaju takozvane prave (neraspadnute) konike. Tip tog presjeka ovisi o broju njegovih

realnih beskonaฤno dalekih toฤaka. Ako je ravnina paralelna s bazom stoลกca, nastaje kruลพnica.

Ako je ravnina presjeka paralelna s osnovicom stoลกca, tada te dvije izvodnice probadaju

ravninu u dvije realne i razliฤite beskonaฤno daleke toฤke i nastaje elipsa. Ako je ravnina

paralelna s jednom izvodnicom, izvodnica probada ravninu u jednoj realnoj, beskonaฤno

dalekoj toฤki i krivulja koja nastaje je hiperbola. Ako ravnina nije paralelna ni s jednom

njegovom izvodnicom, tada ravnina i stoลพac nemaju zajedniฤkih realnih beskonaฤno dalekih

toฤaka te nastaje elipsa.

Dakle, ravnina koja ne prolazi vrhom stoลกca sijeฤe taj stoลพac:

1. Po elipsi โ€“ nije paralelna ni s jednom njegovom izvodnicom

2. Po hiperboli โ€“ paralelna je s dvije njegove izvodnice

3. Po paraboli โ€“ paralelna je s jednom njegovom izvodnicom

4. Po kruลพnici โ€“ paralelna je s bazom stoลกca.

Kroz animaciju u GeoGebri pokazat ฤ‡u kako nastaje svaka od krivulja. Na slici jedan, u

sluฤaju kada je ravnina paralelna s bazom dvostrukog stoลกca, kao presjek nastaje kruลพnica.

Slika 2.1 Kruลพnica kao presjek dvostrukog stoลกca i ravnine

Na slici dva vidimo kako presjekom dvostrukog stoลกca i ravnine, u sluฤaju kada je ravnina

paralelna s dvije njegove izvodnice, nastaje hiperbola.

Page 9: Kvadratne forme i krivulje drugog reda

4

Slika 2.2. Hiperbola kao presjek dvostrukog stoลกca i ravnine

Na slici tri, u sluฤaju kada ravnina nije paralelna niti s jednom njegovom izvodnicom,

prikazana krivulja koja nastaje je elipsa, a na slici ฤetiri kada je ravnina paralelna s jednom

njegovom izvodnicom kao presjek dobivamo parabolu.

Slika 2.3. Elipsa kao presjek dvostrukog stoลกca i ravnine

Page 10: Kvadratne forme i krivulje drugog reda

5

Slika 2.4. Parabola kao presjek dvostrukog stoลกca i ravnine

U nastavku ovog rada opisat ฤ‡emo konike kao skup nultoฤaka polinoma dviju varijabli drugog

stupnja tj. kao krivulje drugog reda.

3. KRIVULJE DRUGOG REDA

U ovom poglavlju iskazat ฤ‡emo definicije konika kao krivulje drugog reda te dati pregled

pripadnih srediลกnjih i translatiranih jednadลพbi, a potom se vratiti na krivulje kao presjek

ravnine i stoลกca te povezati te dvije definicije krivulja.

3.1. Kruลพnica

Definicija 3.1.: Kruลพnica je skup toฤaka u ravnini M jednako udaljenih od zadane ฤvrste

toฤke.

ฤŒvrstu toฤku nazivamo srediลกte kruลพnice i oznaฤavamo sa ๐‘†, a udaljenost nazivamo

polumjerom kruลพnice i oznaฤavamo s ๐‘Ÿ.

Kraฤ‡e zapisano:

๐พ = {๐‘‡ โˆˆ ๐‘€: ๐‘‘(๐‘†, ๐‘‡) = ๐‘Ÿ}

Page 11: Kvadratne forme i krivulje drugog reda

6

Slika 3.1. Kruลพnica sa srediลกtem ๐‘† i polumjerom ๐‘Ÿ

3.1.1. Srediลกnja jednadลพba kruลพnice

Neka je ๐‘˜(๐‘†, ๐‘Ÿ) kruลพnica sa srediลกtem ๐‘† i polumjerom ๐‘Ÿ. Srediลกte kruลพnice smjestimo u

ishodiลกte pravokutnog koordinatnog sustava te neka je ๐‘‡(๐‘ฅ, ๐‘ฆ) bilo koja toฤka na kruลพnici. Za

svaku toฤku ๐‘‡ na kruลพnici vrijedi da je njezina udaljenost od srediลกta kruลพnice jednaka duljini

polumjera ๐‘Ÿ, odnosno ๐‘‘(๐‘†, ๐‘‡) = ๐‘Ÿ.

Slika 3.2. Kruลพnica sa srediลกtem ๐‘† i polumjerom ๐‘Ÿ

Svaki poloลพaj toฤke ๐‘‡ na kruลพnici moลพemo izraฤunati raฤunajuฤ‡i udaljenost od srediลกta,

odnosno za svaki poloลพaj toฤke ๐‘‡ vrijedi: (๐‘ฅ โˆ’ 0)2 + (๐‘ฆ โˆ’ 0)2 = ๐‘Ÿ2, tj.:

๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ÿ2

Dobivena jednadลพba naziva se srediลกnja jednadลพba kruลพnice.

Page 12: Kvadratne forme i krivulje drugog reda

7

3.1.2. Jednadลพba translatirane kruลพnice

Translatiramo li srediลกte kruลพnice, odnosno toฤku ๐‘†(0,0), duลพ ๐‘‹ osi za duลพinu ๐‘ te duลพ osi ๐‘Œ

za duลพinu ๐‘ž, dobije se jednadลพba kruลพnice u novom koordinatnom sustavu ๐‘‹โ€ฒ๐‘†๐‘Œโ€ฒ (Slika 3.3)

๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ÿ2,

a s obzirom na koordinatni sustav XSY jednadลพba kruลพnice je oblika:

(๐‘ฅ โˆ’ ๐‘)2 + (๐‘ฆ โˆ’ ๐‘ž)2 = ๐‘Ÿ2

Slika 3.3. Translatirana kruลพnica sa srediลกtem u toฤki ๐‘†(๐‘, ๐‘ž)

3.2. Elipsa

Definicija 3.2.: Neka su ๐น1 i ๐น2dvije ฤvrste meฤ‘usobno razliฤite toฤke ravnine ฯ€ i neka je

๐‘‘(๐น1, ๐น2) = 2๐‘’, te neka je ๐‘Ž > 0 zadani realni broj gdje je ๐‘Ž > ๐‘’. Skup svih toฤaka ravnine za

koje je zbroj udaljenosti od toฤaka ๐น1 i ๐น2 konstantan i jednak 2๐‘Ž nazivamo elipsom.

Kraฤ‡e zapisano,

๐ธ = {๐‘‡ โˆˆ ๐œ‹: ๐‘‘(๐‘‡, ๐น1) + ๐‘‘(๐‘‡, ๐น2) = 2๐‘Ž }.

Page 13: Kvadratne forme i krivulje drugog reda

8

Toฤke ๐น1 i ๐น2 nazivamo ลพariลกtima ili fokusima elipse, a duลพine ๐‘‡๐น1 i ๐‘‡๐น2

radijus vektorima

toฤke T. Ako dopustimo da su toฤke ๐น1 i ๐น2 jednake, slijedi da je ๐‘’ = 0, odnosno dobivamo

skup svih toฤaka jednako udaljenih od fiksne toฤke ฤime je odreฤ‘ena kruลพnica. Realni broj e

nazivamo linearnim ekscentricitetom. Poloviลกte O duลพine ๐น1๐น2 nazivamo srediลกtem elipse.

Pravac ๐น1๐น2sijeฤe elipsu u dvjema toฤka A i B. Simetrala duลพine ๐น1๐น2 sijeฤe elipsu u toฤkama

C i D. Te ฤetiri toฤke, A, B, C i D nazivamo tjemenima elipse, duลพinu ๐ด๐ต velikom

(glavnom) osi, a duลพinu ๐ถ๐ท malom (sporednom) osi. Duลพine ๐‘‚๐ด i ๐‘‚๐ต nazivamo velikim

poluosima, a duลพine ๐‘‚๐ถ i ๐‘‚๐ท malim poluosima. Duljinu velike poluosi oznaฤavamo s ๐‘Ž, a

duljinu malo poluosi s ๐‘.

Slika 3.4. Elipsa sa ลพariลกtima ๐น1 i ๐น2

3.2.1. Srediลกnja jednadลพba elipse

Neka su ๐น1 i ๐น2dvije toฤke smjeลกtene na x os u pravokutnom koordinatnom sustavu tako da je

poloviลกte O duลพine ๐น1๐น2 u ishodiลกtu koordinatnog sustava ( Slika 3.2.). Koordinate toฤaka F1 i

F2 tada su: ๐น1(โˆ’๐‘’, 0), ๐น2(๐‘’, 0) , gdje je ๐‘’ broj kojeg nazivamo linearni ekscentricitet kao ลกto

sam navela ranije u tekstu. Neka je ๐‘‡(๐‘ฅ, ๐‘ฆ) bilo koja toฤka na elipsi, oznaฤimo s ๐‘Ÿ1 = |๐น1T|,

๐‘Ÿ2 = |๐น2T| te ๐‘Ž = |๐ด๐‘‚| = |๐ต๐‘‚|.

Page 14: Kvadratne forme i krivulje drugog reda

9

Slika 3.5. Elipsa sa srediลกtem ๐‘‚ i fokusima ๐น1 i ๐น2

Iz formule za udaljenost dobivamo:

๐‘Ÿ1 = โˆš(๐‘ฅ โˆ’ (โˆ’๐‘’))2 + (๐‘ฆ โˆ’ 0)2 = โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2, analognim naฤinom dobijemo da je

๐‘Ÿ2 = โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2. Iz definicije elipse znamo da je ๐‘Ÿ1 + ๐‘Ÿ2 = 2๐‘Ž, odnosno:

โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 + โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 = 2๐‘Ž (3.1)

Pomnoลพimo jednadลพbu s โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 kako bismo se rijeลกili korijena

primjenom formule za razliku kvadrata. Slijedi:

(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’((๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2) = 2๐‘Ž(โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2)

โ†” ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 โˆ’ (๐‘ฅ2 โˆ’ 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2) = 2๐‘Žโˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ 2๐‘Žโˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2

โ†” ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 โˆ’ ๐‘ฅ2 + 2๐‘ฅ๐‘’ โˆ’ ๐‘’2 โˆ’ ๐‘ฆ2 = 2๐‘Žโˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ 2๐‘Žโˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2

โ†” 4๐‘ฅ๐‘’ = 2๐‘Žโˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ 2๐‘Žโˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 /: 2๐‘Ž

โ†”2๐‘ฅ๐‘’

๐‘Ž= โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 (3.2)

Zbrajanjem jednakosti (3.1) i (3.2) dobivamo:

2โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 = 2๐‘Ž +2๐‘ฅ๐‘’

๐‘Ž/: 2

Page 15: Kvadratne forme i krivulje drugog reda

10

โ†” โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 = ๐‘Ž +๐‘’

๐‘Ž๐‘ฅ.

Rjeลกavamo se korijena kvadriranjem jednakosti te iz toga slijedi:

(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 = ๐‘Ž2 + 2๐‘Ž๐‘’

๐‘Ž๐‘ฅ + (

๐‘’๐‘ฅ

๐‘Ž)2

โ†” ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 = ๐‘Ž2 + 2๐‘’๐‘ฅ +๐‘’2

๐‘Ž2๐‘ฅ2

โ†” (1 โˆ’๐‘’2

๐‘Ž2)๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ž2 โˆ’ ๐‘’2

โ†” (๐‘Ž2 โˆ’ ๐‘’2

๐‘Ž2)๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ž2 โˆ’ ๐‘’2/: (๐‘Ž2 โˆ’ ๐‘’2)

โ†”๐‘ฅ2

๐‘Ž2 +๐‘ฆ2

๐‘Ž2โˆ’๐‘’2 = 1 (3.3)

Slika 3.6. Elipsa

Zanima nas moลพe li se ๐‘Ž2 โˆ’ ๐‘’2 joลก malo srediti kako bi jednadลพba bila izraลพena samo pomoฤ‡u

brojeva ๐‘Ž i ๐‘, odnosno velike i male poluosi. Na slici 3.2 uoฤimo pravokutni trokut ๐น1๐ต๐ด.

Primjenom Pitagorinog pouฤka slijedi da je ๐‘’2 + ๐‘2 = ๐‘Ž2 iz ฤega slijedi da je ๐‘2 = ๐‘Ž2 โˆ’ ๐‘’2,

gdje je ๐‘Ž > ๐‘’ pa je ๐‘Ž2 > ๐‘’2.

Vratimo li se na naลกu jednakost (3.3) konaฤno slijedi:

๐‘ฅ2

๐‘Ž2+

๐‘ฆ2

๐‘2= 1 .

Page 16: Kvadratne forme i krivulje drugog reda

11

Prethodna jednadลพba naziva se srediลกnja jednadลพba elipse. Jednadลพbu moลพemo zapisati i u

obliku: ๐‘2๐‘ฅ2 + ๐‘Ž2๐‘ฆ2 = ๐‘Ž2๐‘2.

3.2.2. Jednadลพba translatirane elipse

Analogno kako smo imali kod kruลพnice, i kod elipse moลพemo napraviti translaciju duลพ ๐‘‹ osi

za duลพinu ๐‘, a duลพ ๐‘Œ osi za duลพinu ๐‘ž. Takvom translacijom dobiti ฤ‡emo jednadลพbu elipse s

obzirom na novi pravokutni koordinatni sustav ๐‘‹โ€ฒ๐‘‚๐‘Œโ€ฒ oblika:

๐‘ฅโ€ฒ2

๐‘Ž2 +๐‘ฆโ€ฒ2

๐‘2 = 1,

a s obzirom na pravokutni koordinatni sustav ๐‘‹๐‘‚๐‘Œ jednadลพbu oblika:

(๐‘ฅโˆ’๐‘)2

๐‘Ž2+

(๐‘ฆโˆ’๐‘ž)2

๐‘2= 1.

Slika 3.7. Translatirana elipsa sa srediลกtem u toฤki ๐‘‚(๐‘, ๐‘ž)

3.3. Hiperbola

Definicija 3.3.: Neka su ๐น1 i ๐น2 dvije ฤvrste meฤ‘usobno razliฤite toฤke ravnine ฯ€ i neka je

๐‘‘(๐น1, ๐น2) = 2๐‘’ i neka je dan realan broj ๐‘Ž, 0 < ๐‘Ž < ๐‘’. Skup svih toฤaka za koje je apsolutna

vrijednost razlike udaljenosti do danih toฤaka ๐น1 i ๐น2konstantna i jednaka 2๐‘Ž nazivamo

hiperbolom.

Page 17: Kvadratne forme i krivulje drugog reda

12

Kraฤ‡e zapisano:

๐ป = {๐‘‡ โˆˆ ๐œ‹: |๐‘‘(๐‘‡, ๐น1) โˆ’ ๐‘‘(๐‘‡, ๐น2)| = 2๐‘Ž}.

Toฤke ๐น1 i ๐น2 nazivamo ลพariลกtima ili fokusima elipse, a duลพine ๐‘‡๐น1 i ๐‘‡๐น2

radijusvektorima

toฤke T. Broj e nazivamo linearnim ekscentricitetom. Poloviลกte O duลพine ๐น1๐น2 nazivamo

srediลกtem hiperbole. Pravac ๐น1๐น2sijeฤe hiperbolu u dvije toฤke A i B i njih nazivamo

tjemenima hipebole. Duลพinu ๐ด๐ต nazivamo realnom osi, a duลพine ๐‘‚๐ด i ๐‘‚๐ต realnim

poluosima. Presijevanjem kruลพnice ๐‘˜(๐ด, ๐‘’) ili ๐‘˜(๐ต, ๐‘’) sa simetralom realne osi, kao presjek

dobivamo toฤke C i D koje odreฤ‘uju duลพinu ๐ถ๐ท te nju nazivamo imaginarnom osi hiperbole.

Duลพine ๐‘‚๐ถ i ๐‘‚๐ท nazivamo imaginarnim poluosima. Duljinu imaginarne poluosi

oznaฤavamo s ๐‘.

๐œ€ =๐‘’

๐‘Ž naziva se numeriฤki ekscentricitet hiperbole. Iz ๐‘’ > ๐‘Ž slijedi ๐œ€ > 1.

Joลก jedna razlika izmeฤ‘u elipse i hiperbole je ลกto hiperbola ima asimptote. Asimptote su

odreฤ‘ene su kao graniฤni poloลพaj tangente kada se diraliลกte tangente kreฤ‡e prema

beskonaฤnosti po grani hiperbole. Asimptota se moลพe definirati i kao pravac kojemu se graf

sve viลกe pribliลพava kako se toฤka hiperbole kreฤ‡e prema beskonaฤno dalekoj toฤki. Asimptote

hiperbole leลพe na dijagonalama pravokutnika duljina stranica 2๐‘Ž i 2๐‘, a srediลกte mu je u

srediลกtu hiperbole.

Slika 3.8. Hiperbola sa ลพariลกtima ๐น1 i ๐น2

Page 18: Kvadratne forme i krivulje drugog reda

13

3.3.1. Srediลกnja jednadลพba hiperbole

Kako bismo odredili jednadลพbu hiperbole smjestimo pravokutni koordinatni sustav tako da

ลพariลกta ๐น1 i ๐น2 imaju redom koordinate (โˆ’๐‘’, 0) i (๐‘’, 0). Toฤka ๐‘‡(๐‘ฅ, ๐‘ฆ) neka je bilo koja toฤka

na hiperboli, oznaฤimo s ๐‘Ÿ1 = |๐น1T|, ๐‘Ÿ2 = |๐น2T| (Slika 4.2).

Slika 3.9. Hiperbola

Iz definicije hiperbole znamo da vrijedi:

|๐‘Ÿ1 โˆ’ ๐‘Ÿ2| = 2๐‘Ž. (3.4)

Provodimo sliฤan postupak kao i kod elipse:

Iz formule za udaljenost dobivamo:

๐‘Ÿ1 = โˆš(๐‘ฅ โˆ’ (โˆ’๐‘’))2 + (๐‘ฆ โˆ’ 0)2 = โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2, analognim naฤinom dobijemo da je

๐‘Ÿ2 = โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2. Uvrstimo u (3.4) ๐‘Ÿ1 i ๐‘Ÿ2te dobivamo:

|โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2| = 2๐‘Ž

pa po definiciji apsolutne vrijednosti slijedi da je:

โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 = ยฑ2๐‘Ž. (3.5)

Pomnoลพimo jednakost sa โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 kako bismo se rijeลกili korijena

primjenom formule za razliku kvadrata. Slijedi:

(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’((๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2) = ยฑ2๐‘Ž(โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2)

Page 19: Kvadratne forme i krivulje drugog reda

14

โ†” (๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’((๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2) = ยฑ2๐‘Ž(โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2)

โ†” ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 โˆ’ (๐‘ฅ2 โˆ’ 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2) = ยฑ2๐‘Ž(โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’

โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2)

โ†” ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 โˆ’ ๐‘ฅ2 + 2๐‘ฅ๐‘’ โˆ’ ๐‘’2 โˆ’ ๐‘ฆ2 =ยฑ 2๐‘Žโˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ 2๐‘Žโˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2

โ†” 4๐‘ฅ๐‘’ = ยฑ2๐‘Ž(โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2)/: (ยฑ2๐‘Ž)

โ†” ยฑ2๐‘’

๐‘Ž๐‘ฅ = โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 โˆ’ โˆš(๐‘ฅ โˆ’ ๐‘’)2 + ๐‘ฆ2 (3.6)

Zbrajanjem (3.5) i (3.6) dobivamo:

2โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 = ยฑ2 (๐‘Ž +๐‘’

๐‘Ž๐‘ฅ)/: 2

โ†” โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 = ยฑ(๐‘Ž +๐‘’

๐‘Ž๐‘ฅ).

Rjeลกavamo se korijena kvadriranjem jednakosti te iz toga slijedi:

(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 = ๐‘Ž2 + 2๐‘Ž๐‘’

๐‘Ž๐‘ฅ + (

๐‘’๐‘ฅ

๐‘Ž)2

โ†” ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 = ๐‘Ž2 + 2๐‘’๐‘ฅ +๐‘’2

๐‘Ž2๐‘ฅ2

โ†” (1 โˆ’๐‘’2

๐‘Ž2)๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ž2 โˆ’ ๐‘’2

โ†” (๐‘Ž2 โˆ’ ๐‘’2

๐‘Ž2)๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ž2 โˆ’ ๐‘’2/(๐‘Ž2 โˆ’ ๐‘’2)

โ†”๐‘ฅ2

๐‘Ž2+

๐‘ฆ2

๐‘Ž2 โˆ’ ๐‘’2= 1

Ponovno gledamo moลพe li se izraz ๐‘Ž2 โˆ’ ๐‘’2 zapisati drugaฤije kako bismo u jednadลพbi imali

samo koeficijente ๐‘Ž i ๐‘, odnosno velike i male poluosi. Za elipsu smo izvodili povezanost

brojeva ๐‘Ž, ๐‘ i ๐‘’, ovdje bismo na sliฤan naฤin mogli provesti raฤun te bismo dobili da vrijedi:

๐‘Ž2 โˆ’ ๐‘’2 = โˆ’๐‘2 pa je konaฤno jednadลพba hiperbole:

Page 20: Kvadratne forme i krivulje drugog reda

15

๐‘ฅ2

๐‘Ž2โˆ’

๐‘ฆ2

๐‘2= 1 .

Prethodna jednadลพba naziva se srediลกnja jednadลพba elipse. Jednadลพba se moลพe zapisati i u

obliku: ๐‘2๐‘ฅ2 โˆ’ ๐‘Ž2๐‘ฆ2 = ๐‘Ž2๐‘2.

3.3.2. Jednadลพba translatirane hiperbole

Kao i kod kruลพnice i elipse, srediลกte krivulje translatiramo iz toฤke ๐‘‚(0,0) u neku toฤku

๐‘‚โ€ฒ(๐‘, ๐‘ž). U tu toฤku ๐‘‚โ€ฒ(๐‘, ๐‘ž) smjeลกtamo novi pravokutni koordinatni sustav kao ลกto je

prikazano na slici (2.10). Jednadลพba hiperbole translatirane za toฤku ๐‘‚โ€ฒ(๐‘, ๐‘ž) oblika je:

(๐‘ฅโˆ’๐‘)2

๐‘Ž2 โˆ’(๐‘ฆโˆ’๐‘ž)2

๐‘2 = 1 .

Slika 3.10. Translatirana hiperbola sa srediลกtem u toฤki ๐‘‚โ€ฒ(๐‘, ๐‘ž)

3.4. Parabola

Definicija 3.4: Neka je ๐น toฤka izvan pravca ๐‘‘. Skup svih toฤaka u ravnini ฯ€ koje su jednako

udaljene od toฤke ๐น i pravca ๐‘‘ nazivamo parabolom. Toฤka ๐น naziva se ลพariลกte ili fokus

parabole, a pravac ๐‘‘ nazivamo ravnalicom ili direktrisom. Duลพinu ๐‘‡๐น nazivamo

radijvektorom toฤke T parabole.

Kraฤ‡e zapisano,

๐‘ƒ = {๐‘‡ โˆˆ ๐œ‹:๐‘‘(๐‘‡, ๐น)

๐‘‘(๐‘‡, ๐‘‘)= 1}.

Page 21: Kvadratne forme i krivulje drugog reda

16

Slika 3.11. Parabola sa ลพariลกtem ๐น i direktrisom ๐‘‘

3.4.1. Srediลกnja jednadลพba parabole

Smjestimo parabolu u pravokutni koordinatni sustav tako da direktrisa ima jednadลพbu ๐‘ฅ +๐‘

2=

0, ๐‘ > 0, ๐‘ โˆˆ โ„. Broj ๐‘ naziva se poluparametrom, odnosno 2๐‘ parametrom parabole pa su

koordinate fokusa parabole ๐น( ๐‘ƒ

2, 0). Prema definiciji parabole, vrijedi da je udaljenost bilo

koje toฤke na paraboli do fokusa i direktrise jednaka, kraฤ‡e zapisano:

๐‘‘(๐‘‡, ๐น) = ๐‘‘(๐‘‡, ๐‘‘).

Isto tako, vrijedi da je ๐‘‘(๐‘‡, ๐น) = ๐‘Ÿ, gdje je ๐‘Ÿ radijvektor toฤke ๐‘‡ kako sam navela prije u

tekstu. Koristeฤ‡i formulu za udaljenost bilo koje toฤke ๐‘‡(๐‘ฅ, ๐‘ฆ) parabole do njezinog fokusa

๐น(๐‘ƒ

2, 0) te izjednaฤavanjem s formulom za udaljenost bilo koje toฤke ๐‘‡(๐‘ฅ, ๐‘ฆ) parabole do

direktrise ๐‘‘,odnosno do toฤke s koordinatama ๐‘ฅ = โˆ’๐‘

2 i ๐‘ฆ. Slijedi:

(๐‘ฅ โˆ’๐‘

2)2 + (๐‘ฆ โˆ’ 0)2 = (๐‘ฅ โˆ’ (โˆ’

๐‘

2))2 + (๐‘ฆ โˆ’ ๐‘ฆ)2, odnosno

โ†” ๐‘ฅ2 โˆ’ 2๐‘ฅ๐‘

2+ (

๐‘

2)2 + ๐‘ฆ2 = ๐‘ฅ2 + 2๐‘ฅ

๐‘

2+ (

๐‘

2)2

โ†” ๐‘ฅ2 โˆ’ ๐‘ฅ๐‘ +๐‘2

4+ ๐‘ฆ2 = ๐‘ฅ2 + ๐‘ฅ๐‘ +

๐‘2

4

Page 22: Kvadratne forme i krivulje drugog reda

17

โ†” ๐‘ฆ2 = 2๐‘๐‘ฅ

Dakle, vrijedi:

๐‘ฆ2 = 2๐‘๐‘ฅ

Te se prethodna jednadลพba naziva srediลกnja jednadลพba parabole.

3.4.2. Jednadลพba translatirane parabole

Ishodiลกte koordinatnog sustava ๐‘‚ moลพemo translatirati u neku toฤku ๐‘‚โ€ฒ(๐‘Ž, ๐‘). Tada fokus

parabole ๐น ima koordinate ๐น(๐‘

2+ ๐‘Ž, ๐‘), a direktrisa je pravac ๐‘ฅ = ๐‘Ž โˆ’

๐‘

2 dok joj os leลพi na

pravcu ๐‘ฆ โˆ’ ๐‘ = 0 (Slika 2.12). Jednaลพba translatirane parabole tada je oblika:

(๐‘ฆ โˆ’ ๐‘)2 = 2๐‘(๐‘ฅ โˆ’ ๐‘Ž).

Slika 3.12. Translatirana hiperbola sa srediลกtem u toฤki ๐‘‚โ€ฒ(๐‘Ž, ๐‘)

3.5. Vaลพna napomena

U prethodnim smo potpoglavljima iskazali definicije krivulja drugog reda i dokazali da ako

neka toฤka ๐‘‡(๐‘ฅ, ๐‘ฆ) koordinatne ravnine zadovoljava uvjete definicije neke krivulje drugog

reda, tada zadovoljava i odgovarajuฤ‡u jednadลพbu. No, nameฤ‡e se i pitanje suprotnog smjera,

Page 23: Kvadratne forme i krivulje drugog reda

18

odnosno, ako koordinate toฤke ๐‘‡(๐‘ฅ, ๐‘ฆ) zadovoljavaju neku od navedenih jednadลพbi krivulja

(3.1)-(3.4) da li onda ta toฤka leลพi na krivulji. U ovom radu neฤ‡emo dokazati suprotni smjer

za svaku od krivulja, nego ฤ‡emo provesti dokaz samo na primjeru elipse.

Ako koordinate toฤke ๐‘‡(๐‘ฅ, ๐‘ฆ) zadovoljavaju jednadลพbu elipse, onda toฤka ๐‘‡ leลพi na elipsi.

Dokaz: Oznaฤimo s ๐‘Ÿ1 = |๐น1๐‘‡|, a s ๐‘Ÿ2 = |๐น2๐‘‡|. S obzirom na to da su koordinate toฤke

๐น1(โˆ’๐‘’, 0), slijedi:

๐‘Ÿ1 = |๐น1๐‘‡| = โˆš(๐‘ฅ + ๐‘’)2 + ๐‘ฆ2 pa

๐‘Ÿ12 = (๐‘ฅ + ๐‘’)2 + ๐‘ฆ2. S obzirom na to da toฤka ๐‘‡(๐‘ฅ, ๐‘ฆ) zadovoljava jednadลพbu ๐‘2๐‘ฅ2 +

๐‘Ž2๐‘ฆ2 = ๐‘Ž2๐‘2 (1) (โ†’uvrลกtavanjem ๐‘ฆ2 = ๐‘2 โˆ’๐‘ฅ2๐‘2

๐‘Ž2 ) slijedi :

๐‘Ÿ12 = ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘ฆ2 = ๐‘ฅ2 + 2๐‘ฅ๐‘’ + ๐‘’2 + ๐‘2 โˆ’

๐‘ฅ2๐‘2

๐‘Ž2 = ๐‘’2 + ๐‘2 + 2๐‘’๐‘ฅ +๐‘Ž2โˆ’๐‘2

๐‘Ž2 ๐‘ฅ2 =

๐‘Ž2 + 2๐‘’๐‘ฅ +๐‘’2

๐‘Ž2 ๐‘ฅ2 = (๐‘Ž +๐‘’๐‘ฅ

๐‘Ž)2 ๐‘’2 + ๐‘2 = ๐‘Ž2

Analogno bismo dobili za ๐‘Ÿ22 = (๐‘Ž โˆ’

๐‘’๐‘ฅ

๐‘Ž)2 .

|๐‘ฅ| โ‰ค ๐‘Ž jer inaฤe jednadลพba (1) nebi bila zadovoljena. Zato vrijedi:

|๐‘’๐‘ฅ

๐‘Ž| โ‰ค ๐‘’ < ๐‘Ž iz ฤega slijedi da su ๐‘Ž +

๐‘’๐‘ฅ

๐‘Ž i ๐‘Ž โˆ’

๐‘’๐‘ฅ

๐‘Ž pozitivni brojevi. Slijedi:

๐‘Ÿ1 = ๐‘Ž +๐‘’๐‘ฅ

๐‘Ž i ๐‘Ÿ2 = ๐‘Ž โˆ’

๐‘’๐‘ฅ

๐‘Ž pa zbrajanjem konaฤno slijedi:

๐‘Ÿ1 + ๐‘Ÿ2 = ๐‘Ž +๐‘’๐‘ฅ

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

๐‘’๐‘ฅ

๐‘Ž= 2๐‘Ž ลกto smo i trebali dokazati. Dakle, toฤka ๐‘‡ leลพi na elipsi.

4. EKVIVALENCIJA KONIKA I KRIVULJA DRUGOG

REDA

U prvom poglavlju opisali smo konike kao presjek ravnine i dvostrukog stoลกca dok smo u

prethodnom poglavlju definirali svaku od krivulja drugog reda te popisali sve odgovarajuฤ‡e

jednadลพbe. No, ostala je nerazjaลกnjena ekvivalencija izmeฤ‘u ta dva pristupa. Na primjer.

Elipsu smo definirali kao krivulju za koju vrijedi da je zbroj udaljenosti svake njezine toฤke

Page 24: Kvadratne forme i krivulje drugog reda

19

do ลพariลกta ๐น1 i ๐น2 konstantan. S druge strane, pokazali smo da je elipsa krivulja koja se dobije

presjekom stoลกca i ravnine uz uvjet da ravnina nije paralelna niti s jednom od izvodnica i ne

prolazi vrhom stoลกca. Ove dvije, nazovimo ih, definicije, povezao je Germinal Pierre

Dandelin (1794. โ€“ 1847.). Germinal Pierre Dandelin bio je belgijski matematiฤar i inลพenjer,

toฤnije, otac mu je bil Francuz te je roฤ‘en u Francuskoj blizu Pariza, a majka mu je bila iz

Belgije. On je 1822. godine otkrio vezu izmeฤ‘u presjeka stoลกca ravninom, ลพariลกta

ฤunjosjeฤnica i kugala upisanih u stoลพac koje dodiruju ravninu kojom je presjeฤen te su njemu

u ฤast te kugle nazvane Dandelinovim kuglama.

TEOREM 4.1 (Dandelinov teorem za elipsu): Ako stoลพastu plohu presijeฤemo ravninom koja

ne prolazi vrhom stoลพaste plohe i sijeฤe sve njezine izvodnice, onda je presjeฤna krivulja ili

kruลพnica ili elipsa.

Slika 4.1. Dandelinove kugle i elipsa

TEOREM 4.2 (Dandelinov teorem za hiperbolu): Ako stoลพastu plohu presjeฤ‡emo ravninom

koja ne prolazi vrhom stoลพaste plohe i paralelna je s dvije njezine izvodnice, onda je presjeฤna

krivulja hiperbola.

Page 25: Kvadratne forme i krivulje drugog reda

20

Slika 4.2. Dandelinove kugle i hiperbola

TEOREM 4.3 (Dandelinov teorem za parabolu): Ako stoลพastu plohu presjeฤ‡emo ravninom

koja ne prolazi vrhom stoลพaste plohe i paralelna je s jednom njezinom izvodnicom, onda je

presjeฤna krivulja parabola.

Slika 4.3. Dandelinove kugle i parabola

Skupovi toฤaka ravnine M kao ลกto su kruลพnica, elipsa, hiperbola i parabola, imaju niz srodnih

svojstava te ih iz toga razloga nazivamo krivuljama drugog reda. Jedno od nama bitnih

svojstava je da se svaka od nabrojanih krivulja moลพe opisati kao skup nula polinoma drugog

stupnja. U nastavku ovog rada pokazat ฤ‡emo da za svaku od navedenih krivulja moguฤ‡e je

Page 26: Kvadratne forme i krivulje drugog reda

21

naฤ‡i pravokutni koordinatni sustav (O; i, j) u ravnini M u kojem ฤ‡e krivulja drugog reda biti

zadana jednom od srediลกnjih jednadลพbi:

1ยฐ KRUลฝNICA radijusa ๐‘Ÿ > 0: ๐‘ฅ2 + ๐‘ฆ2 = ๐‘Ÿ2

2ยฐ ELIPSA s poluosima ๐‘Ž, ๐‘ > 0: ๐‘ฅ2

๐‘Ž2+

๐‘ฆ2

๐‘2= 1

3ยฐ HIPERBOLA s poluosima ๐‘Ž, ๐‘ > 0:: ๐‘ฅ2

๐‘Ž2โˆ’

๐‘ฆ2

๐‘2= 1

4ยฐ PARABOLA, ๐‘ โ‰  0: ๐‘ฆ2 = 2๐‘๐‘ฅ

U dosadaลกnjem tekstu sve jednadลพbe drugog reda bile su zapisane ili u srediลกnjem ili u

translatiranom obliku. To znaฤi da su svi kvadratni polinomi u dvije varijable bili oblika

(โˆ€๐‘ฅ, ๐‘ฆ โˆˆ โ„) ๐‘(๐‘ฅ, ๐‘ฆ) = ๐‘Ž๐‘ฅ2 + ๐‘๐‘ฆ2 + ๐‘๐‘ฅ + ๐‘‘๐‘ฆ + ๐‘’

ลกto znaฤi da nisu imali monom ๐‘ฅ๐‘ฆ. U narednom dijelu teksta promatra ฤ‡emo kvadratne

polinome i s monomom ๐‘ฅ๐‘ฆ, tj. s monomom ๐‘ฅ1๐‘ฅ2.

Funkcija ๐’‘: โ„ ร— โ„ โ†’ โ„ zove se polinom drugog stupnja dviju varijabli ako je

(โˆ€๐‘ฅ1, ๐‘ฅ2 โˆˆ โ„) ๐‘(๐‘ฅ1, ๐‘ฅ2) = ๐‘Ž11๐‘ฅ12 + 2๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ2

2 + ๐‘Ž1๐‘ฅ1 + ๐‘Ž2๐‘ฅ2 + ๐‘Ž0,

gdje su ๐‘Ž11, ๐‘Ž12, ๐‘Ž22, ๐‘Ž1, ๐‘Ž2 i ๐‘Ž0 zadani realni brojevi uz uvjet da je barem jedan od

koeficijenata ๐‘Ž11, ๐‘Ž12, ๐‘Ž22 razliฤit od nule. Bez smanjena opฤ‡enitosti, dovoljno promatrati

samo kvadratne polinome dviju varijabli za koje je koeficijent uz monom ๐‘ฅ1๐‘ฅ2 dvostruk tj.

moลพemo samo promatrati simetriฤne matrice

๐ด = [๐‘Ž11 ๐‘Ž12

๐‘Ž12 ๐‘Ž22]

drugog reda. Oznaฤimo li sa ๐’ƒ = [๐‘1

๐‘2] vektor stupac i s ๐›พ skalar tada u opฤ‡em sluฤaju,

jednadลพbom

๐‘(๐‘ฅ, ๐‘ฆ) = [๐‘ฅ ๐‘ฆ] [๐‘Ž11 ๐‘Ž12

๐‘Ž21 ๐‘Ž22] [

๐‘ฅ๐‘ฆ] + [๐‘1 ๐‘2] [

๐‘ฅ๐‘ฆ] + ๐›พ = 0 (4.1)

zadana je krivulja drugog reda. O kojoj krivulji je rijeฤ saznat ฤ‡emo na osnovu navedene

simetriฤne matrice A i njenog dijagonaliziranog oblika. Krucijalan dio te veze izmeฤ‘u

simetriฤne matrice i krivulja drugog reda zasniva se na prouฤavanju pripadne kvadratne forme

Page 27: Kvadratne forme i krivulje drugog reda

22

๐‘Ž11๐‘ฅ12 + 2๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ2

2 . Upravo prouฤavanje kvadratnih formi omoguฤ‡it ฤ‡e nam

pronalaลพenje pravokutnog koordinatni sustav (O; i, j) u ravnini M u kojem ฤ‡e se svaka

jednadลพba (4.1) poprimiti jedan od oblika srediลกnjih jednadลพbi od 1ยฐ do 4ยฐ.

5. KVADRATNE FORME

Definicija 5.1: Neka je ๐ด kvadratna matrica. Funkcija ๐‘“:โ„๐’ โ†’ โ„ definirana formulom

๐‘“(๐’™) = (๐‘จ๐’™|๐’™) (5.1)

naziva se kvadratna forma.

Napiลกimo njezin prikaz pomoฤ‡u ๐’™ = [๐‘ฅ1 โ€ฆ๐‘ฅ๐‘›]โซŸ i ๐‘จ = (๐‘Ž๐‘–๐‘—). Tada je i-ta komponenta vektora

๐‘จ๐’™ jednaka

(๐‘จ๐’™)๐‘– = โˆ‘๐‘Ž๐‘–๐‘—๐‘ฅ๐‘—

๐‘›

๐‘—=1

te je

(๐‘จ๐’™|๐’™) = โˆ‘ (โˆ‘ ๐‘Ž๐‘–๐‘—๐‘ฅ๐‘—๐‘›๐‘—=1

๐‘›๐‘–=1 )๐‘ฅ๐‘– = โˆ‘ ๐‘Ž๐‘–๐‘—๐‘ฅ๐‘–๐‘ฅ๐‘—

๐‘›๐‘–,๐‘—=1 . (5.2)

Koristeฤ‡i vezu skalarnog produkta i matriฤnog mnoลพenja, kvadratnu formu moลพemo pisati i na

naฤin:

(๐‘จ๐’™|๐’™) = (๐’™|๐‘จ๐’™) = ๐’™โซŸ๐‘จ๐’™. (5.3)

Uzmimo primjer matrice reda 2, kvadratna forma ima oblik

[๐‘ฅ1 ๐‘ฅ2] [๐‘Ž11 ๐‘Ž12

๐‘Ž21 ๐‘Ž22] [

๐‘ฅ1

๐‘ฅ2] = ๐‘Ž11๐‘ฅ1

2 + ๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž21๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ22.

Primjer 5.1: Neka je ๐‘ฉ = [2 0 24 0 โˆ’10 โˆ’1 3

]. Napiลกimo kvadratne forme koje odgovaraju ovim

matricama. Odgovarajuฤ‡a forma je:

Page 28: Kvadratne forme i krivulje drugog reda

23

[๐‘ฅ ๐‘ฆ ๐‘ง] [2 0 24 0 โˆ’10 โˆ’1 3

] [๐‘ฅ๐‘ฆ๐‘ง] = [๐‘ฅ ๐‘ฆ ๐‘ง] [

2๐‘ฅ + 2๐‘ฆ4๐‘ฅ โˆ’ ๐‘ง

โˆ’๐‘ฆ + 3๐‘ง]

= 2๐‘ฅ2 + 2๐‘ฅ๐‘ง + 4๐‘ฅ๐‘ฆ โˆ’ ๐‘ฆ๐‘ง โˆ’ ๐‘ฆ๐‘ง + 3๐‘ง2 = 2๐‘ฅ2 + 2๐‘ฅ๐‘ง + 4๐‘ฅ๐‘ฆ โˆ’ 2๐‘ฆ๐‘ง + 3๐‘ง2

Sada pogledajmo obratni postupak, odnosno kako iz zadane forme rekonstruirati matricu.

Obrat nije jednoznaฤan ลกto znaฤi da jednoj kvadratnoj formi odgovara viลกe matrica. Uzmimo

za primjer naลกu formu 2๐‘ฅ2 + 2๐‘ฅ๐‘ง + 4๐‘ฅ๐‘ฆ โˆ’ 2๐‘ฆ๐‘ง + 3๐‘ง2. Uz gornju matricu odgovaraju joj joลก i

matrice:

[2 1 23 0 โˆ’10 โˆ’1 3

], [2 5 2

โˆ’1 0 โˆ’10 โˆ’3 3

], [2 2 12 0 โˆ’11 โˆ’1 3

], itd.

Primijetimo da sve one imaju iste dijagonalne elemente, kao i zbroj ๐‘Ž๐‘–๐‘— + ๐‘Ž๐‘—๐‘– dvaju elemenata

simetriฤnih s obzirom s obzirom na glavnu dijagonalu. Taj zbroj je koeficijent uz ฤlan ๐‘ฅ๐‘–๐‘ฅ๐‘— u

kvadratnoj formi. Odavde slijedi da ฤ‡e za zadanu kvadratnu formu postojati jedinstvena

odgovarajuฤ‡a simetriฤna matrica. Iz tog ฤ‡emo razloga u daljnjem tekstu promatrati samo

simetriฤne matrice.

U daljnjem tekstu bit ฤ‡e nam vaลพna sljedeฤ‡a definicija vezana uz predznak kvadratne forme

kao funkcije dviju varijabli.

Definicija 5.2: Kvadratna forma (5.1) je:

1ยฐ indefinitna, ako prima i pozitivne i negativne vrijednosti;

2ยฐ semidefinitna, ako prima samo pozitivne, odnosno samo negativne vrijednosti;

3ยฐ pozitivno semidefinitna, ako prima samo pozitivne vrijednosti;

4ยฐ negativno semidefinitna, ako prima samo negativne vrijednosti;

5ยฐ pozitivno definitna, ako je pozitivno semidefinitna i ako je ๐‘ž(๐‘ฅ1, ๐‘ฅ2) = 0 ekvivalentno s

๐‘ฅ1 = ๐‘ฅ2 = 0.

6ยฐ negativno definitna, ako je negativno semidefinitna i ako je ๐‘ž(๐‘ฅ1, ๐‘ฅ2) = 0 ekvivalentno s

๐‘ฅ1 = ๐‘ฅ2 = 0.

Vaลพno je istaฤ‡i da ฤ‡e temeljni teorem o klasifikaciji krivulja drugog reda biti zasnovan na

odreฤ‘ivanju definitnosti, pozitivne ili negativne.

Page 29: Kvadratne forme i krivulje drugog reda

24

Primjer 5.2: Odredimo simetriฤnu matricu koja odgovara kvadratnoj formi

๐‘ฅ2 + 8๐‘ฅ๐‘ฆ โˆ’ 3๐‘ฆ2.

Moลพemo napisati:

๐‘ฅ2 + 8๐‘ฅ๐‘ฆ โˆ’ 3๐‘ฆ2 = ๐‘Ž11๐‘ฅ2 + 2๐‘Ž12๐‘ฅ๐‘ฆ + ๐‘ฆ2

pa je

๐‘จ = [1 44 โˆ’3

].

Tako na primjer moลพemo uzeti formu

๐‘ฅ1๐‘ฅ2 โˆ’ 2๐‘ฅ1๐‘ฅ3 + ๐‘ฅ32

odgovara matrici:

[

01

2โˆ’1

1

20 0

โˆ’1 0 1

].

Kvadratna forma je kanonska ako ne sadrลพi โ€žmijeลกaneโ€œ ฤlanove, kao ลกto su umnoลกci

๐‘ฅ1๐‘ฅ2, ๐‘ฅ1๐‘ฅ3, ๐‘ฅ2๐‘ฅ3 i sliฤni. Dakle, to je forma pridruลพena dijagonalnoj matrici i ima oblik:

๐‘“(๐’™) = ๐‘Ž11๐‘ฅ12 + ๐‘Ž22๐‘ฅ2

2 + โ‹ฏ+ ๐‘Ž๐‘›๐‘›๐‘ฅ๐‘›2.

Nameฤ‡e se pitanje moลพe li se i kako neka kvadratna forma svesti na kanonski oblik?

Pogledajmo primjer:

Primjer 5.3: Odredimo kanonski oblik forme:

๐‘“(๐‘ฅ1, ๐‘ฅ2) = 5๐‘ฅ12 + 4๐‘ฅ1๐‘ฅ2 + 8๐‘ฅ2

2.

Primijenit ฤ‡emo metodu svoฤ‘enja na potpuni kvadrat. Zbog jednostavnijeg raฤuna izluฤimo

faktor 1

5:

๐‘“(๐‘ฅ1, ๐‘ฅ2) = 1

5[25๐‘ฅ1

2 + 20๐‘ฅ1๐‘ฅ2] + 8๐‘ฅ22

Page 30: Kvadratne forme i krivulje drugog reda

25

= 1

5[(5๐‘ฅ1 + 2๐‘ฅ2)

2 โˆ’ 4๐‘ฅ22] + 8๐‘ฅ2

2

= 1

5(5๐‘ฅ1 + 2๐‘ฅ2)

2 +36

5๐‘ฅ2

2

= 1

5๐‘ฆ1

2 +36

5๐‘ฆ2

2, gdje je ๐‘ฆ1 = 5๐‘ฅ1 + 2๐‘ฅ2, a ๐‘ฆ2 = ๐‘ฅ2.

Uoฤimo da prijelazom na nove varijable forma ima kanonski oblik.

Postavlja se pitanje moลพe li se svaka kvadratna forma svesti na kanonski oblik?

Buduฤ‡i da nas u ovom radu zanimaju samo kvadratne forme na โ„2, u daljnjem tekstu

promatrat ฤ‡emo iskljuฤivo simetriฤne kvadratne matrice 2๐‘ฅ2.

To znaฤi da ฤ‡e nas zanimati samo kvadratne forme oblika:

๐‘“(๐‘ฅ1, ๐‘ฅ2) = [๐‘ฅ1 ๐‘ฅ2]๐‘จ [๐‘ฅ1

๐‘ฅ2],

gdje je ๐‘จ simetriฤna matrica oblika ๐‘จ = [๐‘Ž11 ๐‘Ž12

๐‘Ž12 ๐‘Ž22].

Odavde proizlazi da je:

๐‘“(๐‘ฅ1, ๐‘ฅ2) = [๐‘ฅ1 ๐‘ฅ2] [๐‘Ž11 ๐‘Ž12

๐‘Ž21 ๐‘Ž22] [

๐‘ฅ1

๐‘ฅ2] = [๐‘ฅ1 ๐‘ฅ2] [

๐‘Ž11๐‘ฅ1 + ๐‘Ž12๐‘ฅ2

๐‘Ž12๐‘ฅ1 + ๐‘Ž22๐‘ฅ2]

= ๐‘ฅ1(๐‘Ž11๐‘ฅ1 + ๐‘Ž12๐‘ฅ2) + ๐‘ฅ2(๐‘Ž12๐‘ฅ1 + ๐‘Ž22๐‘ฅ2)

= ๐‘Ž11๐‘ฅ12 + ๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ2

2

= ๐‘Ž11๐‘ฅ12 + 2๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ2

2.

Iz prethodnih primjera i ฤinjenice da je trag i determinanta matrice njena invarijanta proizlazi

sljedeฤ‡i teorem. Buduฤ‡i da ฤ‡emo u iduฤ‡em poglavlju dokazati da se svaka simetriฤna matrica

moลพe dijagonalizirati spomenuti teorem neฤ‡emo dokazivati.:

TEOREM 5.1: Kvadratna forma (5.1) s matricom (5.2) je:

1ยฐ indefinitna, ako i samo ako je det ๐‘จ < 0;

2ยฐ semidefinitna, ako i samo ako je det ๐‘จ โ‰ฅ 0;

3ยฐ pozitivno semidefintina, ako i samo ako je

๐‘Ž11 โ‰ฅ 0 & ๐‘Ž22 โ‰ฅ 0 & det ๐‘จ โ‰ฅ 0;

Page 31: Kvadratne forme i krivulje drugog reda

26

4ยฐ negativno semidefinitna, ako i samo ako je

๐‘Ž11 โ‰ค 0 & ๐‘Ž22 โ‰ค 0 & det ๐‘จ โ‰ฅ 0;

5ยฐ pozitivno definitna, ako i samo ako je

๐‘Ž11 > 0 & det ๐‘จ > 0;

6ยฐ negativno definitna, ako i samo ako je

๐‘Ž11 < 0 & det ๐‘จ > 0;

7ยฐ definitna, ako i samo ako je det ๐‘จ > 0.

6. DIJAGONALIZACIJA SIMETRIฤŒNE MATRICE I

KANONSKI OBLIK KVADRATNE FORME

TEOREM 6.1: Svaka simetriฤna matrica ๐‘จ posjeduje toฤno n realnih svojstvenih vrijednosti

(brojeฤ‡i njihovu viลกestrukost) i n meฤ‘usobno okomitih svojstvenih vektora. Stoga je ona

sliฤna dijagonalnoj matrici. Dakle, postoji ortogonalna matrica ๐‘บ i realni brojevi ๐œ†1, โ€ฆ , ๐œ†๐‘›

tako da je

๐‘บโ‰๐‘จ๐‘บ =

n

000

00

00

2

1

Dokaz:

Oznaฤimo s {๐’†1, โ€ฆ , ๐’†๐‘›} kanonsku bazu prostora โ„๐‘›. Izaberimo normirani jediniฤni ๐’—1 koji

odgovara svojstvenoj vrijednosti ๐œ†1. Nadopunimo ga (Gram-Schmidtovim postupkom) do

ortonormirane baze ๐’˜1, โ€ฆ ,๐’˜๐‘›. Matrica ๐‘บ1 = [๐’—1, ๐’˜1, โ€ฆ ,๐’˜๐‘›] je ortogonalna matrica. Stavimo

sad ๐‘จ1 = ๐‘บ1โ‰๐‘จ๐‘บ1.

Imamo:

Page 32: Kvadratne forme i krivulje drugog reda

27

๐‘จ1๐’†1 = ๐‘บ1โ‰๐‘จ(๐‘บ1๐’†1) = ๐‘บ1

โ‰๐‘จ๐’—1 = ๐‘บ1โ‰(๐œ†1๐’—1) = ๐œ†1๐‘บ1

โˆ’1๐’—1 = ๐œ†1๐’†1.

Ovaj je vektor prvi stupac matrice ๐‘จ1. Primijetimo nadalje da je ๐‘จ1 simetriฤna matrica:

๐‘จ1โ‰ = (๐‘บ1

โ‰๐‘จ๐‘บ1)โ‰ = ๐‘บ1

โ‰๐‘จโ‰๐‘บ1โ‰โ‰ = ๐‘บ1

โ‰๐‘จ๐‘บ1. Iz tog je razloga i njezin prvi redak istog

oblika.

Dakle, imamo:

๐‘จ1 = ๐‘บ1โ‰๐‘จ๐‘บ1 =

nnn

n

bb

bb

2

222

1

0

0

00

(6.1)

Dokaz nastavljamo matematiฤkom indukcijom. Za ๐‘› = 2 ova je matrica veฤ‡ dijagonalna.

Pretpostavimo da tvrdnja vrijedi za sve realne simetriฤne matrice reda ๐‘› โˆ’ 1. Tada se realna

simetriฤna matrica ๐‘ฉ reda ๐‘› โˆ’ 1 koja se pojavljuje u (6.1) moลพe dijagonalizirati. To znaฤi da

postoji ortogonalna matrica ๐‘บ2 takva da je

๐‘บ2โ‰๐‘ฉ๐‘บ2 = [

๐œ†2 โ‹ฏ 0โ‹ฎ โ‹ฑ โ‹ฎ0 โ‹ฏ ๐œ†๐‘›

].

Sada moลพemo zakljuฤiti da je i [1 00 ๐‘บ2

] ortogonalna jer su joj stupci oฤigledno ortonormirani.

Umnoลพak dviju ortogonalnih matrica je ortogonalna matrica, zato je i matrica

๐‘บ = ๐‘บ1 [1 00 ๐‘บ2

]

ortogonalna. Za nju vrijedi:

๐‘บโ‰๐‘จ๐‘บ = [1 0

0 ๐‘บ2โ‰] ๐‘บ1

โ‰๐‘จ๐‘บ1 [1 00 ๐‘บ2

] = [1 0

0 ๐‘บ2โ‰] [

๐œ†1 00 ๐‘ฉ

] [1 00 ๐‘บ2

] = [๐œ†1 0

0 ๐‘บ2โ‰๐‘ฉ๐‘บ2

] =

=

n

000

00

00

2

1

Time je teorem dokazan.

Page 33: Kvadratne forme i krivulje drugog reda

28

To znaฤi da je odgovor na gore postavljeno pitanje DA! Dakle, za svaku simetriฤnu matricu

postoji ortogonalna matrica ๐‘บ takva da je umnoลพak ๐‘บโ‰๐‘จ๐‘บ dijagonalna matrica.

Primjer 6.1: Svedimo na kanonski oblik kvadratnu formu

๐‘“(๐‘ฅ, ๐‘ฆ) = 2๐‘ฅ๐‘ฆ. (6.2)

Postupak odreฤ‘ivanja kanonskog oblika kvadratne forme, kao ลกto sam i napomenula, vezan je

uz postupak dijagonalizacije pripadne simetriฤne kvadratne matrice. Taj postupak se provodi

odreฤ‘ivanjem svojstvenih vrijednosti i njihovih svojstvenih vektora. Kao ลกto sam ranije

navela, kanonska kvadratna forma je ona koja ne sadrลพi โ€žmijeลกaneโ€œ ฤlanove te ฤ‡emo iz tog

razloga promatrati upravo primjer ๐‘“(๐‘ฅ, ๐‘ฆ) = 2๐‘ฅ๐‘ฆ.

Odgovarajuฤ‡a matrica je: ๐‘จ = [0 11 0

]. Njen karakteristiฤni polinom glasi ๐œ†2 โˆ’ 1 = 0 te su

svojstvene vrijednosti ๐œ†1 = 1 i ๐œ†2 = โˆ’1. Svojstvene vektore nalazimo rjeลกavajuฤ‡i sustave:

[1 โˆ’1

โˆ’1 1] [

๐‘ฅ๐‘ฆ] = [

00] โ†’ ๐’—1 = [

11],

[โˆ’1 โˆ’1โˆ’1 โˆ’1

] [๐‘ฅ๐‘ฆ] = [

00] โ†’ ๐’—2 = [

โˆ’11

].

Ortonormirane svojstvene vektore dobivamo tako da svaki vektor podijelimo s njegovom

duljinom pa matrica ortonormiranih svojstvenih vektora glasi:

๐‘บ = [

โˆš2

2โˆ’

โˆš2

2

โˆš2

2

โˆš2

2

] =โˆš2

2[1 โˆ’11 1

].

Za nju vrijedi:

๐‘บโ‰๐‘จ๐‘บ =โˆš2

2[1 1

โˆ’1 1] [

0 11 0

]โˆš2

2[1 โˆ’11 1

] =(โˆš2)2

4[1 11 โˆ’1

] [1 โˆ’11 1

] =1

2[2 00 โˆ’2

] = [1 00 โˆ’1

].

Kvadratna forma u novim varijablama zato glasi:

๐‘“(๐‘ฅโ€ฒ, ๐‘ฆโ€ฒ) = ๐‘ฅโ€ฒ2 โˆ’ ๐‘ฆโ€ฒ2. (6.3)

Zamijenimo li stare varijable novima, direktno se moลพemo uvjeriti da zaista vrijedi:

[๐‘ฅ๐‘ฆ] =

โˆš2

2[1 โˆ’11 1

] [๐‘ฅโ€ฒ

๐‘ฆโ€ฒ]

Page 34: Kvadratne forme i krivulje drugog reda

29

odakle slijedi

๐‘ฅ =โˆš2

2(๐‘ฅโ€ฒ โˆ’ ๐‘ฆโ€ฒ),

๐‘ฆ =โˆš2

2(๐‘ฅโ€ฒ + ๐‘ฆโ€ฒ).

Stavimo li ove formule u (6.2) dobivamo jednadลพbu (6.3).

Veze izmeฤ‘u starih i novih varijabli dane su transponiranom matricom:

[๐‘ฅโ€ฒ

๐‘ฆโ€ฒ] =

โˆš2

2[

1 1โˆ’1 1

] [๐‘ฅ๐‘ฆ] = [

cos๐œ‹

4sin

๐œ‹

4

โˆ’sin๐œ‹

4cos

๐œ‹

4

] [๐‘ฅ๐‘ฆ].

Primijetimo da je ovom jednadลพbom odreฤ‘ena rotacija starog sustava za kut od 45ยฐ u

negativnom smjeru. Tako je jasnija geometrijska interpretacija odreฤ‘ivanja kanonskog oblika

kvadratne forme.

Promotrimo jednadลพbu ๐‘“(๐‘ฅ, ๐‘ฆ) = 1 u starom sustavu:

2๐‘ฅ๐‘ฆ = 1.

Ona predstavlja jednadลพbu hiperbole, a asimptote su joj koordinatne osi. Prijelazom na nove

koordinate, jednadลพba te hiperbole postaje

๐‘ฅโ€ฒ2 โˆ’ ๐‘ฆโ€ฒ2 = 1

i os ๐‘‚๐‘ฅโ€ฒ prolazi tjemenima hiperbole. Novi sustav, u odnosu na stari, zarotiran je za kut od

45ยฐ.

Sliฤne situacije imat ฤ‡emo i s drugim krivuljama drugog reda.

Page 35: Kvadratne forme i krivulje drugog reda

30

7. KLASIFIKACIJA KRIVULJA DRUGOG REDA

U prethodna dva poglavlja zapravo smo pokazali da se svaka (simetriฤna) kvadratna forma

moลพe dijagonalizirati. Tako ฤ‡emo zarotirati koordinatni sustav kako bi svojstveni vektori

postali nova ortonormirana baza. U toj bazi ฤ‡e nestati viลกe puta spominjani monom ๐‘ฅ1๐‘ฅ2 te

ฤ‡emo tako iz produkta svojstvenih vrijednosti moฤ‡i odmah odrediti predznak determinante

matrice ๐ด i time definitnost pripadne kvadratne forme. Upravo poznavanjem svojstvenih

vrijednosti moฤ‡i ฤ‡emo klasificirati krivulje drugog reda.

Neka je (O; ๐’†1, ๐’†2) desni pravokutni koordinatni sustav u ravnini M. Toฤka ๐‘ โˆˆ ๐‘€ odreฤ‘ena

je vektorom ๐™ญ = ๐‘‚๐‘ƒ = ๐‘ฅ1๐’†1 + ๐‘ฅ2๐’†2 i ureฤ‘enim parom (๐‘ฅ1, ๐‘ฅ2) njezinih koordinata tako da

polinom ๐‘(๐‘ฅ1, ๐‘ฅ2) moลพemo interpretirati kao preslikavanje ravnine M u skup realnih brojeva

โ„ koje toฤki ๐‘ƒ = (๐‘ฅ1, ๐‘ฅ2) pridruลพuje broj ๐‘ (๐‘ฅ1, ๐‘ฅ2).

Za toฤku ๐‘ƒ = (๐‘ฅ1, ๐‘ฅ2) kaลพemo da je nul-toฤka polinoma ๐‘(๐‘ฅ1, ๐‘ฅ2) ako je ๐‘ (๐‘ฅ1, ๐‘ฅ2) = 0. Sa

๐‘† โŠ‚ ๐‘€ oznaฤavamo skup svih nul-toฤaka polinom ๐‘(๐‘ฅ1, ๐‘ฅ2) stoga jednadลพba skupa S u

koordinatnom sustavu (O; ๐’†1, ๐’†2) glasi

๐‘Ž11๐‘ฅ12 + 2๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ2

2 + ๐‘Ž1๐‘ฅ1 + ๐‘Ž2๐‘ฅ2 + ๐‘Ž0 = 0. (7.1)

TEOREM 7.1: Neka je ๐‘† โŠ‚ ๐‘€skup definiran jednadลพbom ๐‘Ž11๐‘ฅ12 + 2๐‘Ž12๐‘ฅ1๐‘ฅ2 + ๐‘Ž22๐‘ฅ2

2 +

๐‘Ž1๐‘ฅ1 + ๐‘Ž2๐‘ฅ2 + ๐‘Ž0 = 0 u pravokutnom koordinatnom sustavu (O; ๐’†1, ๐’†2) i neka je ๐‘จ matrica

๐‘จ = [๐‘Ž11 ๐‘Ž12

๐‘Ž12 ๐‘Ž22].

Tada imamo:

1ยฐ Ako je det ๐‘จ > 0, onda je ๐‘† elipsa ili skup koji sadrลพi samo jednu toฤku ili prazan skup.

2ยฐ Ako je det ๐‘จ < 0, onda je ๐‘† hiperbola ili unija dvaju pravaca koji se sijeku.

3ยฐ Ako je det ๐‘จ = 0, onda je ๐‘† parabola ili unija dvaju paralelnih pravaca ili jedan pravac ili

prazan skup.

Dokaz:

Dokaz ฤ‡emo provesti u dva koraka:

Page 36: Kvadratne forme i krivulje drugog reda

31

Prvi korak je da nalazimo pravokutni koordinatni sustav (O; ๐’—1, ๐’—2) u ravnini ๐‘€ takav da u

tom sustavu skup ๐‘† ima jednadลพbu

๐œ†1๐‘ฆ12 + ๐œ†2๐‘ฆ2

2 + ๐‘1๐‘ฆ1 + ๐‘2๐‘ฆ2 + ๐‘Ž0 = 0 (7.2)

gdje su ๐œ†1, ๐œ†2, ๐‘1, ๐‘2 realni brojevi. Ova jednadลพba pogodnija je od jednadลพbe (7.1) jer ona ne

sadrลพi produkt ๐‘ฆ1 โˆ™ ๐‘ฆ2. Gledajuฤ‡i gornju jednadลพbu i ฤinjenicu da je ๐‘‘๐‘’๐‘ก ๐‘จ = ๐œ†1๐œ†2 lako je

identificirati skup ๐‘†, a to nam predstavlja drugi korak dokaza teorema.

Prvi korak: Ako je ๐‘Ž12 = 0, onda jednadลพba skupa ๐‘† veฤ‡ ima oblik (7.2) u sustavu (O;

๐’†1, ๐’†2). Uzmimo da je ๐‘Ž12 โ‰  0. Pomoฤ‡u matrice ๐‘จ oblika

๐‘จ = [๐‘Ž11 ๐‘Ž12

๐‘Ž12 ๐‘Ž22]

u ortonormiranoj bazi (๐’†1, ๐’†2) definiramo linearan operator ๐ด โˆถ ๐œฒ0 โ†’ ๐œฒ0 tako da je

๐ด ๐’†1 = a11๐ž1 + a12๐ž2, ๐ด ๐’†2 = a12๐ž1 + a22๐ž2.

Operator A simetriฤan te ako oznaฤimo s ๐‘(๐‘ฅ1๐’†1 + ๐‘ฅ2๐’†2) = ๐‘(๐‘ฅ1, ๐‘ฅ2) dobivamo da

(โˆ€๐™ญ โˆˆ ๐œฒ0) ๐‘(๐’™) = ๐ด๐™ญ โˆ™ ๐™ญ + ๐’‚ โˆ™ ๐™ญ + ๐‘Ž0,

gdje je ๐’‚ = ๐‘Ž1๐’†1 + ๐‘Ž2๐’†2.

Za simetriฤan operator A prema teoremu 7.1, postoji desna ortonormirana baza (๐’—1, ๐’—2) i

realni brojevi ๐œ†1, ๐œ†2 takvi da je

๐ด ๐’—1 = ๐œ†1๐’—1, ๐ด ๐’—2 = ๐œ†2๐’—2.

U koordinatnom sustavu (O; ๐’—1, ๐’—2) imamo ๐’™ = ๐‘ฆ1๐’—1 + ๐‘ฆ2๐’—2, a to povlaฤi

๐ด๐™ญ โˆ™ ๐™ญ = ๐œ†1๐‘ฆ12 + ๐œ†2๐‘ฆ2

2

pa ๐‘(๐’™) = ๐ด๐™ญ โˆ™ ๐™ญ + ๐’‚ โˆ™ ๐™ญ + ๐‘Ž0 prelazi u

(โˆ€๐‘ฆ1, ๐‘ฆ2 โˆˆ โ„) ๐‘(๐‘ฆ1๐’—1 + ๐‘ฆ2๐’—2) = ๐œ†1๐‘ฆ12 + ๐œ†2๐‘ฆ2

2 + ๐‘1๐‘ฆ1 + ๐‘2๐‘ฆ2 + ๐‘Ž0, (7.3)

gdje je ๐’‚ = ๐‘1๐’—๐Ÿ + ๐‘2๐’—๐Ÿ. Sustav (O; ๐’—1, ๐’—2) zapravo dobivamo iz sustava (O; ๐’†1, ๐’†2)

rotacijom za kut ๐œ‘ koji se dobiva iz

cot 2๐œ‘ =๐‘Ž11 โˆ’ ๐‘Ž22

2๐‘Ž12

Page 37: Kvadratne forme i krivulje drugog reda

32

Nadalje je ๐‘‘๐‘’๐‘ก ๐‘จ = ๐œ†1๐œ†2 i svojstvene vrijednosti operatora A su nule polinoma

๐œ†2 โˆ’ (๐‘Ž11 + ๐‘Ž22)๐œ† + (๐‘Ž11๐‘Ž22 โˆ’ ๐‘Ž122), tj.

๐œ†1,2 =(๐‘Ž11 + ๐‘Ž22) ยฑ โˆš(๐‘Ž11 โˆ’ ๐‘Ž22)2 + 4๐‘Ž12

2

2

Nadalje je

๐‘1 = ๐’‚ โˆ™ ๐’—1 = ๐‘Ž1(๐‘’1 โˆ™ ๐‘ฃ1) + ๐‘Ž2(๐‘’2 โˆ™ ๐‘ฃ1) = ๐‘Ž1 cos๐œ‘ โˆ’๐‘Ž2 sin๐œ‘

๐‘2 = ๐’‚ โˆ™ ๐’—2 = ๐‘Ž1(๐‘’1 โˆ™ ๐‘ฃ2) + ๐‘Ž2(๐‘’2 โˆ™ ๐‘ฃ2) = ๐‘Ž1 sin๐œ‘ โˆ’๐‘Ž2 cos๐œ‘.

U koordinatnom sustavu (O; ๐’—1, ๐’—2) skup ๐‘† ima jednadลพbu (7.2).

Drugi korak: Buduฤ‡i da je ๐‘‘๐‘’๐‘ก ๐‘จ = ๐œ†1๐œ†2 i da skup ๐‘† u sustavu (O; ๐’—1, ๐’—2) ima jednadลพbu

(7.2), to zbog ๐‘จ โ‰  ๐ŸŽ i ฤinjenice da je ๐’—1, ๐’—2 baza, nalazimo da bar jedan od brojeva ๐œ†1, ๐œ†2 ne

nestaje. No tada moลพemo bez naruลกenja opฤ‡enitosti uzeti da je ๐œ†1 > 0. Uz tu pretpostavku

imamo nekoliko moguฤ‡nosti.

1.moguฤ‡nost: , ๐œ†2 โ‰  0. Nadopunom na kvadrat imamo

๐œ†1๐‘ฆ12 + ๐‘1๐‘ฆ1 = ๐œ†1 (๐‘ฆ1

2 +๐‘1

๐œ†1๐‘ฆ1) = ๐œ†1 (๐‘ฆ1 +

๐‘1

2๐œ†1๐‘ฆ1)

2

โˆ’๐‘1

2

4๐œ†1,

๐œ†2๐‘ฆ22 + ๐‘2๐‘ฆ2 = ๐œ†1 (๐‘ฆ2

2 +๐‘2

๐œ†2๐‘ฆ2) = ๐œ†2 (๐‘ฆ2(? ) +

๐‘2

2๐œ†2๐‘ฆ2)

2

โˆ’๐‘2

2

4๐œ†2

pa (7.2) prelazi u

๐œ†1๐‘ง12 + ๐œ†2๐‘ง2

2 = ๐›พ (7.4)

gdje je

๐‘ง1 = ๐‘ฆ1 +๐‘1

2๐œ†1, ๐‘ง2 = ๐‘ฆ2 +

๐‘2

2๐œ†2

๐›พ =๐‘1

2

4๐œ†1+

๐‘22

4๐œ†2โˆ’ ๐‘Ž0.

2.moguฤ‡nost: , ๐œ†2 = 0 i ๐‘2 โ‰  0. Sada (7.2) prelazi u

(๐‘ฆ1 +๐‘1

2๐œ†1)2

+๐‘2

๐œ†1[๐‘ฆ2 +

1

๐‘2(๐‘Ž0 โˆ’

๐‘12

4๐œ†1)] = 0

Page 38: Kvadratne forme i krivulje drugog reda

33

๐‘ง12 + ๐›ฝ๐‘ง2 = 0 (7.5)

gdje je

๐‘ง1 = ๐‘ฆ1 +๐‘1

2๐œ†1, ๐‘ง2 = ๐‘ฆ2 +

1

๐‘2(๐‘Ž0 โˆ’

๐‘12

4๐œ†1) , ๐›ฝ =

๐‘2

๐œ†1โ‰  0.

3.moguฤ‡nost: ๐œ†2 = 0, ๐‘2 = 0 . Sada (7.2) prelazi u

๐‘ง12 + 0 โˆ™ ๐‘ง2 = ๐›พ (7.6)

gdje je

๐‘ง1 = ๐‘ฆ1 +๐‘1

4๐œ†1, ๐‘ง2 = ๐‘ฆ2, ๐›พ =

1

๐œ†1(

๐‘12

4๐œ†1(? )โˆ’ ๐‘Ž0)

a sumand 0 โˆ™ ๐‘ง2 u (7.6) podsjeฤ‡a da se radi o skupu nula polinoma od dvije varijable.

Zakljuฤci:

1ยฐ ๐‘‘๐‘’๐‘ก ๐‘จ = ๐œ†1๐œ†2 > 0 zajedno s ๐œ†1 > 0 pokazuje da je ๐œ†2 > 0, pa imamo moguฤ‡nost 1. Iz

(7.4) slijedi da je skup S elipsa ako je ๐›พ > 0, jednoฤlan skup ๐‘ง1 = 0, ๐‘ง2 = 0 ako je ๐›พ = 0 i

prazan skup ako je ๐›พ < 0.

2ยฐ ๐‘‘๐‘’๐‘ก ๐‘จ = ๐œ†1๐œ†2 < 0 zajedno s ๐œ†1 > 0 pokazuje da je ๐œ†2 < 0 pa imamo moguฤ‡nost 1. Iz (7.4)

izlazi da je S hiperbola za ๐›พ โ‰  0, a za ๐›พ = 0 S je unija pravaca

โˆš๐œ†1๐‘ง1 โˆ’ โˆšโˆ’๐œ†2๐‘ง2 = 0, โˆš๐œ†1๐‘ง1 + โˆšโˆ’๐œ†2๐‘ง2 = 0,

koji se sijeku u toฤki ๐‘ง1, ๐‘ง2 = 0.

3ยฐ ๐‘‘๐‘’๐‘ก ๐‘จ = ๐œ†1๐œ†2 = 0 zajedno s ๐œ†1 > 0 pokazuje da je ๐œ†2 = 0 pa imamo moguฤ‡nost 2. i

moguฤ‡nost 3. Iz (7.5) vidimo da je S parabola sa ๐‘ง2-osi kao osi parabole. Nadalje, iz (7.6)

vidimo da je ๐‘† = โˆ… za ๐›พ < 0; S je pravac ๐‘ง1 + 0 โˆ™ ๐‘ง2 = 0 za ๐›พ = 0 i S je unija paralelnih

pravaca ๐‘ง1 + 0 โˆ™ ๐‘ง2 = โˆš๐›พ, ๐‘ง1 + 0 โˆ™ ๐‘ง2 = โˆ’โˆš๐›พ za ๐›พ > 0.

Primjer 7.1: Identificirajmo skup toฤaka ravnine koji je zadan jednadลพbom

5๐‘ฅ๐Ÿ๐Ÿ + 4๐‘ฅ1๐‘ฅ2 + 8๐‘ฅ2

2 โˆ’ 32๐‘ฅ1 โˆ’ 56๐‘ฅ2 + 80 = 0. (7.7)

u pravokutnom koordinatnom sustavu (O; ๐’†1, ๐’†2). To je jednadลพba oblika (7.1) s

koeficijentima

Page 39: Kvadratne forme i krivulje drugog reda

34

๐‘Ž11 = 5, ๐‘Ž12 = 2, ๐‘Ž22 = 8, ๐‘Ž1 = โˆ’32, ๐‘Ž2 = โˆ’56, ๐‘Ž0 = 80 i matricom

[5 22 8

].

Buduฤ‡i da je det ๐‘จ = 5 โˆ™ 8 โˆ’ 2 โˆ™ 2 > 0, skup ๐‘† je elipsa, jednoฤlan skup ili prazan skup.

Linearni operator ๐‘จ definiran je sa

{๐ด๐’†1 = 5 ๐’†1 + 2 ๐’†2

๐ด๐’†2 = 2 ๐’†1 + 8 ๐’†2. (7.8)

Buduฤ‡i da vektor ๐ด๐’†1 sadrลพi ๐’†2 s koeficijentom razliฤitim od nule, to su ๐’†1 i ๐ด๐’†1 nezavisni pa

raฤunamo

๐ด2๐’†1 = ๐ด(๐ด๐’†1) = ๐ด(5 ๐’†1 + 2 ๐’†2) = 5 ๐ด๐’†1 + 2๐ด๐’†2 = 5(5 ๐’†1 + 2 ๐’†2) + 2(2 ๐’†1 + 8 ๐’†2);

๐ด2๐’†1 = 29 ๐’†1 + 26 ๐’†2.

Odredimo brojeve ๐›ผ i ๐›ฝ tako da bude

๐ด2๐’†1 = ๐›ผ ๐ด๐’†1 + ๐›ฝ ๐’†1 (7.9)

tj.

29 ๐’†1 + 26 ๐’†2 = ๐›ผ(5 ๐’†1 + 2 ๐’†2) + ๐›ฝ ๐’†1 = (5๐›ผ + ๐›ฝ)๐’†1 + 2๐›ผ ๐’†2,

5๐›ผ + ๐›ฝ = 29

2๐›ผ = 26.

Rjeลกavanjem sustava od dvije linearne jednadลพbe za nepoznanice ๐›ผ i ๐›ฝ dobivamo da je ๐›ผ =

13, ๐›ฝ = โˆ’36. Polinom ๐œ† โ†’ ๐œ†2 โˆ’ ๐›ผ ๐œ† โˆ’ ๐›ฝ = ๐œ†2 โˆ’ 13 ๐œ† + 36 ima nule ๐œ†1 = 9 i ๐œ†2 = 4. Sada

๐œ†2 โˆ’ ๐›ผ ๐œ† โˆ’ ๐›ฝ = (๐œ† โˆ’ 9)(๐œ† โˆ’ 4) i (7.7) vode na

(๐ด โˆ’ 9 ๐ผ)(๐ด โˆ’ 4 ๐ผ)๐’†1 = 0,

ลกto pokazuje da su

๐’–1 = (๐ด โˆ’ 4 ๐ผ)๐’†1 = ๐ด ๐’†1 โˆ’ 4 ๐’†1 = (5 ๐’†1 + 2 ๐’†2) โˆ’ 4 ๐’†1 = ๐’†1 + 2 ๐’†2 ,

๐’–2 = (๐ด โˆ’ 9 ๐ผ)๐’†1 = ๐ด ๐’†1 โˆ’ 9 ๐’†1 = (5 ๐’†1 + 2 ๐’†2) โˆ’ 9 ๐’†1 = โˆ’4 ๐’†1 + 2 ๐’†2

svojstveni vektori koji pripadaju svojstvenim vrijednostima (7.2) i (7.3).

Page 40: Kvadratne forme i krivulje drugog reda

35

Iz

|๐’–1|2 = 1 + 22 = 5 i |๐’–2|

2 = 42 + 22 = 20

nalazimo da je

๐’—1 = ๐’†1+2 ๐’†2

โˆš5, ๐’—2 =

โˆ’๐Ÿ ๐’†1+ ๐’†2

โˆš5 (7.10)

ortonormirana baza i

๐ด ๐’—1 = 9 ๐’—1, ๐ด ๐’—2 = 4 ๐’—2.

Lako se provjeri da su baze (๐’†1, ๐’†2) i (๐’—1, ๐’—2) jednako orijentirane. Preostaje nam da vektor

๐’‚ = โˆ’32 ๐’†1 โˆ’ 56 ๐’†2 razvijemo po bazi (7.10). Buduฤ‡i da je (7.10) ortonormirana baza, to je

๐’‚ = (๐’‚ โˆ™ ๐’—1)๐’—1 + (๐’‚ โˆ™ ๐’—2)๐’—2

=(โˆ’32 ๐’†1 โˆ’ 56 ๐’†2) โˆ™ ( ๐’†1 + 2 ๐’†2)

โˆš5๐’—1

+(โˆ’32 ๐’†1 โˆ’ 56 ๐’†2) โˆ™ (โˆ’2 ๐’†1 + ๐’†2)

โˆš5๐’—2 โ†’

๐’‚ = โˆ’144

โˆš5๐’—1 +

8

โˆš5๐’—2. (7.11)

U bazi (๐‘‚; ๐’—1, ๐’—2) jednadลพba (7.7) glasi

9 ๐‘ฆ12 + 4 ๐‘ฆ2

2 โˆ’144

โˆš5๐‘ฆ1 +

8

โˆš5๐‘ฆ2 + 80 = 0;

9(๐‘ฆ1 +8

โˆš5)2 + 4(๐‘ฆ2 +

1

โˆš5)2 = 36;

9๐‘ง12 + 4๐‘ง2

2 = 36, (7.12)

gdje je

๐‘ง1 = ๐‘ฆ1 โˆ’8

โˆš5, ๐‘ง2 = ๐‘ฆ2 โˆ’

8

โˆš5 . (7.13)

Iz (7.12) vidimo da se radi o elipsi s poluosima 2 i 3. Srediลกte O' te elipse u sustavu

(๐‘‚; ๐’—1, ๐’—2) ima koordinate 8

โˆš5, โˆ’

1

โˆš5; odakle je

Page 41: Kvadratne forme i krivulje drugog reda

36

๐‘‚๐‘‚โ€ฒ =8

โˆš5๐’—1 โˆ’

1

โˆš5๐’—2 =

8 ๐’†1 + 16 ๐’†2

5โˆ’

โˆ’2 ๐’†1 + ๐’†2

5;

๐‘‚๐‘‚โ€ฒ = 2 ๐’†1 + 3 ๐’†2.

Prema tome, toฤka ๐‘ฅ1 = 2, ๐‘ฅ2 = 3 je srediลกte elipse, a smjerove osi elipse daju vektori

๐’†1 + 2 ๐’†2, โˆ’2 ๐’†1 + ๐’†2. Nadalje, za

๐’™ = ๐‘‚๐‘ƒ = ๐‘ฅ1๐’†1 + ๐‘ฅ2๐’†2 = ๐‘ฆ1๐’—1 + ๐‘ฆ2๐’—2 = ๐‘‚๐‘‚โ€ฒ + ๐‘ง1๐’—1 + ๐‘ง2๐’—2

nalazimo

๐‘ฅ1 = ๐’™ โˆ™ ๐’†1 = (๐‘ฆ1๐’—1 + ๐‘ฆ2๐’—2) โˆ™ ๐’†1 = ๐‘ฆ1(๐’—1 โˆ™ ๐’†1) + ๐‘ฆ2(๐’—2 โˆ™ ๐’†1)

= ๐‘ฆ1 ( ๐’†1 + 2 ๐’†2

โˆš5โˆ™ ๐’†1) + ๐‘ฆ2 (

โˆ’2 ๐’†1 + ๐’†2

โˆš5โˆ™ ๐’†1) =

1

โˆš5๐‘ฆ1 โˆ’

2

โˆš5๐‘ฆ2)

=1

โˆš5(

8

โˆš5+ ๐‘ง1) โˆ’

2

โˆš5(โˆ’

1

โˆš5+ ๐‘ง2),

๐‘ฅ2 = ๐’™ โˆ™ ๐’†2 = ๐‘ฆ1(๐’—1 โˆ™ ๐’†2) + ๐‘ฆ2(๐’—2 โˆ™ ๐’†2) =2

โˆš5๐‘ฆ1 +

1

โˆš5๐‘ฆ2

=2

โˆš5(

8

โˆš5+ ๐‘ง1) +

1

โˆš5(โˆ’

1

โˆš5+ ๐‘ง2).

Prema tome, koordinate toฤke ๐‘ƒ โˆˆ ๐‘€ u sustavima bazi (๐‘‚; ๐’†1, ๐’†2) i bazi (๐‘‚โ€ฒ; ๐’—1, ๐’—2) vezane

su sa

๐‘ฅ1 = 2 +1

โˆš5(๐‘ง1 โˆ’ 2 ๐‘ง2)

๐‘ฅ2 = 3 +1

โˆš5(2 ๐‘ง1 + ๐‘ง2). (7.14)

Ako u (7.7) umjesto ๐‘ฅ1 i ๐‘ฅ2 piลกemo njihove prikaze dane sa (7.14), tada dobivamo (7.12).

Obratno, ako iz (7.14) izraฤunamo ๐‘ง1, ๐‘ง2 pomoฤ‡u ๐‘ฅ1, ๐‘ฅ2 i rezultate za ๐‘ง1, ๐‘ง2 stavimo u (7.12),

dobivamo (7.7).

Page 42: Kvadratne forme i krivulje drugog reda

37

Bibliografija

N. Elezoviฤ‡, Linearna algebra (Primijenjena matematika), Element, Zagreb, 2001.

S. Kurepa, Uvod u linearnu algebru, ล kolska knjiga, Zagreb, 1982.

L. ฤŒakloviฤ‡, Zbirka zadataka iz Linearne algebre, ล kolska knjiga, Zagreb, 1992.

Marko Suvalj, Krivulje drugog reda i primjene, dostupno na

http://www.mathos.unios.hr/~mdjumic/uploads/diplomski/SUV03.pdf, svibanj 2019.

I. Miroลกevic, N. Koceiฤ‡-Bilan, J. Jurko, Razliฤiti nastavno-metodiฤki pristupi

ฤunjosjeฤnicama, math.e (Hrvatski matematiฤki elektroniฤki ฤasopis), dostupno na

http://e.math.hr/broj27/mirosevic?fbclid=IwAR2iugGCnU_fJ-

doC6ZuitftZfAudbqR4yM1BTKsqPJ5-rwerPUMesfVSWc, lipanj 2019.

Page 43: Kvadratne forme i krivulje drugog reda

Saลพetak

U radu je opisano kako nastaju konike kao presjek ravnine i dvostrukog stoลกca, ali je i

definirana svaka od krivulja drugog reda te su popisane sve njihove odgovarajuฤ‡e jednadลพbe.

Povezana su dva navedena pristupa te je uvedena kvadratna forma povezana sa simetriฤnim

matricama. Uveden je i kanonski oblik kvadratne forme. Potom je dokazano da je simetriฤna

matrica sliฤna dijagonalnoj, a na kraju rada napisano je kako pomoฤ‡u svojstvenih vrijednosti

moลพemo klasificirati krivulje drugog reda.

Page 44: Kvadratne forme i krivulje drugog reda

Summary

This work describes how the conics are formed as a section of plane and a double cone, but

each of the curves of the second order is defined and all their corresponding equations are

listed. Two approaches related to this and a quadratic form of connection with symmetric

matrices introduced. The canonical shape of the square form was also introduced. It is then

proved that the symmetric matrix is similar to the diagonal and at the end of the paper it is

written that by using eigenvalues we can classify curves of the second order.

Page 45: Kvadratne forme i krivulje drugog reda

ลฝivotopis

Roฤ‘ena sam 29. 06. 1993. godine u Varaลพdinu. Osnovnu ลกkolu Ivana Kukuljeviฤ‡a Sakcinskog

u Ivancu upisala sam 2000. godine. Nakon zavrลกene osnovne ลกkole 2008. godine, u istom

gradu upisala sam opฤ‡u gimnaziju. Svoje srednjoลกkolsko obrazovanje zavrลกavam 2012.

godine te iste godine upisujem prvu godinu preddiplomskog sveuฤiliลกnog studija Matematike

na Prirodoslovno-matematiฤkom fakultetu u Zagrebu. S preddiplomskim sveuฤiliลกnim

studijem zavrลกila sam 2017. godine te stekla zvanje univ. bacc. educ. math. Nastavljam sa

studijem i iste godine upisujem diplomski sveuฤiliลกni studij Matematika, smjer nastavniฤki.