I want to show that $\Gamma(z)$ has no zeros. My idea is to use the formula $$\Gamma(z)\Gamma(1-z)=\dfrac{\pi}{\sin(\pi z)}$$ which holds for all $z\in\mathbb{C}$.

If $\Gamma(z)=0$, then the left-hand side is $0$ and the right-hand side isn't, so impossible. But I'm worried that it wouldn't work if $\Gamma(1-z)=\pm\infty$. How to resolve this case?


Solution 1:

A slight variation of the comment-answer by Cocopuffs: if $\Gamma(z)=0$, then from $\Gamma(z)=(z-1)\Gamma(z-1)$ we find that either $z=1$ or $\Gamma(z-1)=0$. But $\Gamma(1)=\int_0^\infty e^{-t}\,dt=1$. Hence, any zero of $\Gamma$ propagates to the left: it creates the sequence of zeros $z-n$, $n=1,2,3,\dots$. According to the functional equation cited in the question, this creates a sequence of poles propagating to the right. But $\Gamma(z)=\int_0^\infty t^{z-1} e^{-t}\,dt$ is evidently holomorphic when $\operatorname{Re}z>0$.