Tích phân của hàm secant

Trong lượng giác, tích phân của hàm secant là một trong những "đề tài mở nổi bật giữa thế kỉ XVII", được giải vào năm 1668 nhờ James Gregory. Vào năm 1599, Edward Wright đã tính được tích phân này bằng giải tích số - ngày nay tích phân này được gọi là tổng Riemann. Ông áp dụng kết quả này vào bản đồ học để vẽ chính xác một bản đồ Mercator. Vào những năm 1640, Henry Bond, một giáo viên hàng hải, trắc địa và toán, đã so sánh các giá trị tích phân của hàm secant trong bảng tính của Wright với bảng giá trị lôgarit của hàm tang, và phỏng đoán rằng

 
Sự phỏng đoán này được biết đến rộng rãi, và vào năm 1665, Isaac Newton đã chú ý đến nó.

Isaac Barrow là người đã chứng minh được sự phỏng đoán này. Ông đã sử đụng phép đơn giản phân thức trong phép tính tích phân. Theo các ký hiệu ngày nay, chứng minh của Barrow được trình bày như sau:

 

Đến đây việc chứng minh chỉ còn là tìm nguyên hàm của các hàm phân thức bằng việc đơn giản phân thức:

 

Hoán đổi thành hàm số đối với biến θ:

 

(Dạng thứ ba có thể thu được bằng phép biến đổi sau)
 

Tích phân trên cũng có thể tính được bằng phép thế Weierstrass, nhưng nó tương đối phức tạp hơn so với các phương pháp trên.

Do trong phép chiếu Mercator thông thường, vĩ độ (φ) nằm giữa −π/2 and π/2 nên có thể viết đơn giản:

Tham khảo

Xem thêm 

 Tích phân của hàm secant lập phương

Liên kết ngoài 
 Rickey and Tuchinsky's paper on the history of this integral

Tích phân