The Gamma function interpolates the factorial
Statement
For every non-negative integer , , where is defined by for .
Why is it true?
It shows the Gamma integral is not an arbitrary generalization but the unique smooth continuation that reproduces the multiplicative structure of factorials, which is why it is the right object to plug non-integers into.
Proof sketch
Step 1 (Base case). , so the formula holds for .
Step 2 (Recurrence by integration by parts). For , integrate by parts with , : , using that the boundary term vanishes at both ends. This proves .
Step 3 (Induction). Assume for some non-negative integer . By Step 2 with , .
Step 4 (Conclude). Since the base case holds (Step 1) and the inductive step carries the identity from to (Step 3), holds for every non-negative integer by mathematical induction.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 5: Gamma Function
- Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 25: Zeta and Related Functions
- David J. Platt, Timothy S. Trudgian (2021). The Riemann Hypothesis Is True Up to 3×10^12 · arXiv:2004.09765