Trigonometry
Outline History Usage Functions (inverse) Generalized trigonometry
Reference
Identities Exact constants Tables Unit circle
Laws and theorems
Sines Cosines Tangents Cotangents Pythagorean theorem
Calculus
Trigonometric substitution Integrals (inverse functions) Derivatives
v t e

The exsecant (exsec, exs) and excosecant (excosec, excsc, exc) are trigonometric functions defined in terms of the secant and cosecant functions. They used to be important in fields such as surveying, railway engineering, civil engineering, astronomy, and spherical trigonometry and could help improve accuracy, but are rarely used today except to simplify some calculations.

Exsecant

The exsecant,^{[2][3][4][5][6][7][8][9]} (Latin: secans exterior^{[10][11][12][13]}) also known as exterior, external,^{[14][15][16][17]} outward or outer secant and abbreviated as exsec^{[18][19][20][21]} or exs,^[22] is a trigonometric function defined in terms of the secant function sec(θ):^[23]

$${\displaystyle \operatorname {exsec} (\theta )=\sec(\theta )-1={\frac {1}{\cos(\theta )))-1.}$$

The name exsecant can be understood from a graphical construction of the various trigonometric functions from a unit circle, such as was used historically. sec(θ) is the secant line OE, and the exsecant is the portion DE of this secant that lies exterior to the circle (ex is Latin for out of).

Excosecant

A related function is the excosecant^[5][24] or coexsecant,^[25][18][26] also known as exterior, external,^[17] outward or outer cosecant and abbreviated as excosec, coexsec,^[14][18][26] excsc^[5][24] or exc,^[22] the exsecant of the complementary angle:^[24]

$${\displaystyle \operatorname {excsc} (\theta )=\operatorname {exsec} \left({\frac {\pi }{2))-\theta \right)=\csc(\theta )-1={\frac {1}{\sin(\theta )))-1.}$$

Usage

Important in fields such as surveying,^[8] railway engineering^[5] (for example to lay out railroad curves and superelevation), civil engineering, astronomy, and spherical trigonometry up into the 1980s, the exsecant function is now little-used.^[8][23] Mainly, this is because the broad availability of calculators and computers has removed the need for trigonometric tables of specialized functions such as this one.^[8]

The reason to define a special function for the exsecant is similar to the rationale for the versine: for small angles θ, the sec(θ) function approaches one, and so using the above formula for the exsecant will involve the subtraction of two nearly equal quantities, resulting in catastrophic cancellation. Thus, a table of the secant function would need a very high accuracy to be used for the exsecant, making a specialized exsecant table useful. Even with a computer, floating point errors can be problematic for exsecants of small angles, if using the cosine-based definition. A more accurate formula in this limit would be to use the identity:^[3][4][17]

$${\displaystyle \operatorname {exsec} (\theta )={\frac {1-\cos(\theta )}{\cos(\theta )))={\frac {\operatorname {versin} (\theta )}{\cos(\theta )))=\operatorname {versin} (\theta )\sec(\theta )=2\left(\sin \left({\frac {\theta }{2))\right)\right)^{2}\sec(\theta )}$$

$${\displaystyle \operatorname {excsc} (\theta )={\frac {1-\sin(\theta )}{\sin(\theta )))={\frac {\operatorname {coversin} (\theta )}{\sin(\theta )))=\operatorname {coversin} (\theta )\csc(\theta ).}$$

Prior to the availability of computers, this would require time-consuming multiplications.

The exsecant function was used by Galileo Galilei in 1632 already, although he still called it segante (meaning secant).^{[27][28][29][30]} The Latin term secans exterior was used since at least around 1745.^{[10][11][12][13]} The usage of the English term external secant and the abbreviation ex. sec. can be traced back to 1855 the least, when Charles Haslett published the first known table of exsecants.^[1][31] Variations such as ex secant and exsec were in use in 1880,^[14] and exsecant was used since 1894 the least.^[2]

The terms coexsecant^[25] and coexsec^[2] can be found used as early as 1880 as well^[2][25] followed by excosecant since 1909.^[5] The function was also utilized by Albert Einstein to describe the kinetic energy of fermions.^[29][30]

Mathematical identities

