{{short description|Functions of an angle}}
{{redir-multi|2|Logarithmic sine|Logarithmic cosine|the Clausen-related functions|log cosine function|and|log sine function}}
{{Use dmy dates|date=September 2021|cs1-dates=sy}}
{{CS1 config|mode=cs2}}
[[File:Academ Base of trigonometry.svg|thumb|upright=1.35|Basis of trigonometry: if two [[right triangle]]s have equal [[acute angle]]s, they are [[Similarity (geometry)|similar]], so their corresponding side lengths are [[Proportionality (mathematics)|proportional]].]]
In [[mathematics]], the '''trigonometric functions''' (also called '''circular functions''', '''angle functions''' or '''goniometric functions'''){{r|klein}} are [[real function]]s which relate an angle of a [[right-angled triangle]] to ratios of two side lengths. They are widely used in all sciences that are related to [[geometry]], such as [[navigation]], [[solid mechanics]], [[celestial mechanics]], [[geodesy]], and many others. They are among the simplest [[periodic function]]s, and are widely used for studying periodic phenomena through [[Fourier analysis]].
{{Trigonometry}}
The trigonometric functions most commonly used in modern mathematics are the [[sine]], the [[cosine]], and the '''tangent''' functions. {{anchor|Reciprocal_functions}}Their [[multiplicative inverse|reciprocal]]s are respectively the '''cosecant''', the '''secant''', and the '''cotangent''' functions, which are less commonly used. Each of these six trigonometric functions has a corresponding [[Inverse trigonometric functions|inverse function]] and has an analog among the [[hyperbolic functions]].
The oldest definitions of trigonometric functions, related to right-angle triangles, define them only for [[acute angle]]s. To extend the sine and cosine functions to functions whose [[domain of a function|domain]] is the whole [[real line]], geometrical definitions using the standard [[unit circle]] (i.e., a circle with [[radius]] 1 unit) are often used; then the domain of the other functions is the real line with some isolated points removed. Modern definitions express trigonometric functions as [[Series (mathematics)|infinite series]] or as solutions of [[differential equation]]s. This allows extending the domain of sine and cosine functions to the whole [[complex plane]], and the domain of the other trigonometric functions to the complex plane with some isolated points removed.
== Notation ==
Conventionally, an abbreviation of each trigonometric function's name is used as its symbol in formulas. Today, the most common versions of these abbreviations are "{{math|sin}}" for sine, "{{math|cos}}" for cosine, "{{math|tan}}" or "{{math|tg}}" for tangent, "{{math|sec}}" for secant, "{{math|csc}}" or "{{math|cosec}}" for cosecant, and "{{math|cot}}" or "{{math|ctg}}" for cotangent. Historically, these abbreviations were first used in prose sentences to indicate particular [[line segment]]s or their lengths related to an [[circular arc|arc]] of an arbitrary circle, and later to indicate ratios of lengths, but as the [[history of the function concept|function concept developed]] in the 17th–18th century, they began to be considered as functions of real-number-valued angle measures, and written with [[functional notation]], for example {{math|sin(''x'')}}. Parentheses are still often omitted to reduce clutter, but are sometimes necessary; for example the expression would typically be interpreted to mean so parentheses are required to express
A [[positive integer]] appearing as a superscript after the symbol of the function denotes [[exponentiation]], not [[Function composition#Functional powers|function composition]]. For example and denote not This differs from the (historically later) general functional notation in which
[[File:comparison_sine_inverse.svg|thumb|Comparisons of {{nowrap|sin ''x''}} (black), {{nowrap|sin[−1]''x''}} (blue), {{nowrap|(sin ''x'')−1}} (red) and {{nowrap|sin (''x''−1)}} (green) graphs from −2{{pi}} to 2{{pi}}.]]
In contrast, the superscript is commonly used to denote the [[inverse function]], not the [[multiplicative inverse |reciprocal]]. For example and denote the [[inverse trigonometric function]] alternatively written The equation implies not In this case, the superscript ''could'' be considered as denoting a composed or [[iterated function]], but negative superscripts other than are not in common use.
== Right-angled triangle definitions ==
[[File:TrigonometryTriangle.svg|thumb|In this right triangle, denoting the measure of angle BAC as A: {{math|1=sin ''A'' = {{sfrac|''a''|''c''}}}}; {{math|1=cos ''A'' = {{sfrac|''b''|''c''}}}}; {{math|1=tan ''A'' = {{sfrac|''a''|''b''}}}}.]]
[[File:TrigFunctionDiagram.svg|thumb|Plot of the six trigonometric functions, the unit circle, and a line for the angle {{math|1=''θ'' = 0.7 radians}}. The points labeled {{color|#D00|1}}, {{color|#02D|Sec(''θ'')}}, {{color|#0D1|Csc(''θ'')}} represent the length of the line segment from the origin to that point. {{color|#D00|Sin(''θ'')}}, {{color|#02D|Tan(''θ'')}}, and {{color|#0D1|1}} are the heights to the line starting from the {{mvar|x}}-axis, while {{color|#D00|Cos(''θ'')}}, {{color|#02D|1}}, and {{color|#0D1|Cot(''θ'')}} are lengths along the {{mvar|x}}-axis starting from the origin.]]
If the acute angle {{mvar|θ}} is given, then any right triangles that have an angle of {{mvar|θ}} are [[similarity (geometry)|similar]] to each other. This means that the ratio of any two side lengths depends only on {{mvar|θ}}. Thus these six ratios define six functions of {{mvar|θ}}, which are the trigonometric functions. In the following definitions, the [[hypotenuse]] is the length of the side opposite the right angle, ''opposite'' represents the side opposite the given angle {{mvar|θ}}, and ''adjacent'' represents the side between the angle {{mvar|θ}} and the right angle.{{sfn|Protter|Morrey|1970|pp=APP-2, APP-3 }}[{{Cite web |title=Sine, Cosine, Tangent |url=https://www.mathsisfun.com/sine-cosine-tangent.html |access-date=29 August 2020 |website=www.mathsisfun.com |postscript=.}}]
{|
| style="padding-left: 2em; padding-right: 2em; |
;sine:
| style="padding-left: 2em; padding-right: 2em; |
;cosecant:
|-
| style="padding-left: 2em; padding-right: 2em; |
;cosine:
| style="padding-left: 2em; padding-right: 2em; |
;secant:
|-
| style="padding-left: 2em; padding-right: 2em; |
;tangent:
| style="padding-left: 2em; padding-right: 2em; |
;cotangent:
|}
[[mnemonics in trigonometry|Various mnemonics]] can be used to remember these definitions.
In a right-angled triangle, the sum of the two acute angles is a right angle, that is, {{math|90°}} or {{math|{{sfrac|π|2}} [[radian]]s}}. Therefore and represent the same ratio, and thus are equal. This identity and analogous relationships between the other trigonometric functions are summarized in the following table.
[[File:Periodic sine.svg|thumb|'''Top:''' Trigonometric function {{math|sin ''θ''}} for selected angles (in radians) {{mvar|θ}}, {{math|{{pi}} − ''θ''}}, {{math|{{pi}} + ''θ''}}, and {{math|2{{pi}} − ''θ''}} in the four quadrants.
'''Bottom:''' Graph of sine versus angle. Angles from the top panel are identified.]]
{| class="wikitable sortable"
|+ Summary of relationships between trigonometric functions{{sfn|Protter|Morrey|1970|p=APP-7}}
|-
! rowspan=2 | Function
! rowspan=2 | Description
! colspan=2 | [[List of trigonometric identities|Relationship]]
|-
! using [[radian]]s
! using [[Degree (angle)|degree]]s
|-
! sine
|align=center|{{math|{{sfrac|opposite|hypotenuse}}}}
|
|
|-
! cosine
|align=center|{{math|{{sfrac|adjacent|hypotenuse}}}}
|
|
|-
! tangent
|align=center|{{math|{{sfrac|opposite|adjacent}}}}
|
|
|-
! cotangent
|align=center|{{math|{{sfrac|adjacent|opposite}}}}
|
|
|-
! secant
|align=center|{{math|{{sfrac|hypotenuse|adjacent}}}}
|
|
|-
! cosecant
|align=center|{{math|{{sfrac|hypotenuse|opposite}}}}
|
|
|}
==Radians versus degrees==
In geometric applications, the argument of a trigonometric function is generally the measure of an [[angle]]. For this purpose, any [[angular unit]] is convenient. One common unit is [[degree (angle)|degrees]], in which a right angle is 90° and a complete turn is 360° (particularly in [[elementary mathematics]]).
However, in [[calculus]] and [[mathematical analysis]], the trigonometric functions are generally regarded more abstractly as functions of [[real number|real]] or [[complex number]]s, rather than angles. In fact, the functions {{math|sin}} and {{math|cos}} can be defined for all complex numbers in terms of the [[exponential function]], via power series,[{{Cite book |last=Rudin |first=Walter |title=Principles of mathematical analysis |isbn=0-07-054235-X |edition=3rd |location=New York |postscript=.}}] or as solutions to [[differential equation]]s given particular initial values[{{Cite journal|last=Diamond|first=Harvey|date=2014|title=Defining Exponential and Trigonometric Functions Using Differential Equations|journal=Mathematics Magazine|language=en|volume=87|issue=1|pages=37–42 |doi=10.4169/math.mag.87.1.37 |postscript=.}}] (see below), without reference to any geometric notions. The other four trigonometric functions ({{math|tan}}, {{math|cot}}, {{math|sec}}, {{math|csc}}) can be defined as quotients and reciprocals of {{math|sin}} and {{math|cos}}, except where zero occurs in the denominator. It can be proved, for real arguments, that these definitions coincide with elementary geometric definitions if the argument is regarded as an angle in radians. Moreover, these definitions result in simple expressions for the [[derivative]]s and [[Antiderivative|indefinite integrals]] for the trigonometric functions.[{{Cite book |last=Spivak |first=Michael |author-link=Michael Spivak |title=Calculus |publisher=Addison-Wesley |year=1967 |chapter=15 |pages=256–257 |lccn=67-20770 |postscript=.}}] Thus, in settings beyond elementary geometry, radians are regarded as the mathematically natural unit for describing angle measures.
When [[radian]]s (rad) are employed, the angle is given as the length of the [[arc (geometry)|arc]] of the [[unit circle]] subtended by it: the angle that subtends an arc of length 1 on the unit circle is 1 rad (≈ 57.3°),[{{cite oeis|A072097|Decimal expansion of 180/Pi}}.] and a complete [[turn (angle)|turn]] (360°) is an angle of 2{{pi}} (≈ 6.28) rad.[{{cite oeis|A019692|Decimal expansion of 2*Pi}}.] Since radian is dimensionless, i.e. 1 rad = 1, the degree symbol can also be regarded as a [[mathematical constant]] [[Factor (arithmetic)|factor]] such that 1° = {{pi}}/180 ≈ 0.0175.{{citation needed |date=July 2025}}
{{Clear|right}}
==Unit-circle definitions==
{{multiple image
| direction=vertical
| image1 = Circle-trig6.svg
| caption1 = All of the trigonometric functions of the angle {{mvar|θ}} (theta) can be constructed geometrically in terms of a unit circle centered at {{mvar|O}}.
| image2 = Trigonometry functions on a unit circle.svg
| caption2 = Trigonometry functions on a unit circle.
| image3 = Periodic sine.svg
| caption3 = Sine function on unit circle (top) and its graph (bottom)
}}
The six trigonometric functions can be defined as [[Cartesian coordinate system|coordinate values]] of points on the [[Euclidean plane]] that are related to the [[unit circle]], which is the [[circle]] of radius one centered at the origin {{math|O}} of this coordinate system. While [[#Right-angled triangle definitions|right-angled triangle definitions]] allow for the definition of the trigonometric functions for angles between {{math|0}} and [[radian]]s {{math|(90°),}} the unit circle definitions allow the domain of trigonometric functions to be extended to all positive and negative real numbers.
Let be the [[Ray (geometry)|ray]] obtained by rotating by an angle {{mvar|θ}} the positive half of the {{mvar|x}}-axis ([[counterclockwise]] rotation for and clockwise rotation for ). This ray intersects the unit circle at the point The ray extended to a [[line (geometry)|line]] if necessary, intersects the line of equation at point and the line of equation at point The [[tangent line]] to the unit circle at the point {{math|A}}, is [[perpendicular]] to and intersects the {{mvar|y}}- and {{mvar|x}}-axes at points and The [[Cartesian coordinates|coordinates]] of these points give the values of all trigonometric functions for any arbitrary real value of {{mvar|θ}} in the following manner.
The trigonometric functions {{math|cos}} and {{math|sin}} are defined, respectively, as the {{mvar|x}}- and {{mvar|y}}-coordinate values of point {{math|A}}. That is,
and [{{Cite encyclopedia |url=https://www.encyclopediaofmath.org/index.php/Trigonometric_functions |title=Trigonometric Functions |last=Bityutskov |first=V.I. |date=7 February 2011 |encyclopedia=Encyclopedia of Mathematics |postscript=. }}]
In the range , this definition coincides with the right-angled triangle definition, by taking the right-angled triangle to have the unit radius {{math|OA}} as [[hypotenuse]]. And since the equation holds for all points on the unit circle, this definition of cosine and sine also satisfies the [[Pythagorean identity]].
The other trigonometric functions can also be found along the unit circle; all together, they are:
By applying the Pythagorean identity and geometric proof methods, these definitions can readily be shown to coincide with the definitions of tangent, cotangent, secant and cosecant in terms of sine and cosine, i.e.
[[File:Trigonometric functions.svg|right|thumb|upright=1.35|link={{filepath:trigonometric_functions_derivation_animation.svg}}|Trigonometric functions:
{{color|#00A|Sine}},
{{color|#0A0|Cosine}},
{{color|#A00|Tangent}},
{{color|#00A|Cosecant (dotted)}},
{{color|#0A0|Secant (dotted)}},
{{color|#A00|Cotangent (dotted)}}
– [{{filepath:trigonometric_functions_derivation_animation.svg}} animation] ]]
[[File:trigonometric function quadrant sign.svg|thumb|Signs of trigonometric functions in each quadrant. [[mnemonics in trigonometry|Mnemonics]] like "'''all''' '''s'''tudents '''t'''ake '''c'''alculus" indicate when '''s'''ine, '''c'''osine, and '''t'''angent are positive from quadrants I to IV.[{{Cite book |last1=Stueben |first1=Michael |title=Twenty years before the blackboard: the lessons and humor of a mathematics teacher |last2=Sandford |first2=Diane |date=1998 |publisher=Mathematical Association of America |isbn=978-0-88385-525-6 |series=Spectrum series |location=Washington, DC |page=119 |url=https://books.google.com/books?id=qnd0P-Ja-O8C&dq=%22All+Students+Take+Calculus%22&pg=PA119 |postscript=.}}]]]
Since a rotation of an angle of does not change the position or size of a shape, the points {{math|A}}, {{math|B}}, {{math|C}}, {{math|D}}, and {{math|E}} are the same for two angles whose difference is an integer multiple of . Thus trigonometric functions are [[periodic function]]s with period . That is, the equalities
and
hold for any angle {{mvar|θ}} and any [[integer]] {{mvar|k}}. The same is true for the four other trigonometric functions. By observing the sign and the monotonicity of the functions sine, cosine, cosecant, and secant in the four quadrants, one can show that is the smallest value for which they are periodic (i.e., is the [[periodic function|fundamental period]] of these functions). However, after a rotation by an angle , the points {{mvar|B}} and {{mvar|C}} already return to their original position, so that the tangent function and the cotangent function have a fundamental period of . That is, the equalities
and
hold for any angle {{mvar|θ}} and any integer {{mvar|k}}.
==Algebraic values==
[[File:Unit circle angles color.svg|right|thumb|The [[unit circle]], with some points labeled with their cosine and sine (in this order), and the corresponding angles in radians and degrees.]]
The [[algebraic expression]]s for some notable angles are as follows, beginning with the [[Angle#Types of angles|zero angle]] and ending with the [[right angle]]:
Writing the numerators as [[square roots]] of consecutive non-negative integers, with a denominator of 2, provides an easy way to remember the values.
Such simple expressions generally do not exist for other angles which are rational multiples of a right angle.
*For an angle which, measured in degrees, is a multiple of three, the [[exact trigonometric values]] of the sine and the cosine may be expressed in terms of square roots. These values of the sine and the cosine may thus be constructed by [[Compass-and-straightedge construction|ruler and compass]].
*For an angle of an integer number of degrees, the sine and the cosine may be expressed in terms of square roots and the [[cube root]] of a non-real [[complex number]]. [[Galois theory]] allows a proof that, if the angle is not a multiple of 3°, non-real cube roots appear in the definition of their sine and cosine.
*For an angle which, expressed in degrees, is a [[rational number]], the sine and the cosine are [[algebraic number]]s, which may be expressed in terms of [[nth root|{{mvar|n}}-th roots]]. This results from the fact that the [[Galois group]]s of the [[cyclotomic polynomial]]s are [[cyclic group|cyclic]].
*For an angle which, expressed in degrees, is not a rational number, then either the angle or both the sine and the cosine are [[transcendental number]]s. This is a corollary of [[Baker's theorem]], proved in 1966.
*If the sine of an angle is a rational number then the cosine is not necessarily a rational number, and vice versa. However, if the tangent of an angle is rational then both the sine and cosine of the double angle will be rational.
===Simple algebraic values===
{{main|Exact trigonometric values#Common angles}}
The following table lists the sines, cosines, and tangents of multiples of 15 degrees from 0 to 90 degrees.
{| class="wikitable" style="text-align:center;"
|-
! colspan=2 | Angle, {{mvar|θ}}, in
! rowspan=2 |
! rowspan=2 |
! rowspan=2 |
|-
! radians
! degrees
|-
|
|
|
|
|
|-
|
|
|
|
|
|-
|
|
|
|
|
|-
|
|
|
|
|
|-
|
|
|
|
|
|-
|
|
|
|
|
|-
|
|
|
|
| {{n/a|undefined}}
|}
==Definitions in analysis==
[[file:Trigonometrija-graf.svg|thumb|right|[[graph of a function|Graphs]] of sine, cosine and tangent]]
[[File:Taylorsine.svg|thumb|right|The sine function (blue) is closely approximated by its [[Taylor's theorem|Taylor polynomial]] of degree 7 (pink) for a full cycle centered on the origin.]]
[[File:Taylor cos.gif|thumb|Animation for the approximation of cosine via Taylor polynomials.]]
[[File:Taylorreihenentwicklung des Kosinus.svg|thumb| together with the first Taylor polynomials ]]
[[G. H. Hardy]] noted in his 1908 work ''[[A Course of Pure Mathematics]]'' that the definition of the trigonometric functions in terms of the unit circle is not satisfactory, because it depends implicitly on a notion of angle that can be measured by a real number.{{clarify|date=September 2025}}[{{citation|first=G.H.|last=Hardy|title=A course of pure mathematics|year=1950|edition=8th|pages=432–438|postscript=.}}] Thus in modern analysis, trigonometric functions are usually constructed without reference to geometry.
Various ways exist in the literature for defining the trigonometric functions in a manner suitable for analysis; they include:
* Using the "geometry" of the unit circle, which requires formulating the arc length of a circle (or area of a sector) analytically.
* By a [[power series]], which is particularly well-suited to complex variables.{{sfn|Whittaker|Watson|1927}}
* By using an [[infinite product]] expansion.
* By inverting the inverse trigonometric functions, which can be defined as integrals of algebraic or rational functions.
* As solutions of a differential equation.{{sfn|Bartle|Sherbert|1999}}
===Definition by differential equations===
Sine and cosine can be defined as the unique solution to the [[initial value problem]]:{{sfn|Bartle|Sherbert|1999|p=247}}
Differentiating again, and , so both sine and cosine are solutions of the same [[ordinary differential equation]]
Sine is the unique solution with {{math|''y''(0) {{=}} 0}} and {{math|''y''′(0) {{=}} 1}}; cosine is the unique solution with {{math|''y''(0) {{=}} 1}} and {{math|''y''′(0) {{=}} 0}}.
One can then prove, as a theorem, that solutions are periodic, having the same period. Writing this period as is then a definition of the real number which is independent of geometry.
Applying the [[quotient rule]] to the tangent ,
so the tangent function satisfies the ordinary differential equation
It is the unique solution with {{math|''y''(0) {{=}} 0}}.
===Power series expansion===
The basic trigonometric functions can be defined by the following [[power series]] expansions.{{sfn|Whittaker|Watson|1927|p=584}}These series are also known as the [[Taylor series]] or [[Maclaurin series]] of these trigonometric functions:
The [[radius of convergence]] of these series is infinite. Therefore, the sine and the cosine can be extended to [[entire function]]s (also called "sine" and "cosine"), which are (by definition) [[complex-valued function]]s that are defined and [[holomorphic]] on the whole [[complex plane]].
Term-by-term differentiation shows that the sine and cosine defined by the series obey the differential equation discussed previously, and conversely one can obtain these series from elementary recursion relations derived from the differential equation.
Being defined as fractions of entire functions, the other trigonometric functions may be extended to [[meromorphic function]]s, that is functions that are holomorphic in the whole complex plane, except some isolated points called [[zeros and poles|poles]]. Here, the poles are the numbers of the form for the tangent and the secant, or for the cotangent and the cosecant, where {{mvar|k}} is an arbitrary integer.
Recurrences relations may also be computed for the coefficients of the [[Taylor series]] of the other trigonometric functions. These series have a finite [[radius of convergence]]. Their coefficients have a [[combinatorics|combinatorial]] interpretation: they enumerate [[alternating permutation]]s of finite sets.[Stanley, Enumerative Combinatorics, Vol I., p. 149]
More precisely, defining
: {{mvar|Un}}, the {{mvar|n}}-th [[up/down number]],
: {{mvar|Bn}}, the {{mvar|n}}-th [[Bernoulli number]], and
: {{mvar|En}}, is the {{mvar|n}}-th [[Euler number]],
one has the following series expansions:{{sfn|Abramowitz|Stegun|1983}}
===Continued fraction expansion===
The following [[continued fraction]]s are valid in the whole complex plane:
[C. D. Olds, Continued fractions, 1963, Random House, Inc., p. 138, pp 11, (without authorship)]
{{citation needed|date=October 2025|reason=In MATHEMATICAL ANALYSIS Functions, Limits, Series,Continued Fractions. E d i t e d b y L. A. LYUSTERNIK and A. R. YANPOL’SKII
T r a n s l a t e d b y D. E. BROWN T r a n s l a t i o n e d i t e d b y E. SPENCE,1965, PERGAMON PRESS, OXFORD • LONDON • EDINBURGH • NEW YORK
p.279 "The general form of the expansion as a continued fraction of sin x
is not known."
p.280 "The general form of the expansion as a continued fraction of cos x
is unknown."
Question: Where do these continued fractions for sin(x) and cos(x) come from?}}
The last one was used in the historically first [[proof that π is irrational]].[{{citation|editor1-last = Berggren|editor1-first = Lennart|editor2-last = Borwein|editor2-first = Jonathan M.|editor2-link = Jonathan M. Borwein| editor3-last = Borwein|editor3-first = Peter B.|editor3-link = Peter B. Borwein|last = Lambert|first = Johann Heinrich|orig-year = 1768|chapter = Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques|title = Pi, a source book|place = New York|publisher = Springer |year = 2004|edition = 3rd|pages = 129–140|isbn = 0-387-20571-3 |postscript=.}}]
There is a rapidly convergent continued fraction for :
[{{cite book |last1=Khovanski |first1=A. N. |title=The Applications Of Continued Fractions And Their Generalizations To Problems In Approximation Theory |publisher=Noordhoff |year=1963 |location=Groningen |postscript=.}}]
Let then the following continued fraction representation gives (asymptotically) 12.68 new correct decimal places per cycle:
===Partial fraction expansion===
There is a series representation as [[partial fraction expansion]] where just translated [[Multiplicative inverse|reciprocal function]]s are summed up, such that the [[Pole (complex analysis)|pole]]s of the cotangent function and the reciprocal functions match:
This identity can be proved with the [[Gustav Herglotz|Herglotz]] trick.
Combining the {{math|(–''n'')}}-th with the {{mvar|n}}-th term lead to [[absolute convergence|absolutely convergent]] series:
Similarly, one can find a partial fraction expansion for the secant, cosecant and tangent functions:
Those series can be deduced from the [[Mittag-Leffler]] expansion (using [[Mittag-Leffler's theorem|Mittag-Leffler's theorem]]).
===Infinite product expansion===
The following infinite product for the sine is due to [[Leonhard Euler]], and is of great importance in complex analysis:{{sfn|Whittaker|Watson|1927|p=137}}
This may be obtained from the partial fraction decomposition of given above, which is the [[logarithmic derivative]] of .{{sfn|Ahlfors|1966|p=197}} From this, it can be deduced also that
=== Euler's formula and the exponential function ===
[[File:Sinus und Kosinus am Einheitskreis 3.svg|thumb|{{math|cos{{nnbsp}}''θ''}} and {{math|sin{{nnbsp}}''θ''}} are the real and imaginary part of {{math|''e''{{sup|''iθ''}}}} respectively.]]
[[Euler's formula]] relates sine and cosine to the [[exponential function]]:
This formula is commonly considered for real values of {{mvar|x}}, but it remains true for all complex values.
''Proof'': Let {{tmath|1= f_1(x)=\cos x + i\sin x}} and {{tmath|1= f_2(x)=e^{ix} }}. One has for {{tmath|1=j = 1, 2}}. The [[quotient rule]] implies thus that {{tmath|1= \tfrac{d}{dx} (f_1(x)/f_2(x))=0}}. Therefore, is a [[constant function]], which equals {{val|1}} as {{tmath|1= f_1(0)=f_2(0)=1}}. This proves the formula.
One has
Solving this [[linear system]] in sine and cosine, one can express them in terms of the exponential function:
When {{mvar|x}} is real, this may be rewritten as
Most [[List of trigonometric identities|trigonometric identities]] can be proved by expressing trigonometric functions in terms of the complex exponential function by using above formulas, and then using the identity for simplifying the result.
Euler's formula can also be used to define the basic trigonometric function directly, as follows, using the language of [[topological group]]s.[{{cite book |last=Bourbaki |first=Nicolas |author-link=Nicolas Bourbaki |title=Topologie generale |publisher=Springer |year=1981|at=§VIII.2 |postscript=.}}] The set of complex numbers of unit modulus is a compact and connected topological group, which has a neighborhood of the identity that is homeomorphic to the real line. Therefore, it is isomorphic as a topological group to the one-dimensional torus group , via an isomorphism
In simple terms, {{tmath|1= e(t) = \exp(2\pi i t) }}, and this isomorphism is unique up to taking complex conjugates.
For a nonzero real number (the ''base''), the function defines an isomorphism of the group {{tmath|\R/a\Z \to U}}. The real and imaginary parts of are the cosine and sine, where is used as the base for measuring angles. For example, when {{tmath|1= a=2\pi}}, we get the measure in radians, and the usual trigonometric functions. When {{tmath|1= a=360}}, we get the sine and cosine of angles measured in degrees.
Note that is the unique value at which the derivative becomes a [[unit vector]] with positive imaginary part at . This fact can, in turn, be used to define the constant {{tmath|2\pi}}.
=== Definition via integration ===
Another way to define the trigonometric functions in analysis is using integration.[{{citation |last=Bartle |first=Robert G. |year=1964 |title=Elements of real analysis |publisher=Wiley |lccn=64-20061 |pages=315–316 |postscript=.}}] For a real number {{tmath|t}}, put
where this defines this inverse tangent function. Also, is defined by
a definition that goes back to [[Karl Weierstrass]].[{{cite book |last=Weierstrass |first=Karl |author-link=Karl Weierstrass |chapter=Darstellung einer analytischen Function einer complexen Veränderlichen, deren absoluter Betrag zwischen zwei gegebenen Grenzen liegt |trans-chapter=Representation of an analytical function of a complex variable, whose absolute value lies between two given limits |language=de |title=Mathematische Werke |volume=1 |publication-place=Berlin |publisher=Mayer & Müller |year=1841 |publication-date=1894 |pages=51–66 |chapter-url=https://archive.org/details/mathematischewer01weieuoft/page/51/ |postscript=. }}]
On the interval {{tmath|1= \textstyle -\tfrac{\pi}{2} < \theta < \tfrac{\pi}{2} }}, the trigonometric functions are defined by inverting the relation {{tmath|1= \theta = \arctan t}}. Thus we define the trigonometric functions by
where the point is on the graph of and the positive square root is taken.
This defines the trigonometric functions on {{tmath|1= \textstyle \left(-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right) }}. The definition can be extended to all real numbers by first observing that, as {{tmath|1= \textstyle \theta\to \tfrac{\pi}{2} }}, {{tmath|1= t\to\infty }}, and so and {{tmath|1= \sin\theta = t/\sqrt{1+t^2} \to 1 }}. Thus and are extended continuously so that {{tmath|1= \textstyle \cos\frac{\pi}{2} = 0 }}, {{tmath|1= \textstyle \sin\frac{\pi}{2} = 1 }}. Now the conditions and define the sine and cosine as periodic functions with period {{tmath|1= 2\pi }}, for all real numbers.
Proving the basic properties of sine and cosine, including the fact that sine and cosine are analytic, one may first establish the addition formulae. First,
holds, provided {{tmath|1= \arctan s+\arctan t\in \left(-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right) }}, since
after the substitution {{tmath|1= \textstyle \tau \to \frac{s+\tau}{1-s\tau} }}. In particular, the limiting case as gives
Thus we have
So the sine and cosine functions are related by translation over a quarter period {{tmath| \textstyle \tfrac{\pi}{2} }}.
===Definitions using functional equations===
One can also define the trigonometric functions using various [[functional equation]]s.
For example, the sine and the cosine form the unique pair of [[continuous function]]s that satisfy the difference formula
and the added condition
===In the complex plane===
The sine and cosine of a [[complex number]] can be expressed in terms of real sines, cosines, and [[hyperbolic function]]s as follows:
By taking advantage of [[domain coloring]], it is possible to graph the trigonometric functions as complex-valued functions. Various features unique to the complex functions can be seen from the graph; for example, the sine and cosine functions can be seen to be unbounded as the imaginary part of becomes larger (since the color white represents infinity), and the fact that the functions contain simple [[Zeros and poles|zeros or poles]] is apparent from the fact that the hue cycles around each zero or pole exactly once. Comparing these graphs with those of the corresponding hyperbolic functions highlights the relationships between the two.
{| style="text-align:center"
|+ '''Trigonometric functions in the complex plane'''
|[[File:Trig-sin.png|thumb]]
[[File:Trig-cos.png|thumb]]
|[[File:Trig-tan.png|thumb]]
[[File:Trig-cot.png|thumb]]
|[[File:Trig-sec.png|thumb]]
[[File:Trig-csc.png|thumb]]
|}
== Periodicity and asymptotes ==
The sine and cosine functions are [[periodic function|periodic]], with period {{tmath|2\pi}}, which is the smallest positive period:
Consequently, the cosecant and secant also have as their period.
The functions sine and cosine also have semiperiods {{tmath|\pi}}, and
and consequently
Also,
(see [[Angle#Combining_angle_pairs|Complementary angles]]).
The function has a unique zero (at {{tmath|1= z=0 }}) in the strip {{tmath|1= -\pi < \operatorname{Re}(z) < \pi }}. The function has the pair of zeros in the same strip. Because of the periodicity, the zeros of sine are
The zeros of cosine are
All of the zeros are simple zeros, and both functions have derivative at each of the zeros.
The tangent function has a simple zero at and vertical asymptotes at {{tmath|1= \textstyle z = \pm\tfrac{\pi}{2} }}, where it has a simple pole of residue {{tmath|-1}}. Again, owing to the periodicity, the zeros are all the integer multiples of and the poles are odd multiples of {{tmath|\textstyle \tfrac{\pi}{2} }}, all having the same residue. The poles correspond to vertical asymptotes
The cotangent function has a simple pole of residue {{tmath|1}} at the integer multiples of and simple zeros at odd multiples of {{tmath|\textstyle \tfrac{\pi}{2} }}. The poles correspond to vertical asymptotes
==Basic identities==
Many [[identity (mathematics)|identities]] interrelate the trigonometric functions. This section contains the most basic ones (for more identities, see [[List of trigonometric identities]]). These identities may be proved geometrically from the unit-circle definitions or the right-angled-triangle definitions; although, for the latter definitions, care must be taken for angles that are not in the interval {{tmath| \textstyle [0, \tfrac{\pi}{2}] }} (see [[Proofs of trigonometric identities]]). For non-geometrical proofs using only tools of [[calculus]], one may use directly the differential equations, in a way that is similar to that of the proof of Euler's formula (see {{slink||Euler's formula and the exponential function}} above). One can also use Euler's formula for expressing all trigonometric functions in terms of complex exponentials and using properties of the exponential function.
===Parity===
The cosine and the secant are [[even function]]s; the other trigonometric functions are [[odd function]]s. That is:
===Periods===
All trigonometric functions are [[periodic function]]s of period {{math|2{{pi}}}}. This is the smallest period, except for the tangent and the cotangent, which have {{pi}} as smallest period. This means that, for every integer {{mvar|k}}, one has
(see {{slink||Periodicity and asymptotes}}).
===Pythagorean identity===
The Pythagorean identity is the expression of the [[Pythagorean theorem]] in terms of trigonometric functions:
Dividing through by either or gives
===Sum and difference formulas===
The sum and difference formulas allow expanding the sine, the cosine, and the tangent of a sum or a difference of two angles in terms of sines and cosines and tangents of the angles themselves. These can be derived geometrically, using arguments that date to [[Ptolemy]] (see {{slink|List of trigonometric identities|Angle sum and difference identities}}). One can also produce them algebraically using [[Euler's formula]].
When the two angles are equal, the sum formulas reduce to simpler equations known as the [[double-angle formulae]]:
These identities can be used to derive the [[product-to-sum identities]].
By setting (see {{slink|List of trigonometric identities|Half-angle formulae}}), all trigonometric functions of can be expressed as [[rational fraction]]s of {{tmath|t}}:
Together with
this is the [[tangent half-angle substitution]], which reduces the computation of [[integral]]s and [[antiderivative]]s of trigonometric functions to that of rational fractions.
===Derivatives and antiderivatives===
The [[derivative]]s of trigonometric functions result from those of sine and cosine by applying the [[quotient rule]]. The values given for the [[antiderivative]]s in the following table can be verified by differentiating them. The number {{mvar|C}} is a [[constant of integration]].
{| class="wikitable plainrowheaders" style="text-align: center;"
|-
! scope="col" |
! scope="col" |
! scope="col" |
|-
! scope="row" |
| ||
|-
! scope="row" |
| ||
|-
! scope="row" |
| ||
|-
! scope="row" |
| ||
|-
! scope="row" |
| ||
|-
! scope="row" |
| ||
|}
Note: For the integral of can also be written as {{tmath| -\operatorname{arsinh}(\cot x) }}, and the integral of for as {{tmath|\operatorname{arsinh}(\tan x)}}, where is the [[inverse hyperbolic sine]].
Alternatively, the derivatives of the 'co-functions' can be obtained using trigonometric identities and the chain rule:
==Inverse functions==
{{Main|Inverse trigonometric functions}}
The trigonometric functions are periodic, and hence not [[injective function|injective]], so strictly speaking, they do not have an [[inverse function]]. However, on each interval on which a trigonometric function is [[monotonic]], one can define an inverse function, and this defines inverse trigonometric functions as [[multivalued function]]s. To define a true inverse function, one must restrict the domain to an interval where the function is monotonic, and is thus [[bijection|bijective]] from this interval to its image by the function. The common choice for this interval, called the set of [[principal value]]s, is given in the following table. As usual, the inverse trigonometric functions are denoted with the prefix "arc" before the name or its abbreviation of the function.
{| class="wikitable" style="text-align: center;"
! Function !! Definition !! Domain !! Set of principal values
|-
| || || ||
|-
| || || ||
|-
| || || ||
|-
| || || ||
|-
| || || ||
|-
| || || ||
|}
The notations {{math|sin−1}}, {{math|cos−1}}, etc. are often used for {{math|arcsin}} and {{math|arccos}}, etc. When this notation is used, inverse functions could be confused with multiplicative inverses. The notation with the "arc" prefix avoids such a confusion, though "arcsec" for arcsecant can be confused with "[[arcsecond]]".
Just like the sine and cosine, the inverse trigonometric functions can also be expressed in terms of infinite series. They can also be expressed in terms of [[complex logarithm]]s.
==Applications==
{{Main|Uses of trigonometry}}
===Angles and sides of a triangle===
In this section {{mvar|A}}, {{mvar|B}}, {{mvar|C}} denote the three (interior) angles of a triangle, and {{mvar|a}}, {{mvar|b}}, {{mvar|c}} denote the lengths of the respective opposite edges. They are related by various formulas, which are named by the trigonometric functions they involve.
====Law of sines====
{{Main|Law of sines}}
The law of sines states that for an arbitrary triangle with sides {{mvar|a}}, {{mvar|b}}, and {{mvar|c}} and angles opposite those sides {{mvar|A}}, {{mvar|B}} and {{mvar|C}}:
where {{math|Δ}} is the area of the triangle,
or, equivalently,
where {{mvar|R}} is the triangle's [[circumscribed circle|circumradius]].
It can be proved by dividing the triangle into two right ones and using the above definition of sine. The law of sines is useful for computing the lengths of the unknown sides in a triangle if two angles and one side are known. This is a common situation occurring in ''[[triangulation]]'', a technique to determine unknown distances by measuring two angles and an accessible enclosed distance.
====Law of cosines====
{{Main|Law of cosines}}
The law of cosines (also known as the cosine formula or cosine rule) is a generalization of the [[Pythagorean theorem]]:
or equivalently,
In this formula the angle at {{mvar|C}} is opposite to the side {{mvar|c}}. This theorem can be proved by dividing the triangle into two right ones and using the [[Pythagorean theorem]].
The law of cosines can be used to determine a side of a triangle if two sides and the angle between them are known. It can also be used to find the cosine of each interior angle of the triangle (and consequently the angles themselves) if the lengths of all the sides are known.
====Law of tangents====
{{main|Law of tangents}}
The law of tangents says that:
====Law of cotangents====
{{main|Law of cotangents}}
Given the triangle's [[semiperimeter]] {{tmath|1= \textstyle s = \frac12(a+b+c) }}, and {{tmath|r}} is the radius of the triangle's [[incircle]], then {{tmath|rs}} is the triangle's area. Therefore [[Heron's formula]] implies that:
The law of cotangents says that:
It follows that
===Periodic functions===
[[File:Lissajous curve 5by4.svg|thumb|right|A [[Lissajous curve]], a figure formed with a trigonometry-based function.]]
[[File:Synthesis square.gif|thumb|upright=1.5|right|An animation of the [[additive synthesis]] of a [[Square wave (waveform)|square wave]] with an increasing number of harmonics]]
[[File:Sawtooth Fourier Animation.gif|thumb|upright=1.3|Sinusoidal basis functions (bottom) can form a sawtooth wave (top) when added. All the basis functions have nodes at the nodes of the sawtooth, and all but the fundamental ({{math|1=''k'' = 1}}) have additional nodes. The oscillation seen about the sawtooth when {{mvar|k}} is large is called the [[Gibbs phenomenon]].]]
The trigonometric functions are also important in physics. The sine and the cosine functions, for example, are used to describe [[simple harmonic motion]], which models many natural phenomena, such as the movement of a mass attached to a spring and, for small angles, the pendular motion of a mass hanging by a string. The sine and cosine functions are one-dimensional projections of [[uniform circular motion]].
Trigonometric functions also prove to be useful in the study of general [[periodic function]]s. The characteristic wave patterns of periodic functions are useful for modeling recurring phenomena such as sound or light [[wave]]s.
Under rather general conditions, a periodic function {{math|1=''f'' (''x'')}} can be expressed as a sum of sine waves or cosine waves in a [[Fourier series]]. Denoting the sine or cosine [[basis functions]] by {{mvar|φk}}, the expansion of the periodic function {{math|1=''f'' (''t'')}} takes the form:
For example, the [[Square wave (waveform)|square wave]] can be written as the [[Fourier series]]
In the animation of a square wave at top right it can be seen that just a few terms already produce a fairly good approximation. The superposition of several terms in the expansion of a [[sawtooth wave]] are shown underneath.
==History==
{{Main|History of trigonometry}}
While the early study of trigonometry can be traced to antiquity, the trigonometric functions as they are in use today were developed in the medieval period. The [[Chord (geometry)|chord]] function was defined by [[Hipparchus]] of [[İznik|Nicaea]] (180–125 BCE) and [[Ptolemy]] of [[Egypt (Roman province)|Roman Egypt]] (90–165 CE). The functions of sine and [[versine]] (1 − cosine) are closely related to the [[Jyā, koti-jyā and utkrama-jyā|''jyā'' and ''koti-jyā'']] functions used in [[Gupta period]] [[Indian astronomy]] (''[[Aryabhatiya]]'', ''[[Surya Siddhanta]]''), via translation from Sanskrit to Arabic and then from Arabic to Latin.{{sfn|Boyer|1991}} (See [[Aryabhata's sine table]].)
All six trigonometric functions in current use were known in [[Islamic mathematics]] by the 9th century, as was the [[law of sines]], used in [[solving triangles]]. [[Al-Khwārizmī]] (c. 780–850) produced tables of sines and cosines. Circa 860, [[Habash al-Hasib al-Marwazi]] defined the tangent and the cotangent, and produced their tables.[Jacques Sesiano, "Islamic mathematics", p. 157, in {{Cite book |title=Mathematics Across Cultures: The History of Non-western Mathematics |editor1-first=Helaine |editor1-last=Selin |editor1-link=Helaine Selin |editor2-first=Ubiratan |editor2-last=D'Ambrosio |editor2-link=Ubiratan D'Ambrosio |year=2000 |publisher=Springer |isbn=978-1-4020-0260-1 |postscript=.}}][{{cite web |title=trigonometry |date=17 November 2023 |url=http://www.britannica.com/EBchecked/topic/605281/trigonometry |publisher=Encyclopedia Britannica |postscript=.}}] [[Muhammad ibn Jābir al-Harrānī al-Battānī]] (853–929) defined the reciprocal functions of secant and cosecant, and produced the first table of cosecants for each degree from 1° to 90°. The trigonometric functions were later studied by mathematicians including [[Omar Khayyám]], [[Bhāskara II]], [[Nasir al-Din al-Tusi]], [[Jamshīd al-Kāshī]] (14th century), [[Ulugh Beg]] (14th century), [[Regiomontanus]] (1464), [[Georg Joachim Rheticus|Rheticus]], and Rheticus' student [[Valentinus Otho]].
[[Madhava of Sangamagrama]] (c. 1400) made early strides in the [[mathematical analysis|analysis]] of trigonometric functions in terms of [[series (mathematics)|infinite series]]. (See [[Madhava series]] and [[Madhava's sine table]].)
The tangent function was brought to Europe by [[Giovanni Bianchini]] in 1467 in trigonometry tables he created to support the calculation of stellar coordinates.[{{cite journal | jstor=45211959 | title=The end of an error: Bianchini, Regiomontanus, and the tabulation of stellar coordinates | last1=Van Brummelen | first1=Glen | journal=Archive for History of Exact Sciences | year=2018 | volume=72 | issue=5 | pages=547–563 | doi=10.1007/s00407-018-0214-2 |postscript=. }}]
The terms ''tangent'' and ''secant'' were first introduced by the Danish mathematician [[Thomas Fincke]] in his book ''Geometria rotundi'' (1583).
The 17th century French mathematician [[Albert Girard]] made the first published use of the abbreviations {{math|sin}}, {{math|cos}}, and {{math|tan}} in his book ''Trigonométrie''.[{{MacTutor|id=Girard_Albert}}]
In a paper published in 1682, [[Gottfried Leibniz]] proved that {{math|sin ''x''}} is not an [[algebraic function]] of {{mvar|x}}. Though defined as ratios of sides of a [[right triangle]], and thus appearing to be [[rational function]]s, Leibniz's result established that they are actually [[transcendental function]]s of their argument. The task of assimilating circular functions into algebraic expressions was accomplished by Euler in his ''[[Introduction to the Analysis of the Infinite]]'' (1748). His method was to show that the sine and cosine functions are [[alternating series]] formed from the even and odd terms respectively of the [[exponential function|exponential series]]. He presented "[[Euler's formula]]", as well as near-modern abbreviations ({{math|sin.}}, {{math|cos.}}, {{math|tang.}}, {{math|cot.}}, {{math|sec.}}, and {{math|cosec.}}).{{sfn|Boyer|1991}}
A few functions were common historically, but are now seldom used, such as the [[chord (geometry)|chord]], [[versine]] (which appeared in the earliest tables{{sfn|Boyer|1991}}), [[haversine]], [[coversine]],{{sfn|Nielsen|1966|pp=xxiii–xxiv}} half-tangent (tangent of half an angle), and [[exsecant]]. [[List of trigonometric identities]] shows more relations between these functions.
{{anchor|Logarithmic sine|Logarithmic cosine|Logarithmic secant|Logarithmic cosecant|Logarithmic tangent|Logarithmic cotangent}}Historically, trigonometric functions were often combined with [[logarithm]]s in compound functions like the logarithmic sine, logarithmic cosine, logarithmic secant, logarithmic cosecant, logarithmic tangent and logarithmic cotangent.[{{cite book |title=Lehrbuch der ebenen und sphärischen Trigonometrie. Zum Gebrauch bei Selbstunterricht und in Schulen, besonders als Vorbereitung auf Geodäsie und sphärische Astronomie |language=de |trans-title= |editor-first=Ernst Hermann Heinrich |editor-last=von Hammer |editor-link=:de:Ernst von Hammer |location=Stuttgart |publisher=J. B. Metzlerscher |date=1897 |edition=2 |url=https://quod.lib.umich.edu/u/umhistmath/ABN6964.0001.001/?view=toc |access-date=2024-02-06 |postscript=.}}][{{cite book |title=Trigonometrie für Maschinenbauer und Elektrotechniker - Ein Lehr- und Aufgabenbuch für den Unterricht und zum Selbststudium |language=de |trans-title= |author-first=Adolf |author-last=Heß |location=Winterthur |publisher=Springer |edition=6 |date=1926 |orig-date=1916 |doi=10.1007/978-3-662-36585-4 |postscript=.}}][{{cite book |title=Erläuterungen und Beispiele für den Gebrauch der vierstelligen Tafeln zum praktischen Rechnen |language=de |trans-title= |chapter=§ 14. Erläuterungen u. Beispiele zu T. 13: lg sin X; lg cos X und T. 14: lg tg x; lg ctg X |trans-chapter= |author-first=Philipp |author-last=Lötzbeyer |date=1950 |edition=1 |id=Archive ID 541650 |publication-place=Berlin |publisher=De Gruyter |doi=10.1515/9783111507545-015 |postscript=.}}][{{cite book |title=A reconstruction of Peters's table of 7-place logarithms (volume 2, 1940) |date=2016-08-30 |editor-first=Denis |editor-last=Roegel |id=hal-01357842 |url=https://inria.hal.science/hal-01357842/document |location=Vandoeuvre-lès-Nancy |publisher=[[Université de Lorraine]] |postscript=.}}]
==Etymology==
{{main|History of trigonometry#Etymology}}
{{also|Jyā, koti-jyā and utkrama-jyā}}
The word "sine" derives[The anglicized form is first recorded in 1593 in [[Thomas Fale]]'s ''Horologiographia, the Art of Dialling''.] from [[Latin]] {{wikt-lang|la|sinus}}, meaning {{gloss|bend, bay}}, and more specifically {{gloss|the hanging fold of the upper part of a [[toga]]}}, {{gloss|the bosom of a garment}}, which was chosen as the translation of what was interpreted as the Arabic word {{transliteration|ar|jaib}}, meaning {{gloss|pocket}} or {{gloss|fold}} in the twelfth-century translations of works by [[Al-Battani]] and [[Muḥammad ibn Mūsā al-Khwārizmī|al-Khwārizmī]] into [[Medieval Latin]].[Various sources credit the first use of {{Lang|la-x-medieval|sinus}} to either
* [[Plato Tiburtinus]]'s 1116 translation of the ''Astronomy'' of [[Al-Battani]]
* [[Gerard of Cremona]]'s translation of the ''Algebra'' of [[Muḥammad ibn Mūsā al-Khwārizmī|al-Khwārizmī]]
* [[Robert of Chester]]'s 1145 translation of the tables of al-Khwārizmī
See:
* {{cite conference |last= Merlet |first= Jean-Pierre |date= 2004 |title= A Note on the History of the Trigonometric Functions |doi=10.1007/1-4020-2204-2_16 |editor-last= Ceccarelli |editor-first= Marco |conference= International Symposium on History of Machines and Mechanisms |publisher=Springer |place=Dordrecht |postscript=.}}
* {{harvnb|Maor|1998|loc= Chapter 3}}, for an earlier etymology crediting Gerard.
* {{cite book |last=Katz |first=Victor |date=July 2008 |title=A history of mathematics |edition=3rd |location=Boston |publisher=Pearson |at= p. 210 (sidebar) |isbn= 978-0321387004 |postscript=. }}]
The choice was based on a misreading of the Arabic written form {{transliteration|ar|j-y-b}} ({{lang|ar|[[:wikt:جيب|جيب]]}}), which itself originated as a [[transliteration]] from Sanskrit ''{{IAST|jīvā}}'', which along with its synonym ''{{IAST|jyā}}'' (the standard Sanskrit term for the sine) {{gloss|bowstring}}, being in turn adopted from [[Ancient Greek language|Ancient Greek]] {{lang|grc|[[Chord (geometry)|χορδή]]}} {{gloss|string}}.
The word "tangent" comes from the Latin {{lang|la|[[wikt:en:tangens#Latin|tangens]]}}, meaning {{gloss|touching}},[{{Cite book |title=The words of mathematics: an etymological dictionary of mathematical terms used in English|publisher=Mathematical Association of America|date=1994|location=Washington, DC |isbn=978-0-88385-511-9 |series=MAA spectrum |first=Steven |last=Schwartzman |page=217 |postscript=.}}] since the line {{em|touches}} the circle of unit radius, whereas "secant" stems from Latin {{lang|la|secans}}, {{gloss|cutting}}, since the line {{em|cuts}} the circle.[Oxford English Dictionary]
The prefix "[[co (function prefix)|co-]]" (in "cosine", "cotangent", "cosecant") is found in [[Edmund Gunter]]'s ''Canon triangulorum'' (1620), which defines the {{lang|la|cosinus}} as an abbreviation of the {{lang|la|sinus complementi}}, {{gloss|sine of the [[complementary angle]]}} and proceeds to define the {{lang|la|cotangens}} similarly.
==See also==
{{colbegin|colwidth=25em}}
* [[Bhāskara I's sine approximation formula]]
* [[Differentiation of trigonometric functions]]
* [[Generalized trigonometry]]
* [[Generating trigonometric tables]]
* [[List of integrals of trigonometric functions]]
* [[List of periodic functions]]
* [[Polar sine]] – a generalization to vertex angles
* [[Sinc function]]
* [[Small-angle approximation]]
{{colend}}
==Notes==
{{notelist}}
[{{cite book |chapter=Die goniometrischen Funktionen |at={{nobr|Ch. 3.2}}, {{pgs|175 ff.}} |title=Elementarmathematik vom höheren Standpunkt aus: Arithmetik, Algebra, Analysis|volume=1|author-first=Felix |author-last=Klein |author-link=Felix Klein |date=1924 |orig-year=1902 |edition=3rd |publisher=Springer |location=Berlin |language=de |chapter-url=https://books.google.com/books?id=5t8fAAAAIAAJ&pg=PA175}} Translated as {{cite book|title=Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis |author-first=Felix |author-last=Klein |author-link=Felix Klein |display-authors=0 |year=1932 |publisher=Macmillan |translator-first1=E. R. |translator-last1=Hedrick |translator-first2=C. A. |translator-last2=Noble |chapter-url=https://archive.org/details/geometryelementa0000feli/page/162/?q=%22ii.+the+goniometric+functions%22 |chapter=The Goniometric Functions |at=Ch. 3.2, {{pgs|162 ff.}} }}]
[{{cite book |title=Trigonometry |edition=9th |first1=Ron |last1=Larson |publisher=Cengage Learning |date=2013 |isbn=978-1-285-60718-4 |page=153 |url=https://books.google.com/books?id=zbgWAAAAQBAJ |postscript=. }} [https://books.google.com/books?id=zbgWAAAAQBAJ&pg=PA153 Extract of page 153] {{webarchive|url=https://web.archive.org/web/20180215144848/https://books.google.com/books?id=zbgWAAAAQBAJ&pg=PA153 |date=15 February 2018 }}]
[{{cite book |author-last1=Aigner |author-first1=Martin |author1-link=Martin Aigner |author-last2=Ziegler |author-first2=Günter M. |author-link2=Günter Ziegler |title=Proofs from THE BOOK |publisher=Springer |edition=Second |date=2000 |isbn=978-3-642-00855-9 |page=149 |doi=10.1007/978-3-642-00856-6 |postscript=.}}]
[{{cite book |title=Theory of complex functions |author-first1=Reinhold |author-last1=Remmert |author-link=Reinhold Remmert |publisher=Springer |date=1991 |isbn=978-0-387-97195-7 |page=327 |url=https://books.google.com/books?id=CC0dQxtYb6kC |postscript=.}}]
[{{cite book |author-last=Kannappan |author-first=Palaniappan |title=Functional Equations and Inequalities with Applications |date=2009 |publisher=Springer |isbn=978-0387894911 |postscript=.}}]
[The Universal Encyclopaedia of Mathematics, Pan Reference Books, 1976, pp. 529–530. English version George Allen and Unwin, 1964. Translated from the German version Meyers Rechenduden, 1960.]
[{{cite book |title=Partial differential equations for scientists and engineers |url=https://books.google.com/books?id=DLUYeSb49eAC&pg=PA82 |author-first=Stanley J. |author-last=Farlow |author-link= Stanley Farlow |page=82 |isbn=978-0-486-67620-3 |publisher=Courier Dover Publications |edition=Reprint of Wiley 1982 |date=1993 |postscript=.}}]
[See for example, {{cite book |author-first=Gerald B. |author-last=Folland |title=Fourier Analysis and its Applications |publisher=American Mathematical Society |edition=Reprint of Wadsworth & Brooks/Cole 1992 |chapter-url=https://books.google.com/books?id=idAomhpwI8MC&pg=PA77 |pages=77 ff. |chapter=Convergence and completeness |date=2009 |isbn=978-0-8218-4790-9 |postscript=. }}]
[{{cite magazine |title=Islamic Astronomy |author-first=Owen |author-last=Gingerich |magazine=[[Scientific American]] |date=1986 |volume=254 |page=74 |url=http://faculty.kfupm.edu.sa/PHYS/alshukri/PHYS215/Islamic_astronomy.htm |access-date=13 July 2010 |postscript=.}}]
[{{cite web |publisher=University of St Andrews |title=Madhava of Sangamagrama |author-first1=J. J. |author-last1=O'Connor |author-first2=E. F. |author-last2=Robertson |url=https://mathshistory.st-andrews.ac.uk/Biographies/Madhava.html |access-date=25 July 2026 |postscript=.}}]
[{{cite web |url=https://mathshistory.st-andrews.ac.uk/Biographies/Fincke.html |title=Fincke biography |access-date=15 March 2017 |postscript=.}}]
[{{cite book |title=Elements of the History of Mathematics |url=https://archive.org/details/elementsofhistor0000bour |url-access=registration |author-first=Nicolás |author-last=Bourbaki |publisher=Springer |date=1994|isbn=9783540647676 |postscript=.}}]
[{{cite book |author-first=Edmund |author-last=Gunter |author-link=Edmund Gunter |title=Canon triangulorum |date=1620 |postscript=.}}]
[{{cite web |title=A reconstruction of Gunter's Canon triangulorum (1620) |editor-first=Denis |editor-last=Roegel |type=Research report |publisher=Loria |date=6 December 2010 |id=inria-00543938 |url=https://hal.inria.fr/inria-00543938/document |access-date=28 July 2017 |postscript=.}}]
[{{cite book |last=Plofker |first=Kim |author-link=Kim Plofker |title=[[Mathematics in India (book)|Mathematics in India]] |publisher=Princeton University Press |date=2009 |page=257 |postscript=.}}]
See {{cite web |url=http://www.clarku.edu/~djoyce/trig/ |title=Clark University |postscript=.}}
See {{harvtxt|Maor|1998|at=Ch. 3}} regarding the etymology.
==References==
{{refbegin|30em}}
* {{AS ref}}
* {{cite book |last= Ahlfors |first= Lars |date= 1966 |title= Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable |edition= 2nd |publisher=McGraw-Hill |location= New York |author-link= Lars Ahlfors |postscript=.}}
* {{cite book |last1=Bartle |first1=Robert G. |last2=Sherbert |first2=Donald R. |author-link1=Robert G. Bartle |title=Introduction to Real Analysis |year=1999 |edition=3rd |publisher=Wiley |isbn=9780471321484 |postscript=.}}
* {{cite book |last= Boyer |first= Carl B. |date= 1991 |title= A History of Mathematics |publisher=Wiley |edition=2nd |isbn=0-471-54397-7 |author-link= Carl Benjamin Boyer |postscript=.}}
* {{cite book |last=Maor |first=Eli |author-link=Eli Maor |date= 1998 |title= Trigonometric Delights |publisher= Princeton University Press |isbn=0-691-05754-0 |postscript=.}}
* {{cite book |last1= Nielsen |first1= Kaj L. |date= 1966 |title= Logarithmic and Trigonometric Tables to Five Places |edition= 2nd |location= New York |publisher=Barnes & Noble |lccn=61-9103 |postscript=.}}
* {{cite book |last1= Protter |first1= Murray H. |last2= Morrey |first2= Charles B. Jr. |date= 1970 |lccn= 76087042 |title= College Calculus with Analytic Geometry |edition= 2nd |publisher=Addison-Wesley |location= Reading, MA |url=https://archive.org/details/collegecalculusw0000murr |postscript=.}}
* {{cite book |last1=Whittaker |first1=E. T. |last2=Watson |first2=G. N. |year=1927 |title=[[A Course of Modern Analysis]] |edition=4th |place=Cambridge |publisher=University Press |postscript=.}}
{{refend}}
==Further reading==
{{refbegin|30em}}
* {{cite book |last= Cajori |first= Florian |date= 1929 |title= A History of Mathematical Notations |volume= 2 |publisher= Open Court |chapter= §2.2.1. Trigonometric Notations |at= pp. 142–179 (¶511–537) |author-link= Florian Cajori |chapter-url= https://archive.org/details/b29980343_0002/page/142/ |postscript=. }}
* {{cite journal |last1= Gal |first1= Shmuel |last2= Bachelis |first2= Boris |date= March 1991 |title= An accurate elementary mathematical library for the IEEE floating point standard |journal= ACM Transactions on Mathematical Software |volume= 17 |number= 1 |postscript=.}}
* {{cite book |last= Joseph |first= George G. |date= 2000 |title= The Crest of the Peacock: Non-European Roots of Mathematics |edition= 2nd |publisher=Penguin Books |location= London |isbn= 0-691-00659-8 |postscript=.}}
* {{cite journal |last= Kantabutra |first= Vitit |date= 1996 |title= On hardware for computing exponential and trigonometric functions |journal= IEEE Trans. Computers |volume= 45 |number= 3 |pages= 328–339 |postscript=.}}
* {{cite book |last= Needham |first= Tristan |date= 1997 |chapter= Preface |title= Visual Complex Analysis |publisher= Oxford University Press |isbn= 0-19-853446-9 |url=http://www.usfca.edu/vca/PDF/vca-preface.pdf |url-status=dead |archive-url=https://web.archive.org/web/20060114180751/http://www.usfca.edu/vca/PDF/vca-preface.pdf |archive-date=2006-01-14 |postscript=.}}
* {{MacTutor |date= June 1996 |class= HistTopics |id= Trigonometric_functions |title= The trigonometric functions |postscript=.}}
* {{cite encyclopedia |last= Pearce |first= Ian G. |contribution= Indian Mathematics - Redressing the balance: Keralese mathematics: III. Madhava of Sangamagramma |editor-last= O'Connor |editor-first= John J. |editor2-last= Robertson |editor2-first= Edmund F. |editor2-link= Edmund F. Robertson |contribution-url=https://mathshistory.st-andrews.ac.uk/Projects/Pearce/chapter-18/ |encyclopedia= [[MacTutor History of Mathematics Archive]] |publisher= University of St Andrews |postscript=. }}
{{refend}}
==External links==
{{Wikibooks|Trigonometry}}
* {{springer |title=Trigonometric functions|id=p/t094210}}
* [http://www.visionlearning.com/library/module_viewer.php?mid=131&l=&c3= Visionlearning Module on Wave Mathematics]
* [https://web.archive.org/web/20071006172054/http://glab.trixon.se/ GonioLab] Visualization of the unit circle, trigonometric and hyperbolic functions
* {{MathWorld |title= Tangent |access-date= 21 January 2006 }}.
{{Trigonometric and hyperbolic functions}}
{{Authority control}}
{{DEFAULTSORT:Trigonometric Functions}}
[[Category:Analytic functions]]
[[Category:Angle]]
[[Category:Ratios]]
[[Category:Trigonometric functions| ]]