We call quadratic function a function $f$ for which there exist constants $a,b,c\in\mathbb{R}$, with $a \neq 0$ such that
for every $x\in\mathbb{R}$. The domain of such a function is by definition the whole real line $\mathbb{R}$. The graph of a quadratic function is a parabola, see picture 4.4. The coordinates of the vertex of the parabola are easily revealed after squaring:
This adjustment is motivated by the simple requirement that the independent variable $x$ occurs only in a squared expression. This is accomplished with the clever addition and subtraction of quadratic terms as shown here.
The squared bracket in (4.8) is always non-negative. From there it follows that the vertex of the parabola is located at the coordinate point
From equation (4.8) it is evident that the sign of the coefficient $a$ decides whether all functional values are greater (smaller) than or equal to $c-\frac{b^2}{4a}$. The image set of the quadratic function is therefore
A well known formula applies to find the intersections $x_{\pm}$ of the function $f$ with the $x$ axis:
The equation $ax^2 + bx + c = 0$ has therefore real solutions only under the assumption of non-negativity of the discriminant $b^2 - 4ac$.
The formula for the roots can be derived from a modification to a square. Looking for roots, i.e. solving the equation $ax^2 + bx + c = 0$ and by using the equality (4.8), we get
From here, the solution can be expressed as follows:
Finally, by using the sign $\pm$, we can write in compact form
which is exactly (4.9).
$\square$
At this point, it should be pointed out that there can be many different proofs of a claim. Some may be easier, some more complicated. For example, if we just wanted to validate the present statement, that is, $x_{pm}$ as given in (4.9) expresses the roots of a quadratic function (4.7), it is enough to proceed as follows40:
The validity of (4.9) can be easily verified by a simple substitution. Let us take $x_+$ and show that it is a root of (4.7).
Thus $x_+$ is indeed a root! Analogously, it can be verified that $x_-$ is a root of (4.7), too.
$\square$
Let as take $a>b>0$. The numbers $a$ and $b$ are said to be in golden ratio41, if the ratio $\frac{a+b}{b}$ is the same as $\frac{a}{b}$. What is then the value of $\varphi =\frac{a}{b}$?
$\displaystyle\varphi = \frac{1+\sqrt{5}}{2}$.