kvadratne forme i krivulje drugog reda
TRANSCRIPT
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
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.
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. __________________________
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!โ
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
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.
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
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.
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
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:
๐พ = {๐ โ ๐: ๐(๐, ๐) = ๐}
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.
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๐ }.
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 ๐ = |๐ด๐| = |๐ต๐|.
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
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 .
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.
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
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)
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:
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}.
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
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,
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
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.
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
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
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:
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.
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
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;
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:
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.
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
] [๐ฅโฒ
๐ฆโฒ]
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.
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:
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
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
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
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).
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
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).
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.
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.
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.
ลฝ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.