A quadratic equation is a second-order polynomial equation in a single variable
(1)
|
with . Because it is a second-order polynomial equation, the fundamental theorem of algebra guarantees that it has two solutions. These solutions may be both real, or both complex.
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).
An alternate form of the quadratic equation is given by dividing (◇) through by :
(8)
|
(9)
|
(10)
|
Therefore,
(11)
|
(12)
|
(13)
|
This form is helpful if , where denotes much greater, in which case the usual form of the quadratic formula can give inaccurate numerical results for one of the roots. This can be avoided by defining
(14)
|
so that and the term under the square root sign always have the same sign. Now, if , then
(15)
|
(16)
| |||
(17)
|
so
(18)
| |||
(19)
|
Similarly, if , then
(20)
|
(21)
| |||
(22)
|
so
(23)
| |||
(24)
|
Therefore, the roots are always given by and .
Now consider the equation expressed in the form
(25)
|
with solutions 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
(35)
|
where is the number of divisors of and is the characteristic function of the square numbers.