proof of Gauss’ digamma theorem
Proof.The proof follows the argument given in [1], which in turn derives from that given in [2].
The first formula is the logarithmic derivative of
By the partial fraction decomposition satisfied by the function,
using Abel’s limit theorem.
Now,
Since
the first term is
Using the algorithm for extracting every term of a series (http://planetmath.org/ExtractingEveryNthTermOfASeries), the second term is
and therefore
Let to get
Replace by and add the two expressions to obtain
The left side is real, so it is equal to the real part of the right side. But
and so
(1) |
But
by the Euler reflection formula and thus
(2) |
Add equations (1) and (2) to get
where the last equality holds since
References
- 1 G.E. Andrews, R. Askey, R. Roy, Special Functions, Cambridge University Press, 2001.
- 2 J.L. Jensen [1915-1916], An elementary exposition of the theory of the gamma function
, Ann. Math. 17, 124-166.