Faulhaber

Johann Faulhaber


Born: 5 May 1580 in Ulm, Germany
Died: 1635 in Ulm, Germany

[Mathematiker Bild]

Show birthplace location

Previous (Chronologically) Next Biographies Index
Previous (Alphabetically) Next Welcome page


Johann Faulhaber was trained as a weaver. However he was taught mathematics in Ulm and showed such promise that the City of Ulm appointed him city mathematician and surveyor. He opened his own school in Ulm in 1600 but he was in great demand because of his skill in fortification work.

His expertise saw him working on fortifications for Basel, Frankfurt and many other cities. He also designed waterwheels in Ulm and made mathematical and surveying instruments, particularly ones with military applications.

Among the scientists with whom Faulhaber collaborated were Kepler and van Ceulen. He was a Rosicrucian, a brotherhood combining elements of mystical beliefs with an optimism about the ability of science to improve the human condition. He made a major impression on Descartes with both his scientific and Rosicrucian beliefs and influenced his thinking.

Faulhaber was a 'Cossist', an early algebraist. He is important for his work explaining logarithms associated with Stifel, Bürgi and Napier. He made the first German publication of Briggs' logarithms.

Faulhaber's most major contribution, however, was in studying sums of powers of integers. Let N = n(n+1)/2. Define Sigman^k to be the sum Sigmai^k where the sum is from 1 to n. Then N = Sigman^1. In 1631 Faulhaber published Academia Algebra in Augsburg. It was a German text despite the Latin title.

In Academia Algebra Faulhaber gives Sigman^k as a polynomial in N, for k = 1, 3, 5, ... ,17. He also gives the corresponding polynomials in n. Faulhaber states that such polynomials in N exist for all k, but gave no proof. This was first proved by Jacobi in 1834. It is not known how much Jacobi was influenced by Faulhaber's work, but we do know that Jacobi owned Academia Algebra since his copy of it is now in the University of Cambridge.

Faulhaber did not discover the Bernoulli numbers but Jacob Bernoulli refers to Faulhaber in Ars Conjectandi published in Basel in 1713, eight years after Jacob Bernoulli died, where the Bernoulli numbers (so named by De Moivre) appear.

Academia Algebra contains a generalisation of sums of powers. Faulhaber gave formulas for m-fold sums of powers defined as follows. Define Sigma^0n^k = n^k and

Sigma^m^plus^1n^k = Sigma^m1^k + Sigma^m2^k + ... + Sigma^mn^k.

Faulhaber gives formulas for many of these m-fold sums including giving a polynomial for Sigma^1^1n^6. Knuth, in [7] remarks:-

His polynomial ... turns out to be absolutely correct, according to calculations with a modern computer. ... One cannot help thinking that nobody has ever checked these numbers since Faulhaber himself wrote them down, until today.
At the end of Academia Algebra Faulhaber states that he has calculated polynomials for Sigman^k as far as k = 25. He gives the formulas in the form of a secret code, which was common practice at the time. Knuth, in [7], suggests he is the first to crack the code (the task [of cracking the code] is relatively easy with modern computers) and shows that Faulhaber had the correct formulas up to k = 23, but his formulas for k = 24 and k = 25 appear to be wrong.

References (8 books/articles)

Other Web sites:

Rice University, USA


Previous (Chronologically) Next Biographies Index
Previous (Alphabetically) Next Welcome page
History Topics Index Famous curves index
Chronologies Birthplace Maps
Mathematicians of the day Anniversaries for the year
Search Form Simple Search Form Search Suggestions

JOC/EFR February 1997