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.5. RUFFINI’s pro<strong>of</strong>s <strong>of</strong> the insolubility <strong>of</strong> the quintic 89<br />

given. 84 RUFFINI responded with another publication <strong>of</strong> a version <strong>of</strong> his pro<strong>of</strong> answer-<br />

ing to MALFATTI’S criticism; but before the discussion advanced further, MALFATTI<br />

died.<br />

5.5.3 RUFFINI’s final pro<strong>of</strong><br />

In his fifth, and final, publication <strong>of</strong> his insolubility theorem 1813, RUFFINI recapitu-<br />

lated important parts <strong>of</strong> LAGRANGE’S theory, in which he emphasized the distinction<br />

between numerical and formal equality, before giving the refined version <strong>of</strong> his pro<strong>of</strong>.<br />

According to (Burkhardt, 1892, 155–156), the pro<strong>of</strong> can be dissected into the following<br />

parts comparable to the parts <strong>of</strong> the 1799 pro<strong>of</strong> (see point 3 above):<br />

1. If two functions y and P <strong>of</strong> the roots x1, . . . , x5 <strong>of</strong> the quintic are related by<br />

y p − P = 0<br />

(for any p) and P remains unaltered by the cyclic permutation (12345), there<br />

must exist a value y1 <strong>of</strong> y which in turn changes into y2, y3, y4, and y5. Conse-<br />

quently,<br />

where β is a fifth root <strong>of</strong> unity.<br />

y k = β k y1<br />

2. If P is furthermore unaltered by the cyclic permutation (123), then y1 must<br />

change into γy1 where γ is a third root <strong>of</strong> unity.<br />

3. <strong>The</strong> permutation (13452) is comprised <strong>of</strong> the two cycles (12345) (123) and y must<br />

remain unaltered. <strong>The</strong>refore, β 5 γ 5 = 1 which in turn implies that γ = 1, demon-<br />

strating that y cannot be altered by any <strong>of</strong> the permutations (123), (234), (345),<br />

(451), or (512). By combining these 3-cycles the 5-cycle (12345) can be obtained,<br />

and thus y cannot be altered by the 5-cycle, neither.<br />

4. Consequently, it is impossible by sequential root extractions to describe func-<br />

tions which have more than two values, and the insolubility is demonstrated.<br />

5.5.4 Reactions to RUFFINI’s pro<strong>of</strong>s<br />

In a paper published 1845, 85 P. L. WANTZEL (1814–1848) gave a fusion argument in-<br />

corporating the permutation theoretic arguments <strong>of</strong> RUFFINI’S final pro<strong>of</strong> into the setting<br />

<strong>of</strong> ABEL’S pro<strong>of</strong>. 86<br />

84 (Malfatti, 1804).<br />

85 (Wantzel, 1845).<br />

86 See also (Burkhardt, 1892, 156).

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

Saved successfully!

Ooh no, something went wrong!