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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} , one usually looks for solutions in the same ring Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} can be put into the form:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ax^2+bx+c=0\,}

with a, b and c in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a\not=0} . When the coefficients are real numbers, the quadratic formula specifies the roots of this equation as

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}\ .}

If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} is an arbitrary ring, however, there are several problems with this formula. The derivation of the formula typically involves completing the square. Looking at the derivation on the main page, the first problem arises when the factoring is performed. If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} is not commutative, this step is not valid. For the rest of this section, we assume that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} is a commutative ring.

The next problem in the derivation of the quadratic formula for commutative rings arises when the square root is taken. This is a problem already familiar from the situation where the coefficients are real numbers: if the discriminant is negative, then there are no real solutions. Otherwise, there are one or two solutions. If the coefficients are in a general commutative ring, the discriminant can have 0, 1, 2, or even more solutions.

For example, let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} be the ring of integers modulo 8.

General fields

Let Δ be the discriminant,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_\alpha(X) = X^2 + X - \alpha \,}

for α in F. The function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A : X \mapsto X^2 + X} is two-to-one since Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A(x) = A(x+1)} . It is in fact Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beta,~\beta+1} .