Modulus of Gamma Function of One Half plus Imaginary Number

Theorem
Let $t \in \R$ be a real number.

Then:


 * $\cmod {\Gamma \left({\dfrac 1 2 + i t}\right)} = \sqrt{\pi \sech \left({\pi t}\right)}$

where:
 * $\Gamma$ is the Gamma function
 * $\sech$ is the hyperbolic secant function.

Proof
As both sides of the equation are positive for all $t$, we can take the non-negative square root and write:


 * $\cmod {\Gamma \left({\dfrac 1 2 + i t}\right)} = \sqrt{\pi \sech \left({\pi t}\right)}$