History of the analytic class number formula

Do you insist that the formula be interpreted as the value of a residue, hence requiring that it be known that the zeta-function of every number field is meromorphic around $s = 1$? It goes back to Dedekind that for every $K$ the limit $\lim_{s \rightarrow 1^+} (s-1)\zeta_K(s)$ exists and is given by the standard formula, but this couldn't be interpreted by him as a residue calculation since at that time it wasn't known that $\zeta_K(s)$ could be continued beyond ${\rm Re}(s) > 1$. However, if you're willing to accept the computation of that limit as a poor man's residue, then the formula goes back to Dedekind.

In 1903 Landau proved for every $K$ that $\zeta_K(s)$ can be analytically continued to ${\rm Re}(s) > 1 - 1/[K:\mathbf Q]$ (see the section on the zeta-function of a number field in Lang's Algebraic Number Theory). This was part of his proof of the prime ideal theorem, and it was the first proof for general $K$ that $\zeta_K(s)$ is meromorphic around $s = 1$. By this work Dedekind's calculation could be interpreted as a residue calculation. Therefore if you require the formula arise as a residue then in principle I'd say the result is due to Landau, although I haven't looked at his 1903 paper to see if he is explicit about that.


The general formula was proved by Hecke (1917) in this paper. More precisely, the formula is an immediate consequence of equations (15a), (17a), (23a) in the paper.

Added. It seems that the residue calculation is quite a bit older (see KConrad's response), hence Hecke's new contribution was the full analytic continuation and functional equation of the Dedekind $L$-function (and the more general Hecke $L$-functions that were introduced by him).


KConrad's answer is correct, and the analytic class number formula is due to Dedekind. Yet the whole story is a little bit more complex and it is fair to say that Dedekind's analytic class number formula is essentially due to Dirichlet and Kummer, in the following sense. Dirichlet (who had already proved the class number formula for quadratic forms in his proof on the theorem of primes in arithmetic progression) determined the number of equivalence classes of forms that split into linear factors over ${\mathbb Q}(\zeta_p)$ (a key idea of which he had during a mass in the Sistine chapel), but did not publish his results as he knew that Kummer was working out a similar formula using his new language of ideal numbers. The only reason why Kummer did not (and could not) prove the general class number formula was that his theory of ideal numbers did not seem to work in general number rings. What Kummer was missing was the definition of an algebraic integer, and at this point Dedekind enters the story. He worked out a theory of ideals in algebraic rings of integers; transferring Kummer's analytic class number formula to the general case did not require any really new idea. In no way should these comments belittle Dedekind's contributions to algebraic number theory.