Quadratic equation

From HandWiki
Short description: Polynomial equation of degree two

In algebra, a quadratic equation (from la quadratus 'square') is any equation that can be rearranged in standard form as[1] [math]\displaystyle{ ax^2 + bx + c = 0\,, }[/math] where x represents an unknown value, and a, b, and c represent known numbers, where a ≠ 0. (If a = 0 and b ≠ 0 then the equation is linear, not quadratic.) The numbers a, b, and c are the coefficients of the equation and may be distinguished by respectively calling them, the quadratic coefficient, the linear coefficient and the constant coefficient or free term.[2]

The values of x that satisfy the equation are called solutions of the equation, and roots or zeros of the expression on its left-hand side. A quadratic equation has at most two solutions. If there is only one solution, one says that it is a double root. If all the coefficients are real numbers, there are either two real solutions, or a single real double root, or two complex solutions that are complex conjugates of each other. A quadratic equation always has two roots, if complex roots are included; and a double root is counted for two. A quadratic equation can be factored into an equivalent equation[3] [math]\displaystyle{ ax^2+bx+c=a(x-r)(x-s)=0 }[/math] where r and s are the solutions for x.

The quadratic formula [math]\displaystyle{ x=\frac{-b\pm\sqrt{b^2-4ac} }{2a} }[/math] expresses the solutions in terms of a, b, and c. Completing the square is one of several ways for deriving the formula.

Solutions to problems that can be expressed in terms of quadratic equations were known as early as 2000 BC.[4][5]

Because the quadratic equation involves only one unknown, it is called "univariate". The quadratic equation contains only powers of x that are non-negative integers, and therefore it is a polynomial equation. In particular, it is a second-degree polynomial equation, since the greatest power is two.

Solving the quadratic equation

Figure 1. Plots of the quadratic function, y = eh x squared plus b x plus c, varying each coefficient separately while the other coefficients are fixed at values eh = 1, b = 0, c = 0. The left plot illustrates varying c. When c equals 0, the vertex of the parabola representing the quadratic function is centered on the origin, and the parabola rises on both sides of the origin, opening to the top. When c is greater than zero, the parabola does not change in shape, but its vertex is raised above the origin. When c is less than zero, the vertex of the parabola is lowered below the origin. The center plot illustrates varying b. When b is less than zero, the parabola representing the quadratic function is unchanged in shape, but its vertex is shifted to the right of and below the origin. When b is greater than zero, its vertex is shifted to the left of and below the origin. The vertices of the family of curves created by varying b follow along a parabolic curve. The right plot illustrates varying eh. When eh is positive, the quadratic function is a parabola opening to the top. When eh is zero, the quadratic function is a horizontal straight line. When eh is negative, the quadratic function is a parabola opening to the bottom.
Figure 1. Plots of quadratic function y = ax2 + bx + c, varying each coefficient separately while the other coefficients are fixed (at values a = 1, b = 0, c = 0)

A quadratic equation with real or complex coefficients has two solutions, called roots. These two solutions may or may not be distinct, and they may or may not be real.

Factoring by inspection

It may be possible to express a quadratic equation ax2 + bx + c = 0 as a product (px + q)(rx + s) = 0. In some cases, it is possible, by simple inspection, to determine values of p, q, r, and s that make the two forms equivalent to one another. If the quadratic equation is written in the second form, then the "Zero Factor Property" states that the quadratic equation is satisfied if px + q = 0 or rx + s = 0. Solving these two linear equations provides the roots of the quadratic.

For most students, factoring by inspection is the first method of solving quadratic equations to which they are exposed.[6]:202–207 If one is given a quadratic equation in the form x2 + bx + c = 0, the sought factorization has the form (x + q)(x + s), and one has to find two numbers q and s that add up to b and whose product is c (this is sometimes called "Vieta's rule"[7] and is related to Vieta's formulas). As an example, x2 + 5x + 6 factors as (x + 3)(x + 2). The more general case where a does not equal 1 can require a considerable effort in trial and error guess-and-check, assuming that it can be factored at all by inspection.

Except for special cases such as where b = 0 or c = 0, factoring by inspection only works for quadratic equations that have rational roots. This means that the great majority of quadratic equations that arise in practical applications cannot be solved by factoring by inspection.[6]:207

Completing the square

Main page: Completing the square
Figure 2 illustrates an x y plot of the quadratic function f of x equals x squared minus x minus 2. The x-coordinate of the points where the graph intersects the x-axis, x equals −1 and x equals 2, are the solutions of the quadratic equation x squared minus x minus 2 equals zero.
Figure 2. For the quadratic function y = x2x − 2, the points where the graph crosses the x-axis, x = −1 and x = 2, are the solutions of the quadratic equation x2x − 2 = 0.

The process of completing the square makes use of the algebraic identity

[math]\displaystyle{ x^2+2hx+h^2 = (x+h)^2, }[/math]

which represents a well-defined algorithm that can be used to solve any quadratic equation.[6]:207 Starting with a quadratic equation in standard form, ax2 + bx + c = 0

  1. Divide each side by a, the coefficient of the squared term.
  2. Subtract the constant term c/a from both sides.
  3. Add the square of one-half of b/a, the coefficient of x, to both sides. This "completes the square", converting the left side into a perfect square.
  4. Write the left side as a square and simplify the right side if necessary.
  5. Produce two linear equations by equating the square root of the left side with the positive and negative square roots of the right side.
  6. Solve each of the two linear equations.

We illustrate use of this algorithm by solving 2x2 + 4x − 4 = 0

[math]\displaystyle{ 2x^2+4x-4=0 }[/math]
[math]\displaystyle{ \ x^2+2x-2=0 }[/math]
[math]\displaystyle{ \ x^2+2x=2 }[/math]
[math]\displaystyle{ \ x^2+2x+1=2+1 }[/math]
[math]\displaystyle{ \left(x+1 \right)^2=3 }[/math]
[math]\displaystyle{ \ x+1=\pm\sqrt{3} }[/math]
[math]\displaystyle{ \ x=-1\pm\sqrt{3} }[/math]

The plus–minus symbol "±" indicates that both x = −1 + 3 and x = −1 − 3 are solutions of the quadratic equation.[8]

Quadratic formula and its derivation

Main page: Quadratic formula

Completing the square can be used to derive a general formula for solving quadratic equations, called the quadratic formula.[9] The mathematical proof will now be briefly summarized.[10] It can easily be seen, by polynomial expansion, that the following equation is equivalent to the quadratic equation:

[math]\displaystyle{ \left(x+\frac{b}{2a}\right)^2=\frac{b^2-4ac}{4a^2}. }[/math]

Taking the square root of both sides, and isolating x, gives:

[math]\displaystyle{ x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}. }[/math]

