Diskriminanta (oznaka ) je v algebri pojem, ki se uporablja v povezavi z mnogočleniki. Diskriminanta je izraz, ki daje podatke o vrstah ničel (korenov) mnogočlenika oziroma enačbe, če izenačimo mnogočlenik z 0.

Izraz izhaja iz latinske besede discriminar, kar pomeni razlikovati. Izraz je vpeljal angleški matematik James Joseph Sylvester (1814 – 1897).

Najenostavneša in najbolj znana je diskriminanta kvadratnega mnogočlenika z obliko

Diskriminanta kvadratnega mnogočlenika se izračuna z obrazcem

V tem primeru ima kvadratni mnogočlenik takrat, ko je dve realni ničli (korena) mnogočlenika. Kadar pa je ima mnogočlenik samo eno realno ničlo, kadar pa je mnogočlenik nima realnih ničel.

Diskriminanta mnogočlenika tretje stopnje (kubični mnogočlenik) z obliko

je enaka

.

Diskriminante mnogočlenikov višjih stopenj imajo še več členov: tako ima diskriminanta mnogočlenika, ki pripada enačbi četrte stopnje (kvartna funkcija) 16 členov [1] , diskriminanta mnogočlenika, ki pripada enačbi pete stopnje (kvintna funkcija) pa 59 členov [2].

Če pa iščemo diskriminanto mnogočlenika, ki pripada enačbi šeste stopnje pa ima že 246 členov [3].

Mnogočleniki imajo večkratne ničle (lahko tudi med komplesnimi števili), če in samo, če je njihova diskriminanta enaka 0.

To velja tudi, če imajo mnogočleniki koeficiente v obsegu, ki ne vsebuje kompleksnih števil.

Definicija uredi

Če izrazimo diskriminanto z ničlami mnogočlenika, jo lahko zapišemo kot

 

kjer so

  •   vodeči koeficienti
  •   ničle mnogočlenika

Diskriminanta je simetrična funkcija glede na ničle, ker so koeficienti osnovni simetrični mnogočleniki ničel.

Posplošitev uredi

Pojem diskriminante lahko posplošimo še na druge algebrske strukture. Med njimi so stožnice, kvadratne forme in algebrski številčni obsegi.

Diskriminanta mnogočlenika uredi

Da bi našli obrazec za izračun diskriminante mnogočlenika v odvisnosti od njegovih koeficientov je najenostavneje, če uvedemo pojem rezultante (rezultanta dveh moničnih mnogočlenikov (vodeči koeficient ima enak 1) je definirana kot produkt razlik ničel teh dveh mnogočlenikov). Tako kot je diskriminanta za samo mnogočlenik produkt kvadratov razlik med kvadrati posameznih ničel mnogočlenika, je tudi rezultanta dveh mnogočlenikov produkt razlik med njihovimi ničlami (koreni) in podobno kot diskriminanta dobi vrednost nič, če ima mnogočlenik večkratne ničle, tako tudi rezultanta dobi vrednost nič, če in samo, če imajo mnogočleniki skupno ničlo.

Ker ima mnogočlenik   večkratne ničle, če in samo, če ima skupne ničle z odvodom  , imata diskriminanta   in rezultanta   lastnost, da postaneta enaki 0, če in samo, če ima   večkratne ničle in imata isto stopnjo in da sta enaka do faktorja stopnje 1.

Korist od rezultante je v tem, da se lahko izračuna kot determinanta oziroma kot determinanta Sylvestrove matrike, ki pa ima razsežnost  .

Rezultanta   splošnega mnogočlenika

  je enaka determinanti Sylvestrove matrike z razsežnostjo  
 

Diskriminanta   mnogočlenika   je dana z

 

Zgled uredi

Poglejmo primer z   za katerega je zgornja determinanta enaka

 

Diskriminanto mnogočlenika četrte stopnje se dobi z deljenjem te determinante z  . Če izrazimo diskriminanto s koreni je ta enaka

 

kjer so

  •   kompleksne ničle (večkratnost je všteta) mnogočlenika  
 

Diskriminanto lahko definiramo za mnogočlenike nad poljubnim obsegom na podoben način.

Lastnosti ničel uredi

Diskriminanta nudi dodatne podatke o vrsti in lastnostih ničel. Daje podatek o tem ali so ničle realne ali kompleksne ter racionalne ali so iracionalne. Dobimo tudi podatek o tem, če so ničle v obsegu nad katerim je mnogočlenik definiran ali so tudi nad razširjenim obsegom. To najlažje vidimo na kvadratnih in kubičnih mnogočlenikih.

Kvadratni mnogočleniki uredi

Kvadratni mnogočleniki z realnimi koeficienti veljajo naslednja pravila za vrste ničel:

  •   mnogočlenik ima dve različni ničli nad realnimi števili
  •   mnogočlenik ima dve (konjugirano kompleksni) ničli
  •   mnogočlenik ima dvojno realno ničlo

Kubični mnogočlenik uredi

Glavni članek: Kubični mnogočlenik.

Pri kubičnem mnogočleniku pa veljajo naslednja pravila o vrsti ničel:

  •   mnogočlenik ima tri različne realne ničle
  •   mnogočlenik ima 1 realno in 2 konjugirano kompleksni ničli
  •   mnogočlenik ima 3 realne ničle, od njih sta najmanj dve enaki.

Lahko se zgodi, da ima mnogočlenik dvojno realno in še eno različno realno ničlo, v nasprotnem primeru so vse tri ničle enake.

Diskriminanta stožnic uredi

Stožnice so definirane v ravninski geometriji z enačbo

 

Diskriminanta pa je enaka

 
  • kadar je diskriminanta manjša od 0, enačba pomeni elipso ali krožnico
  • če je diskriminanta enaka 0, enačba pomeni parabolo
  • če je diskriminanta večja od 0, enačba pomeni hiperbolo

Opombe in sklici uredi

  1. Wang, Dongming (2004). Elimination practice: software tools and applications. Imperial College Press. str. 180. ISBN 1-860-94438-8., Chapter 10 page 180
  2. Gelfand, I. M.; Kapranov, M. M.; Zelevinsky, A. V. (1994). Discriminants, resultants and multidimensional determinants. Birkhäuser. str. 1. ISBN 3-7643-3660-9., Preview page 1
  3. Dickenstein, Alicia; Emiris, Ioannis Z. (2005). Solving polynomial equations: foundations, algorithms, and applications. Springer. str. 26. ISBN 3-540-24326-7., Chapter 1 page 26

Zunanje povezave uredi