Derivatives

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \theta ))\operatorname {exsec} (\theta )=\tan(\theta )\sec(\theta )={\frac {\sin(\theta )}{(\cos(\theta ))^{2))))$^[21]

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \theta ))\operatorname {excsc} (\theta )=-\cot(\theta )\csc(\theta )={\frac {-\cos(\theta )}{(\sin(\theta ))^{2))))$

Integrals

${\displaystyle \int \operatorname {exsec} (\theta )\,\mathrm {d} \theta =\ln \left[\cos \left({\frac {\theta }{2))\right)+\sin \left({\frac {\theta }{2))\right)\right]-\ln \left[\cos \left({\frac {\theta }{2))\right)-\sin \left({\frac {\theta }{2))\right)\right]-\theta +C}$^[21]

${\displaystyle \int \operatorname {excsc} (\theta )\,\mathrm {d} \theta =\ln \left[\tan \left({\frac {\theta }{2))\right)\right]-\theta +C}$

Inverse functions

The inverse functions arcexsecant^[26] (arcexsec,^[5][26] aexsec,^[32][33] aexs, exsec⁻¹) and arcexcosecant (arcexcosec, arcexcsc,^[5] aexcsc, aexc, arccoexsecant, arccoexsec, excsc⁻¹) exist as well:

${\displaystyle \operatorname {arcexsec} (y)=\operatorname {arcsec}(y+1)=\arccos \left({\frac {1}{y+1))\right)=\arctan({\sqrt {y^{2}+2y)))}$^[26][32][33] (for y ≤ −2 or y ≥ 0)^[26]

$${\displaystyle \operatorname {arcexcsc} (y)=\operatorname {arccsc}(y+1)=\arcsin \left({\frac {1}{y+1))\right)}$$

Other properties

Derived from the unit circle:

$${\displaystyle \operatorname {exsec} (\theta )=\sec(\theta )-\cos(\theta )-\operatorname {versin} (\theta ).}$$

$${\displaystyle \operatorname {excsc} (\theta )=\operatorname {csc} (\theta )-\sin(\theta )-\operatorname {coversin} (\theta ).}$$

The exsecant function is related to the tangent function by^[23]

$${\displaystyle \operatorname {exsec} (\theta )=\tan(\theta )\tan \left({\frac {\theta }{2))\right).}$$

In analogy, the excosecant function is related to the cotangent function by

$${\displaystyle \operatorname {excsc} (\theta )=\cot(\theta )\cot \left({\frac {\theta }{2))\right).}$$

The exsecant function is related to the sine function by

$${\displaystyle \operatorname {exsec} (\theta )={\frac {1}{\sqrt {1-(\sin(\theta ))^{2))))-1.}$$

In analogy, the excosecant function is related to the cosine function by^[30]

$${\displaystyle \operatorname {excsc} (\theta )={\frac {1}{\sqrt {1-(\cos(\theta ))^{2))))-1.}$$

The exsecant and excosecant functions can be extended into the complex plane.^[21]

${\displaystyle \lim _{\theta \to 0}{\frac {\operatorname {exsec} (\theta )}{\theta ))=0}$^[5]

${\displaystyle {\frac {\operatorname {versin} (\theta )+\operatorname {coversin} (\theta )}{\operatorname {versin} (\theta )-\operatorname {coversin} (\theta )))-{\frac {\operatorname {exsec} (\theta )+\operatorname {excsc} (\theta )}{\operatorname {exsec} (\theta )-\operatorname {excsc} (\theta )))={\frac {2\operatorname {versin} (\theta )\operatorname {coversin} (\theta )}{\operatorname {versin} (\theta )-\operatorname {coversin} (\theta )))}$^[5]

${\displaystyle (\operatorname {exsec} (\theta )+\operatorname {versin} (\theta ))\,(\operatorname {excsc} (\theta )+\operatorname {coversin} (\theta ))=\sin(\theta )\cos(\theta )}$^[5]

${\displaystyle \operatorname {exsec} (2\theta )={\frac {2\sin ^{2}(\theta )}{1-2\sin ^{2}(\theta )))}$^[5]

${\displaystyle \operatorname {exsec} (2\theta )\,\cos(2\theta )=\tan(\theta )}$^[5]

${\displaystyle \operatorname {exsec} ^{2}(\theta )+2\operatorname {exsec} (\theta )=\tan ^{2}(\theta )}$^[5]