A quadratic equation is a polynomial equation of degree 2 in a single variable
|
(1)
|
with complex coefficients ,
, and
and
. The fundamental
theorem of algebra guarantees two roots, counted with
multiplicity. If the coefficients
are real, the roots are either
both real or a nonreal complex
conjugate pair.
Among his many other talents, Major General Stanley in Gilbert and Sullivan's operetta the Pirates of Penzance impresses the pirates with his knowledge of quadratic equations in "The Major General's Song" as follows: "I am the very model of a modern Major-General, I've information vegetable, animal, and mineral, I know the kings of England, and I quote the fights historical, From Marathon to Waterloo, in order categorical; I'm very well acquainted too with matters mathematical, I understand equations, both the simple and quadratical, About binomial theorem I'm teeming with a lot o' news-- With many cheerful facts about the square of the hypotenuse."
The roots can be found by completing
the square,
|
(2)
|
|
(3)
|
|
(4)
|
Solving for
then gives
|
(5)
|
This equation is known as the quadratic formula.
The first known solution of a quadratic equation is the one given in the Berlin papyrus from the Middle Kingdom (ca. 2160-1700 BC) in Egypt. This problem reduces to solving
|
(6)
| |||
|
(7)
|
(Smith 1953, p. 443). The Greeks were able to solve the quadratic equation by geometric methods, and Euclid's (ca. 325-270 BC) Data contains three problems involving quadratics. In his work Arithmetica, the Greek mathematician Diophantus (ca. 210-290) solved the quadratic equation, but giving only one root, even when both roots were positive (Smith 1951, p. 134).
A number of Indian mathematicians gave rules equivalent to the quadratic formula. It is possible that certain altar constructions dating from ca. 500 BC represent solutions of the equation, but even should this be the case, there is no record of the method of solution (Smith 1953, p. 444). The Hindu mathematician Āryabhata (475 or 476-550) gave a rule for the sum of a geometric series that shows knowledge of the quadratic equations with both solutions (Smith 1951, p. 159; Smith 1953, p. 444), while Brahmagupta (ca. 628) appears to have considered only one of them (Smith 1951, p. 159; Smith 1953, pp. 444-445). Similarly, Mahāvīra (ca. 850) had substantially the modern rule for the positive root of a quadratic. Srīdhara (ca. 1025) gave the positive root of the quadratic formula, as stated by Bhāskara (ca. 1150; Smith 1953, pp. 445-446). The Persian mathematicians al-Khwārizmī (ca. 825) and Omar Khayyám (ca. 1100) also gave rules for finding the positive root.
Viète was among the first to replace geometric methods of solution with analytic ones, although he apparently did not grasp the idea of a general quadratic equation (Smith 1953, pp. 449-450).
For ,
neither root is zero, and an alternate form is obtained
by dividing (1) through by
:
|
(8)
|
|
(9)
|
|
(10)
|
Therefore,
|
(11)
|
|
(12)
|
|
(13)
|
For real coefficients with
and
,
this form is helpful if
, where
denotes much greater.
The usual form of the quadratic formula can
give inaccurate numerical results for one of the roots.
This can be avoided by defining
|
(14)
|
where
is the signum function. This choice avoids cancellation
in the sum inside the brackets. The following rationalizations assume
. Now, if
, then
|
(15)
|
|
(16)
| |||
|
(17)
|
so
|
(18)
| |||
|
(19)
|
Similarly, if ,
then
|
(20)
|
|
(21)
| |||
|
(22)
|
so
|
(23)
| |||
|
(24)
|
Thus, for ,
the roots are
and
, including when
. If
, the roots are instead evaluated
directly as
.
Now consider the equation expressed in the form
|
(25)
|
with
and roots
and
. These solutions satisfy Vieta's
formulas
|
(26)
| |||
|
(27)
|
The properties of the symmetric polynomials appearing in Vieta's formulas then give
|
(28)
| |||
|
(29)
| |||
|
(30)
|
Given a quadratic integer polynomial , consider the number of such polynomials that are factorable
over the integers for
and
taken from some set of integers
. For example, for
, there are four such polynomials,
|
(31)
| |||
|
(32)
| |||
|
(33)
| |||
|
(34)
|
The following table summarizes the counts of such factorable polynomials for simple
and small
.
Plots of the fractions of factorable polynomials for
(red),
(blue), and
(green) are also illustrated above. Amazingly,
the sequence for
has the recurrence
equation for
|
(35)
|
where ,
,
is the divisor function, and
is the characteristic
function of the square numbers.