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.

356 Chapter 19. <strong>The</strong> Paris memoir<br />

ABEL and the method <strong>of</strong> Lagrange interpolation. Without any specific reference,<br />

ABEL employed a result to the effect that<br />

n<br />

∑<br />

k=1<br />

p (xk) χ ′ (xk) =<br />

�<br />

0if deg p < n − 1<br />

1if deg p = n − 1<br />

for any normed polynomial p where x1, . . . , xn are the roots <strong>of</strong> the polynomial equation<br />

χ (x) = 0, i.e.<br />

χ (x) =<br />

n<br />

∏ (x − xk) . (19.14)<br />

k=1<br />

<strong>The</strong> tool behind this result is known today as Lagrange interpolation, and — in various<br />

forms — it played central roles in ABEL’S arguments in the Paris memoir. Lagrange<br />

interpolation is used to demonstrate that for any polynomial such as (19.14),<br />

1<br />

χ (x) =<br />

n<br />

∑<br />

k=1<br />

1<br />

(x − xk) χ ′ . (19.15)<br />

(xk) Expansion into partial fractions using Lagrange interpolation. <strong>The</strong> method <strong>of</strong> ex-<br />

panding a quotient <strong>of</strong> polynomials into partial fractions was well established in the<br />

18 th century once it was known that the denominator could be decomposed into a<br />

product <strong>of</strong> linear and quadratic terms. <strong>The</strong> generality <strong>of</strong> the method thus rested es-<br />

sentially on the Fundamental <strong>The</strong>orem <strong>of</strong> Algebra, and the pro<strong>of</strong> <strong>of</strong> the latter theorem was<br />

<strong>of</strong>ten seen mainly as a prerequisite in rigorously founding this established practice (cf.<br />

GAUSS).<br />

<strong>The</strong> central trick in expanding a quotient into partial fractions is closely related to<br />

the method <strong>of</strong> Lagrange interpolation. If the polynomials are<br />

f2 (x) =<br />

f1 (x) and<br />

n<br />

∏ (x − xk) ,<br />

k=1<br />

where the roots <strong>of</strong> f2 are distinct, Lagrange interpolation (19.15) yields<br />

f1 (x)<br />

f2 (x) =<br />

n<br />

∑<br />

k=1<br />

f1 (x)<br />

(x − x k) f ′ 2 (x k) .<br />

Thus, when applied in the integral calculus, this formula reduces the integration <strong>of</strong><br />

a fraction to the integration <strong>of</strong> n fractions, the denominator <strong>of</strong> each <strong>of</strong> which only<br />

contains a first degree polynomial.

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

Saved successfully!

Ooh no, something went wrong!