Some sources, particularly older ones, use alternative parameterizations of the quadratic equation such as ax2 + 2bx + c = 0 or ax2 − 2bx + c = 0 ,[11] where b has a magnitude one half of the more common one, possibly with opposite sign. These result in slightly different forms for the solution, but are otherwise equivalent.

A number of alternative derivations can be found in the literature. These proofs are simpler than the standard completing the square method, represent interesting applications of other frequently used techniques in algebra, or offer insight into other areas of mathematics.

A lesser known quadratic formula, as used in Muller's method, provides the same roots via the equation

[math]\displaystyle{ x = \frac{2c}{-b \pm \sqrt {b^2-4ac}}. }[/math]

This can be deduced from the standard quadratic formula by Vieta's formulas, which assert that the product of the roots is c/a. It also follows from dividing the quadratic equation by [math]\displaystyle{ x^2 }[/math] giving [math]\displaystyle{ cx^{-2}+bx^{-1}+a=0, }[/math] solving this for [math]\displaystyle{ x^{-1}, }[/math] and then inverting.

One property of this form is that it yields one valid root when a = 0, while the other root contains division by zero, because when a = 0, the quadratic equation becomes a linear equation, which has one root. By contrast, in this case, the more common formula has a division by zero for one root and an indeterminate form 0/0 for the other root. On the other hand, when c = 0, the more common formula yields two correct roots whereas this form yields the zero root and an indeterminate form 0/0.

When neither a nor c is zero, the equality between the standard quadratic formula and Muller's method,

[math]\displaystyle{ \frac{2c}{-b - \sqrt {b^2-4ac}} = \frac{-b + \sqrt {b^2-4ac}}{2a}\,, }[/math]

can be verified by cross multiplication, and similarly for the other choice of signs.

Reduced quadratic equation

It is sometimes convenient to reduce a quadratic equation so that its leading coefficient is one. This is done by dividing both sides by a, which is always possible since a is non-zero. This produces the reduced quadratic equation:[12]

[math]\displaystyle{ x^2+px+q=0, }[/math]

where p = b/a and q = c/a. This monic polynomial equation has the same solutions as the original.

The quadratic formula for the solutions of the reduced quadratic equation, written in terms of its coefficients, is

[math]\displaystyle{ x = \frac{1}{2} \left( - p \pm \sqrt{p^2 - 4q} \right) }[/math]

or, equivalently,

[math]\displaystyle{ x = - \frac{p}{2} \pm \sqrt{\left(\frac{p}{2}\right)^2 - q}\,. }[/math]

Discriminant

Figure 3. This figure plots three quadratic functions on a single Cartesian plane graph to illustrate the effects of discriminant values. When the discriminant, delta, is positive, the parabola intersects the x-axis at two points. When delta is zero, the vertex of the parabola touches the x-axis at a single point. When delta is negative, the parabola does not intersect the x-axis at all.
Figure 3. Discriminant signs

In the quadratic formula, the expression underneath the square root sign is called the discriminant of the quadratic equation, and is often represented using an upper case D or an upper case Greek delta:[13]

[math]\displaystyle{ \Delta = b^2 - 4ac. }[/math]

A quadratic equation with real coefficients can have either one or two distinct real roots, or two distinct complex roots. In this case the discriminant determines the number and nature of the roots. There are three cases:

  • If the discriminant is positive, then there are two distinct roots
[math]\displaystyle{ \frac{-b + \sqrt {\Delta}}{2a} \quad\text{and}\quad \frac{-b - \sqrt {\Delta}}{2a}, }[/math]
both of which are real numbers. For quadratic equations with rational coefficients, if the discriminant is a square number, then the roots are rational—in other cases they may be quadratic irrationals.
  • If the discriminant is zero, then there is exactly one real root [math]\displaystyle{ -\frac{b}{2a}, }[/math] sometimes called a repeated or double root or two equal roots.
  • If the discriminant is negative, then there are no real roots. Rather, there are two distinct (non-real) complex roots[14][math]\displaystyle{ -\frac{b}{2a} + i \frac{\sqrt {-\Delta}}{2a} \quad\text{and}\quad -\frac{b}{2a} - i \frac{\sqrt {-\Delta}}{2a}, }[/math]
