出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2016/07/26 20:51:20」(JST)
| Trigonometry |
|---|
|
| Reference |
|
| Laws and theorems |
|
| Calculus |
|
|
In mathematics, the trigonometric functions (also called the circular functions) are functions of an angle. They relate the angles of a triangle to the lengths of its sides. Trigonometric functions are important in the study of triangles and modeling periodic phenomena, among many other applications.
The most familiar trigonometric functions are the sine, cosine, and tangent. In the context of the standard unit circle (a circle with radius 1 unit), where a triangle is formed by a ray originating at the origin and making some angle with the x-axis, the sine of the angle gives the length of the y-component (the opposite to the angle or the rise) of the triangle, the cosine gives the length of the x-component (the adjacent of the angle or the run), and the tangent function gives the slope (y-component divided by the x-component). More precise definitions are detailed below. Trigonometric functions are commonly defined as ratios of two sides of a right triangle containing the angle, and can equivalently be defined as the lengths of various line segments from a unit circle. More modern definitions express them as infinite series or as solutions of certain differential equations, allowing their extension to arbitrary positive and negative values and even to complex numbers.
Trigonometric functions have a wide range of uses including computing unknown lengths and angles in triangles (often right triangles). In this use, trigonometric functions are used, for instance, in navigation, engineering, and physics. A common use in elementary physics is resolving a vector into Cartesian coordinates. The sine and cosine functions are also commonly used to model periodic function phenomena such as sound and light waves, the position and velocity of harmonic oscillators, sunlight intensity and day length, and average temperature variations through the year.
In modern usage, there are six basic trigonometric functions, tabulated here with equations that relate them to one another. Especially with the last four, these relations are often taken as the definitions of those functions, but one can define them equally well geometrically, or by other means, and then derive these relations.
The notion that there should be some standard correspondence between the lengths of the sides of a triangle and the angles of the triangle comes as soon as one recognizes that similar triangles maintain the same ratios between their sides. That is, for any similar triangle the ratio of the hypotenuse (for example) and another of the sides remains the same. If the hypotenuse is twice as long, so are the sides. It is these ratios that the trigonometric functions express.
To define the trigonometric functions for the angle A, start with any right triangle that contains the angle A. The three sides of the triangle are named as follows:
In ordinary Euclidean geometry, according to the triangle postulate, the inside angles of every triangle total 180° (π radians). Therefore, in a right-angled triangle, the two non-right angles total 90° (π/2 radians), so each of these angles must be in the range of (0°,90°) as expressed in interval notation. The following definitions apply to angles in this 0° – 90° range. They can be extended to the full set of real arguments by using the unit circle, or by requiring certain symmetries and that they be periodic functions. For example, the figure shows sin(θ) for angles θ, π − θ, π + θ, and 2π − θ depicted on the unit circle (top) and as a graph (bottom). The value of the sine repeats itself apart from sign in all four quadrants, and if the range of θ is extended to additional rotations, this behavior repeats periodically with a period 2π.
The trigonometric functions are summarized in the following table and described in more detail below. The angle θ is the angle between the hypotenuse and the adjacent line – the angle at A in the accompanying diagram.
| Function | Abbreviation | Description | Identities (using radians) |
|---|---|---|---|
| sine | sin | opposite / hypotenuse | |
| cosine | cos | adjacent / hypotenuse | |
| tangent | tan (or tg) | opposite / adjacent | |
| cotangent | cot (or cotan or cotg or ctg or ctn) | adjacent / opposite | |
| secant | sec | hypotenuse / adjacent | |
| cosecant | csc (or cosec) | hypotenuse / opposite |
The sine of an angle is the ratio of the length of the opposite side to the length of the hypotenuse. (The word comes from the Latin sinus for gulf or bay,[1] since, given a unit circle, it is the side of the triangle on which the angle opens.) In our case
This ratio does not depend on the size of the particular right triangle chosen, as long as it contains the angle A, since all such triangles are similar.
The cosine of an angle is the ratio of the length of the adjacent side to the length of the hypotenuse: so called because it is the sine of the complementary or co-angle.[2] In our case
The tangent of an angle is the ratio of the length of the opposite side to the length of the adjacent side: so called because it can be represented as a line segment tangent to the circle, that is the line that touches the circle, from Latin linea tangens or touching line (cf. tangere, to touch).[3] In our case
The acronyms "SOH-CAH-TOA" ("Soak-a-toe", "Sock-a-toa", "So-kah-toa") and "OHSAHCOAT" are commonly used trigonometric mnemonics for these ratios.
The remaining three functions are best defined using the above three functions.
The cosecant csc(A), or cosec(A), is the reciprocal of sin(A); i.e. the ratio of the length of the hypotenuse to the length of the opposite side; so called because it is the secant of the complementary or co-angle:
The secant sec(A) is the reciprocal of cos(A); i.e. the ratio of the length of the hypotenuse to the length of the adjacent side:
It is so called because it represents the line that cuts the circle (from Latin: secare, to cut).[4]
The cotangent cot(A) is the reciprocal of tan(A); i.e. the ratio of the length of the adjacent side to the length of the opposite side; so called because it is the tangent of the complementary or co-angle:
Equivalent to the right-triangle definitions, the trigonometric functions can also be defined in terms of the rise, run, and slope of a line segment relative to horizontal. The slope is commonly taught as "rise over run" or rise⁄run. The three main trigonometric functions are commonly taught in the order sine, cosine, tangent. With a line segment length of 1 (as in a unit circle), the following mnemonic devices show the correspondence of definitions:
This shows the main use of tangent and arctangent: converting between the two ways of telling the slant of a line, i.e., angles and slopes. (The arctangent or "inverse tangent" is not to be confused with the cotangent, which is cosine divided by sine.)
While the length of the line segment makes no difference for the slope (the slope does not depend on the length of the slanted line), it does affect rise and run. To adjust and find the actual rise and run when the line does not have a length of 1, just multiply the sine and cosine by the line length. For instance, if the line segment has length 5, the run at an angle of 7° is 5 cos(7°)
The six trigonometric functions can also be defined in terms of the unit circle, the circle of radius one centered at the origin. The unit circle relies on right triangles for most angles.
The unit circle definition does, however, permit the definition of the trigonometric functions for all positive and negative arguments, not just for angles between 0 and π/2 radians.
From the Pythagorean theorem the equation for the unit circle is
Let a line through the origin, making an angle of θ with the positive half of the x-axis. The line intersects the unit circle at a point P whose x- and y-coordinates are cos(θ) and sin(θ)
Let us consider the right triangle whose vertexes are the point P, the center of the circle O, and the point H of the x-axis, that has the same x-coordinate as P. The radius of the circle is equal to the hypotenuse OP, and has length 1, so we have sin(θ) = y/1 and cos(θ) = x/1. The unit circle can be thought of as a way of looking at an infinite number of triangles by varying the lengths of their legs but keeping the lengths of their hypotenuses equal to 1.
For angles greater than 2π or less than −2π, one simply continues to rotate around the circle; sine and cosine are periodic functions with period 2π:
for any angle θ and any integer k.
The smallest positive period of a periodic function is called the primitive period of the function.
The primitive period of the sine or cosine is a full circle, i.e. 2π radians or 360° degrees.
Above, only sine and cosine were defined directly by the unit circle, but other trigonometric functions can be defined by:
So :
The image at right includes a graph of the tangent function.
Alternatively, all of the basic trigonometric functions can be defined in terms of a unit circle centered at O (as shown in the picture to the right), and similar such geometric definitions were used historically.
The algebraic expressions for sin(0°), sin(30°), sin(45°), sin(60°) and sin(90°) are
respectively. Such simple expressions generally do not exist for other angles.
For an angle which, measured in degrees, is a multiple of three, the sine and the cosine may be expressed in terms of square roots, as shown below. These values of the sine and the cosine may thus be constructed by 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 to prove that, if the angle is not a multiple of 3°, non-real cube roots are unavoidable.
For an angle which, measured in degrees, is a rational number, the sine and the cosine are algebraic numbers, which may be expressed in terms of nth roots. This results from the fact that the Galois groups of the cyclotomic polynomials are cyclic.
For an angle which, measured in degrees, is not a rational number, then either the angle or both the sine and the cosine are transcendental numbers. This is a corollary of Baker's theorem, proved in 1966.
Algebraic expressions for 15°, 18°, 36°, 54°, 72° and 75° are as follows:[citation needed]
From these, the algebraic expressions for all multiples of 3° can be computed. For example:[citation needed]
Algebraic expressions can be deduced for other angles of an integer number of degrees, for example,
where z = a + ib, and a and b are the above algebraic expressions for, respectively, cos 3° and sin 3°, and the principal cube root (that is the cube root with the largest real part) is to be taken.
Trigonometric functions are analytic functions. Using only geometry and properties of limits, it can be shown that the derivative of sine is cosine and the derivative of cosine is the negative of sine. (Here, and generally in calculus, all angles are measured in radians; see also the significance of radians below.) One can then use the theory of Taylor series to show that the following identities hold for all real numbers x:[8]
The infinite series appearing in these identities are convergent in the whole complex plane and are often taken as the definitions of the sine and cosine functions of a complex variable. Another standard (and equivalent) definition of the sine and the cosine as functions of a complex variable is through their differential equation, below.
Other series can be found.[9] For the following trigonometric functions:
When this series for the tangent function is expressed in a form in which the denominators are the corresponding factorials, the numerators, called the "tangent numbers", have a combinatorial interpretation: they enumerate alternating permutations of finite sets of odd cardinality.[10] The series itself can be found by a power series solution of the aforementioned differential equation.
When this series for the secant function is expressed in a form in which the denominators are the corresponding factorials, the numerators, called the "secant numbers", have a combinatorial interpretation: they enumerate alternating permutations of finite sets of even cardinality.[11]
From a theorem in complex analysis, there is a unique analytic continuation of this real function to the domain of complex numbers. They have the same Taylor series, and so the trigonometric functions are defined on the complex numbers using the Taylor series above.
There is a series representation as partial fraction expansion where just translated reciprocal functions are summed up, such that the poles of the cotangent function and the reciprocal functions match:[12]
This identity can be proven with the Herglotz trick.[13] Combining the (–n)-th with the n-th term lead to absolutely convergent series:
It can be shown from the series definitions[14] that the sine and cosine functions are respectively the imaginary and real parts of the exponential function of a purely imaginary argument. That is, if x is real, we have
and
The latter identity, although primarily established for real x, remains valid for every complex x, and is called Euler's formula.
Euler's formula can be used to derive most trigonometric identities from the properties of the exponential function, by writing sine and cosine as:
It is also sometimes useful to express the complex sine and cosine functions in terms of the real and imaginary parts of their arguments.
This exhibits a deep relationship between the complex sine and cosine functions and their real (sin, cos) and hyperbolic real (sinh, cosh) counterparts.
In the following graphs, the domain is the complex plane pictured, and the range values are indicated at each point by color. Brightness indicates the size (absolute value) of the range value, with black being zero. Hue varies with argument, or angle, measured from the positive real axis. (more)
Both the sine and cosine functions satisfy the differential equation:
That is to say, each is the additive inverse of its own second derivative. Within the 2-dimensional function space V consisting of all solutions of this equation,
Since the sine and cosine functions are linearly independent, together they form a basis of V. This method of defining the sine and cosine functions is essentially equivalent to using Euler's formula. (See linear differential equation.) It turns out that this differential equation can be used not only to define the sine and cosine functions but also to prove the trigonometric identities for the sine and cosine functions.
Further, the observation that sine and cosine satisfies y′′ = −y means that they are eigenfunctions of the second-derivative operator.
The tangent function is the unique solution of the nonlinear differential equation
satisfying the initial condition y(0) = 0. There is a very interesting visual proof that the tangent function satisfies this differential equation.[15]
Radians specify an angle by measuring the length around the path of the unit circle and constitute a special argument to the sine and cosine functions. In particular, only sines and cosines that map radians to ratios satisfy the differential equations that classically describe them. If an argument to sine or cosine in radians is scaled by frequency,
then the derivatives will scale by amplitude.
Here, k is a constant that represents a mapping between units. If x is in degrees, then
This means that the second derivative of a sine in degrees does not satisfy the differential equation
but rather
The cosine's second derivative behaves similarly.
This means that these sines and cosines are different functions, and that the fourth derivative of sine will be sine again only if the argument is in radians.
Many identities interrelate the trigonometric functions. Among the most frequently used is the Pythagorean identity, which states that for any angle, the square of the sine plus the square of the cosine is 1. This is easy to see by studying a right triangle of hypotenuse 1 and applying the Pythagorean theorem. In symbolic form, the Pythagorean identity is written
where is standard notation for
Other key relationships are the sum and difference formulas, which give the sine and cosine of the sum and difference of two angles in terms of sines and cosines of the angles themselves. These can be derived geometrically, using arguments that date to Ptolemy. One can also produce them algebraically using Euler's formula.
These in turn lead to the following three-angle formulae:
When the two angles are equal, the sum formulas reduce to simpler equations known as the double-angle formulae.
When three angles are equal, the three-angle formulae simplify to
These identities can also be used to derive the product-to-sum identities that were used in antiquity to transform the product of two numbers into a sum of numbers and greatly speed operations, much like the logarithm function.
For integrals and derivatives of trigonometric functions, see the relevant sections of Differentiation of trigonometric functions, Lists of integrals and List of integrals of trigonometric functions. Below is the list of the derivatives and integrals of the six basic trigonometric functions. The number C is a constant of integration.
In mathematical analysis, one can define the trigonometric functions using functional equations based on properties like the difference formula. Taking as given these formulas, one can prove that only two real functions satisfy those conditions. Symbolically, we say that there exists exactly one pair of real functions — and — such that for all real numbers and , the following equation hold:[16]
with the added condition that
Other derivations, starting from other functional equations, are also possible, and such derivations can be extended to the complex numbers. As an example, this derivation can be used to define trigonometry in Galois fields.
The computation of trigonometric functions is a complicated subject, which can today be avoided by most people because of the widespread availability of computers and scientific calculators that provide built-in trigonometric functions for any angle. This section, however, describes details of their computation in three important contexts: the historical use of trigonometric tables, the modern techniques used by computers, and a few "important" angles where simple exact values are easily found.
The first step in computing any trigonometric function is range reduction—reducing the given angle to a "reduced angle" inside a small range of angles, say 0 to π/2, using the periodicity and symmetries of the trigonometric functions.
Prior to computers, people typically evaluated trigonometric functions by interpolating from a detailed table of their values, calculated to many significant figures. Such tables have been available for as long as trigonometric functions have been described (see History below), and were typically generated by repeated application of the half-angle and angle-addition identities starting from a known value (such as sin(π/2) = 1).
Modern computers use a variety of techniques.[17] One common method, especially on higher-end processors with floating point units, is to combine a polynomial or rational approximation (such as Chebyshev approximation, best uniform approximation, and Padé approximation, and typically for higher or variable precisions, Taylor and Laurent series) with range reduction and a table lookup—they first look up the closest angle in a small table, and then use the polynomial to compute the correction.[18] Devices that lack hardware multipliers often use an algorithm called CORDIC (as well as related techniques), which uses only addition, subtraction, bitshift, and table lookup. These methods are commonly implemented in hardware floating-point units for performance reasons.
For very high precision calculations, when series expansion convergence becomes too slow, trigonometric functions can be approximated by the arithmetic-geometric mean, which itself approximates the trigonometric function by the (complex) elliptic integral.[19]
Finally, for some simple angles, the values can be easily computed by hand using the Pythagorean theorem, as in the following examples. For example, the sine, cosine and tangent of any integer multiple of radians (3°) can be found exactly by hand.
Consider a right triangle where the two other angles are equal, and therefore are both radians (45°). Then the length of side b and the length of side a are equal; we can choose . The values of sine, cosine and tangent of an angle of radians (45°) can then be found using the Pythagorean theorem:
Therefore:
To determine the trigonometric functions for angles of π/3 radians (60 degrees) and π/6 radians (30 degrees), we start with an equilateral triangle of side length 1. All its angles are π/3 radians (60 degrees). By dividing it into two, we obtain a right triangle with π/6 radians (30 degrees) and π/3 radians (60 degrees) angles. For this triangle, the shortest side = 1/2, the next largest side =(√3)/2 and the hypotenuse = 1. This yields:
There are some commonly used special values in trigonometric functions, as shown in the following table.
The trigonometric functions cos and sin are defined, respectively, as the x- and y-coordinate values of point A, i.e.,
In the range this definition coincides with the right-angled triangle definition by taking the right-angled triangle to have the unit radius OA as hypotenuse, and since for all points on the unit circle the equation holds, this definition of cosine and sine also satisfies the Pythagorean identity
The other trigonometric functions can be found along the unit circle as
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, that is
As a rotation of an angle of does not change the position or size of a shape, the points A, B, C, D, and E are the same for two angles whose difference is an integer multiple of . Thus trigonometric functions are periodic functions with period . That is, the equalities
hold for any angle θ and any integer k. The same is true for the four other trigonometric functions. Observing the sign and the monotonicity of the functions sine, cosine, cosecant, and secant in the four quadrants, shows that 2π is the smallest value for which they are periodic, i.e., 2π is the fundamental period of these functions. However, already after a rotation by an angle the points B and C return to their original position, so that the tangent function and the cotangent function have a fundamental period of π. That is, the equalities
hold for any angle θ and any integer k.
The algebraic expressions for sin(0°), sin(30°), sin(45°), sin(60°) and sin(90°) are
respectively. Writing the numerators as square roots of consecutive natural numbers () provides an easy way to remember the values.[9] Such simple expressions generally do not exist for other angles which are rational multiples of a straight angle.
For an angle which, measured in degrees, is a multiple of three, the sine and the cosine may be expressed in terms of square roots, as shown below. These values of the sine and the cosine may thus be constructed by 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 proof that, if the angle is not a multiple of 3°, non-real cube roots are unavoidable.
For an angle which, measured in degrees, is a rational number, the sine and the cosine are algebraic numbers, which may be expressed in terms of nth roots. This results from the fact that the Galois groups of the cyclotomic polynomials are cyclic.
For an angle which, measured in degrees, is not a rational number, then either the angle or both the sine and the cosine are transcendental numbers. This is a corollary of Baker's theorem, proved in 1966.
Algebraic expressions for 15°, 18°, 36°, 54°, 72° and 75° are as follows:
From these, the algebraic expressions for all multiples of 3° can be computed. For example:
Algebraic expressions can be deduced for other angles of an integer number of degrees, for example,
where z = a + ib, and a and b are the above algebraic expressions for, respectively, cos 3° and sin 3°, and the principal cube root (that is, the cube root with the largest real part) is to be taken.
Trigonometric functions are analytic functions. Using only geometry and properties of limits, it can be shown that the derivative of sine is cosine and the derivative of cosine is the negative of sine. One can then use the theory of Taylor series to show that the following identities hold for all real numbers x.[10] Here, and generally in calculus, all angles are measured in radians.
The infinite series appearing in these identities are convergent in the whole complex plane and are often taken as the definitions of the sine and cosine functions of a complex variable. Another standard (and equivalent) definition of the sine and the cosine as functions of a complex variable is through their differential equation, below.
Other series can be found.[11] For the following trigonometric functions:
When the series for the tangent and secant functions are expressed in a form in which the denominators are the corresponding factorials, the numerators, called the "tangent numbers" and "secant numbers" respectively, have a combinatorial interpretation: they enumerate alternating permutations of finite sets, of odd cardinality for the tangent series and even cardinality for the secant series.[12] The series itself can be found by a power series solution of the aforementioned differential equation.
From a theorem in complex analysis, there is a unique analytic continuation of this real function to the domain of complex numbers. They have the same Taylor series, and so the trigonometric functions are defined on the complex numbers using the Taylor series above.
There is a series representation as partial fraction expansion where just translated reciprocal functions are summed up, such that the poles of the cotangent function and the reciprocal functions match:[13]
This identity can be proven with the Herglotz trick.[14] Combining the (–n)th with the nth term lead to absolutely convergent series:
It can be shown from the series definitions[15] that the sine and cosine functions are respectively the imaginary and real parts of the exponential function of a purely imaginary argument. That is, if x is real, we have
and
The latter identity, although primarily established for real x, remains valid for every complex x, and is called Euler's formula.
Euler's formula can be used to derive most trigonometric identities from the properties of the exponential function, by writing sine and cosine as:
It is also sometimes useful to express the complex sine and cosine functions in terms of the real and imaginary parts of their arguments.
This exhibits a deep relationship between the complex sine and cosine functions and their real (sin, cos) and hyperbolic real (sinh, cosh) counterparts.
In the following graphs the domain is the complex plane pictured with domain coloring, and the range values are indicated at each point by color. Brightness indicates the size (absolute value) of the range value, with black being zero. Hue varies with argument, or angle, measured from the positive real axis.
Both the sine and cosine functions satisfy the linear differential equation:
That is to say, each is the additive inverse of its own second derivative. Within the 2-dimensional function space V consisting of all solutions of this equation,
Since the sine and cosine functions are linearly independent, together they form a basis of V. This method of defining the sine and cosine functions is essentially equivalent to using Euler's formula. (See linear differential equation.) It turns out that this differential equation can be used not only to define the sine and cosine functions but also to prove the trigonometric identities for the sine and cosine functions.
Further, the observation that sine and cosine satisfies y″ = −y means that they are eigenfunctions of the second-derivative operator.
The tangent function is the unique solution of the nonlinear differential equation
satisfying the initial condition y(0) = 0. There is a very interesting visual proof that the tangent function satisfies this differential equation.[16]
Radians specify an angle by measuring the length around the path of the unit circle and constitute a special argument to the sine and cosine functions. In particular, only sines and cosines that map radians to ratios satisfy the differential equations that classically describe them. If an argument to sine or cosine in radians is scaled by frequency,
then the derivatives will scale by amplitude.
Here, k is a constant that represents a mapping between units. If x is in degrees, then
This means that the second derivative of a sine in degrees does not satisfy the differential equation
but rather
The cosine's second derivative behaves similarly.
This means that these sines and cosines are different functions, and that the fourth derivative of sine will be sine again only if the argument is in radians.
Many identities interrelate the trigonometric functions. Among the most frequently used is the Pythagorean identity, which states that for any angle, the square of the sine plus the square of the cosine is 1. This is easy to see by studying a right triangle of hypotenuse 1 and applying the Pythagorean theorem. In symbolic form, the Pythagorean identity is written
which is standard shorthand notation for
Other key relationships are the sum and difference formulas, which give the sine and cosine of the sum and difference of two angles in terms of sines and cosines of the angles themselves. These can be derived geometrically, using arguments that date to Ptolemy. One can also produce them algebraically using Euler's formula.
These in turn lead to the following three-angle formulae:
When the two angles are equal, the sum formulas reduce to simpler equations known as the double-angle formulae.
When three angles are equal, the three-angle formulae simplify to
These identities can also be used to derive the product-to-sum identities that were used in antiquity to transform the product of two numbers into a sum of numbers and greatly speed operations, much like the logarithm function.
For integrals and derivatives of trigonometric functions, see the relevant sections of Differentiation of trigonometric functions, Lists of integrals and List of integrals of trigonometric functions. Below is the list of the derivatives and integrals of the six basic trigonometric functions. The number C is a constant of integration.
In mathematical analysis, one can define the trigonometric functions using functional equations based on properties like the difference formula. Taking as given these formulas, one can prove that only two continuous functions satisfy those conditions. Formally, there exists exactly one pair of continuous functions—sin and cos—such that for all real numbers x and y, the following equation holds:[17]
with the added condition that
This may also be used for extending sine and cosine to the complex numbers. Other functional equations are also possible for defining trigonometric functions.
The computation of trigonometric functions is a complicated subject, which can today be avoided by most people because of the widespread availability of computers and scientific calculators that provide built-in trigonometric functions for any angle. This section, however, describes details of their computation in three important contexts: the historical use of trigonometric tables, the modern techniques used by computers, and a few "important" angles where simple exact values are easily found.
The first step in computing any trigonometric function is range reduction—reducing the given angle to a "reduced angle" inside a small range of angles, say 0 to π/2, using the periodicity and symmetries of the trigonometric functions.
Prior to computers, people typically evaluated trigonometric functions by interpolating from a detailed table of their values, calculated to many significant figures. Such tables have been available for as long as trigonometric functions have been described (see History below), and were typically generated by repeated application of the half-angle and angle-addition identities starting from a known value (such as sin(π/2) = 1).
Modern computers use a variety of techniques.[18] One common method, especially on higher-end processors with floating point units, is to combine a polynomial or rational approximation (such as Chebyshev approximation, best uniform approximation, and Padé approximation, and typically for higher or variable precisions, Taylor and Laurent series) with range reduction and a table lookup—they first look up the closest angle in a small table, and then use the polynomial to compute the correction.[19] Devices that lack hardware multipliers often use an algorithm called CORDIC (as well as related techniques), which uses only addition, subtraction, bitshift, and table lookup. These methods are commonly implemented in hardware floating-point units for performance reasons.
For very high precision calculations, when series expansion convergence becomes too slow, trigonometric functions can be approximated by the arithmetic-geometric mean, which itself approximates the trigonometric function by the (complex) elliptic integral.[20]
Finally, for some simple angles, the values can be easily computed by hand using the Pythagorean theorem, as in the following examples. For example, the sine, cosine and tangent of any integer multiple of π/60 radians (3°) can be found exactly by hand.
Consider a right triangle where the two other angles are equal, and therefore are both π/4 radians (45°). Then the length of side b and the length of side a are equal; we can choose a = b = 1. The values of sine, cosine and tangent of an angle of π/4 radians (45°) can then be found using the Pythagorean theorem:
Therefore:
To determine the trigonometric functions for angles of π/3 radians (60°) and π/6 radians (30°), we start with an equilateral triangle of side length 1. All its angles are π/3 radians (60°). By dividing it into two, we obtain a right triangle with π/6 radians (30°) and π/3 radians (60°) angles. For this triangle, the shortest side is 1/2, the next largest side is √3/2 and the hypotenuse is 1. This yields:
There are some commonly used special values in trigonometric functions, as shown in the following table.
The symbol ∞ here represents the point at infinity on the projectively extended real line, the limit on the extended real line is +∞ on one side and -∞ on the other.
The trigonometric functions are periodic, and hence not injective, so strictly they do not have an inverse function. Therefore, to define an inverse function we must restrict their domains so that the trigonometric function is bijective. In the following, the functions on the left are defined by the equation on the right; these are not proved identities. The principal inverses are usually defined as:
The notations sin−1 and cos−1 are often used for arcsin and arccos, etc. When this notation is used, the inverse functions could be confused with the multiplicative inverses of the functions. The notation using the "arc-" prefix avoids such confusion, though "arcsec" for arcsecant can be confused with "arcsecond".
Just like the sine and cosine, the inverse trigonometric functions can also be defined in terms of infinite series. For example,
These functions may also be defined by proving that they are antiderivatives of other functions. The arcsine, for example, can be written as the following integral:
Analogous formulas for the other functions can be found at inverse trigonometric functions. Using the complex logarithm, one can generalize all these functions to complex arguments:
In an inner product space, the angle between two non-zero vectors is defined to be
The trigonometric functions, as the name suggests, are of crucial importance in trigonometry, mainly because of the following two results.
The law of sines states that for an arbitrary triangle with sides a, b, and c and angles opposite those sides A, B and C:
where Δ is the area of the triangle, or, equivalently,
where R is the triangle's circumradius.
It can be proven 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.
The law of cosines (also known as the cosine formula or cosine rule) is an extension of the Pythagorean theorem:
or equivalently,
In this formula the angle at C is opposite to the side c. This theorem can be proven 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 cosines of an angle (and consequently the angles themselves) if the lengths of all the sides are known.
The following all form the law of tangents[22]
The explanation of the formulae in words would be cumbersome, but the patterns of sums and differences, for the lengths and corresponding opposite angles, are apparent in the theorem.
If
and
then the following all form the law of cotangents[22]
It follows that
In words the theorem is: the cotangent of a half-angle equals the ratio of the semi-perimeter minus the opposite side to the said angle, to the inradius for the triangle.
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 functions. The characteristic wave patterns of periodic functions are useful for modeling recurring phenomena such as sound or light waves.[23]
Under rather general conditions, a periodic function f(x) can be expressed as a sum of sine waves or cosine waves in a Fourier series.[24] Denoting the sine or cosine basis functions by φk, the expansion of the periodic function f(t) takes the form:
For example, the 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.
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 function was discovered by Hipparchus of Nicaea (180–125 BCE) and Ptolemy of Roman Egypt (90–165 CE).
The functions sine and cosine can be traced to the 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.[25]
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.[26] al-Khwārizmī produced tables of sines, cosines and tangents.
They were studied by authors 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), Rheticus, and Rheticus' student Valentinus Otho.
Madhava of Sangamagrama (c. 1400) made early strides in the analysis of trigonometric functions in terms of infinite series.[27]
The terms tangent and secant were first introduced by the Danish mathematician Thomas Fincke in his book Geometria rotundi (1583).[28]
The first published use of the abbreviations sin, cos, and tan is probably by the 16th century French mathematician Albert Girard.[citation needed]
In a paper published in 1682, Leibniz proved that sin x is not an algebraic function of x.[29]
Leonhard Euler's Introductio in analysin infinitorum (1748) was mostly responsible for establishing the analytic treatment of trigonometric functions in Europe, also defining them as infinite series and presenting "Euler's formula", as well as near-modern abbreviations (sin., cos., tang., cot., sec., and cosec.).[25]
A few functions were common historically, but are now seldom used, such as the chord (crd(θ) = 2 sin(θ/2)), the versine (versin(θ) = 1 − cos(θ) = 2 sin2(θ/2)) (which appeared in the earliest tables[25]), the coversine (coversin(θ) = 1 − sin(θ) = versin(π/2-θ)), the haversine (haversin(θ) = 1/2versin(θ) = sin2(θ/2)),[30] the exsecant (exsec(θ) = sec(θ) − 1), and the excosecant (excsc(θ) = exsec(π/2 − θ) = csc(θ) − 1). See List of trigonometric identities for more relations between these functions.
The word sine derives[31] from Latin sinus, meaning "bend; bay", and more specifically "the hanging fold of the upper part of a toga", "the bosom of a garment", which was chosen as the translation of what was interpreted as the Arabic word jaib, meaning "pocket" or "fold" in the twelfth-century translations of works by Al-Battani and al-Khwārizmī into Medieval Latin.[32] The choice was based on a misreading of the Arabic written form j-y-b (جيب), which itself originated as a transliteration from Sanskrit jīvā, which along with its synonym jyā (the standard Sanskrit term for the sine) translates to "bowstring", being in turn adopted from Ancient Greek χορδή "string".[33]
The word tangent comes from Latin tangens meaning "touching", since the line touches the circle of unit radius, whereas secant stems from Latin secans—"cutting"—since the line cuts the circle.[34]
The prefix "co-" (in "cosine", "cotangent", "cosecant") is found in Edmund Gunter's Canon triangulorum (1620), which defines the cosinus as an abbreviation for the sinus complementi (sine of the complementary angle) and proceeds to define the cotangens similarly.[35][36]
See Merlet, A Note on the History of the Trigonometric Functions in Ceccarelli (ed.), International Symposium on History of Machines and Mechanisms, Springer, 2004
See Maor (1998), chapter 3, for an earlier etymology crediting Gerard.
See Katx, Victor (July 2008). A history of mathematics (3rd ed.). Boston: Pearson. p. 210 (sidebar). ISBN 978-0321387004.
| Wikibooks has a book on the topic of: Trigonometry |
| Authority control |
|
|---|
^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{12}}\\15^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{8}}\\22.5^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{6}}\\30^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{4}}\\45^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{3}}\\60^{\circ }\end{matrix}}&{\begin{matrix}{\frac {5\pi }{12}}\\75^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{2}}\\90^{\circ }\end{matrix}}\\\hline \sin &0&{\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}&{\frac {\sqrt {2-{\sqrt {2}}}}{2}}&{\frac {1}{2}}&{\frac {\sqrt {2}}{2}}&{\frac {\sqrt {3}}{2}}&{\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}&1\\\cos &1&{\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}&{\frac {\sqrt {2+{\sqrt {2}}}}{2}}&{\frac {\sqrt {3}}{2}}&{\frac {\sqrt {2}}{2}}&{\frac {1}{2}}&{\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}&0\\\tan &0&2-{\sqrt {3}}&{\sqrt {2}}-1&{\frac {\sqrt {3}}{3}}&1&{\sqrt {3}}&2+{\sqrt {3}}&\infty \\\cot &\infty &2+{\sqrt {3}}&{\sqrt {2}}+1&{\sqrt {3}}&1&{\frac {\sqrt {3}}{3}}&2-{\sqrt {3}}&0\\\sec &1&{\sqrt {6}}-{\sqrt {2}}&{\sqrt {2}}{\sqrt {2-{\sqrt {2}}}}&{\frac {2{\sqrt {3}}}{3}}&{\sqrt {2}}&2&{\sqrt {6}}+{\sqrt {2}}&\infty \\\csc &\infty &{\sqrt {6}}+{\sqrt {2}}&{\sqrt {2}}{\sqrt {2+{\sqrt {2}}}}&2&{\sqrt {2}}&{\frac {2{\sqrt {3}}}{3}}&{\sqrt {6}}-{\sqrt {2}}&1\\\end{array}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<menclose notation="left right">
<mtable columnalign="center center center center center center center center center" rowspacing="4pt" columnspacing="1em" rowlines="solid none" columnlines="solid none none none none none none none">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtext>Radian</mtext>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtext>Degree</mtext>
</mrow>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mn>0</mn>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>0</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mi>π</mi>
<mn>12</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>15</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mi>π</mi>
<mn>8</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>22.5</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mi>π</mi>
<mn>6</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>30</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mi>π</mi>
<mn>4</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>45</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mi>π</mi>
<mn>3</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>60</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mn>5</mn>
<mi>π</mi>
</mrow>
<mn>12</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>75</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mtable rowspacing="4pt" columnspacing="1em">
<mtr>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mi>π</mi>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<msup>
<mn>90</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>∘</mo>
</mrow>
</msup>
</mtd>
</mtr>
</mtable>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<mi>sin</mi>
</mtd>
<mtd>
<mn>0</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mrow>
<mn>4</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>2</mn>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</msqrt>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mn>1</mn>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>2</mn>
</msqrt>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>3</mn>
</msqrt>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mrow>
<mn>4</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mn>1</mn>
</mtd>
</mtr>
<mtr>
<mtd>
<mi>cos</mi>
</mtd>
<mtd>
<mn>1</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mrow>
<mn>4</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>2</mn>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</msqrt>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>3</mn>
</msqrt>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>2</mn>
</msqrt>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mn>1</mn>
<mn>2</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mrow>
<mn>4</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mn>0</mn>
</mtd>
</mtr>
<mtr>
<mtd>
<mi>tan</mi>
</mtd>
<mtd>
<mn>0</mn>
</mtd>
<mtd>
<mn>2</mn>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
<mo>−</mo>
<mn>1</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>3</mn>
</msqrt>
<mn>3</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mn>1</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mn>2</mn>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mi mathvariant="normal">∞</mi>
</mtd>
</mtr>
<mtr>
<mtd>
<mi>cot</mi>
</mtd>
<mtd>
<mi mathvariant="normal">∞</mi>
</mtd>
<mtd>
<mn>2</mn>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
<mo>+</mo>
<mn>1</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mn>1</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msqrt>
<mn>3</mn>
</msqrt>
<mn>3</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mn>2</mn>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mn>0</mn>
</mtd>
</mtr>
<mtr>
<mtd>
<mi>sec</mi>
</mtd>
<mtd>
<mn>1</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</msqrt>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mn>2</mn>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mrow>
<mn>3</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mn>2</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mi mathvariant="normal">∞</mi>
</mtd>
</mtr>
<mtr>
<mtd>
<mi>csc</mi>
</mtd>
<mtd>
<mi mathvariant="normal">∞</mi>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
<mo>+</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</msqrt>
</mrow>
</mtd>
<mtd>
<mn>2</mn>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mn>2</mn>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>3</mn>
</msqrt>
</mrow>
</mrow>
<mn>3</mn>
</mfrac>
</mrow>
</mtd>
<mtd>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>6</mn>
</msqrt>
</mrow>
<mo>−</mo>
<mrow class="MJX-TeXAtom-ORD">
<msqrt>
<mn>2</mn>
</msqrt>
</mrow>
</mtd>
<mtd>
<mn>1</mn>
</mtd>
</mtr>
</mtable>
</menclose>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{array}{|c|cccccccc|}{\begin{matrix}{\text{Radian}}\\{\text{Degree}}\end{matrix}}&{\begin{matrix}0\<add_contents_exp><m=6 date=20140725>^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{12}}\\15^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{8}}\\22.5^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{6}}\\30^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{4}}\\45^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{3}}\\60^{\circ }\end{matrix}}&{\begin{matrix}{\frac {5\pi }{12}}\\75^{\circ }\end{matrix}}&{\begin{matrix}{\frac {\pi }{2}}\\90^{\circ }\end{matrix}}\\\hline \sin &0&{\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}&{\frac {\sqrt {2-{\sqrt {2}}}}{2}}&{\frac {1}{2}}&{\frac {\sqrt {2}}{2}}&{\frac {\sqrt {3}}{2}}&{\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}&1\\\cos &1&{\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}&{\frac {\sqrt {2+{\sqrt {2}}}}{2}}&{\frac {\sqrt {3}}{2}}&{\frac {\sqrt {2}}{2}}&{\frac {1}{2}}&{\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}&0\\\tan &0&2-{\sqrt {3}}&{\sqrt {2}}-1&{\frac {\sqrt {3}}{3}}&1&{\sqrt {3}}&2+{\sqrt {3}}&\infty \\\cot &\infty &2+{\sqrt {3}}&{\sqrt {2}}+1&{\sqrt {3}}&1&{\frac {\sqrt {3}}{3}}&2-{\sqrt {3}}&0\\\sec &1&{\sqrt {6}}-{\sqrt {2}}&{\sqrt {2}}{\sqrt {2-{\sqrt {2}}}}&{\frac {2{\sqrt {3}}}{3}}&{\sqrt {2}}&2&{\sqrt {6}}+{\sqrt {2}}&\infty \\\csc &\infty &{\sqrt {6}}+{\sqrt {2}}&{\sqrt {2}}{\sqrt {2+{\sqrt {2}}}}&2&{\sqrt {2}}&{\frac {2{\sqrt {3}}}{3}}&{\sqrt {6}}-{\sqrt {2}}&1\\\end{array}}}</annotation>
</semantics>
</math>[21]
The symbol ∞ here represents the point at infinity on the projectively extended real line, the limit on the extended real line is +∞ on one side and -∞ on the other.
The trigonometric functions are periodic, and hence not injective, so strictly they do not have an inverse function. Therefore, to define an inverse function we must restrict their domains so that the trigonometric function is bijective. In the following, the functions on the left are defined by the equation on the right; these are not proved identities. The principal inverses are usually defined as:
The notations sin−1 and cos−1 are often used for arcsin and arccos, etc. When this notation is used, the inverse functions could be confused with the multiplicative inverses of the functions. The notation using the "arc-" prefix avoids such confusion, though "arcsec" for arcsecant can be confused with "arcsecond".
Just like the sine and cosine, the inverse trigonometric functions can also be defined in terms of infinite series. For example,
These functions may also be defined by proving that they are antiderivatives of other functions. The arcsine, for example, can be written as the following integral:
Analogous formulas for the other functions can be found at inverse trigonometric functions. Using the complex logarithm, one can generalize all these functions to complex arguments:
In an inner product space, the angle between two non-zero vectors is defined to be
The trigonometric functions, as the name suggests, are of crucial importance in trigonometry, mainly because of the following two results.
The law of sines states that for an arbitrary triangle with sides a, b, and c and angles opposite those sides A, B and C:
where Δ is the area of the triangle, or, equivalently,
where R is the triangle's circumradius.
It can be proven 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.
The law of cosines (also known as the cosine formula or cosine rule) is an extension of the Pythagorean theorem:
or equivalently,
In this formula the angle at C is opposite to the side c. This theorem can be proven 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 cosines of an angle (and consequently the angles themselves) if the lengths of all the sides are known.
The following all form the law of tangents[22]
The explanation of the formulae in words would be cumbersome, but the patterns of sums and differences, for the lengths and corresponding opposite angles, are apparent in the theorem.
If
and
then the following all form the law of cotangents[22]
It follows that
In words the theorem is: the cotangent of a half-angle equals the ratio of the semi-perimeter minus the opposite side to the said angle, to the inradius for the triangle.
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 functions. The characteristic wave patterns of periodic functions are useful for modeling recurring phenomena such as sound or light waves.[23]
Under rather general conditions, a periodic function f(x) can be expressed as a sum of sine waves or cosine waves in a Fourier series.[24] Denoting the sine or cosine basis functions by φk, the expansion of the periodic function f(t) takes the form:
For example, the 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.
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 function was discovered by Hipparchus of Nicaea (180–125 BCE) and Ptolemy of Roman Egypt (90–165 CE).
The functions sine and cosine can be traced to the 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.[25]
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.[26] al-Khwārizmī produced tables of sines, cosines and tangents.
They were studied by authors 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), Rheticus, and Rheticus' student Valentinus Otho.
Madhava of Sangamagrama (c. 1400) made early strides in the analysis of trigonometric functions in terms of infinite series.[27]
The terms tangent and secant were first introduced by the Danish mathematician Thomas Fincke in his book Geometria rotundi (1583).[28]
The first published use of the abbreviations sin, cos, and tan is probably by the 16th century French mathematician Albert Girard.[citation needed]
In a paper published in 1682, Leibniz proved that sin x is not an algebraic function of x.[29]
Leonhard Euler's Introductio in analysin infinitorum (1748) was mostly responsible for establishing the analytic treatment of trigonometric functions in Europe, also defining them as infinite series and presenting "Euler's formula", as well as near-modern abbreviations (sin., cos., tang., cot., sec., and cosec.).[25]
A few functions were common historically, but are now seldom used, such as the chord (crd(θ) = 2 sin(θ/2)), the versine (versin(θ) = 1 − cos(θ) = 2 sin2(θ/2)) (which appeared in the earliest tables[25]), the coversine (coversin(θ) = 1 − sin(θ) = versin(π/2-θ)), the haversine (haversin(θ) = 1/2versin(θ) = sin2(θ/2)),[30] the exsecant (exsec(θ) = sec(θ) − 1), and the excosecant (excsc(θ) = exsec(π/2 − θ) = csc(θ) − 1). See List of trigonometric identities for more relations between these functions.
The word sine derives[31] from Latin sinus, meaning "bend; bay", and more specifically "the hanging fold of the upper part of a toga", "the bosom of a garment", which was chosen as the translation of what was interpreted as the Arabic word jaib, meaning "pocket" or "fold" in the twelfth-century translations of works by Al-Battani and al-Khwārizmī into Medieval Latin.[32] The choice was based on a misreading of the Arabic written form j-y-b (جيب), which itself originated as a transliteration from Sanskrit jīvā, which along with its synonym jyā (the standard Sanskrit term for the sine) translates to "bowstring", being in turn adopted from Ancient Greek χορδή "string".[33]
The word tangent comes from Latin tangens meaning "touching", since the line touches the circle of unit radius, whereas secant stems from Latin secans—"cutting"—since the line cuts the circle.[34]
The prefix "co-" (in "cosine", "cotangent", "cosecant") is found in Edmund Gunter's Canon triangulorum (1620), which defines the cosinus as an abbreviation for the sinus complementi (sine of the complementary angle) and proceeds to define the cotangens similarly.[35][36]
See Merlet, A Note on the History of the Trigonometric Functions in Ceccarelli (ed.), International Symposium on History of Machines and Mechanisms, Springer, 2004
See Maor (1998), chapter 3, for an earlier etymology crediting Gerard.
See Katx, Victor (July 2008). A history of mathematics (3rd ed.). Boston: Pearson. p. 210 (sidebar). ISBN 978-0321387004.
<style data-mw-deduplicate="TemplateStyles:r853264625">.mw-parser-output .refbegin{font-size:90%;margin-bottom:0.5em}.mw-parser-output .refbegin-hanging-indents>ul{list-style-type:none;margin-left:0}.mw-parser-output .refbegin-hanging-indents>ul>li,.mw-parser-output .refbegin-hanging-indents>dl>dd{margin-left:0;padding-left:3.2em;text-indent:-3.2em;list-style:none}.mw-parser-output .refbegin-100{font-size:100%}</style>
| Wikibooks has a book on the topic of: Trigonometry |
| Authority control |
|
|---|
</raw> </toggledisplay>
| リンク元 | 「三角関数」「trigonometrical function」 |
| 関連記事 | 「function」 |