HOME

TheInfoList



OR:

The differentiation of trigonometric functions is the mathematical process of finding the
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...
of a trigonometric function, or its rate of change with respect to a variable. For example, the derivative of the sine function is written sin′(''a'') = cos(''a''), meaning that the rate of change of sin(''x'') at a particular angle ''x = a'' is given by the cosine of that angle. All derivatives of circular trigonometric functions can be found from those of sin(''x'') and cos(''x'') by means of the
quotient rule In calculus, the quotient rule is a method of finding the derivative of a function that is the ratio of two differentiable functions. Let h(x)=f(x)/g(x), where both and are differentiable and g(x)\neq 0. The quotient rule states that the deriva ...
applied to functions such as tan(''x'') = sin(''x'')/cos(''x''). Knowing these derivatives, the derivatives of the
inverse trigonometric functions In mathematics, the inverse trigonometric functions (occasionally also called arcus functions, antitrigonometric functions or cyclometric functions) are the inverse functions of the trigonometric functions (with suitably restricted domains). Spe ...
are found using
implicit differentiation In mathematics, an implicit equation is a relation of the form R(x_1, \dots, x_n) = 0, where is a function of several variables (often a polynomial). For example, the implicit equation of the unit circle is x^2 + y^2 - 1 = 0. An implicit funct ...
.


Proofs of derivatives of trigonometric functions


Limit of sin(θ)/θ as θ tends to 0

The diagram at right shows a circle with centre ''O'' and radius ''r ='' 1. Let two radii ''OA'' and ''OB'' make an arc of θ radians. Since we are considering the limit as ''θ'' tends to zero, we may assume ''θ'' is a small positive number, say 0 < θ < ½ π in the first quadrant. In the diagram, let ''R''1 be the triangle ''OAB'', ''R''2 the
circular sector A circular sector, also known as circle sector or disk sector (symbol: ⌔), is the portion of a disk (a closed region bounded by a circle) enclosed by two radii and an arc, where the smaller area is known as the ''minor sector'' and the lar ...
''OAB'', and ''R''3 the triangle ''OAC''. The area of triangle ''OAB'' is: : \mathrm(R_1 ) =\tfrac \ , OA, \ , OB, \sin\theta = \tfrac\sin\theta \, . The area of the circular sector ''OAB'' is \mathrm(R_2) =\tfrac\theta, while the area of the triangle ''OAC'' is given by : \mathrm(R_3 ) =\tfrac \ , OA, \ , AC, = \tfrac \tan\theta \, . Since each region is contained in the next, one has: :\text(R_1) < \text(R_2) < \text(R_3) \implies \tfrac\sin\theta < \tfrac\theta < \tfrac\tan\theta \, . Moreover, since in the first quadrant, we may divide through by ½ , giving: :1 < \frac < \frac \implies 1 > \frac > \cos\theta \, . In the last step we took the reciprocals of the three positive terms, reversing the inequities. We conclude that for 0 < θ < ½ π, the quantity is ''always'' less than 1 and ''always'' greater than cos(θ). Thus, as ''θ'' gets closer to 0, is " squeezed" between a ceiling at height 1 and a floor at height , which rises towards 1; hence sin(''θ'')/''θ'' must tend to 1 as ''θ'' tends to 0 from the positive side:
\lim_ \frac = 1 \, .
For the case where ''θ'' is a small negative number –½ π < θ < 0, we use the fact that sine is an
odd function In mathematics, even functions and odd functions are functions which satisfy particular symmetry relations, with respect to taking additive inverses. They are important in many areas of mathematical analysis, especially the theory of power se ...
: :\lim_\! \frac \ =\ \lim_\!\frac \ =\ \lim_\!\frac \ =\ \lim_\!\frac \ =\ 1 \, .


Limit of (cos(θ)-1)/θ as θ tends to 0

The last section enables us to calculate this new limit relatively easily. This is done by employing a simple trick. In this calculation, the sign of ''θ'' is unimportant. : \lim_\, \frac \ =\ \lim_ \left( \frac \right)\!\! \left( \frac \right) \ =\ \lim_\, \frac . Using the fact that the limit of a product is the product of limits, and the limit result from the previous section, we find that: : \lim_\,\frac \ =\ \lim_\, \frac \ =\ \left( -\lim_ \frac\right)\! \left( \lim_\,\frac \right) \ =\ (-1)\left(\frac\right) = 0 \, .


Limit of tan(θ)/θ as θ tends to 0

Using the limit for the
sine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is op ...
function, the fact that the tangent function is odd, and the fact that the limit of a product is the product of limits, we find: : \lim_ \frac \ =\ \left(\lim_ \frac\right)\! \left( \lim_ \frac\right) \ =\ (1)(1) \ =\ 1 \, .


Derivative of the sine function

