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

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 ∑ n^k to be the sum ∑ i^k where the sum is from 1 to n. Then N = ∑ n¹. In 1631 Faulhaber published Academia Algebra in Augsburg. It was a German text despite the Latin title.

In Academia Algebra Faulhaber gives ∑ n^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 formulae for m-fold sums of powers defined as follows.

Define     ∑⁰n^k = n^k   and ∑^m+1n^k = ∑^m1^k + ∑^m2^k + ... + ∑^mn^k.

Faulhaber gives formulae for many of these m-fold sums including giving a polynomial for ∑¹¹n⁶. 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.