✖

Másodfokú egyenletek a komplex számok halmazán

Ha a másodfokú egyenlet megoldásakor negatív diszkriminánst kapsz, az azt jelenti, hogy az egyenletnek nincs megoldása a valós számok halmazán. Ennek az egyenletnek azonban a komplex számok halmazán mindig van megoldása.

Motiváció

Próbáljuk megoldani a következő másodfokú egyenletet: x2 + 2x + 5 = 0. Először kiszámítjuk a diszkriminánst: D = 4 − 20 = −16. Ahogy már tudjuk, ennek az egyenletnek nincs megoldása a valós számok halmazán. A komplex számoknak viszont megvan az az előnyük, hogy lehetővé teszik negatív számból is a gyökvonást. Mivel i2 = −1, a diszkriminánsunkat átírhatjuk −16 = 16i2 alakra. Ebből már lehet gyököt vonni, az eredmény 4i. Kiszámítjuk a másodfokú egyenlet megoldásait:

x1=−2+16i22=−2+4i2=2(−1+2i)2=2i−1.

x2=−2−16i22=−2−4i2=2(−1−2i)2=−2i−1.

Képletek és összefüggések

Az előző példából levezethetjük a másodfokú egyenlet gyökeinek kiszámítási képletét arra az esetre, ha a diszkrimináns negatív:

x1,2=−b±i|D|2a.

Ebből tehát az következik, hogy minden másodfokú egyenletnek van megoldása. Ha a diszkrimináns nemnegatív, elég a valós szám, ha a diszkrimináns negatív, az egyenletet a komplex számok körében kell megoldanunk. Általánosan elmondhatjuk, hogy minden másodfokú egyenletnek van megoldása a komplex számok halmazán.

Ezekre a komplex gyökökre is érvényesek a Viète-formulák. Először az összeg levezetése:

x1+x2=−b+i|D|2a+−b−i|D|2a=−b+i|D|−b−i|D|2a=−2b2a=−ba

És a szorzaté. Kihasználjuk, hogy a diszkrimináns negatív, és mivel gyököt kell vonnunk belőle, a diszkrimináns ellentettjével számolunk, így pozitív számot kapunk. A |D| helyett tehát a −D kifejezést írjuk, az eredmény ugyanaz.

x1⋅x2=−b+i−D2a⋅−b−i−D2a=b2+b⋅i−D−b⋅i−D−(−D)i24a2=b2+Di24a2=b2−D4a2=b2−(b2−4ac)4a2=4ac4a2=ca

Példa

Oldd meg a 2x2 + 6x + 9 = 0 másodfokú egyenletet. Kiszámítjuk a diszkriminánst: D = 36 − 72 = −36. Negatív szám, ezért a komplex gyökök képletét használjuk, és csak behelyettesítünk:

x1=−b+i|D|2a=−6+i364=−6+6i4=3(i−1)2=−32+3i2

x2=−b−i|D|2a=…=−32−3i2

Fejezetek: Másodfokú egyenletek, Diszkrimináns, Paraméteres, A komplex számok halmazán