Andregradsligning
Fra Wikipedia, den frie encyklopedi
I matematikk er en andregradsligning en ligning på formen
Tallene a, b og c blir kalt ligningens koeffisienter, og formelen for å løse den blir av mange kalt ABC-formelen. Om man ser andregradsfunksjonen grafisk, kan man se at det er en parabel (se grafikken til høyre). Løsningene av andregradsligningen ovenfor blir der funksjonslinjen treffer x-aksen (altså hvor y er 0).
Innhold |
[rediger] Formelen
En annengradsligning med reelle (eller komplekse) koeffisienter har to løsninger, av og til kalt røtter, som kan være både reelle og komplekse, gitt etter kvadratsetningen:
hvor symbolet «±» indikerer at både
-
og
er løsninger. Om diskriminanten (se punktet nedenfor) er null, blir disse to løsningene det samme, og vi sier at ligningen har én løsning.
[rediger] Diskriminanten
Uttrykket inne i rottegnet i formelen over;
- ,
kalles diskriminanten til andregradsligningen. Diskriminanten betegnes ofte med Δ (den store greske bokstaven delta):
Andregradsligninger med reelle tallkoeffisienter (altså hvor a, b og c er reelle tall) kan ha én eller to reelle løsninger, eller to komplekse løsninger. For denne typen andregradsligninger vil diskriminanten bestemme antall og type løsninger. Det er tre tilfeller:
- Om diskriminanten er positiv, vil funksjonen ha to reelle løsninger.
- Om diskriminanten er lik null, vil funksjonen kun få én reell løsning. En måte å se dette på er at telleren i andregradsligningen forenkles til -b, siden ± 0 (kvadratroten av null er null) vil ikke utgjøre noe forskjell. Derfor kan vi fjerne ± og hele kvadratroten, og sette opp denne resten:
- Om løsningen av diskriminanten er negativ, får andregradsfunksjonen ingen reelle løsninger, men i stedet to komplekse løsninger. Disse vil være komplekse konjugater av hverandre:
og
hvor er den imaginære enheten, det vil si løsningen av:
Andregradsligningen har altså distinkte løsninger hvis og bare hvis diskriminanten er ulik null, og løsningene er relle hvis og bare hvis diskriminanten er ikke-negativ.
Om man ser på andregradsfunksjonen grafisk, har man to reelle løsninger (dvs når diskriminanten blir positiv) når parabelen skjærer x-aksen på to forskjellige steder. Blir diskriminanten 0, altså et reellt svar, tangerer parabelen x-aksen. Om den blir negativ krysser ikke parabelen x-aksen i det hele tatt.
[rediger] Faktorisering av andregradsligning
Uttrykket
er en faktor i polynomet
hvis og bare hvis r er en rot i andregradsligningen
Det følger fra kvadratsetningene
I det spesielle tilfellet hvor andregradsligningen bare har en rot (dvs. diskriminanten er null), kan andregradsligningen faktoriseres som
[rediger] Anvendelse på ligninger av høyere grad
Visse høyere grads ligninger kan være på kvadratisk form, slik som:
som kan skrives som
hvor
- .
Merk at høyeste eksponent er det dobbelte av verdien på eksponenten til det midtre uttrykket. Denne ligningen kan løses direkte eller med en enkel substitusjon ved hjelp av kvadratsetningene.
Hvis polynomet er kvadratisk med hensyn til en variabel u hvor
kan kvadratsetningene brukes til å løse ligningen.
[rediger] Historie
På leirtavler datert mellom 1800-1600 f.Kr. har babylonere gitt oss de tidligste bevis for oppdagelsen av andregradsfunksjoner, og de ga også tidlig metoder for å løse dem. Den indiske matematikeren Baudhayana brukte først andregradsligninger i formen ax2=c og ax2+bx = c, og ga også metoder for å løse dem.
Babylonske matematikere fra ca. år 400 f.Kr. og kinesiske matematikere fra ca. år 200 f.Kr. brukte kvadratkomplettering for å løse andregradsligninger med positive røtter, men hadde ikke en generell formel. Euklid, en gresk matematiker, kom med en mer abstrakt geometrisk metode rundt 300 f.Kr. Det Bakshaliske manuskript, skrevet i India mellom 200 f.Kr. og 400 e.Kr introduserte den generelle algebraiske formelen for å løse andregradsligninger.
Den første matematikeren som fant negative løsninger med den generelle algebraiske formelen, var Brahmagupta (India, 7. århundre). Muḥammad ibn Mūsā al-Ḵwārizmī (Persia, 9. århundre) utviklet et sett av formler som virket for positive løsninger. Den tyrkiske matematikeren ibn Turk var en av de store hjerner i sin tid når det gjelder kvadratiske ligninger. Abraham bar Hiyya Ha-Nasi (også kjent med det latinske navnet Savasorda) introduserte den fullstendige løsningen til Europa i sin bok Liber embadorum i det 12. århundre. Bhaskara II (1114-1185), en indisk matematiker-astronom, også kjent som Bhaskara II og Bhaskara Achārya ("Bhaskara the teacher") løste kvadratiske ligninger med mer enn en ukjent og er kjent som originator av ligningen.[1]
Shridhara (India, 9. århundre) var en av de første matematikere som ga en generell regel for å løse en kvadratligning. Hans opprinnelige arbeid er tapt men Bhaskara II siterer senere Shridharas regel:
- Multipliser begge sider av ligningen med en kjent størrelse lik fire ganger koeffisienten til kvadratet av den ukjente; adder til begge sider en kjent størrelse lik kvadratet av koeffisienten til den ukjente; ta deretter kvadratroten.[2]
[rediger] Utledning
Kvadratformelen er utledet fra metoden for å fullføre kvadratet ved hjelp av den algebraiske identitet:
Divider kvadratligningen
med a (som er tillatt fordi a er ulik null), gir:
eller
Kvadratligningen er nå på en form der metoden for å fullføre kvadratet kan anvendes. Å "fullføre kvadratet" er å finne en konstant k slik at
for en annen konstant y. For at disse ligningene skal være sanne,
og
følgelig
Addering av denne konstanten til ligning (1) gir
Venstre side er nå et fullstendig kvadrat fordi
Høyre side kan skrives som en brøk med felles nevner
- 4a2. Dette gir
Ved kvadratroten av begge sider gir
Isolere x, gir
[rediger] Alternativ formel
I enkelte situasjoner er det ønskelig å uttrykke røttene i en alternativ form.
Men det forutsetter en ytterligere betingelse at c er ulik null. Hvis c er lik null, gir denne formelen null som en rot, men gir ikke en andre rot ulik null. (Når c er null har vi divisjon av null med null, som er ubestemmelig.)
Verdiene til røttene må være de samme uavhengig av hvilket uttrykk vi bruker, så den alternative formen er kun en algebraisk variant av den vanlige formen. For eksempel,
[rediger] Viète's formler
Viète's formler gir en enkel sammenheng mellom røttene til et polynom og dets koeffisienter. I tilfellet kvadratisk polynom, har de følgende form:
og
Den første formelen over er uttrykk for grafen til en kvadratisk funksjon. Siden grafen er symmetrisk med hensyn til en vertikal linje gjennom vertex, når det er to reelle røtter er vertex’s x-koordinaten funnet ved gjennomsnittet av røttene (eller intercepts). Altså er x-koordinaten of vertex gitt ved uttrykket:
y-koordinaten fås ved å substituere resultatet over into the given kvadratisk ligning, som gir
[rediger] Generaliseringer
Formelen og avledninger av den er også riktig hvis koeffisientene a, b og c er komplekse tall, eller mer generelt med i enhver tallmengde med characteristic ikke er 2. (In a field of characteristic 2, the element 2a is zero and it is impossible to divide by it.)
Symbolet
i formelen betyr "en av de to elementer som har kvadratet
hvis elementene eksisterer. I noen tallmengder har enkelte elementer ingen kvadratrøtter og enkelte har to; bare null har bare en kvadratrot, unntatt i mengder of characteristic 2. Note that even if a field does not contain a square root of some number, there is always a quadratic extension field which does, so the quadratic formula will always make sense as a formula in that extension field.
[rediger] Characteristic 2
In a field of characteristic 2, the quadratic formula, which relies on 2 being a unit, does not hold. Consider the monic quadratic polynomial
over a field of characteristic 2. If b = 0, then the solution reduces to extracting a square root, so the solution is
and note that there is only one root since
In summary,
See quadratic residue for more information about extracting square roots in finite fields.
In the case that b ≠ 0, there are two distinct roots, but if the polynomial is irreducible, they cannot be expressed in terms of square roots of numbers in the coefficient field. Instead, define the 2-root R(c) of c to be a root of the polynomial x2 + x + c, an element of the splitting field of that polynomial. One verifies that R(c) + 1 is also a root. In terms of the 2-root operation, the two roots of the (non-monic) quadratic ax2 + bx + c are
and
For example, let a denote a multiplicative generator of the group of units of F4, the Galois field of order four (thus a and a + 1 are roots of x2 + x + 1 over F4). Because (a + 1)2 = a, a + 1 is the unique solution of the quadratic equation x2 + a = 0. On the other hand, the polynomial x + ax + 1 is irreducible over F4, but splits over F16, where it has the two roots ab and ab + a, where b is a root of x2 + x + a in F16.
This is a special case of Artin-Schreier theory.
(markert, engelsk tekst trenger oversettelse)
[rediger] Referanser
- ^ http://www.bbc.co.uk/dna/h2g2/A2982567
- ^ http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Sridhara.html
[rediger] Bok
Vedic Mathematics: Sixteen Simple Mathematical Formulae from the Vedas, av Swami Sankaracarya (1884-1960) på engelsk språk. Motilal Banarsidass Indological Publishers and Booksellers, Varnasi, India, 1965; trykket igjen i Delhi, India, 1975, 1978. 367 sider.