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.

88 Chapter 5. Towards unsolvable equations<br />

At this point, RUFFINI focused on the second radical to be extracted and the above<br />

argument applied equally well to rule out the case <strong>of</strong> a fifth root. Similarly, it could<br />

not be a square root or a fourth root since these would lead to functions having four<br />

(2 × 2) or eight (2 × 4) values, which were proved to be non-existent. RUFFINI had<br />

thus established that any supposed solution to the quintic equation would have to<br />

begin with the extraction <strong>of</strong> a square root followed by the extraction <strong>of</strong> a third root.<br />

However, as he laboriously proved by considering each case in turn, the six-valued<br />

function obtained by these two radical extractions did not become three-valued after<br />

the initial square root had been adjoined.<br />

<strong>The</strong> pro<strong>of</strong> which RUFFINI gave for the insolubility <strong>of</strong> the quintic was thus based on<br />

three central parts:<br />

1. <strong>The</strong> classification <strong>of</strong> permutations into types (table 5.1)<br />

2. A demonstration, based on (1), that no function <strong>of</strong> the five roots <strong>of</strong> the general<br />

quintic could have 3, 4, or 8 values under permutations <strong>of</strong> the roots.<br />

3. A study <strong>of</strong> the two inner-most (first) radical extractions <strong>of</strong> a supposed solution<br />

to the quintic, in which the result <strong>of</strong> (2) was used to reach a contraction.<br />

<strong>The</strong> mere extent <strong>of</strong> the classification and the caution necessary to include all cases 82<br />

combined with RUFFINI’S intellectual debt to LAGRANGE may serve to view RUFFINI’S<br />

work as filling in some <strong>of</strong> the “infinite labor” described by WARING and LAGRANGE<br />

in expressing their doubts about the solubility <strong>of</strong> higher degree equations (see section<br />

5.4.1 above). However, RUFFINI’S investigations led to the complete reverse result:<br />

that the solution <strong>of</strong> the quintic was impossible.<br />

One <strong>of</strong> RUFFINI’S friends and critical readers, P. ABBATI (1768–1842), gave sev-<br />

eral improvements <strong>of</strong> RUFFINI’S initial pro<strong>of</strong>. <strong>The</strong> most important one was that he<br />

replaced the laborious arguments based on thorough consideration <strong>of</strong> particular cases<br />

by arguments <strong>of</strong> a more general character. 83 <strong>The</strong>se more general arguments greatly<br />

simplified RUFFINI’S pro<strong>of</strong>s that no function <strong>of</strong> the five roots <strong>of</strong> the quintic could have<br />

3, 4, or 8 different values. ABBATI was convinced <strong>of</strong> the validity <strong>of</strong> RUFFINI’S result<br />

but wanted to simplify its pro<strong>of</strong>, and RUFFINI incorporated his improvements into<br />

subsequent pro<strong>of</strong>s, from 1802 and henceforth.<br />

Others, however, were not so convinced <strong>of</strong> the general validity <strong>of</strong> RUFFINI’S re-<br />

sults. Mathematicians belonging to the “old generation” were somewhat stunned<br />

by the non-constructive nature <strong>of</strong> the pro<strong>of</strong>s, which they described as “vagueness”.<br />

For instance, the mathematician G. F. MALFATTI (1731–1807) severely criticized RUF-<br />

FINI’S result since it contradicted a general solution which he, himself, previously had<br />

82 According to (Burkhardt, 1892, 135), RUFFINI actually missed the subgroup generated by the cycles<br />

(12345) and (132).<br />

83 (ibid., 140).

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

Saved successfully!

Ooh no, something went wrong!