Integral of the secant function

Part of a series of articles about
Calculus
${\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}$
Fundamental theorem Limits Continuity Rolle's theorem Mean value theorem Inverse function theorem
Differential Definitions Derivative (generalizations) Differential infinitesimal of a function total Concepts Differentiation notation Second derivative Implicit differentiation Logarithmic differentiation Related rates Taylor's theorem Rules and identities Sum Product Chain Power Quotient L'Hôpital's rule Inverse General Leibniz Faà di Bruno's formula Reynolds
Integral Lists of integrals Integral transform Leibniz integral rule Definitions Antiderivative Integral (improper) Riemann integral Lebesgue integration Contour integration Integral of inverse functions Integration by Parts Discs Cylindrical shells Substitution (trigonometric, tangent half-angle, Euler) Euler's formula Partial fractions Changing order Reduction formulae Differentiating under the integral sign Risch algorithm
Series Geometric (arithmetico-geometric) Harmonic Alternating Power Binomial Taylor Convergence tests Summand limit (term test) Ratio Root Integral Direct comparison Limit comparison Alternating series Cauchy condensation Dirichlet Abel
Vector Gradient Divergence Curl Laplacian Directional derivative Identities Theorems Gradient Green's Stokes' Divergence generalized Stokes Helmholtz decomposition
Multivariable Formalisms Matrix Tensor Exterior Geometric Definitions Partial derivative Multiple integral Line integral Surface integral Volume integral Jacobian Hessian
Advanced Calculus on Euclidean space Generalized functions Limit of distributions
Specialized Fractional Malliavin Stochastic Variations
Miscellaneous Precalculus History Glossary List of topics Integration Bee Mathematical analysis Nonstandard analysis
v t e

In calculus, the integral of the secant function can be evaluated using a variety of methods and there are multiple ways of expressing the antiderivative, all of which can be shown to be equivalent via trigonometric identities,

${\displaystyle \int \sec \theta \,d\theta ={\begin{cases}{\dfrac {1}{2}}\ln {\dfrac {1+\sin \theta }{1-\sin \theta }}+C\\[15mu]\ln {{\bigl |}\sec \theta +\tan \theta \,{\bigr |}}+C\\[15mu]\ln {\left|\,{\tan }{\biggl (}{\dfrac {\theta }{2}}+{\dfrac {\pi }{4}}{\biggr )}\right|}+C\end{cases}}}$

This formula is useful for evaluating various trigonometric integrals. In particular, it can be used to evaluate the integral of the secant cubed, which, though seemingly special, comes up rather frequently in applications.^[1]

The definite integral of the secant function starting from ${\displaystyle 0}$ is the inverse Gudermannian function, ${\textstyle \operatorname {gd} ^{-1}.}$ For numerical applications, all of the above expressions result in loss of significance for some arguments. An alternative expression in terms of the inverse hyperbolic sine arsinh is numerically well behaved for real arguments ${\textstyle |\phi |<{\tfrac {1}{2}}\pi }$:^[2]

${\displaystyle \operatorname {gd} ^{-1}\phi =\int _{0}^{\phi }\sec \theta \,d\theta =\operatorname {arsinh} (\tan \phi ).}$

The integral of the secant function was historically one of the first integrals of its type ever evaluated, before most of the development of integral calculus. It is important because it is the vertical coordinate of the Mercator projection, used for marine navigation with constant compass bearing.