We calculate the derivative of the
sine function In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is op ...
from the limit definition: : \frac\,\sin\theta = \lim_ \frac . Using the angle addition formula , we have: : \frac\,\sin\theta = \lim_ \frac = \lim_ \left( \frac \cos\theta + \frac\sin\theta \right) . Using the limits for the
sine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is op ...
and cosine functions: : \frac\,\sin\theta = (1)\cos\theta + (0)\sin\theta = \cos\theta \, .


Derivative of the cosine function


From the definition of derivative

We again calculate the derivative of the
cosine function In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is op ...
from the limit definition: : \frac\,\cos\theta = \lim_ \frac . Using the angle addition formula , we have: : \frac\,\cos\theta = \lim_ \frac = \lim_ \left(\frac\cos\theta \,-\, \frac \sin\theta \right) . Using the limits for the
sine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is op ...
and cosine functions: : \frac\,\cos\theta = (0) \cos\theta - (1) \sin\theta = -\sin\theta \, .


From the chain rule

To compute the derivative of the cosine function from the chain rule, first observe the following three facts: :\cos\theta = \sin\left(\tfrac-\theta\right) :\sin\theta = \cos\left(\tfrac-\theta\right) :\tfrac \sin\theta = \cos\theta The first and the second are
trigonometric identities In trigonometry, trigonometric identities are equalities that involve trigonometric functions and are true for every value of the occurring variables for which both sides of the equality are defined. Geometrically, these are identities involvin ...
, and the third is proven above. Using these three facts, we can write the following, :\tfrac \cos\theta = \tfrac \sin\left(\tfrac-\theta\right) We can differentiate this using the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
. Letting f(x) = \sin x,\ \ g(\theta) =\tfrac-\theta, we have: :\tfrac f\!\left(g\!\left(\theta\right)\right) = f^\prime\!\left(g\!\left(\theta\right)\right) \cdot g^\prime\!\left(\theta\right) = \cos\left(\tfrac-\theta\right) \cdot (0-1) = -\sin\theta. Therefore, we have proven that :\tfrac \cos\theta = -\sin\theta.


Derivative of the tangent function


From the definition of derivative

To calculate the derivative of the
tangent function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
tan ''θ'', we use
first principles In philosophy and science, a first principle is a basic proposition or assumption that cannot be deduced from any other proposition or assumption. First principles in philosophy are from First Cause attitudes and taught by Aristotelians, and nuan ...
. By definition: : \frac\,\tan\theta = \lim_ \left( \frac \right) . Using the well-known angle formula , we have: : \frac\,\tan\theta = \lim_ \left \frac \right = \lim_ \left \frac \right. Using the fact that the limit of a product is the product of the limits: : \frac\,\tan\theta = \lim_ \frac \times \lim_ \left( \frac \right) . Using the limit for the
tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
function, and the fact that tan ''δ'' tends to 0 as δ tends to 0: : \frac\,\tan\theta = 1 \times \frac = 1 + \tan^2\theta . We see immediately that: : \frac\,\tan\theta = 1 + \frac = \frac = \frac = \sec^2\theta \, .


From the quotient rule

One can also compute the derivative of the tangent function using the
quotient rule In calculus, the quotient rule is a method of finding the derivative of a function that is the ratio of two differentiable functions. Let h(x)=f(x)/g(x), where both and are differentiable and g(x)\neq 0. The quotient rule states that the deriva ...
. :\frac \tan\theta = \frac \frac = \frac = \frac The numerator can be simplified to 1 by the
Pythagorean identity The Pythagorean trigonometric identity, also called simply the Pythagorean identity, is an identity expressing the Pythagorean theorem in terms of trigonometric functions. Along with the sum-of-angles formulae, it is one of the basic relations b ...
, giving us, :\frac = \sec^2 \theta Therefore, :\frac \tan\theta = \sec^2 \theta


Proofs of derivatives of inverse trigonometric functions

The following derivatives are found by setting a
variable Variable may refer to: * Variable (computer science), a symbolic name associated with a value and whose associated value may be changed * Variable (mathematics), a symbol that represents a quantity in a mathematical expression, as used in many ...
''y'' equal to the
inverse trigonometric function In mathematics, the inverse trigonometric functions (occasionally also called arcus functions, antitrigonometric functions or cyclometric functions) are the inverse functions of the trigonometric functions (with suitably restricted domains). Spe ...
that we wish to take the derivative of. Using
implicit differentiation In mathematics, an implicit equation is a relation of the form R(x_1, \dots, x_n) = 0, where is a function of several variables (often a polynomial). For example, the implicit equation of the unit circle is x^2 + y^2 - 1 = 0. An implicit funct ...
and then solving for ''dy''/''dx'', the derivative of the inverse function is found in terms of ''y''. To convert ''dy''/''dx'' back into being in terms of ''x'', we can draw a reference triangle on the unit circle, letting ''θ'' be y. Using the
Pythagorean theorem In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite ...
and the definition of the regular trigonometric functions, we can finally express ''dy''/''dx'' in terms of ''x''.


