Másodfokú egyenlet
A matematikában a másodfokú vagy másodfokú egyenlet ismeretlennel olyan algebrai egyenlet , amelyben az ismeretlen megjelenésének maximális foka 2, és mindig a következő alaknak tulajdonítható: [1]
- ,
ahol valós vagy komplex számok .
Az algebra alaptétele szerint a másodfokú egyenletek megoldásai (az egyenlet gyökeinek vagy nulláinak is nevezik ) a komplex mezőben mindig kettő, ha a multiplicitásukkal számoljuk . Ezzel szemben a valós területen a másodfokú egyenletek két megoldást engedhetnek meg, kettős megoldást vagy megoldást nem. [2]
Sőt, az úgynevezett hiányos egyenletek , ahol néhány együttható nullával egyenlő , különösen egyszerűen megoldható .
A függvény grafikonja _
a derékszögű síkban egy parabola , amelynek homorúsága a jelétől függ . Pontosabban: ha a parabola homorúsága felfelé néz, ha a parabola homorúsága lefelé néz. [3]
Történelem
Az ókori babilóniaiak hagyták meg az első bizonyítékot a másodfokú egyenletek felfedezésére agyagtáblákban, és találták meg az első technikákat ezek megoldására. Mezopotámiában az egyenleteket gyakran geometriai jellegű feladatok vezették be : például egy négyzet oldalának megkeresésére van szükség, tudva, hogy a terület mínusz az egyik oldala 870; probléma, amely megfelel az egyenletünknek (normál alakra redukálva, mint ). A babilóniaiak azonban nem fogadták el az egyenletek negatív és nulla megoldását, és nem fogadták el azt a tényt, hogy az együtthatók pozitív és negatív értékeket is felvehetnek, egyetlen normális alakot sem ismertek fel, hanem három pozitív együtthatós esetet különböztettek meg: [4]
A modern formában kifejezve az első az ismert negatív taggal, a második az elsőfokú negatív együtthatóval, a harmadik pedig mindkét együttható nullánál kisebb. Az összes pozitív tagot tartalmazó egyenletet nem is vettük figyelembe, mivel csak negatív megoldásokat enged meg.
A normál babilóniai formában a másodfokú együttható egységes, de nem jutottak el ehhez a formához, mivel ezt követően az arabok minden tagot osztottak -vel . Például az egyenlet alapján mindkét tagot megszoroztuk a következővel , majd végrehajtottuk a helyettesítést annak érdekében, hogy a változóban normális formájú egyenletet kapjunk ; . Ez az eljárás a babiloni algebra által elért nagyfokú rugalmasságról tanúskodik . [5]
A megoldást olyan képletek adtak meg, amelyek nagyon emlékeztetnek a maiakra. Például az első eset megoldási képlete modern jelöléssel kifejezve a következő volt:
amely egyszerű algebrai lépésekkel redukálható a modern megoldási képletre ebben az esetben:
- .
Baudhāyana indiai matematikus , aki Shulba-szútrát írt az ókori Indiában az ie 8. század körül , először használta a forma másodfokú egyenleteit és a megoldási módszereket.
A babiloni (i.e. 400 körül) és a kínai matematikusok a négyzetkiegészítés módszerét alkalmazták különböző pozitív gyökű másodfokú egyenletek megoldására, de általános képletet nem kaptak.
Eukleidész egy elvontabb geometriai módszert írt le ie 300 körül; Alexandriai Diophantus a másodfokú egyenletek megoldásával foglalkozott, munkája azonban nem járt jelentős következményekkel, mivel a görög matematika a hanyatlás szakaszában volt. A Bakshali kézirat , amelyet Indiában írtak ie 200 és i.sz. 400 között, bevezette a másodfokú egyenletek megoldási képletét.
Az első ismert matematikus, aki alkalmazta az általános algebrai képletet, amely lehetővé tette a pozitív és negatív megoldásokat is, Brahmagupta volt ( India , 7. század ).
Al-Khwarizmi ( BagdĀd , Kr. u. 9. század ) önállóan dolgozott ki egy olyan képletkészletet, amely pozitív megoldásokhoz működött. Az al-Dzsabrban al-Khwarizmi 5 egyenlettípust különböztet meg: a babilóniaiak által már ismert hármat, valamint a tiszta és a hamis egyenletet . Itt is a másodfokú együtthatót egyenlőnek állítjuk be , de osztással is elérhető. A negatív megoldásokat ezúttal sem fogadják el.
Az al-Khwarizmi által használt módszer a négyzet kitöltése . Az egyenletet például úgy lehetett volna megoldani, hogy mindkét tagot hozzáadtuk volna, hogy „teljesítsük” a négyzetet az első tagon: azaz . Ebből a pozitív megoldást kaptuk és így találtuk meg .
Az arab matematikus grafikus átültetést is javasolt. Tegyük fel, hogy ugyanazt az egyenletet kell megoldanunk . A perzsa által használt módszer ebben az esetben a következőhöz hasonló lehetett : rajzoljunk egy négyzetet, amelynek oldala van (az ábrán a kék). Két nagy téglalap szegélyezi és ez (az ábrán a zöldek). A zöld és kék ábra területe . Tegyük fel most, hogy ez a terület egyenlő . Most adjuk hozzá a piros négyzetet az oldalához , hogy "teljesítsük" a nagy négyzetet. A teljes terület tehát 7 lesz , a nagy négyzet oldala tehát 7. Mivel a nagy oldalt a kék négyzet oldala (azaz ) adja a zöld téglalap oldalához (azaz 4); . [6] Al-Khwaritzmi először hangsúlyozza a diszkrimináns előjelét, amelynek pozitívnak kell lennie ahhoz, hogy az egyenlet megoldható legyen.
A másodfokú egyenlet megoldására szolgáló általános képlet felfedezésének elsőbbségét Sridharának (870-930 körül) tulajdonították , bár az ő idejében volt egy vita. A szabály (amint azt II. Bhaskara közölte ):
|
Szorozzuk meg az egyenlet mindkét oldalát ismert mennyiséggel, amely egyenlő az ismeretlen négyzetének négyszeresével; adjunk hozzá mindkét oldalhoz egy ismert mennyiséget, amely egyenlő az ismeretlen együtthatójának négyzetével; akkor ez határozza meg a négyzetgyököt. [7] " |
Abraham bar Hiyya Ha-Nasi (más néven Savasorda ) volt az első, aki a Liber embadorum nevű komplett megoldást bevezette Európában . A modern kor Európában elkezdtük elfogadni a negatív, majd az összetett megoldásokat, és az egyenletet egyetlen normális formába tenni.
Viète volt az első, aki bevezetett betűket az egyenletek együtthatóinak kifejezésére, először is feltételezve, hogy negatív értékeket is felvehetnek. Ezután felfedezte a képleteket, amelyek az ő nevét viselik, és amelyek az egyenlet együtthatóit a gyökökhöz kapcsolják. Konkrétan a másodfokú egyenletre azt mondják, hogy ha a másodfokú együttható 1, akkor a gyökök szorzata adja az ismert tagot, és az összegük ellentéte az elsőfokú együtthatót.
Descartes a 17. században bevezette az előjelek szabályát , amely szerint egy másodfokú egyenletnek annyi pozitív megoldása van, ahány előjel változik két egymást követő együttható között. Az egyenlet például, amelynek előjelének állandósága (az első és második együttható között) és előjelváltozata (a második és a harmadik együttható között) negatív és pozitív megoldást tesz lehetővé, helyette az egyenlet , amely két előjelváltozást mutat be egymást követő együtthatók, két pozitív gyökeret ismer fel.
Hiányos másodfokú egyenletek
Hamis egyenlet
A hamis egy másodfokú egyenlet, amelyből hiányzik az ismert kifejezés, vagyis a következő alakja van: [8]
Egy ilyen típusú egyenlet könnyen megoldható közös faktorgyűjtéssel :
A szorzat érvénytelenítésének törvénye szerint ez az egyenlet ekvivalens a kettővel:
és végül a megoldásai a következők:
Ha a hamis egyenlet együtthatói valós számok, akkor erre az egyenletre jellemző, hogy mindig két különböző valós megoldása van, amelyek közül az egyik nulla.
Tiszta egyenlet
A tiszta másodfokú egyenlet egy másodfokú polinomiális egyenlet, amelyből hiányzik az elsőfokú tag: [9]
A második tagra hozva és elosztva a következőt kapjuk:
Ha , az egyenlet nem fogad megoldást a valós mezőben, mivel nincsenek olyan valós számok, amelyek egy negatív szám négyzetgyökei (például ), de a komplex számok területén két megoldás létezik.
Ha , az egyenletet a következőképpen oldjuk meg:
Ha a tiszta egyenlet együtthatói valós számok, a megoldás mindig vagy két ellentétes valós szám vagy két konjugált komplex szám lesz .
Monómiaegyenlet
A monomia egyenlet egy másodfokú egyenlet, amelyben és ezért a formában . Ebben az esetben az egyenlet egyetlen megoldásként a dupla, vagy a kettes multiplicitást fogadja el . [8]
Teljes egyenletek és általános megoldási képlet
A másodfokú polinomi egyenletet "teljes másodfokú egyenletnek" nevezzük, ha minden együtthatója különbözik a -tól . Megoldása az úgynevezett négyzetkiegészítési módszerrel történik, amit azért hívnak, mert az egyenlet addig módosul, amíg az első tagja egy binomiális négyzete lesz a következő formában:
- .
Először is menjen a második taghoz:
Mindkét oldallal megszorozva a következőket kapjuk:
Vegye figyelembe, hogy:
az, hogy a:
- ,
ezért lehet tekinteni a tagot a binomiális négyzet képletének és a kettős szorzatnak, ahol la egyenlő ; ezért, hogy megbizonyosodjunk arról, hogy az első tagnak binomiális négyzete van, hozzáadjuk az egyenlet mindkét oldalához :
- ,
vagyis:
Ennek az egyenletnek a második tagját diszkriminánsnak nevezik , és általában a görög delta nagybetűvel jelölik . Ha negatív, akkor nincsenek valós megoldások, mivel az első tag, mivel négyzet, mindig nagyobb vagy egyenlő, mint . Ha nem, írhatod:
amely egyszerű lépésekkel átírható a következőre:
Ez utóbbi kifejezés "másodfokú egyenletek megoldási képlete" néven ismert.
Megoldások számítása
Az előző bizonyítás fényében világos, hogy egy másodfokú egyenlet megoldásánál mindenekelőtt a diszkriminánst kell kiszámítani .
Három eset létezik: [10]
- Ha , két valódi és különálló megoldás létezik:
- Ha , a megoldás képlete a következő lesz:
- Végül, ha az egyenletnek nincsenek valós megoldásai. Konkrétan a megoldás mindig kettő, de a komplex számok területéhez tartoznak: két konjugált komplex szám , és a két képlet alapján számítjuk ki:
Geometriai értelmezés
A másodfokú egyenlet gyökerei
azok a pontok is, ahol a függvény
null értéket vesz fel, mivel ezek az értékek, amelyek:
Ha , és valós számok, és a tartomány a valós számok halmaza, akkor a nullák pontosan azon pontok abszcisszái , ahol a grafikon érinti az x tengelyt .
Az előző megfontolások alapján a következőkre lehet következtetni: [11]
- ha a diszkrimináns pozitív, a gráf két pontban metszi az abszcissza tengelyt;
- ha nulla, akkor a gráf érinti a tengelyt , azaz metszi azt a parabola csúcsában ;
- ha negatív, a grafikon soha nem érinti a tengelyt .
A megoldási képlet redukált formája
A másodfokú egyenlet megoldási képlete "egyszerűsíthető" a nevező és a számláló szorzásával :
és a helyettesítést alkalmazva a következőt kapjuk:
Ez a képlet akkor lehet hasznos, ha a ,, egyenlet elsőfokú ismeretlen együtthatója pontosan osztható kettővel, és redukált képletnek nevezzük . [12]
Ebben az esetben a képlet leegyszerűsödik:
A gyökök és az együtthatók közötti kapcsolatok
Tegyük egyenlővé a másodfokú egyenlet két megoldásának és szorzatának összegét, ezért és . A két megoldás tagonkénti hozzáadásával a következőket kapjuk:
Ehelyett, ha a terméket taggá teszi, a következőket kapja:
Ez a két összefüggés lehetővé teszi a gyökök összegének és szorzatának meghatározását a [13] egyenlet megoldása nélkül ; ezek a Viète-képletek sajátos esetei . Továbbá, ha az általános másodfokú egyenletet átírjuk az úgynevezett normál alakra , azaz mindkét tagot elosztjuk -val :
triviális helyettesítésekkel a következő formát kapjuk:
Kevésbé használt, de ugyanolyan fontos a kapcsolat:
egyszerű algebrai lépésekkel kimutatható.
Trinomial Factorization
Tekintsük a teljes másodfokú polinomot:
és tegyük fel azt is, hogy a polinom nullával való egyenlővé tételével kapott egyenlet diszkriminánsa pozitív (egy szükségtelen hipotézis a komplex számok területén). A gyűjtéssel a következőket kapod:
Már korábban is megállapították, hogy e . Így:
Ezért lehetséges egy másodfokú polinomot két elsőfokú binomira bontani, kiszámítva a nullával egyenlő polinom által adott egyenlet megoldásait:
Ha a társított egyenletnek csak egy valós megoldása van kettes multiplicitásúnak, akkor a másodfokú trinomiális dekompozíciója a következőképpen írható át:
A jelek szabálya
Az előjelek szabálya vagy a Descartes -szabály lehetővé teszi egy teljes egyenlet gyökeinek előjelének meghatározását nem negatív diszkriminánssal. Tekintsük sorrendben a , és a jeleit . Feltételezheti, hogy igen , hacsak nem szorozza meg mindkét kifejezést -vel . Lehetséges kombinációk: [14]
| nak nek | b | c |
|---|---|---|
| + | + | + |
| + | + | - |
| + | - | + |
| + | - | - |
- Első eset :. Felidézve, hogy és , ebből az következik, hogy a szorzatuk pozitív, az összegük pedig negatív, tehát mindkét megoldás negatív.
- Második eset: e . Ekkor a gyökök szorzata negatív (ami azt jelenti, hogy diszkordánsak), az összeg pedig negatív (ami azt jelenti, hogy a negatív megoldás abszolút értékben nagyobb, mint a pozitív).
- Harmadik eset: e . Ekkor a gyökerek szorzata pozitív, valamint az összegük; ezért mindkét gyökér pozitív.
- Negyedik eset: e . Ekkor a gyökök szorzata negatív (ami ismét azt jelenti, hogy diszkordánsak), de az összeg pozitív (ezért a pozitív megoldás abszolút értékben nagyobb).
Állandóságnak nevezve minden két egyenlőségjel sorozatát, variációnak pedig minden ellentétes előjel sorozatát, az előző eredményeket úgy foglalhatjuk össze, hogy minden állandóság negatív megoldásnak, minden változatnak pedig pozitív megoldásnak felel meg. Ha a gyökök diszkordánsak, a pozitív érték abszolút értékben nagyobb, ha a változás megelőzi az állandóságot; a negatív, ha az állandóság megelőzi a változást.
Példa a megoldásra a négyzet kitöltésével
Van:
így:
amelyből:
Ezen a ponton megrajzolható a grafikonja , lefordítva a -hoz tartozó parabolát a tengely mentén és a tengely mentén .
Végül is metódus
Egyes egyenletekre különböző módszerek alkalmazhatók a gyökereik megtalálásához. A Ruffini -féle maradéktételt használjuk , az ismert tag lehetséges osztóit ellenőrizzük és egyszer -egyszer felvesszük ; akkor a Ruffini-féle maradéktétel képletét figyelembe véve azonnal megtudhatjuk, hogy , és az egyenletben a helyett a -t behelyettesítve ellenőrizhetjük azt a maradékot, amelyből a polinom osztva lesz : ha igen, akkor ez lesz az osztó , ahol egy megoldási egyenlet . Ezen a ponton a másik megoldást kétféleképpen találhatjuk meg:
- Ruffini :
A Ruffini-féle osztás vagy a kanonikus módszer alkalmazásával olyan binomiálist kapunk, amelyben az együttható lehetséges gyűjtése után az ismert tag előjelben változtatva lesz a második keresett megoldás:
Ezért:
- Roots módszer :
Ennek tudatában:
az, hogy a:
- ,
Miután megtaláltuk az első megoldást a fent látható módszerrel, a második megoldást rövidebb úton, osztás alkalmazása nélkül megtalálhatjuk a következő beállítással:
Ennek a fordítottja is igaz.
Különleges esetek
Két speciális eset a vagy . Az első esetben a megoldások és , míg a második esetben a megoldások az és
Alternatív képlet
Bizonyos helyzetekben célszerű a gyökereket alternatív formában kifejezni:
Ez a képlet azonban csak azzal a további feltétellel helyes, hogy nem nulla. Ha , ez a képlet helyesen adja meg a megoldást , de nem kapja meg a nullától eltérő gyöket (mivel a osztást kapná , ami nincs definiálva).
Természetesen a két gyök értéke egyenlő, függetlenül attól, hogy a "klasszikus" vagy az alternatív képletet használjuk, ami valójában az első egyszerű algebrai változata:
A lebegőpontos műveletekkel felszerelt számológépen végzett gondos megvalósítás mindkét képlettől eltér az eredmény robusztusságának biztosítása érdekében. Feltételezve, hogy a diszkrimináns pozitív és , a következő kód használható:
ahol az előjelfüggvényt jelöli , amely akkor érvényes, ha pozitív és negatív; ez az elrendezés biztosítja két azonos előjelű mennyiség hozzáadását, elkerülve a pontosság elvesztését . A második gyök kiszámítása azt a tényt használja ki, hogy a gyökök szorzata egyenlő .
Jegyzetek
- ^ Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-Volume 2 , Zanichelli, 2010, ISBN 978-88-08-31344-7 . 865. o
- ^ Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-Volume 2 , Zanichelli, 2010, ISBN 978-88-08-31344-7 . 868. o
- ^ Paolo Baroncini, Roberto Manfredi, Ilaria Fragni, Lineamenti.Math Blu-Volume 3 , Ghisetti és Corvi, 2012, ISBN 978-88-538-0431-0 . 423. o
- ↑ Boyer 1991 p. 38
- ^ Boyer 1991 pp. 39-40
- ↑ Boyer 1991 p. 270
- ↑ Sridhara életrajza. Archiválva : 2016. március 5. az Internet Archívumban .
- ^ a b Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-2. kötet , Zanichelli, 2010, ISBN 978-88-08-31344-7 . 870. o
- ^ Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-Volume 2 , Zanichelli, 2010, ISBN 978-88-08-31344-7 . 869. o
- ↑ Marzia Re Fraschini, Gabriella Grazzi, A matematika alapelvei (3. kötet) , Atlas, 2012, ISBN 978-88-268-1711-8 . 64. o
- ↑ Marzia Re Fraschini, Gabriella Grazzi, A matematika alapelvei (3. kötet) , Atlas, 2012, ISBN 978-88-268-1711-8 . 79. o
- ↑ Marzia Re Fraschini, Gabriella Grazzi, A matematika alapelvei (3. kötet) , Atlas, 2012, ISBN 978-88-268-1711-8 . 65. o
- ^ Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-Volume 2 , Zanichelli, 2010, ISBN 978-88-08-31344-7 . 872. o
- ^ Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-Volume 2 , Zanichelli, 2010, ISBN 978-88-08-31344-7 . 874-875
Bibliográfia
- Carl Benjamin Boyer , A matematika története, Adriano Carugo fordítása, Mondadori, 1991, ISBN 88-04-33431-2 .
- Massimo Bergamini, Anna Trifone, Graziella Barozzi, Mathematics.Blu-Volume 2 , Zanichelli, 2010, ISBN 978-88-08-31344-7 .
- Marzia Re Fraschini, Gabriella Grazzi, A matematika alapelvei (3. kötet) , Atlas, 2012, ISBN 978-88-268-1711-8 .
- Paolo Baroncini, Roberto Manfredi, Ilaria Fragni, Lineamenti.Math Blu-Volume 3 , Ghisetti és Corvi, 2012, ISBN 978-88-538-0431-0 .
Kapcsolódó elemek
- Egyenlet
- Lineáris egyenlet
- Köbös egyenlet
- Kvartikus egyenlet
- Radikális (matematika)
- Parabola (geometria)
- Másodfokú egyenlőtlenség
- Másodfokú egyenletrendszer
Egyéb projektek
A Wikiversitás forrásokat tartalmaz a másodfokú egyenlethez
A Wikimedia Commons képeket vagy más fájlokat tartalmaz másodfokú egyenlet szerint
Külső linkek
- ( EN ) Másodfokú egyenlet , az Encyclopedia Britannica , Encyclopædia Britannica, Inc.