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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

16.2. Inversion in the Recherches 303<br />

ABEL’S derivation <strong>of</strong> the addition formulae. ABEL’S way <strong>of</strong> obtaining addition for-<br />

mulae for elliptic functions resembles L. EULER’S (1707–1783) argument (see section<br />

15.2.1) because both proceeded from a suggested formula. In ABEL’S case, he sought<br />

to establish the identity<br />

φ (α + β) =<br />

φ (α) f (β) F (β) + φ (β) f (α) F (α)<br />

1 + e 2 c 2 φ 2 (α) φ 2 (β)<br />

and similar formulae for the auxiliary functions f and F,<br />

f (α + β) = f (α) f (β) − c2 φ (α) φ (β) F (α) F (β)<br />

1 + e 2 c 2 φ 2 (α) φ 2 (β)<br />

(16.3)<br />

and (16.4)<br />

F (α + β) = F (α) F (β) + e2φ (α) φ (β) f (α) f (β)<br />

1 + e2c2φ2 (α) φ2 . (16.5)<br />

(β)<br />

ABEL denoted the right hand side <strong>of</strong> (16.3) by r = r (α, β) and proceeded to dif-<br />

ferentiate r with respect to α. <strong>The</strong> expression which he obtained after inserting the<br />

values <strong>of</strong> f and F proved to be symmetric in α and β. <strong>The</strong>refore, and because r itself<br />

was symmetric in α and β, ABEL concluded that<br />

∂r<br />

∂α<br />

∂r<br />

= . (16.6)<br />

∂β<br />

This differential equation, ABEL claimed, 12 showed that r was a function <strong>of</strong> α + β,<br />

r = ψ (α + β) . (16.7)<br />

Upon inserting β = 0, ABEL immediately recognized ψ = φ, and the addition formula<br />

for φ had been obtained.<br />

To understand how ABEL concluded that the solution to the differential equation<br />

(16.6) must be <strong>of</strong> the form (16.7), we can get a hint from one <strong>of</strong> his earlier papers,<br />

published in the Journal. 13 In that paper, ABEL had established that the solution <strong>of</strong> the<br />

equation 14<br />

has the solution<br />

� �<br />

∂r<br />

σ (y) =<br />

∂x<br />

��<br />

r = ψ<br />

�<br />

σ (x) dx +<br />

� �<br />

∂r<br />

σ (x)<br />

∂y<br />

�<br />

σ (y) dy<br />

where ψ was arbitrary. 15 To apply to the situation <strong>of</strong> the addition formulae, take σ = 1<br />

to obtain (16.7).<br />

12 <strong>The</strong> validity <strong>of</strong> this claim will be discussed below.<br />

13 (N. H. <strong>Abel</strong>, 1826e).<br />

14 ABEL’S use <strong>of</strong> d has been replaced by ∂; and ABEL wrote φ where I have substituted σ.<br />

15 (ibid., 12–13).

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

Saved successfully!

Ooh no, something went wrong!