which are complex conjugates of each other. In these expressions i is the imaginary unit.

Thus the roots are distinct if and only if the discriminant is non-zero, and the roots are real if and only if the discriminant is non-negative.

Geometric interpretation

Graph of y = ax2 + bx + c, where a and the discriminant b2 − 4ac are positive, with
  • Roots and y-intercept in red
  • Vertex and axis of symmetry in blue
  • Focus and directrix in pink
Visualisation of the complex roots of y = ax2 + bx + c: the parabola is rotated 180° about its vertex (orange). Its x-intercepts are rotated 90° around their mid-point, and the Cartesian plane is interpreted as the complex plane (green).[15]

The function f(x) = ax2 + bx + c is a quadratic function.[16] The graph of any quadratic function has the same general shape, which is called a parabola. The location and size of the parabola, and how it opens, depend on the values of a, b, and c. As shown in Figure 1, if a > 0, the parabola has a minimum point and opens upward. If a < 0, the parabola has a maximum point and opens downward. The extreme point of the parabola, whether minimum or maximum, corresponds to its vertex. The x-coordinate of the vertex will be located at [math]\displaystyle{ \scriptstyle x=\tfrac{-b}{2a} }[/math], and the y-coordinate of the vertex may be found by substituting this x-value into the function. The y-intercept is located at the point (0, c).

The solutions of the quadratic equation ax2 + bx + c = 0 correspond to the roots of the function f(x) = ax2 + bx + c, since they are the values of x for which f(x) = 0. As shown in Figure 2, if a, b, and c are real numbers and the domain of f is the set of real numbers, then the roots of f are exactly the x-coordinates of the points where the graph touches the x-axis. As shown in Figure 3, if the discriminant is positive, the graph touches the x-axis at two points; if zero, the graph touches at one point; and if negative, the graph does not touch the x-axis.

Quadratic factorization

The term

[math]\displaystyle{ x - r }[/math]

is a factor of the polynomial

[math]\displaystyle{ ax^2+bx+c }[/math]

if and only if r is a root of the quadratic equation

[math]\displaystyle{ ax^2+bx+c=0. }[/math]

It follows from the quadratic formula that

[math]\displaystyle{ ax^2+bx+c = a \left( x - \frac{-b + \sqrt {b^2-4ac}}{2a} \right) \left( x - \frac{-b - \sqrt {b^2-4ac}}{2a} \right). }[/math]

In the special case b2 = 4ac where the quadratic has only one distinct root (i.e. the discriminant is zero), the quadratic polynomial can be factored as

[math]\displaystyle{ ax^2+bx+c = a \left( x + \frac{b}{2a} \right)^2. }[/math]

Graphical solution

Figure 4. Graphing calculator computation of one of the two roots of the quadratic equation 2x2 + 4x − 4 = 0. Although the display shows only five significant figures of accuracy, the retrieved value of xc is 0.732050807569, accurate to twelve significant figures.
A quadratic function without real root: y = (x − 5)2 + 9. The "3" is the imaginary part of the x-intercept. The real part is the x-coordinate of the vertex. Thus the roots are 5 ± 3i.

The solutions of the quadratic equation

[math]\displaystyle{ ax^2+bx+c=0 }[/math]

may be deduced from the graph of the quadratic function

[math]\displaystyle{ f(x)=ax^2+bx+c, }[/math]

which is a parabola.

If the parabola intersects the x-axis in two points, there are two real roots, which are the x-coordinates of these two points (also called x-intercept).

If the parabola is tangent to the x-axis, there is a double root, which is the x-coordinate of the contact point between the graph and parabola.

If the parabola does not intersect the x-axis, there are two complex conjugate roots. Although these roots cannot be visualized on the graph, their real and imaginary parts can be.[17]

