There are several related functions, most notably the coversine and haversine. The latter, half a versine, is of particular importance in the haversine formula of navigation.
The versine or versed sine is a trigonometric function already appearing in some of the earliest trigonometric tables. It is written as versin(θ), vers(θ), ver(θ) or siv(θ). In Latin, it is known as the sinus versus (flipped sine), versinus, versus or the sagitta (arrow).
There are several related functions corresponding to the versine:
- The versed cosine,[nb 1] or vercosine,[nb 1] written vercosin(θ), vercos(θ) or vcs(θ)
- The coversed sine,[nb 1] coversine, cosinus versus[nb 1] or coversinus, written coversin(θ), covers(θ), cosiv(θ)[nb 1] or cvs(θ)
- The coversed cosine or covercosine, written covercosin(θ) or covercos(θ) or cvc(θ)
In full analogy to the above mentioned four functions another set of four "half-value" functions exists as well:
- The haversed sine, haversine or semiversus, written haversin(θ), semiversin(θ), semiversinus(θ), havers(θ), hav(θ), hvs(θ),[nb 2] sem(θ) or hv(θ), most famous from the haversine formula used historically in navigation
- The haversed cosine or havercosine, written havercosin(θ), havercos(θ), hac(θ) or hvc(θ)
- The hacoversed sine, also called hacoversine or cohaversine and written hacoversin(θ), semicoversin(θ), hacovers(θ), hacov(θ) or hcv(θ)
- The hacoversed cosine, also called hacovercosine or cohavercosine and written hacovercosin(θ), hacovercos(θ) or hcc(θ)
History and applications
Versine and coversine
The ordinary sine function (see note on etymology) was sometimes historically called the sinus rectus ("vertical sine"), to contrast it with the versed sine (sinus versus). The meaning of these terms is apparent if one looks at the functions in the original context for their definition, a unit circle:
For a vertical chord AB of the unit circle, the sine of the angle θ (representing half of the subtended angle Δ) is the distance AC (half of the chord). On the other hand, the versed sine of θ is the distance CD from the center of the chord to the center of the arc. Thus, the sum of cos(θ) (equal to the length of line OC) and versin(θ) (equal to the length of line CD) is the radius OD (with length 1). Illustrated this way, the sine is vertical (rectus, literally "straight") while the versine is horizontal (versus, literally "turned against, out-of-place"); both are distances from C to the circle.
This figure also illustrates the reason why the versine was sometimes called the sagitta, Latin for arrow, from the Arabic usage sahem of the same meaning. This itself comes from the Indian word 'sara' (arrow) that was commonly used to refer to "utkrama-jya". If the arc ADB of the double-angle Δ = 2θ is viewed as a "bow" and the chord AB as its "string", then the versine CD is clearly the "arrow shaft".
As θ goes to zero, versin(θ) is the difference between two nearly equal quantities, so a user of a trigonometric table for the cosine alone would need a very high accuracy to obtain the versine in order to avoid catastrophic cancellation, making separate tables for the latter convenient. Even with a calculator or computer, round-off errors make it advisable to use the sin2 formula for small θ.
Another historical advantage of the versine is that it is always non-negative, so its logarithm is defined everywhere except for the single angle (θ = 0, 2π,...) where it is zero—thus, one could use logarithmic tables for multiplications in formulas involving versines.
In fact, the earliest surviving table of sine (half-chord) values (as opposed to the chords tabulated by Ptolemy and other Greek authors), calculated from the Surya Siddhantha of India dated back to the 3rd century BC, was a table of values for the sine and versed sine (in 3.75° increments from 0 to 90°).
The versine appears as an intermediate step in the application of the half-angle formula sin2(θ/2) = versin(θ)/2, derived by Ptolemy, that was used to construct such tables.
Haversine and hacoversine
The haversine, in particular, was important in navigation because it appears in the haversine formula, which is used to reasonably accurately compute distances on a sphere (see issues with the earth's radius vs. sphere) given angular positions (e.g., longitude and latitude). One could also use sin2(θ/2) directly, but having a table of the haversine removed the need to compute squares and square roots.
In 1835, the term haversine (notated as log. haversine, log. havers. and hav.) was coined by James Inman in the third edition of his work Navigation and Nautical Astronomy: For the Use of British Seamen to simplify the calculation of distances between two points on the surface of the earth using spherical trigonometry for applications in navigation. Inman also used the terms nat. versine and nat. vers. for versines.
One period (0 < θ < π/2) of a versine or, more commonly, a haversine (or havercosine) waveform is also commonly used in signal processing and control theory as the shape of a pulse or a window function (including Hann, Hann–Poisson and Tukey windows), because it smoothly (continuous in value and slope) "turns on" from zero to one (for haversine) and back to zero.[nb 2] In these applications, it is named raised-cosine filter or Hann function. Likewise, the vercosine and havercosine is used in raised-cosine distributions in probability theory and statistics.
As sagitta and cosagitta, double-angle Δ variants of the haversine and havercosine have also found new uses in describing the correlation and anti-correlation of correlated photons in quantum mechanics.
Derivatives and integrals
Inverse functions like arcversine (arcversin, arcvers, avers, aver), arcvercosine (arcvercosin, arcvercos, avercos, avcs), arccoversine (arccoversin, arccovers, acovers, acvs), arccovercosine (arccovercosin, arccovercos, acovercos, acvc), archaversine (archaversin, archav, haversin−1, invhav, ahav, ahvs, ahv, hav−1), archavercosine (archavercosin, archavercos, ahvc), archacoversine (archacoversin, ahcv) or archacovercosine (archacovercosin, archacovercos, ahcc) exist as well:
When the versine v is small in comparison to the radius r, it may be approximated from the half-chord length L (the distance AC shown above) by the formula
Alternatively, if the versine is small and the versine, radius, and half-chord length are known, they may be used to estimate the arc length s (AD in the figure above) by the formula
A more accurate approximation used in engineering is
Arbitrary curves and chords
The term versine is also sometimes used to describe deviations from straightness in an arbitrary planar curve, of which the above circle is a special case. Given a chord between two points in a curve, the perpendicular distance v from the chord to the curve (usually at the chord midpoint) is called a versine measurement. For a straight line, the versine of any chord is zero, so this measurement characterizes the straightness of the curve. In the limit as the chord length L goes to zero, the ratio 8v/L2 goes to the instantaneous curvature. This usage is especially common in rail transport, where it describes measurements of the straightness of the rail tracks and it is the basis of the Hallade method for rail surveying.
- Trigonometric identities
- Exsecant and excosecant
- Versiera (Witch of Agnesi)
- Exponential minus 1
- Natural logarithm plus 1
- Some English sources confuse the versed cosine with the coversed sine. Historically (f.e. in Cauchy, 1821), the sinus versus (versine) was defined as siv(θ) = 1-cos(θ) and the cosinus versus (what is now also known as coversine) as cosiv(θ) = 1-sin(θ). However, in their 2009 English translation of Cauchy's work, Bradley and Sandifer incorrectly associate the cosinus versus (and cosiv) with the versed cosine (what is now also known as vercosine) rather than the coversed sine. Similarly, in their 1968/2000 work, Korn and Korn associate the covers(θ) function with the versed cosine instead of the coversed sine.
- The abbreviation hvs sometimes used for the haversine function in signal processing and filtering is also sometimes used for the unrelated Heaviside step function.
- Inman, James (1835) . Navigation and Nautical Astronomy: For the Use of British Seamen (3 ed.). London, UK: W. Woodward, C. & J. Rivington. Retrieved 2015-11-09. (Fourth edition: .)
- Zucker, Ruth (December 1972) . "Chapter 4.3.147: Elementary Transcendental Functions - Circular functions". In Abramowitz, Milton; Stegun, Irene A. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series 55 (10 ed.). New York, USA: United States Department of Commerce, National Bureau of Standards; Dover Publications. p. 78. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642.
- Weisstein, Eric W.. "Versine". MathWorld. Wolfram Research, Inc. Archived from the original on 2010-03-31. Retrieved 2015-11-05.
- Tapson, Frank (2004). "Background Notes on Measures: Angles". 1.4. Cleave Books. Archived from the original on 2007-02-09. Retrieved 2015-11-12.
- Oldham, Keith B.; Myland, Jan C.; Spanier, Jerome (2009) . "32.13. The Cosine cos(x) and Sine sin(x) functions - Cognate functions". An Atlas of Functions: with Equator, the Atlas Function Calculator (2 ed.). Springer Science+Business Media, LLC. p. 322. doi:10.1007/978-0-387-48807-3. ISBN 978-0-387-48806-6. LCCN 2008937525.
- Korn, Grandino Arthur; Korn, Theresa M. (2000) . "Appendix B: B9. Plane and Spherical Trigonometry: Formulas Expressed in Terms of the Haversine Function". Mathematical handbook for scientists and engineers: Definitions, theorems, and formulars for reference and review (3 ed.). Mineola, New York, USA: Dover Publications, Inc. pp. 892–893. ISBN 978-0-486-41147-7. (See errata.)
- Boyer, Carl Benjamin (1969) . "5: Commentary on the Paper of E. J. Dijksterhuis (The Origins of Classical Mechanics from Aristotle to Newton)". In Clagett, Marshall. Critical Problems in the History of Science (3 ed.). Madison, Milwaukee, and London: University of Wisconsin Press, Ltd. pp. 185–190. ISBN 0-299-01874-1. LCCN 59-5304. 9780299018740. Retrieved 2015-11-16.
- Swanson, Todd; Andersen, Janet; Keeley, Robert (1999). "5 (Trigonometric Functions)". Precalculus: A Study of Functions and Their Applications (PDF). Harcourt Brace & Company. p. 344. Archived (PDF) from the original on 2003-06-17. Retrieved 2015-11-12.
- Calvert, James B. (2007-09-14) . "Trigonometry". Archived from the original on 2007-10-02. Retrieved 2015-11-08.
- Shaneyfelt, Ted V. "德博士的 Notes About Circles, ज्य, & कोज्य: What in the world is a hacovercosine?". Hilo, Hawaii: University of Hawaii. Archived from the original on 2015-09-19. Retrieved 2015-11-08.
- Cauchy, Augustin-Louis (1821). "Analyse Algébrique". Cours d'Analyse de l'Ecole royale polytechnique (in French) 1. L'Imprimerie Royale, Debure frères, Libraires du Roi et de la Bibliothèque du Roi. (reissued by Cambridge University Press, 2009; ISBN 978-1-108-00208-0)
- Bradley, Robert E.; Sandifer, Charles Edward (2010-01-14) . Buchwald, J. Z., ed. Cauchy’s Cours d’analyse: An Annotated Translation. Sources and Studies in the History of Mathematics and Physical Sciences. Cauchy, Augustin-Louis (Springer Science+Business Media, LLC). pp. 10, 285. doi:10.1007/978-1-4419-0549-9. ISBN 978-1-4419-0548-2. LCCN 2009932254. 1441905499, 978-1-4419-0549-9. Retrieved 2015-11-09. (See errata.)
- Weisstein, Eric W.. "Vercosine". MathWorld. Wolfram Research, Inc. Archived from the original on 2014-03-24. Retrieved 2015-11-06.
- Weisstein, Eric W.. "Coversine". MathWorld. Wolfram Research, Inc. Archived from the original on 2005-11-12. Retrieved 2015-11-06.
- Weisstein, Eric W.. "Hacoversine". MathWorld. Wolfram Research, Inc. Archived from the original on 2014-03-29. Retrieved 2015-11-06.
- Weisstein, Eric W.. "Covercosine". MathWorld. Wolfram Research, Inc. Archived from the original on 2014-03-28. Retrieved 2015-11-06.
- Weisstein, Eric W.. "Haversine". MathWorld. Wolfram Research, Inc. Archived from the original on 2005-03-10. Retrieved 2015-11-06.
- Fulst, Otto (1972). "17, 18". In Lütjen, Johannes; Stein, Walter; Zwiebler, Gerhard. Nautische Tafeln (in German) (24 ed.). Bremen, Germany: Arthur Geist Verlag.
- Sauer, Frank (2015) . "Semiversus-Verfahren: Logarithmische Berechnung der Höhe" (in German). Hotheim am Taunus, Germany: Astrosail. Archived from the original on 2013-09-17. Retrieved 2015-11-12.
- "Haversine". Wolfram Language & System: Documentation Center. 7.0. 2008. Archived from the original on 2014-09-01. Retrieved 2015-11-06.
- Rudzinski, Greg (July 2015). Ix, Hanno. "Ultra compact sight reduction". Ocean Navigator (Portland, ME, USA: Navigator Publishing LLC) (227): 42–43. ISSN 0886-0149. Retrieved 2015-11-07.
- Weisstein, Eric W.. "Havercosine". MathWorld. Wolfram Research, Inc. Archived from the original on 2014-03-29. Retrieved 2015-11-06.
- van Vlijmen, Oscar (2005-12-28) . "Goniology". Eenheden, constanten en conversies. Archived from the original on 2009-10-28. Retrieved 2015-11-28.
- Weisstein, Eric W.. "Hacovercosine". MathWorld. Wolfram Research, Inc. Archived from the original on 2014-03-29. Retrieved 2015-11-06.
- "sagitta". Oxford English Dictionary (3rd ed.). Oxford University Press. September 2005. (Subscription or UK public library membership required.)
- Boyer, Carl Benjamin; Merzbach, Uta C. (1991-03-06) . A History of Mathematics (2 ed.). New York, USA: John Wiley & Sons. ISBN 978-0471543978. 0471543977.
- Miller, Jeff (2007-09-10). "Earliest Known Uses of Some of the Words of Mathematics (V)". New Port Richey, Florida, USA. Archived from the original on 2015-09-05. Retrieved 2015-11-10.
- de Mendoza y Ríos, Joseph (1795). Memoria sobre algunos métodos nuevos de calcular la longitud por las distancias lunares: y aplication de su teórica á la solucion de otros problemas de navegacion navegacion (in Spanish). Madrid, Spain: Imprenta Real.
- Cajori, Florian (2013) . A History of Mathematical Notations 2 (2 (reprint of 1929 issue) ed.). New York, USA: Open court publishing company; reprint by Cosimo, Inc. ISBN 978-1-60206-714-1. 1602067147. Retrieved 2015-11-11.
- Archibald, Raymond Clare (1945-07-11). "197: Natural and Logarithmic Haversines". Recent Mathematical Tables (PDF). Mathematical Tables and other Aids to Computation (MTAC) (Review) 1 (The National Research Council, Division of Physical Sciences, Committee on Mathematical Tables and Other Aids to Computation; American Mathematical Society). pp. 421–422. doi:10.1090/S0025-5718-45-99080-6. Archived (PDF) from the original on 2015-11-19. Retrieved 2015-11-19. 
- Andrew, James (1805). Astronomical and Nautical Tables with Precepts for finding the Latitude and Longitude of Places. T. XIII. London. pp. 29–148. (A 7-place haversine table from 0° to 120° in intervals of 10".)
- van Brummelen, Glen Robert (2013). Heavenly Mathematics: The Forgotten Art of Spherical Trigonometry. Princeton University Press. ISBN 9780691148922. 0691148929. Retrieved 2015-11-10.
- "haversine". Oxford English Dictionary (2nd ed.). Oxford University Press. 1989.
- Farley, Richard (1856). Natural Versed Sines from 0 to 125°, and Logarithmic Versed Sines from 0 to 135°. London. (A haversine table from 0° to 125°/135°.)
- Hannyngton, John Caulfield (1876). Haversines, Natural and Logarithmic, used in Computing Lunar Distances for the Nautical Almanac. London. (A 7-place haversine table from 0° to 180°, log. haversines at intervals of 15", nat. haversines at intervals of 10".)
- Stávek, Jiří (2013-10-18). "On the Trigonometric Loophole". Applied Physics Research (Prague, CZ: Canadian Center of Science and Education) 5 (6). doi:10.5539/apr.v5n6p48. ISSN 1916-9639. E-ISSN:1916-9647. Archived from the original on 2014-11-19. Retrieved 2015-11-19.
- Simpson, David G. (2001-11-08). "AUXTRIG" (Fortran 90 source code). Greenbelt, Maryland, USA: NASA Goddard Space Flight Center. Archived from the original on 2008-06-16. Retrieved 2015-10-26.
- van den Doel, Kees (2010-01-25). "jass.utils Class Fmath". JASS - Java Audio Synthesis System. 1.25. Archived from the original on 2007-09-02. Retrieved 2015-10-26.
- mf344 (2014-07-04). "Lost but lovely: The haversine". Plus magazine (maths.org). Archived from the original on 2014-07-18. Retrieved 2015-11-05.
- Skvarc, Jure (1999-03-01). "identify.py: An asteroid_server client which identifies measurements in MPC format". Fitsblink (Python source code). Archived from the original on 2008-11-20. Retrieved 2015-11-28.
- Skvarc, Jure (2014-10-27). "astrotrig.py: Astronomical trigonometry related functions" (Python source code). Ljubljana, Slovenia: Telescope Vega, University of Ljubljana. Archived from the original on 2015-11-28. Retrieved 2015-11-28.
- Ballew, Pat (2007-02-08) . "Versine". Math Words, pg 4. Versine. Archived from the original on 2007-02-08. Retrieved 2015-11-28.
- Weisstein, Eric W.. "Inverse Haversine". MathWorld. Wolfram Research, Inc. Archived from the original on 2008-06-08. Retrieved 2015-10-05.
- "InverseHaversine". Wolfram Language & System: Documentation Center. 7.0. 2008. Retrieved 2015-11-05.
- Woodward, Ernest (December 1978). Geometry - Plane, Solid & Analytic Problem Solver. Problem Solvers Solution Guides. Research & Education Association (REA). p. 359. ISBN 978-0-87891-510-1.
- Needham, Noel Joseph Terence Montgomery (1959). Science and Civilisation in China: Mathematics and the Sciences of the Heavens and the Earth 3. Cambridge University Press. p. 39. ISBN 9780521058018.
- Boardman, Harry (1930). Table For Use in Computing Arcs, Chords and Versines. Chicago Bridge and Iron Company. p. 32.
- Nair, P. N. Bhaskaran (1972). "Track measurement systems—concepts and techniques". Rail International (International Railway Congress Association, International Union of Railways) 3 (3): 159–166. ISSN 0020-8442. OCLC 751627806.