Legendre's Duplication Formula
From ProofWiki
Theorem
Let $\Gamma$ denote the gamma function.
Then:
- $\displaystyle \forall z \notin -\frac 1 2 \N_0: \Gamma \left({z}\right) \Gamma \left (z + \frac 1 2 \right) = 2^{1-2z} \sqrt \pi \Gamma \left({2 z}\right)$
where $N_0 = \N \cup \left\{{0}\right\}$.
Proof
Source of Name
This entry was named for Adrien-Marie Legendre.