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.

15.1. Elliptic transcendentals before the nineteenth century 287<br />

<strong>of</strong> points on the curve, its rectification and quadrature and the determination <strong>of</strong> its<br />

tangents, centres <strong>of</strong> curvature, involutes, and evolutes. A number <strong>of</strong> these properties<br />

together constituted the knowledge required for a curve to be known and it was one<br />

<strong>of</strong> the greatest achievements <strong>of</strong> the calculus to devise a method for obtaining most <strong>of</strong><br />

them from a single defining equation. 2<br />

A variety <strong>of</strong> different curves was treated in the first decades <strong>of</strong> the calculus, and<br />

many problems were reduced to “simpler” problems, primarily to the construction <strong>of</strong><br />

points on algebraic curves, the rectification <strong>of</strong> the circle (inverse trigonometric func-<br />

tions) and the quadrature <strong>of</strong> the hyperbola (logarithmic functions). A classification <strong>of</strong><br />

construction problems was established based on the simpler problems to which the<br />

solution <strong>of</strong> the given problem could be reduced.<br />

Despite the efforts <strong>of</strong> the mathematicians, certain problems defied the accepted<br />

known means <strong>of</strong> solution; for instance, when asked to compute the arc lengths <strong>of</strong><br />

ellipses and some other curves, mathematicians found that the known simple integrals<br />

did not suffice.<br />

In the year 1675, G. W. LEIBNIZ (1646–1716) directed two enquiries concerning the<br />

rectification <strong>of</strong> the ellipse to the British mathematicians J. GREGORY (1638–1675) and<br />

NEWTON. LEIBNIZ received the answer that the British mathematicians could only<br />

compute the length <strong>of</strong> an ellipse by approximation, i.e. with the help <strong>of</strong> infinite series,<br />

and did not possess any closed expression for the length. LEIBNIZ, himself, at the time<br />

believed that he could reduce this problem (and the rectification <strong>of</strong> the hyperbola) to<br />

the quadratures <strong>of</strong> the circle and the hyperbola. Later, LEIBNIZ realized that he had<br />

been misled by a computational error. 3<br />

As can be seen from box 6, the rectification <strong>of</strong> the ellipse involved the computation<br />

<strong>of</strong> an integral <strong>of</strong> the form � R(x) dx<br />

√ P4(x) in which R and P4 were polynomials such that<br />

deg P4 ≤ 4. Such integrals (with the relaxed assumption that R be only a rational function)<br />

were soon called elliptic integrals by G. C. FAGNANO DEI TOSCHI (1682–1766). 4<br />

LEIBNIZ’ question reflects the search for simpler, finite representations <strong>of</strong> elliptic inte-<br />

grals.<br />

In a paper written in 1732 but not published until six years later, 5 EULER deduced<br />

a series representation <strong>of</strong> a quarter <strong>of</strong> the circumference <strong>of</strong> an ellipse. Based on a figure<br />

(see figure 15.1) in which M represented a point on the ellipse with center C and semi-<br />

axes CA = a and CB = b, EULER expressed the differential <strong>of</strong> the arc-length �AM<br />

as<br />

ds = b2√ b 2 + t 2 + nt 2 dt<br />

(b 2 + t 2 ) 3 2<br />

2 For information on these aspects <strong>of</strong> curves, see e.g. (Loria, 1902). For a general discussion on the<br />

conceptions <strong>of</strong> curves before the advent <strong>of</strong> the calculus, see (H. J. M. Bos, 2001).<br />

3 (H<strong>of</strong>mann, 1949, 75,118).<br />

4 (Natucci, 1971, 516). For more on FAGNANO DEI TOSCHI’S work on elliptic integrals, see below.<br />

5 (L. Euler, 1732a).

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

Saved successfully!

Ooh no, something went wrong!