Quadratic equation/Advanced

In mathematics, or more specifically algebra, a quadratic equation is one involving only polynomials of the second degree. Quadratic equations are a common part of mathematical solutions to real-world problems in a huge variety of situations. Fortunately, there exists a simple closed formula for finding the roots of such an equation, the quadratic formula.

Quadratic equations occurring in applications typically involve real number coefficients. However, one can manipulate polynomials in the usual way as long as the coefficients can be added and multiplied together. Please see the main page for a discussion of polynomials with real coefficients.

The most general mathematical context that deals with systems of objects that can be added and multiplied together is ring (mathematics) theory. One can work with polynomials, and in particular quadratic polynomial equations, as long as the coefficients are in a ring. The real numbers is an example of a ring. Another example, important in coding theory, is polynomials with coefficients in the ring $\mathbb {Z} _{2}=\{\,{\overline {0}},{\overline {1}}\,\}$. You add and multiply in this ring in the same way you add or multiply the integers $\{\,0,1,\,\}$ with one exception: since $\mathbb {Z} _{2}$ does not have a "two" in it, we set ${\overline {1}}+{\overline {1}}={\overline {0}}$.

Solutions of quadratic equations

When working with polynomials over a specific ring $R$, one usually looks for solutions in the same ring $R$. The main exception to this is the most common case, where a polynomial has integer coefficients but one desires real number solutions. If, instead, one demands solutions of the same type as the polynomial coefficients, namely integers, the equation becomes a Diophantine equation. In this article, we assume that the desired solutions are in the same ring that the coefficients are drawn from.

Every polynomial equation with coefficients in a ring $R$ can be put into the form:

$ax^{2}+bx+c=0\,$

with a, b and c in $R$ and $a\not =0$. When the coefficients are real numbers, the quadratic formula specifies the roots of this equation as

$x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}\ .$

If $R$ is an arbitrary ring, however, there are several problems with this formula.

General fields

Let Δ be the discriminant,

$\Delta =b^{2}-4ac.\,$

This pair of solutions, which may be verified by completing the square, are valid when the characteristic of F is not 2: we shall assume this for now and deal with binary fields below.

If Δ is a square in F then the quadratic equation splits completely in F: that is, both roots lie in F.

In Δ is not a square in F then the field extension $F({\sqrt {\Delta }})$ is quadratic over F: both roots of the equation lie in the extension, which is thus a splitting field for the equation and hence a Galois extension.

We observe that in this case, the quadratic equations is soluble by radicals: in this case, square roots.

Characteristic two

In the case of binary fields, extensions by square roots are not the most general form of quadratic extension. The map $X\mapsto X^{2}$ is always injective, and in the case of finite fields it is therefore also surjective (it is the Frobenius automorphism).

To obtain the most general quadratic extension, consider the Artin-Schreier polynomial

$A_{\alpha }(X)=X^{2}+X-\alpha \,$

for α in F. The function $A:X\mapsto X^{2}+X$ is two-to-one since $A(x)=A(x+1)$. It is in fact $\mathbf {F} _{2}$-linear on F as a vector space.

Finite fields

Suppose that F is finite. The Frobenius map is an automorphism and so its inverse, the square root map is defined everywhere, and square roots do not generate any non-trivial extensions.

If F is finite, then A is exactly 2-to-1 and the image of A is a $\mathbf {F} _{2}$-subspace of codimension 1. There is always some element α of F not in the image of A, and so the corresponding Artin-Schreier polynomial has no root in F: it is therefore an irreducible polynomial and the quotient ring $F[X]/\langle A_{\alpha }(X)\rangle$ is a field which is a quadratic extension of F. Since finite fields of the same order are unique up to isomorphism, we may say that this is "the" quadratic extension of F. As before, both roots of the equation lie in the extension, which is thus a splitting field for the equation and hence a Galois extension: in this case the roots are of the form $\beta ,~\beta +1$.