Công thức phản xạ Euler
Phát biểu
Với mọi thỏa , .
Vì sao đúng?
Nó liên kết một đối tượng trông thuần đại số (tỉ số hai giá trị Gamma) với lượng giác, và chính là đẳng thức khiến các cực điểm của tại các số nguyên không dương khớp với các không điểm của tại mọi số nguyên — phép tính thặng dư từ tích phân đường chính là thứ tạo ra hàm sin ở vế phải.
Phác thảo chứng minh
Bước 1 (Quy về hàm Beta). Dùng với , . Thế biến đổi thành với .
Bước 2 (Thiết lập đường cong lỗ khóa). Để tính , dùng nhánh của cắt dọc trục thực dương và lấy tích phân quanh một đường cong lỗ khóa: đi ra ngay phía trên vết cắt, một đường tròn lớn bán kính , quay lại ngay phía dưới vết cắt, và một đường tròn nhỏ bán kính quanh .
Bước 3 (Thặng dư tại cực điểm duy nhất). Điểm kỳ dị duy nhất của bên trong đường cong là cực điểm đơn tại , tại đó (dùng nhánh với argument ở đó) , nên định lý thặng dư cho tích phân lỗ khóa bằng .
Bước 4 (So sánh hai phía vết cắt và cho , ). Đường tròn lớn và nhỏ triệt tiêu khi , và hai đoạn thẳng khác nhau bởi pha mà nhận được khi đi qua vết cắt, cho . Giải ra và rút gọn các hàm mũ dùng cho , nên kết hợp với Bước 1, .
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- 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