05.01.2013 Views

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.1. Algebraic solubility before LAGRANGE 59<br />

Elementary symmetric relations. A different example <strong>of</strong> a priori properties <strong>of</strong> the<br />

roots <strong>of</strong> an equation was conceived <strong>of</strong> by men as G. CARDANO (1501–1576), F. VIÈTE<br />

(1540–1603), A. GIRARD (1595–1632), and I. NEWTON (1642–1727) in the sixteenth and<br />

seventeenth centuries. From inspection <strong>of</strong> equations <strong>of</strong> low degree they obtained (gen-<br />

erally by analogy and without general pro<strong>of</strong>s) by a tacit theorem on the factorization<br />

<strong>of</strong> polynomials the dependency <strong>of</strong> the coefficients <strong>of</strong> the equation<br />

on the roots x1, . . . , xn given by<br />

x n + an−1x n−1 + an−2x n−2 + · · · + a1x + a0 = 0<br />

an−1 = − (x1 + · · · + xn)<br />

an−2 = x1x2 + · · · + xn−1xn<br />

.<br />

a1 = ± (x1x2 . . . xn−1 + · · · + x2x3 . . . xn)<br />

a0 = ∓x1x2 . . . xn.<br />

(5.1)<br />

<strong>The</strong>se equations established the elementary symmetric relations between the roots and<br />

the coefficients <strong>of</strong> an equation. When pro<strong>of</strong>s <strong>of</strong> these relations first emerged, they were<br />

obtained through formal manipulations <strong>of</strong> the tacitly introduced factors and were,<br />

thus, firmly within the established algebraic style.<br />

<strong>The</strong> relations (5.1) were to become a central tool in the theory <strong>of</strong> equations once<br />

NEWTON and E. WARING (∼1736–1798) realized that they were the basic, or ele-<br />

mentary, ones upon which all other symmetric functions <strong>of</strong> the roots depended rationally.<br />

10<br />

5.1 Algebraic solubility before LAGRANGE<br />

Among the multitude <strong>of</strong> possible questions concerning the unknown roots, one is<br />

particularly linked to the question <strong>of</strong> solving equations algebraically. It arose when<br />

mathematicians began investigating the form in which the roots can be written and is<br />

thus a first step in the direction <strong>of</strong> asking general solubility questions. 11<br />

<strong>The</strong> general approach taken in solving equations <strong>of</strong> degrees 2, 3 or 4 had since the<br />

first attempts been to reduce their solution to the solution <strong>of</strong> equations <strong>of</strong> lower degree.<br />

<strong>The</strong> example <strong>of</strong> the third degree equation solved by S. FERRO (1465–1526) around<br />

1515, by N. TARTAGLIA (1499/1500–1557) in 1539, and by CARDANO, who published<br />

the solution in 1545, might be illustrative 12 . Although CARDANO’S arguments and<br />

style were geometric, its algebraic content is presented in algebraic notation in box 1.<br />

10 See section 5.2.4.<br />

11 This aspect shall be dealt with below (see page 62ff) and section 8.4.<br />

12 In the present form, revised to expose central concepts, CARDANO’S solution closely resembles the<br />

young school-boy’s notes found in the section Ligninger af tredje Grads Opløsning (af Cardan) in<br />

ABEL’S notebook (<strong>Abel</strong>, MS:829, 139–141).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!