Difference between revisions of "Trigonometric identities"
(Added Triple-angle identities) |
m |
||
(9 intermediate revisions by 6 users not shown) | |||
Line 29: | Line 29: | ||
\tan (x+y) &= \frac{\sin (x+y)}{\cos (x+y)} \\ | \tan (x+y) &= \frac{\sin (x+y)}{\cos (x+y)} \\ | ||
&= \frac{\sin (x) \cos(y) + \cos(x) \sin(y)}{\cos (x) \cos (y) - \sin (x) \sin(y)} \\ | &= \frac{\sin (x) \cos(y) + \cos(x) \sin(y)}{\cos (x) \cos (y) - \sin (x) \sin(y)} \\ | ||
− | &= \frac{\frac{\sin(x)}{\cos(x)} + \frac{\sin(y)}{\cos( | + | &= \frac{\frac{\sin(x)}{\cos(x)} + \frac{\sin(y)}{\cos(y)}}{1 - \frac{\sin (x) \sin(y)}{\cos (x) \cos(y)}} \\ |
&= \frac{\tan (x) + \tan (y)}{1 - \tan (x) \tan(y)} | &= \frac{\tan (x) + \tan (y)}{1 - \tan (x) \tan(y)} | ||
\end{align*}</cmath> | \end{align*}</cmath> | ||
Line 51: | Line 51: | ||
== Half-angle identities == | == Half-angle identities == | ||
The trigonometric half-angle identities state the following equalities: | The trigonometric half-angle identities state the following equalities: | ||
− | * <math>\sin (\frac{x}{2}) = \pm \sqrt{\frac{1 - \cos (x)}{2}}</math> | + | * <math>\sin \left(\frac{x}{2}\right) = \pm \sqrt{\frac{1 - \cos (x)}{2}}</math> |
− | * <math>\cos (\frac{x}{2}) = \pm \sqrt{\frac{1 + \cos (x)}{2}}</math> | + | * <math>\cos \left(\frac{x}{2}\right) = \pm \sqrt{\frac{1 + \cos (x)}{2}}</math> |
− | * <math>\tan (\frac{x}{2}) = \pm \sqrt{\frac{1 - \cos (x)}{1+\cos (x)}} = \frac{\sin (x)}{1 + \cos (x)} = \frac{1-\cos (x)}{\sin (x)}</math> | + | * <math>\tan \left(\frac{x}{2}\right) = \pm \sqrt{\frac{1 - \cos (x)}{1+\cos (x)}} = \frac{\sin (x)}{1 + \cos (x)} = \frac{1-\cos (x)}{\sin (x)}</math> |
The plus or minus does not mean that there are two answers, but that the sign of the expression depends on the quadrant in which the angle resides. | The plus or minus does not mean that there are two answers, but that the sign of the expression depends on the quadrant in which the angle resides. | ||
Line 68: | Line 68: | ||
Substituting <math>\alpha = x+y</math> and <math>\beta = x-y</math> into the product-to-sum identities yields the sum-to-product identities. | Substituting <math>\alpha = x+y</math> and <math>\beta = x-y</math> into the product-to-sum identities yields the sum-to-product identities. | ||
− | * <math>\sin (x) + \sin (y) = 2 \sin (\frac{x + y}{2}) \cos (\frac{x - y}{2})</math> | + | * <math>\sin (x) + \sin (y) = 2 \sin \left(\frac{x + y}{2}\right) \cos \left(\frac{x - y}{2}\right)</math> |
− | * <math>\sin (x) - \sin (y) = 2 \sin (\frac{x - y}{2}) \cos (\frac{x + y}{2})</math> | + | * <math>\sin (x) - \sin (y) = 2 \sin \left(\frac{x - y}{2}\right) \cos \left(\frac{x + y}{2}\right)</math> |
− | * <math>\cos (x) + \cos (y) = 2 \cos (\frac{x + y}{2}) \cos (\frac{x - y}{2})</math> | + | * <math>\cos (x) + \cos (y) = 2 \cos \left(\frac{x + y}{2}\right) \cos \left(\frac{x - y}{2}\right)</math> |
− | * <math>\cos (x) - \cos (y) = -2 \sin (\frac{x + y}{2}) \sin (\frac{x - y}{2})</math> | + | * <math>\cos (x) - \cos (y) = -2 \sin \left(\frac{x + y}{2}\right) \sin \left(\frac{x - y}{2}\right)</math> |
== Other identities == | == Other identities == | ||
Line 83: | Line 83: | ||
=== Even-odd identities === | === Even-odd identities === | ||
− | The functions <math>\sin(x)</math>, <math>\tan(x)</math>, | + | The functions <math>\sin(x)</math>, <math>\tan(x)</math>, <math>\cot(x)</math>, and <math>\csc(x)</math> are odd, while <math>\cos(x)</math> and <math>\sec(x)</math> are even. In other words, the six trigonometric functions satisfy the following equalities: |
* <math>\sin (-x) = -\sin (x) </math> | * <math>\sin (-x) = -\sin (x) </math> | ||
* <math>\cos (-x) = \cos (x) </math> | * <math>\cos (-x) = \cos (x) </math> | ||
Line 106: | Line 106: | ||
*<math>\cos (x) = \frac{e^{ix} + e^{-ix}}{2}</math> | *<math>\cos (x) = \frac{e^{ix} + e^{-ix}}{2}</math> | ||
*<math>\sin (x) = \frac{e^{ix} - e^{-ix}}{2i}</math> | *<math>\sin (x) = \frac{e^{ix} - e^{-ix}}{2i}</math> | ||
− | They can also be derived by computing <math>\textrm{Re} (e^{ix})</math> and <math>\textrm{Im} (e^{ix})</math>. | + | They can also be derived by computing <math>\textrm{Re} (e^{ix})</math> and <math>\textrm{Im} (e^{ix})</math>. These expressions are occasionally used to define the trigonometric functions. |
=== Miscellaneous === | === Miscellaneous === | ||
Line 117: | Line 117: | ||
== Resources == | == Resources == | ||
* [http://www.sosmath.com/trig/Trig5/trig5/trig5.html Table of trigonometric identities] | * [http://www.sosmath.com/trig/Trig5/trig5/trig5.html Table of trigonometric identities] | ||
− | * [https://mathwithtimmy.files.wordpress.com/2017/06/trig-identities.pdf List of Trigonometric | + | * [https://mathwithtimmy.files.wordpress.com/2017/06/trig-identities.pdf List of Trigonometric Identities] |
== See also == | == See also == | ||
* [[Trigonometry]] | * [[Trigonometry]] | ||
* [[Trigonometric substitution]] | * [[Trigonometric substitution]] | ||
+ | * [[Proofs of trig identities]] | ||
[[Category:Trigonometry]] | [[Category:Trigonometry]] |
Latest revision as of 21:55, 20 January 2024
In trigonometry, trigonometric identities are equations involving trigonometric functions that are true for all input values. Trigonometric functions have an abundance of identities, of which only the most widely used are included in this article.
Contents
Pythagorean identities
The Pythagorean identities state that
Using the unit circle definition of trigonometry, because the point is defined to be on the unit circle, it is a distance one away from the origin. Then by the distance formula,
. To derive the other two Pythagorean identities, divide by either
or
and substitute the respective trigonometry in place of the ratios to obtain the desired result.
Angle addition identities
The trigonometric angle addition identities state the following identities:
There are many proofs of these identities. For the sake of brevity, we list only one here.
Euler's identity states that . We have that
By looking at the real and imaginary parts, we derive the sine and cosine angle addition formulas.
To derive the tangent addition formula, we reduce the problem to use sine and cosine, divide both numerator and denominator by , and simplify.
as desired.
Double-angle identities
The trigonometric double-angle identities are easily derived from the angle addition formulas by just letting . Doing so yields:
Cosine double-angle identity
Here are two equally useful forms of the cosine double-angle identity. Both are derived via the Pythagorean identity on the cosine double-angle identity given above.
In addition, the following identities are useful in integration and in deriving the half-angle identities. They are a simple rearrangement of the two above.
Half-angle identities
The trigonometric half-angle identities state the following equalities:
The plus or minus does not mean that there are two answers, but that the sign of the expression depends on the quadrant in which the angle resides.
Consider the two expressions listed in the cosine double-angle section for and
, and substitute
instead of
. Taking the square root then yields the desired half-angle identities for sine and cosine. As for the tangent identity, divide the sine and cosine half-angle identities.
Product-to-sum identities
The product-to-sum identities are as follows:
They can be derived by expanding out and
or
and
, then combining them to isolate each term.
Sum-to-product identities
Substituting and
into the product-to-sum identities yields the sum-to-product identities.
Other identities
Here are some identities that are less significant than those above, but still useful.
Triple-angle identities
All of these expansions can be proved using trick and perform the angle addition identities. Same for
and for
.
Even-odd identities
The functions ,
,
, and
are odd, while
and
are even. In other words, the six trigonometric functions satisfy the following equalities:
These are derived by the unit circle definitions of trigonometry. Making any angle negative is the same as reflecting it across the x-axis. This keeps its x-coordinate the same, but makes its y-coordinate negative. Thus, and
.
Conversion identities
The following identities are useful when converting trigonometric functions.
All of these can be proven via the angle addition identities.
Euler's identity
Euler's identity is a formula in complex analysis that connects complex exponentiation with trigonometry. It states that for any real number ,
where
is Euler's constant and
is the imaginary unit. Euler's identity is fundamental to the study of complex numbers and is widely considered among the most beautiful formulas in math.
Similar to the derivation of the product-to-sum identities, we can isolate sine and cosine by comparing and
, which yields the following identities:
They can also be derived by computing and
. These expressions are occasionally used to define the trigonometric functions.
Miscellaneous
These are the identities that are not substantial enough to warrant a section of their own.