is b, the negation of the coefficient of x2. By the 17th century the theory of equations had developed so far as to allow Girard (1595–1632) to state a principle of algebra, what we call now “the fundamental theorem of algebra.” His formulation, which he didn’t prove, also gives a general relation between the n solutions to an nth degree equation and its n coefficients.
An nth degree equation can be written in modern notation as
where the coefficients a1, ..., an2, an1, and an are all constants. Girard said that an nth degree equation admits of n solutions, if you allow all roots and count roots with multiplicity. So, for example, the equation x2 + 1 = 0 has the two solutions √1 and √1, and the equation x2 2x + 1 = 0 has the two solutions 1 and 1. Girard wasn’t particularly clear what form his solutions were to have, just that there be n of them: x1, x2, ..., xn1, and xn.
Girard gave the relation between the n roots x1, x2, ..., xn, and xn and the n coefficients a1, ..., an2, an1, and an that extends Cardano’s remark. First, the sum of the roots x1 + x2 + ..., + xn is a1, the negation of the coefficient of xn1 (Cardano’s remark). Next, the sum of all products of pairs of solutions is a2. Next, the sum of all products of triples of solutions is a3. And so on until the product of all n solutions is either an (when n is even) or an (when n is odd).
Here’s an example. The 4th degree equation
has the four solutions 2, 1, 3, and 4. The sum of the solutions equals 6, that is 2 + 1 + 3 + 4 = 6. The sum of all products of pairs (six of them) is
which is 3. The sum of all products of triples (four of them) is
which is 26. And the product of all four solutions is 24.
Descartes (15961650) also studied this relation between solutions and coefficients, and showed more explicitly why the relationship holds. Descartes called negative solutions “false” and treated other solutions (that is, complex numbers) “imaginary”.
Over the remainder of the 17th century, negative numbers rose in status to be fullfledged numbers. But complex numbers remained in limbo through most of the 18th century. They weren’t considered to be real numbers, but they were useful in the theory of equations. It wasn’t even clear what form the solutions to equations might take. Certainly complex numbers of the form a + b√1 were sufficient to solve quadratic equations, but it wasn’t clear they were enough to solve cubic and higher-degree equations. Also, the part of the Fundamental Theorem of Algebra which stated there actually are n solutions of an nth degree equation was yet to be proved, pending, of course, some description of the possible forms that the solutions might take.