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, involving no operation more advanced than taking the square root of a real number.

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 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 \{ \, 0, 1, \, \}} with one exception: 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 \mathbb{Z}_2} does not have a "two" in it, we set 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 \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,

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}_8 = \{ \, \overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}, \overline{5}, \overline{6}, \overline{7} \, \}}

Multiplication in this ring is performed by multiplying the representative integers and taking the remainder upon dividing the result by 8. Using this procedure, we calculate the squares of the elements in this 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 \overline{0}^2 = \overline{0} \qquad \qquad \overline{4}^2 = \overline{16} = \overline{1} }

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 \overline{1}^2 = \overline{1} \qquad \qquad \overline{5}^2 = \overline{25} = \overline{1}}

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 \overline{2}^2 = \overline{4} \qquad \qquad \overline{6}^2 = \overline{36} = \overline{4} }

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 \overline{3}^2 = \overline{9} = \overline{1} \qquad \, \overline{7}^2 = \overline{49} = \overline{1} }

We see that the elements 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 \overline{2}, \overline{3}, \overline{5}, \overline{6},} 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 \overline{7}} have no square roots in the ring, while 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 \overline{1} } has four distinct square roots!

When working with real coefficients, we can work around the case where the discriminant is negative by allowing solutions in the larger ring of complex numbers. In the above example, it is not clear how to enlarge the ring of integers modulo 8 to ensure that the discriminant has a square root. However, when the ring of coefficients is a field, one can ensure that there are solutions for every quadratic equation by allowing solutions to be in an algebraic closure of the field (see below).

When 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 commutative ring and we seek solutions in the same ring, we simply say that the equation is unsolvable over 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} if the discriminant does not have a square root in the ring.

The final problem with the derivation of the quadratic formula over a general commutative ring is the final division by 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 2a} . Since division is not a ring operation, we must be careful to view this step as a multiplication by the multiplicative inverse of 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 2a} . It is very possible 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 2a} is not invertible. In particular, this happens if the characteristic of the ring is two (if the characteristic of the ring divides a, then the leading coefficient of the polynomial is zero so that it is actually a linear equation). However, if both 2 and a are both units 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} , then this step can be performed.

In summary, the quadratic formula is valid for quadratic equations over a general 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} with the following caveats:

• 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} must be commutative
• 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 2} 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} must be units 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} , so in particular 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} must not have characteristic two.
• The term 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 \sqrt{b^2-4ac}} must be allowed to take all possible square roots (sometimes more than two!) 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}

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, of characteristic two. 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} .