Let h and k be respectively the x-coordinate and the y-coordinate of the vertex of the parabola (that is the point with maximal or minimal y-coordinate. The quadratic function may be rewritten

[math]\displaystyle{ y = a(x - h)^2 + k. }[/math]

Let d be the distance between the point of y-coordinate 2k on the axis of the parabola, and a point on the parabola with the same y-coordinate (see the figure; there are two such points, which give the same distance, because of the symmetry of the parabola). Then the real part of the roots is h, and their imaginary part are ±d. That is, the roots are

[math]\displaystyle{ h+id \quad \text{and} \quad h-id, }[/math]

or in the case of the example of the figure

[math]\displaystyle{ 5+3i \quad \text{and} \quad 5-3i. }[/math]

Avoiding loss of significance

Although the quadratic formula provides an exact solution, the result is not exact if real numbers are approximated during the computation, as usual in numerical analysis, where real numbers are approximated by floating point numbers (called "reals" in many programming languages). In this context, the quadratic formula is not completely stable.

This occurs when the roots have different order of magnitude, or, equivalently, when b2 and b2 − 4ac are close in magnitude. In this case, the subtraction of two nearly equal numbers will cause loss of significance or catastrophic cancellation in the smaller root. To avoid this, the root that is smaller in magnitude, r, can be computed as [math]\displaystyle{ (c/a)/R }[/math] where R is the root that is bigger in magnitude. This is equivalent to using the formula

[math]\displaystyle{ x =\frac{-2c}{b \pm \sqrt {b^2-4ac}} }[/math]

using the plus sign if [math]\displaystyle{ b\gt 0 }[/math] and the minus sign if [math]\displaystyle{ b\lt 0. }[/math]

A second form of cancellation can occur between the terms b2 and 4ac of the discriminant, that is when the two roots are very close. This can lead to loss of up to half of correct significant figures in the roots.[11][18]

Examples and applications

The trajectory of the cliff jumper is parabolic because horizontal displacement is a linear function of time [math]\displaystyle{ x=v_x t }[/math], while vertical displacement is a quadratic function of time [math]\displaystyle{ y=\tfrac{1}{2} at^2+v_y t+h }[/math]. As a result, the path follows quadratic equation [math]\displaystyle{ y=\tfrac{a}{2v_x^2} x^2+\tfrac{v_y}{v_x} x+h }[/math], where [math]\displaystyle{ v_x }[/math] and [math]\displaystyle{ v_y }[/math] are horizontal and vertical components of the original velocity, a is gravitational acceleration and h is original height. The a value should be considered negative here, as its direction (downwards) is opposite to the height measurement (upwards).

The golden ratio is found as the positive solution of the quadratic equation [math]\displaystyle{ x^2-x-1=0. }[/math]

The equations of the circle and the other conic sections—ellipses, parabolas, and hyperbolas—are quadratic equations in two variables.

Given the cosine or sine of an angle, finding the cosine or sine of the angle that is half as large involves solving a quadratic equation.

The process of simplifying expressions involving the square root of an expression involving the square root of another expression involves finding the two solutions of a quadratic equation.

Descartes' theorem states that for every four kissing (mutually tangent) circles, their radii satisfy a particular quadratic equation.

The equation given by Fuss' theorem, giving the relation among the radius of a bicentric quadrilateral's inscribed circle, the radius of its circumscribed circle, and the distance between the centers of those circles, can be expressed as a quadratic equation for which the distance between the two circles' centers in terms of their radii is one of the solutions. The other solution of the same equation in terms of the relevant radii gives the distance between the circumscribed circle's center and the center of the excircle of an ex-tangential quadrilateral.

Critical points of a cubic function and inflection points of a quartic function are found by solving a quadratic equation.

History

Babylonian mathematicians, as early as 2000 BC (displayed on Old Babylonian clay tablets) could solve problems relating the areas and sides of rectangles. There is evidence dating this algorithm as far back as the Third Dynasty of Ur.[19] In modern notation, the problems typically involved solving a pair of simultaneous equations of the form:

[math]\displaystyle{ x+y=p,\ \ xy=q, }[/math]

which is equivalent to the statement that x and y are the roots of the equation:[20]:86

[math]\displaystyle{ z^2+q=pz. }[/math]

The steps given by Babylonian scribes for solving the above rectangle problem, in terms of x and y, were as follows:

  1. Compute half of p.
  2. Square the result.
  3. Subtract q.
  4. Find the (positive) square root using a table of squares.
  5. Add together the results of steps (1) and (4) to give x.

In modern notation this means calculating [math]\displaystyle{ x = \left(\frac{p}{2}\right) + \sqrt{\left(\frac{p}{2}\right)^2 - q} }[/math], which is equivalent to the modern day quadratic formula for the larger real root (if any) [math]\displaystyle{ x = \frac{-b + \sqrt{b^2 - 4ac}}{2a} }[/math] with a = 1, b = −p, and c = q.

Geometric methods were used to solve quadratic equations in Babylonia, Egypt, Greece, China, and India. The Egyptian Berlin Papyrus, dating back to the Middle Kingdom (2050 BC to 1650 BC), contains the solution to a two-term quadratic equation.[21] Babylonian mathematicians from circa 400 BC and Chinese mathematicians from circa 200 BC used geometric methods of dissection to solve quadratic equations with positive roots.[22][23] Rules for quadratic equations were given in The Nine Chapters on the Mathematical Art, a Chinese treatise on mathematics.[23][24] These early geometric methods do not appear to have had a general formula. Euclid, the Greek mathematician, produced a more abstract geometrical method around 300 BC. With a purely geometric approach Pythagoras and Euclid created a general procedure to find solutions of the quadratic equation. In his work Arithmetica, the Greek mathematician Diophantus solved the quadratic equation, but giving only one root, even when both roots were positive.[25]

In 628 AD, Brahmagupta, an Indian mathematician, gave in his book Brāhmasphuṭasiddhānta the first explicit (although still not completely general) solution of the quadratic equation ax2 + bx = c as follows: "To the absolute number multiplied by four times the [coefficient of the] square, add the square of the [coefficient of the] middle term; the square root of the same, less the [coefficient of the] middle term, being divided by twice the [coefficient of the] square is the value."[26] This is equivalent to

[math]\displaystyle{ x = \frac{\sqrt{4ac+b^2}-b}{2a}. }[/math]

The Bakhshali Manuscript written in India in the 7th century AD contained an algebraic formula for solving quadratic equations, as well as quadratic indeterminate equations (originally of type ax/c = y[clarification needed : this is linear, not quadratic]). Muhammad ibn Musa al-Khwarizmi (9th century), possibly inspired by Brahmagupta,[original research?] developed a set of formulas that worked for positive solutions. Al-Khwarizmi goes further in providing a full solution to the general quadratic equation, accepting one or two numerical answers for every quadratic equation, while providing geometric proofs in the process.[27] He also described the method of completing the square and recognized that the discriminant must be positive,[27][28]:230 which was proven by his contemporary 'Abd al-Hamīd ibn Turk (Central Asia, 9th century) who gave geometric figures to prove that if the discriminant is negative, a quadratic equation has no solution.[28]:234 While al-Khwarizmi himself did not accept negative solutions, later Islamic mathematicians that succeeded him accepted negative solutions,[27]:191 as well as irrational numbers as solutions.[29] Abū Kāmil Shujā ibn Aslam (Egypt, 10th century) in particular was the first to accept irrational numbers (often in the form of a square root, cube root or fourth root) as solutions to quadratic equations or as coefficients in an equation.[30] The 9th century Indian mathematician Sridhara wrote down rules for solving quadratic equations.[31]

The Jewish mathematician Abraham bar Hiyya Ha-Nasi (12th century, Spain) authored the first European book to include the full solution to the general quadratic equation.[32] His solution was largely based on Al-Khwarizmi's work.[27] The writing of the Chinese mathematician Yang Hui (1238–1298 AD) is the first known one in which quadratic equations with negative coefficients of 'x' appear, although he attributes this to the earlier Liu Yi.[33] By 1545 Gerolamo Cardano compiled the works related to the quadratic equations. The quadratic formula covering all cases was first obtained by Simon Stevin in 1594.[34] In 1637 René Descartes published La Géométrie containing the quadratic formula in the form we know today.

Advanced topics

Alternative methods of root calculation

Vieta's formulas

Main page: Vieta's formulas
Graph of the difference between Vieta's approximation for the smallest root of the quadratic equation x2 + bx + c = 0 compared with the value calculated using the quadratic formula

Vieta's formulas (named after François Viète) are the relations

[math]\displaystyle{ x_1 + x_2 = -\frac{b}{a}, \quad x_1 x_2 = \frac{c}{a} }[/math]

between the roots of a quadratic polynomial and its coefficients. They result from comparing term by term the relation

[math]\displaystyle{ \left( x - x_1 \right) \left( x-x_2 \right ) = x^2 - \left( x_1+x_2 \right)x +x_1 x_2 = 0 }[/math]

with the equation

[math]\displaystyle{ x^2 + \frac ba x +\frac ca = 0. }[/math]

The first Vieta's formula is useful for graphing a quadratic function. Since the graph is symmetric with respect to a vertical line through the vertex, the vertex's x-coordinate is located at the average of the roots (or intercepts). Thus the x-coordinate of the vertex is

[math]\displaystyle{ x_V = \frac {x_1 + x_2} {2} = -\frac{b}{2a}. }[/math]

The y-coordinate can be obtained by substituting the above result into the given quadratic equation, giving

[math]\displaystyle{ y_V = - \frac{b^2}{4a} + c = - \frac{ b^2 - 4ac} {4a}. }[/math]

Also, these formulas for the vertex can be deduced directly from the formula (see Completing the square)

[math]\displaystyle{ ax^2+bx+c=a \left(x+\frac b{2a}\right)^2 - \frac{b^2-4ac}{4a}. }[/math]

For numerical computation, Vieta's formulas provide a useful method for finding the roots of a quadratic equation in the case where one root is much smaller than the other. If |x2| << |x1|, then x1 + x2x1, and we have the estimate:

[math]\displaystyle{ x_1 \approx -\frac{b}{a} . }[/math]

The second Vieta's formula then provides:

[math]\displaystyle{ x_2 = \frac{c}{a x_1} \approx -\frac{c}{b} . }[/math]

These formulas are much easier to evaluate than the quadratic formula under the condition of one large and one small root, because the quadratic formula evaluates the small root as the difference of two very nearly equal numbers (the case of large b), which causes round-off error in a numerical evaluation. The figure shows the difference between[clarification needed] (i) a direct evaluation using the quadratic formula (accurate when the roots are near each other in value) and (ii) an evaluation based upon the above approximation of Vieta's formulas (accurate when the roots are widely spaced). As the linear coefficient b increases, initially the quadratic formula is accurate, and the approximate formula improves in accuracy, leading to a smaller difference between the methods as b increases. However, at some point the quadratic formula begins to lose accuracy because of round off error, while the approximate method continues to improve. Consequently, the difference between the methods begins to increase as the quadratic formula becomes worse and worse.

This situation arises commonly in amplifier design, where widely separated roots are desired to ensure a stable operation (see Step response).

Trigonometric solution

In the days before calculators, people would use mathematical tables—lists of numbers showing the results of calculation with varying arguments—to simplify and speed up computation. Tables of logarithms and trigonometric functions were common in math and science textbooks. Specialized tables were published for applications such as astronomy, celestial navigation and statistics. Methods of numerical approximation existed, called prosthaphaeresis, that offered shortcuts around time-consuming operations such as multiplication and taking powers and roots.[35] Astronomers, especially, were concerned with methods that could speed up the long series of computations involved in celestial mechanics calculations.

It is within this context that we may understand the development of means of solving quadratic equations by the aid of trigonometric substitution. Consider the following alternate form of the quadratic equation,

[1]   [math]\displaystyle{ ax^2 + bx \pm c = 0 , }[/math]

where the sign of the ± symbol is chosen so that a and c may both be positive. By substituting

[2]   [math]\displaystyle{ x = \sqrt{c/a} \tan\theta }[/math]

and then multiplying through by cos2(θ) / c, we obtain

[3]   [math]\displaystyle{ \sin^2\theta + \frac{b}{\sqrt {ac}} \sin\theta \cos\theta \pm \cos^2\theta = 0 . }[/math]

Introducing functions of 2θ and rearranging, we obtain

[4]   [math]\displaystyle{ \tan 2 \theta_n = + 2 \frac{\sqrt{ac}}{b} , }[/math]

[5]   [math]\displaystyle{ \sin 2 \theta_p = - 2 \frac{\sqrt{ac}}{b} , }[/math]

where the subscripts n and p correspond, respectively, to the use of a negative or positive sign in equation [1]. Substituting the two values of θn or θp found from equations [4] or [5] into [2] gives the required roots of [1]. Complex roots occur in the solution based on equation [5] if the absolute value of sin 2θp exceeds unity. The amount of effort involved in solving quadratic equations using this mixed trigonometric and logarithmic table look-up strategy was two-thirds the effort using logarithmic tables alone.[36] Calculating complex roots would require using a different trigonometric form.[37]

To illustrate, let us assume we had available seven-place logarithm and trigonometric tables, and wished to solve the following to six-significant-figure accuracy:
[math]\displaystyle{ 4.16130x^2 + 9.15933x - 11.4207 = 0 }[/math]
  1. A seven-place lookup table might have only 100,000 entries, and computing intermediate results to seven places would generally require interpolation between adjacent entries.
  2. [math]\displaystyle{ \log a = 0.6192290, \log b = 0.9618637, \log c = 1.0576927 }[/math]
  3. [math]\displaystyle{ 2 \sqrt{ac}/b = 2 \times 10^{(0.6192290 + 1.0576927)/2 - 0.9618637} = 1.505314 }[/math]
  4. [math]\displaystyle{ \theta = (\tan^{-1}1.505314) / 2 = 28.20169^{\circ} \text{ or } -61.79831^{\circ} }[/math]
  5. [math]\displaystyle{ \log | \tan \theta | = -0.2706462 \text{ or } 0.2706462 }[/math]
  6. [math]\displaystyle{ \log\sqrt{c/a} = (1.0576927 - 0.6192290) / 2 = 0.2192318 }[/math]
  7. [math]\displaystyle{ x_1 = 10^{0.2192318 - 0.2706462} = 0.888353 }[/math] (rounded to six significant figures)
[math]\displaystyle{ x_2 = -10^{0.2192318 + 0.2706462} = -3.08943 }[/math]

Solution for complex roots in polar coordinates

If the quadratic equation [math]\displaystyle{ ax^2+bx+c=0 }[/math] with real coefficients has two complex roots—the case where [math]\displaystyle{ b^2-4ac\lt 0, }[/math] requiring a and c to have the same sign as each other—then the solutions for the roots can be expressed in polar form as[38]

[math]\displaystyle{ x_1, \, x_2=r(\cos \theta \pm i\sin \theta), }[/math]

where [math]\displaystyle{ r=\sqrt{\tfrac{c}{a}} }[/math] and [math]\displaystyle{ \theta =\cos ^{-1}\left(\tfrac{-b}{2\sqrt{ac}}\right). }[/math]

Geometric solution

Figure 6. Geometric solution of eh x squared plus b x plus c = 0 using Lill's method. The geometric construction is as follows: Draw a trapezoid S Eh B C. Line S Eh of length eh is the vertical left side of the trapezoid. Line Eh B of length b is the horizontal bottom of the trapezoid. Line B C of length c is the vertical right side of the trapezoid. Line C S completes the trapezoid. From the midpoint of line C S, draw a circle passing through points C and S. Depending on the relative lengths of eh, b, and c, the circle may or may not intersect line Eh B. If it does, then the equation has a solution. If we call the intersection points X 1 and X 2, then the two solutions are given by negative Eh X 1 divided by S Eh, and negative Eh X 2 divided by S Eh.
Figure 6. Geometric solution of ax2 + bx + c = 0 using Lill's method. Solutions are −AX1/SA, −AX2/SA

The quadratic equation may be solved geometrically in a number of ways. One way is via Lill's method. The three coefficients a, b, c are drawn with right angles between them as in SA, AB, and BC in Figure 6. A circle is drawn with the start and end point SC as a diameter. If this cuts the middle line AB of the three then the equation has a solution, and the solutions are given by negative of the distance along this line from A divided by the first coefficient a or SA. If a is 1 the coefficients may be read off directly. Thus the solutions in the diagram are −AX1/SA and −AX2/SA.[39]

Carlyle circle of the quadratic equation x2 − sx + p = 0.

The Carlyle circle, named after Thomas Carlyle, has the property that the solutions of the quadratic equation are the horizontal coordinates of the intersections of the circle with the horizontal axis.[40] Carlyle circles have been used to develop ruler-and-compass constructions of regular polygons.

Generalization of quadratic equation

The formula and its derivation remain correct if the coefficients a, b and c are complex numbers, or more generally members of any field whose characteristic is not 2. (In a field of characteristic 2, the element 2a is zero and it is impossible to divide by it.)

The symbol

[math]\displaystyle{ \pm \sqrt {b^2-4ac} }[/math]

in the formula should be understood as "either of the two elements whose square is b2 − 4ac, if such elements exist". In some fields, some elements have no square roots and some have two; only zero has just one square root, except in fields of characteristic 2. Even if a field does not contain a square root of some number, there is always a quadratic extension field which does, so the quadratic formula will always make sense as a formula in that extension field.

Characteristic 2

In a field of characteristic 2, the quadratic formula, which relies on 2 being a unit, does not hold. Consider the monic quadratic polynomial

[math]\displaystyle{ x^{2} + bx + c }[/math]

over a field of characteristic 2. If b = 0, then the solution reduces to extracting a square root, so the solution is

[math]\displaystyle{ x = \sqrt{c} }[/math]

and there is only one root since

[math]\displaystyle{ -\sqrt{c} = -\sqrt{c} + 2\sqrt{c} = \sqrt{c}. }[/math]

In summary,

[math]\displaystyle{ \displaystyle x^{2} + c = (x + \sqrt{c})^{2}. }[/math]

See quadratic residue for more information about extracting square roots in finite fields.

In the case that b ≠ 0, there are two distinct roots, but if the polynomial is irreducible, they cannot be expressed in terms of square roots of numbers in the coefficient field. Instead, define the 2-root R(c) of c to be a root of the polynomial x2 + x + c, an element of the splitting field of that polynomial. One verifies that R(c) + 1 is also a root. In terms of the 2-root operation, the two roots of the (non-monic) quadratic ax2 + bx + c are

[math]\displaystyle{ \frac{b}{a}R\left(\frac{ac}{b^2}\right) }[/math]

and

[math]\displaystyle{ \frac{b}{a}\left(R\left(\frac{ac}{b^2}\right)+1\right). }[/math]

For example, let a denote a multiplicative generator of the group of units of F4, the Galois field of order four (thus a and a + 1 are roots of x2 + x + 1 over F4. Because (a + 1)2 = a, a + 1 is the unique solution of the quadratic equation x2 + a = 0. On the other hand, the polynomial x2 + ax + 1 is irreducible over F4, but it splits over F16, where it has the two roots ab and ab + a, where b is a root of x2 + x + a in F16.

This is a special case of Artin–Schreier theory.

See also

References

  1. Charles P. McKeague (2014). Intermediate Algebra with Trigonometry (reprinted ed.). Academic Press. p. 219. ISBN 978-1-4832-1875-5. https://books.google.com/books?id=e4_iBQAAQBAJ.  Extract of page 219
  2. Protters & Morrey: "Calculus and Analytic Geometry. First Course".
  3. The Princeton Review (2020). Princeton Review SAT Prep, 2021: 5 Practice Tests + Review & Techniques + Online Tools. Random House Children's Books. p. 360. ISBN 978-0-525-56974-9. https://books.google.com/books?id=IrrQDwAAQBAJ.  Extract of page 360
  4. David Mumford; Caroline Series; David Wright (2002). Indra's Pearls: The Vision of Felix Klein (illustrated, reprinted ed.). Cambridge University Press. p. 37. ISBN 978-0-521-35253-6. https://books.google.com/books?id=XFE3jmSEfC8C.  Extract of page 37
  5. Mathematics in Action Teachers' Resource Book 4b (illustrated ed.). Nelson Thornes. 1996. p. 26. ISBN 978-0-17-431439-4. https://books.google.com/books?id=HpaBTnefqnkC.  Extract of page 26
  6. 6.0 6.1 6.2 Washington, Allyn J. (2000). Basic Technical Mathematics with Calculus, Seventh Edition. Addison Wesley Longman, Inc.. ISBN 978-0-201-35666-3. 
  7. Ebbinghaus, Heinz-Dieter; Ewing, John H. (1991), Numbers, Graduate Texts in Mathematics, 123, Springer, p. 77, ISBN 9780387974972, https://books.google.com/books?id=OKcKowxXwKkC&pg=PA77 .
  8. Sterling, Mary Jane (2010), Algebra I For Dummies, Wiley Publishing, p. 219, ISBN 978-0-470-55964-2, https://books.google.com/books?id=2toggaqJMzEC&q=quadratic+formula&pg=PA219 
  9. Rich, Barnett; Schmidt, Philip (2004), Schaum's Outline of Theory and Problems of Elementary Algebra, The McGraw-Hill Companies, ISBN 978-0-07-141083-0, https://books.google.com/books?id=8PRU9cTKprsC , Chapter 13 §4.4, p. 291
  10. Himonas, Alex. Calculus for Business and Social Sciences, p. 64 (Richard Dennis Publications, 2001).
  11. 11.0 11.1 Kahan, Willian (November 20, 2004), On the Cost of Floating-Point Computation Without Extra-Precise Arithmetic, http://www.cs.berkeley.edu/~wkahan/Qdrtcs.pdf, retrieved 2012-12-25 
  12. Alenit͡syn, Aleksandr and Butikov, Evgeniĭ. Concise Handbook of Mathematics and Physics, p. 38 (CRC Press 1997)
  13. Δ is the initial of the Greek word Διακρίνουσα, Diakrínousa, discriminant.
  14. Achatz, Thomas; Anderson, John G.; McKenzie, Kathleen (2005). Technical Shop Mathematics. Industrial Press. p. 277. ISBN 978-0-8311-3086-2. https://books.google.com/books?id=YOdtemSmzQQC&q=quadratic+formula&pg=PA276. 
  15. "Complex Roots Made Visible – Math Fun Facts". http://math.hmc.edu/funfacts/ffiles/10005.1.shtml. Retrieved 1 October 2016. 
  16. Wharton, P. (2006). Essentials of Edexcel Gcse Math/Higher. Lonsdale. p. 63. ISBN 978-1-905-129-78-2. https://books.google.com/books?id=LMmKq-feEUoC&q=%22Quadratic+function%22+%22Quadratic+equation%22&pg=PA63. 
  17. Alec Norton, Benjamin Lotto (June 1984), "Complex Roots Made Visible", The College Mathematics Journal 15 (3): 248–249, doi:10.2307/2686333 
  18. Higham, Nicholas (2002), Accuracy and Stability of Numerical Algorithms (2nd ed.), SIAM, p. 10, ISBN 978-0-89871-521-7 
  19. Friberg, Jöran (2009). "A Geometric Algorithm with Solutions to Quadratic Equations in a Sumerian Juridical Document from Ur III Umma". Cuneiform Digital Library Journal 3. http://cdli.ucla.edu/pubs/cdlj/2009/cdlj2009_003.html. 
  20. Stillwell, John (2004). Mathematics and Its History (2nd ed.). Springer. ISBN 978-0-387-95336-6. 
  21. The Cambridge Ancient History Part 2 Early History of the Middle East. Cambridge University Press. 1971. p. 530. ISBN 978-0-521-07791-0. https://books.google.com/books?id=slR7SFScEnwC&pg=PA530. 
  22. Henderson, David W.. "Geometric Solutions of Quadratic and Cubic Equations". Mathematics Department, Cornell University. http://www.math.cornell.edu/~dwh/papers/geomsolu/geomsolu.html. 
  23. 23.0 23.1 Aitken, Wayne. "A Chinese Classic: The Nine Chapters". Mathematics Department, California State University. http://public.csusm.edu/aitken_html/m330/china/ninechapters.pdf. 
  24. Smith, David Eugene (1958). History of Mathematics. Courier Dover Publications. p. 380. ISBN 978-0-486-20430-7. https://books.google.com/books?id=uTytJGnTf1kC&pg=PA380. 
  25. Smith, David Eugene (1958). History of Mathematics, Volume 1. Courier Dover Publications. p. 134. ISBN 978-0-486-20429-1. https://books.google.com/books?id=12qdOZ0gsWoC.  Extract of page 134
  26. Brāhmasphuṭasiddhānta, Colebrook translation, 1817, page 346; cited by Stillwell, John (2010). Mathematics and Its History (3rd ed.). Springer. p. 93. doi:10.1007/978-1-4419-6053-5. ISBN 978-0-387-95336-6. 
  27. 27.0 27.1 27.2 27.3 Katz, V. J.; Barton, B. (2006). "Stages in the History of Algebra with Implications for Teaching". Educational Studies in Mathematics 66 (2): 185–201. doi:10.1007/s10649-006-9023-7. 
  28. 28.0 28.1 Boyer, Carl B.; Uta C. Merzbach, rev. editor (1991). A History of Mathematics. John Wiley & Sons, Inc.. ISBN 978-0-471-54397-8. https://archive.org/details/historyofmathema00boye. 
  29. O'Connor, John J.; Robertson, Edmund F., "Arabic mathematics: forgotten brilliance?", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/HistTopics/Arabic_mathematics.html . "Algebra was a unifying theory which allowed rational numbers, irrational numbers, geometrical magnitudes, etc., to all be treated as "algebraic objects"."
  30. Jacques Sesiano, "Islamic mathematics", p. 148, in Selin, Helaine; D'Ambrosio, Ubiratan, eds. (2000), Mathematics Across Cultures: The History of Non-Western Mathematics, Springer, ISBN 978-1-4020-0260-1 
  31. Smith, David Eugene (1958). History of Mathematics. Courier Dover Publications. p. 280. ISBN 978-0-486-20429-1. https://books.google.com/books?id=12qdOZ0gsWoC&pg=PA280. 
  32. Livio, Mario (2006). The Equation that Couldn't Be Solved. Simon & Schuster. ISBN 978-0743258210. https://books.google.com/books?id=veQ9a3nixDUC&q=Abraham+bar+Hiyya+Ha-Nasi+quadratic&pg=PA62. 
  33. Ronan, Colin (1985). The Shorter Science and Civilisation in China. Cambridge University Press. p. 15. ISBN 978-0-521-31536-4. https://books.google.com/books?id=XsMxmS7NyukC&pg=PA15. 
  34. Struik, D. J.; Stevin, Simon (1958), The Principal Works of Simon Stevin, Mathematics, II-B, C. V. Swets & Zeitlinger, p. 470, http://www.dwc.knaw.nl/pub/bronnen/Simon_Stevin-%5bII_B%5d_The_Principal_Works_of_Simon_Stevin,_Mathematics.pdf 
  35. Ballew, Pat. "Solving Quadratic Equations — By analytic and graphic methods; Including several methods you may never have seen". http://www.pballew.net/quadsol.pdf. 
  36. Seares, F. H. (1945). "Trigonometric Solution of the Quadratic Equation". Publications of the Astronomical Society of the Pacific 57 (339): 307–309. doi:10.1086/125759. Bibcode1945PASP...57..307S. 
  37. Aude, H. T. R. (1938). "The Solutions of the Quadratic Equation Obtained by the Aid of the Trigonometry". National Mathematics Magazine 13 (3): 118–121. doi:10.2307/3028750. 
  38. Simons, Stuart, "Alternative approach to complex roots of real quadratic equations", Mathematical Gazette 93, March 2009, 91–92.
  39. Bixby, William Herbert (1879), Graphical Method for finding readily the Real Roots of Numerical Equations of Any Degree, West Point N. Y. 
  40. Weisstein, Eric W. "Carlyle Circle". From MathWorld—A Wolfram Web Resource. http://mathworld.wolfram.com/CarlyleCircle.html. 

External links