Differentiating the inverse sine function

We let :y=\arcsin x\,\! Where :-\frac\le y \le \frac Then :\sin y=x\,\! Taking the derivative with respect to x on both sides and solving for dy/dx: :\sin y=x :\cos y \cdot = 1\,\! Substituting \cos y = \sqrt in from above, :\sqrt \cdot =1 Substituting x=\sin y in from above, :\sqrt \cdot =1 :=\frac


Differentiating the inverse cosine function

We let :y=\arccos x\,\! Where :0 \le y \le \pi Then :\cos y=x\,\! Taking the derivative with respect to x on both sides and solving for dy/dx: :\cos y=x :-\sin y \cdot =1 Substituting \sin y = \sqrt\,\! in from above, we get :-\sqrt \cdot =1 Substituting x=\cos y\,\! in from above, we get :-\sqrt \cdot =1 : = -\frac Alternatively, once the derivative of \arcsin x is established, the derivative of \arccos x follows immediately by differentiating the identity \arcsin x+\arccos x=\pi/2 so that (\arccos x)'=-(\arcsin x)'.


Differentiating the inverse tangent function

We let :y=\arctan x\,\! Where :-\frac < y < \frac Then :\tan y=x\,\! Taking the derivative with respect to x on both sides and solving for dy/dx: :\tan y=x Left side: : \tan y = \sec^2 y \cdot = (1 + \tan^2 y) using the Pythagorean identity Right side: :x = 1 Therefore, :(1+\tan^2 y)=1 Substituting x=\tan y\,\! in from above, we get :(1+x^2)=1 :=\frac


Differentiating the inverse cotangent function

We let :y=\arccot x where 0. Then :\cot y=x Taking the derivative with respect to x on both sides and solving for dy/dx: :\frac\cot y=\fracx Left side: : \cot y = -\csc^2 y \cdot = -(1 + \cot^2 y) using the Pythagorean identity Right side: :x = 1 Therefore, :-(1+\cot^2y)\frac=1 Substituting x=\cot y, :-(1+x^2)\frac=1 :\frac=-\frac Alternatively, as the derivative of \arctan x is derived as shown above, then using the identity \arctan x+\arccot x=\dfrac follows immediately that\begin \dfrac\arccot x &=\dfrac\left(\dfrac-\arctan x\right)\\ &=-\dfrac \end


Differentiating the inverse secant function


Using implicit differentiation

Let : y = \arcsec x\ \mid , x, \geq 1 Then : x = \sec y \mid \ y \in \left ,\frac \right )\cup \left (\frac,\pi \right : \frac = \sec y \tan y = , x, \sqrt (The absolute value in the expression is necessary as the product of secant and tangent in the interval of y is always nonnegative, while the radical \sqrt is always nonnegative by definition of the principal square root, so the remaining factor must also be nonnegative, which is achieved by using the absolute value of x.) : \frac = \frac


Using the chain rule

Alternatively, the derivative of arcsecant may be derived from the derivative of arccosine using the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
. Let : y = \arcsec x = \arccos \left(\frac\right) Where : , x, \geq 1 and y \in \left , \frac\right) \cup \left(\frac, \pi\right Then, applying the chain rule to \arccos \left(\frac\right) : : \frac = -\frac \cdot \left(-\frac\right) = \frac = \frac = \frac = \frac


Differentiating the inverse cosecant function


Using implicit differentiation

Let :y = \arccsc x\ \mid , x, \geq 1 Then : x = \csc y\ \mid \ y \in \left \frac,0 \right )\cup \left (0,\frac \right/math> : \frac = -\csc y \cot y = -, x, \sqrt (The absolute value in the expression is necessary as the product of cosecant and cotangent in the interval of y is always nonnegative, while the radical \sqrt is always nonnegative by definition of the principal square root, so the remaining factor must also be nonnegative, which is achieved by using the absolute value of x.) : \frac = \frac


Using the chain rule

Alternatively, the derivative of arccosecant may be derived from the derivative of arcsine using the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
. Let : y = \arccsc x = \arcsin \left(\frac\right) Where : , x, \geq 1 and y \in \left \frac, 0\right) \cup \left(0, \frac\right Then, applying the chain rule to \arcsin \left(\frac\right) : : \frac =\frac \cdot \left(-\frac\right) = -\frac = -\frac = -\frac = -\frac


See also

* * * * * * * * * *


References


Bibliography

*'' Handbook of Mathematical Functions'', Edited by Abramowitz and Stegun, National Bureau of Standards, Applied Mathematics Series, 55 (1964) {{DEFAULTSORT:Differentiation Of Trigonometric Functions Articles containing proofs Differential calculus Differential equations Mathematical identities