7. Tétel

Az egyenletek megoldása során a célunk az, hogy az eredeti egyenletet vele azonos megoldáshalmazú, de egyszerűbb egyenletekké alakítsuk.

Ekvivalencia: Két egyenletet egy adott alaphalmazon ekvivalensnek (egyenértékűnek) nevezünk, ha megoldáshalmazuk megegyezik. Egy átalakítás ekvivalens, ha az eredeti és az új egyenlet ekvivalens egymással (pl. mindkét oldalhoz ugyanazt a kifejezést hozzáadjuk, vagy nullától különböző számmal szorozzuk).

Bizonyos átalakítások azonban megváltoztathatják a megoldáshalmazt:

• Gyökvesztés: Akkor lép fel, ha az átalakítás során az eredeti megoldáshalmaz szűkül. Tipikus esete az ismeretlent tartalmazó kifejezéssel való osztás. Ha például az $x^2 = x$ egyenlet mindkét oldalát elosztjuk $x$-szel, kapjuk az $x = 1$ egyenletet. Ezzel elveszítettük az $x = 0$ gyököt. Helyes eljárás: Szorzattá alakítás, azaz $x^2 - x = 0 \implies x(x - 1) = 0$.
• Hamis gyök (Idegen gyök): Akkor keletkezik, ha az átalakítás során a megoldáshalmaz bővül (következményegyenletet kapunk). Leggyakoribb oka az ismeretlent tartalmazó kifejezéssel való szorzás, vagy a páros kitevőre emelés. Például az $x = 3$ egyenletet négyzetre emelve kapjuk az $x^2 = 9$ egyenletet, aminek az $x = -3$ is megoldása, holott az eredetinek nem volt az.

A hamis gyökök kiszűrése érdekében a páros kitevőre emelés, illetve a logaritmikus/törtes egyenletek megoldása során kötelező az ellenőrzés vagy az értelmezési tartomány (kikötések) szigorú vizsgálata.

A valós együtthatós, egyismeretlenes másodfokú egyenlet általános (nullára rendezett) alakja:

A megoldások számát a diszkrimináns határozza meg: $\Delta = b^2 - 4ac$.

• Ha $\Delta > 0$: két különböző valós gyök van.
• Ha $\Delta = 0$: egy valós gyök van (kétszeres gyök).
• Ha $\Delta < 0$: a valós számok halmazán nincs megoldás (a komplex számok halmazán két konjugált komplex gyök létezik).

Ha az egyenletnek léteznek valós gyökei ($x_1$ és $x_2$), akkor felírható a gyöktényezős alak: $a(x - x_1)(x - x_2) = 0$. Ezt kibontva és az együtthatókat összevetve kapjuk a gyökök és együtthatók közötti összefüggéseket:

Egy $ax^2 + bx + c > 0$ (vagy $\ge, <, \le$) alakú egyenlőtlenség megoldása geometriai szempontból az $f(x) = ax^2 + bx + c$ parabola vizsgálatát jelenti a koordináta-rendszerben.

1. Zérushelyek meghatározása: Megoldjuk az $ax^2 + bx + c = 0$ egyenletet. A gyökök adják meg, hol metszi a parabola az x-tengelyt.
2. Nyitottság iránya: Ha $a > 0$, a parabola felfelé nyitott (minimuma van). Ha $a < 0$, a parabola lefelé nyitott (maximuma van).
3. Intervallumok leolvasása: A gyökök (ha vannak) és az "a" paraméter előjele alapján felvázoljuk a görbét, majd leolvassuk, hogy mely $x$ értékekre esik a görbe az x-tengely fölé ($>0$) vagy alá ($<0$).

Példa: $x^2 - 5x + 6 > 0$. A zérushelyek $x_1 = 2, x_2 = 3$. Mivel $a=1 > 0$, a parabola felfelé nyitott. A görbe az x-tengely felett az $x < 2$ és az $x > 3$ tartományokban van. Megoldás: $x \in (-\infty, 2) \cup (3, \infty)$.

Gyakran találkozunk olyan összetett egyenletekkel, amelyek megfelelő helyettesítéssel (új ismeretlen bevezetésével) másodfokúvá alakíthatók. Legfontosabb típusok:

• Bikvadratikus egyenletek: $ax^4 + bx^2 + c = 0$. Helyettesítsünk $y = x^2$-et! Az egyenlet $ay^2 + by + c = 0$ alakot ölt. A kapott $y_1, y_2$ gyökökből vissza kell térni $x$-re ($x = \pm\sqrt{y}$). Csak a nemnegatív $y$ ad valós $x$ megoldást.
• Négyzetgyökös egyenletek: Például $\sqrt{f(x)} = g(x)$. Mindkét oldal négyzetre emelésével az egyenlet gyakran másodfokúvá válik. Mivel a négyzetre emelés nem ekvivalens átalakítás, hamis gyök keletkezhet! A megoldások ellenőrzése az eredeti egyenletben kötelező.
• Exponenciális és logaritmikus egyenletek: Olyan egyenletek, mint a $4^x - 3 \cdot 2^x + 2 = 0$. Az $(2^x)^2 - 3 \cdot 2^x + 2 = 0$ átalakítás után az $y = 2^x$ $(y > 0)$ helyettesítéssel $y^2 - 3y + 2 = 0$ másodfokú egyenletet kapunk.
• Trigonometrikus egyenletek: Pl. $2\sin^2 x - 3\sin x + 1 = 0$. Az $y = \sin x$ (ahol $-1 \le y \le 1$) helyettesítéssel oldjuk meg. A kapott $y$-okból visszaszámoljuk az $x$ szögeket.

Matematikatörténet:

• Már az ókori babilóniaiak (i.e. 2000 körül) is képesek voltak másodfokú egyenletre vezető problémákat megoldani. Bár negatív számokat még nem ismertek, agyagtábláikon algoritmusokat rögzítettek, amelyek matematikailag megegyeznek a mai megoldóképlettel.
• A 9. században Al-Hvárizmi arab matematikus "Al-jabr wa'l muqabala" (Innen ered az 'algebra' szavunk) című könyvében geometriai módszerekkel, terület-kiegészítéssel (teljes négyzetté alakítással) adta meg a másodfokú egyenletek hat alapesetének precíz megoldását.
• A Viète-formulák François Viète (1540–1603) francia matematikusról kapták nevüket, aki az algebrai jelölésrendszer (betűk használata) egyik úttörője volt.

Gyakorlati alkalmazások:

• Fizika (Kinematika): A szabadesés és a hajítások mozgásegyenlete az időben másodfokú függvény ($s = v_0 t + \frac{1}{2}at^2$). A test levegőben töltött idejének kiszámítása másodfokú egyenlet megoldását igényli.
• Optimalizálási problémák (Gazdaság, Geometria): A másodfokú függvény csúcspontjának (szélsőértékének) megtalálása kulcsfontosságú. Például egy adott kerítésből maximális területű téglalap alakú kifutó építése, vagy a maximális profit elérése egy termék árazása során.