定理已证明
欧拉反射公式
命题陈述
对满足 的任意 ,有 。
为什么成立?
它把一个看起来纯代数的对象(两个伽玛值之比)与三角函数联系起来,恰好是使 在非正整数处的极点与 在所有整数处的零点对齐的恒等式——正是围道积分中的留数计算产生了右边的正弦函数。
证明思路
第一步(化为贝塔函数)。取 使用 ,得 。代换 后,对 ,这变为 。
第二步(设置钥匙孔形围道)。为计算 ,取沿正实轴切开的 分支,并沿钥匙孔形围道对 积分:紧贴切口上方向外、半径为 的大圆、紧贴切口下方返回,以及绕 的半径为 的小圆。
第三步(唯一极点处的留数)。 在围道内部唯一的奇点是 处的单极点,在那里(用幅角为 的分支),故留数定理给出钥匙孔积分等于 。
第四步(比较切口两侧,令 、)。当 时大圆和小圆的贡献消失,两条直线段的差别在于 穿过切口时获得的相位,由此得到 。解出 并利用 化简指数,得 ,结合第一步即得 。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- 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