Difference between revisions of "Trigonometric identities"
Etmetalakret (talk | contribs) |
|||
Line 1: | Line 1: | ||
'''Trigonometric Identities''' are used to manipulate [[trigonometry]] [[equation]]s in certain ways. Here is a list of them: | '''Trigonometric Identities''' are used to manipulate [[trigonometry]] [[equation]]s in certain ways. Here is a list of them: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Even-Odd Identities == | == Even-Odd Identities == | ||
− | + | The functions <math>\sin(x)</math>, <math>\tan(x)</math>, and <math>\csc(x)</math> are odd, while <math>cos(x)</math>, <math>\cot(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>\ | + | * <math>\cos (-x) = \cos (x) </math> |
− | + | * <math>\tan (-x) = -\tan (x) </math> | |
− | *<math>\ | + | * <math>\sec (-x) = \sec (x) </math> |
− | + | * <math>\csc (-x) = -\csc (x) </math> | |
− | *<math>\ | + | * <math>\cot (-x) = -\cot (x) </math> |
− | |||
− | *<math>\ | ||
− | |||
− | *<math>\ | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | *<math>\ | ||
− | + | These are derived by the unit circle definitions of trigonometry. Making any angle negative is the same as flipping it across the x-axis. This keeps its x-coordinate the same, but makes its y-coordinate negative. Thus, <math>\sin(-x) = -\sin(x)</math> and <math>\cos(-x) = \cos(x)</math>. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Pythagorean Identities == | == Pythagorean Identities == | ||
− | + | The Pythagorean identities state that | |
− | + | * <math>\sin^2x + \cos^2x = 1</math> | |
− | *<math>\sin^2x + \cos^2x = 1</math> | + | * <math>1 + \cot^2x = \csc^2x</math> |
− | *<math>1 + \cot^2x = \csc^2x</math> | + | * <math>\tan^2x + 1 = \sec^2x</math> |
− | *<math>\tan^2x + 1 = \sec^2x | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | <math> = \ | + | Using the ratio definition of trigonometry, we apply [[Pythagorean Theorem]] on our triangle above to get that <math>a^2 + b^2 = c^2 </math>. If we divide by <math>c^2</math>, we get <math>\left(\frac{a}{c}\right)^2 + \left(\frac{b}{c}\right)^2 = 1 </math>, which is just <math>\sin^2 x + \cos^2 x =1 </math>. Using the unit circle definition of trigonometry, it's extremely easy to see that <math>\sin^2 x+ \cos^2 x =1 </math>. |
− | <math> | + | To derive the other two, divide by either <math>\sin^2 (x)</math> or <math>\cos^2 (x)</math> and substitute the respective trigonometry in place of the ratios. |
− | == | + | == Angle Addition Identities == |
− | + | The trigonometric angle addition identities state the following identities: | |
+ | * <math>\sin(x + y) = \sin (x) \cos (y) + \cos (x) \sin (y)</math> | ||
+ | * <math>\cos(x + y) = \cos (x) \cos (y) - \sin (x) \sin (y) </math> | ||
+ | * <math>\tan(x + y) = \frac{\tan (x) + \tan (y)}{1 - \tan (x) \tan (y)} </math> | ||
+ | There are many proofs of these identities. For the sake of brevity, we list only one here. | ||
− | <cmath>\begin{ | + | [[Euler's identity]] states that <math>e^{ix} = \cos (x) + i \sin(x)</math>. We have that |
− | \sin | + | <cmath>\begin{align*} |
− | \cos | + | \cos (x+y) + i \sin (x+y) &= e^{i(x+y)} \\ |
− | &= | + | &= e^{ix} \cdot e^{iy} \\ |
− | + | &= (\cos (x) + i \sin (x))(\cos (y) + i \sin (y)) \\ | |
− | + | &= (\cos (x) \cos (y) - \sin (x) \sin(y)) + i(\sin (x) \cos(y) + \cos(x) \sin(y)) | |
+ | \end{align*}</cmath> | ||
+ | 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 tangent to sine and cosine, divide both numerator and denominator by <math>\cos (x) \cos (y)</math>, and simplify. |
+ | <cmath>\begin{align*} | ||
+ | \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{\frac{\sin(x)}{\cos(x)} + \frac{\sin(y)}{\cos(x)}}{1 - \frac{\sin (x) \sin(y)}{\cos (x) \cos(y)}} \\ | ||
+ | &= \frac{\tan (x) + \tan (y)}{1 - \tan (x) \tan(y)} | ||
+ | \end{align*}</cmath> | ||
+ | as desired. | ||
− | + | == Double-Angle Identities == | |
+ | The trigonometric double-angle identities are easily derived from the angle addition formulas by just letting <math>x = y </math>. Doing so yields: | ||
+ | * <math>\sin (2x) = 2\sin (x) \cos (x)</math> | ||
+ | * <math>\cos (2x) = \cos^2 (x) - \sin^2 (x)</math> | ||
+ | * <math>\tan (2x) = \frac{2\tan (x)}{1-\tan^2 (x)}</math> | ||
− | + | === Cosine Double-Angle === | |
− | *<math> | + | 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. |
− | *<math>\ | + | * <math>\cos (2x) = 1 - 2 \sin^2 (x)</math> |
+ | * <math>\cos (2x) = 2 \cos^2 (x) - 1</math> | ||
− | + | 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. | |
− | + | * <math>\sin^2 (x) = \frac{1 - \cos (2x)}{2}</math> | |
+ | * <math>\cos^2 (x) = \frac{1 + \cos (2x)}{2}</math> | ||
− | + | == Half-Angle Identities == | |
+ | The trigonometric half-angle identities state the following equalities: | ||
+ | * <math>\sin (\frac{x}{2}) = \pm \sqrt{\frac{1 - \cos (x)}{2}}</math> | ||
+ | * <math>\cos (\frac{x}{2}) = \pm \sqrt{\frac{1 + \cos (x)}{2}}</math> | ||
+ | * <math>\tan (\frac{x}{2}) = \pm \sqrt{\frac{1 - \cos (x)}{1+\cos \theta}} = \frac{\sin x}{1 + \cos (x)} = \frac{1-\cos (x)}{\sin (X)}</math> | ||
+ | The plus or minus is not saying that there are two answers, but that the sine of the angle depends on the quadrant that the angle is in. | ||
− | + | Take the two expressions listed in the cosine double-angle section for <math>\sin^2 (x)</math> and <math>\cos^2 (x)</math>, and substitute <math>\frac{1}{2} x</math> instead of <math>x</math>. Taking the square root then yields the desired half-angle identities for sine and cosine. | |
− | |||
− | |||
− | == | + | == Sum-to-Product Identities == |
− | |||
* <math>{\sin \theta + \sin \gamma = 2 \sin \frac{\theta + \gamma}2 \cos \frac{\theta - \gamma}2}</math> | * <math>{\sin \theta + \sin \gamma = 2 \sin \frac{\theta + \gamma}2 \cos \frac{\theta - \gamma}2}</math> |
Revision as of 20:27, 29 May 2021
Trigonometric Identities are used to manipulate trigonometry equations in certain ways. Here is a list of them:
Contents
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 flipping it across the x-axis. This keeps its x-coordinate the same, but makes its y-coordinate negative. Thus, and .
Pythagorean Identities
The Pythagorean identities state that
Using the ratio definition of trigonometry, we apply Pythagorean Theorem on our triangle above to get that . If we divide by , we get , which is just . Using the unit circle definition of trigonometry, it's extremely easy to see that .
To derive the other two, divide by either or and substitute the respective trigonometry in place of the ratios.
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 tangent to 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
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 is not saying that there are two answers, but that the sine of the angle depends on the quadrant that the angle is in.
Take 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.
Sum-to-Product Identities
Law of Sines
- Main article: Law of Sines
The extended Law of Sines states
Law of Cosines
- Main article: Law of Cosines
The Law of Cosines states
Law of Tangents
- Main article: Law of Tangents
The Law of Tangents states that if and are angles in a triangle opposite sides and respectively, then
A further extension of the Law of Tangents states that if , , and are angles in a triangle, then
Other Identities
- (This is also written as )
The two identities above are derived from the Pythagorean Identities.