Kvadratickou funkcí nazýváme každou funkci, pro níž existují konstanty \(a,b,c\in\mathbb{R}\), s \(a \neq 0\) takové, že rovnost
Kvadrát závorky v (4.8) je vždy nezáporný. Odtud pak plyne, že vrchol paraboly se nachází v bodě o souřadnicích (horizontální souřadnice (\(x\)) vrcholu odpovídá odpovídá číslu, které vynuluje kvadrát) \begin{equation*} \Bigg( -\frac{b}{2a}, \, c - \frac{b^2}{4a} \Bigg).\end{equation*} Z rovnice (4.8) je patrné, že znaménko koeficientu \(a\) rozhoduje o tom, zda jsou všechny funkční hodnoty větší (menší) nebo rovny \(c-\frac{b^2}{4a}\). Oborem hodnot naší kvadratické funkce proto je \begin{equation*} H_f = \begin{cases} \left\langle c-\frac{b^2}{4a}, +\infty \right), & a > 0, \\ \left( -\infty, c-\frac{b^2}{4a} \right\rangle, & a < 0. \end{cases}\end{equation*} Pro průsečíky grafu funkce \(f\) s osou \(x\) platí známý vztah
Důkaz vzorce pro kořeny kvadratické funkce :
Vzorec pro kořeny můžeme také odvodit z úpravy na čtverec. Hledáme-li kořeny, tj. řešení rovnice \(ax^2 + bx + c = 0\) a použijeme-li rovnosti (4.8) dostáváme \begin{equation*} \left( x + \frac{b}{2a} \right)^2 = \frac{b^2 - 4ac}{4a^2}.\end{equation*} Odtud lze řešení vyjádřit následovně: \begin{equation*} x = -\frac{b}{2a} \pm \frac{\sqrt{b^2 - 4ac}}{2|a|}.\end{equation*} Díky znaménku \(\pm\) lze psát souhrnně \begin{equation*} x_{\pm} = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a},\end{equation*} což je přesně hledaný vztah (4.9).
\(\square\)Na tomto místě je vhodné zdůraznit, že korektních důkazů různých tvrzení může být více. Některé mohou být snazší, některé komplikovanější. Například pokud bychom chtěli pouze ověřit platnost předkládaného tvrzení, tedy že \(x_\pm\) dané vztahy (4.9) jsou skutečně kořeny kvadratické funkce (4.7) stačí postupovat následovně47:
Alternativní důkaz vzorce pro kořeny kvadratické funkce :
Platnost vztahu (4.9) můžeme snadno ověřit prostým dosazením. Ukažme, že \(x_+\) je kořenem naší kvadratické funkce (4.7). \begin{equation*} \begin{aligned} a x_+^2 + b x_+ + c &= a \cdot \frac{1}{4a^2} \Bigg(\! -b + \sqrt{b^2 - 4ac} \Bigg)^{\!\! 2} + \frac{b}{2a} \Bigg( -b + \sqrt{b^2 - 4ac} \Bigg) + c = \\ &= \frac{1}{4a} \Bigg( b^2 - 2 b \sqrt{b^2 -4ac} + b^2 - 4ac \Bigg) - \frac{b^2}{2a} + \frac{b}{2a} \sqrt{b^2 - 4ac} + c = 0 \end{aligned}\end{equation*} Bod \(x_+\) je tedy kořenem! Zcela analogicky se dá ověřit, že bod \(x_-\) je taktéž kořenem paraboly (4.7).
\(\square\)Obrázek 4.4: Ukázka grafů dvou kvadratických funkcí.