List of trigonometric identities

From HandWiki
Short description: Equalities that involve trigonometric functions

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 involving certain functions of one or more angles. They are distinct from triangle identities, which are identities potentially involving angles but also involving side lengths or other lengths of a triangle.

These identities are useful whenever expressions involving trigonometric functions need to be simplified. An important application is the integration of non-trigonometric functions: a common technique involves first using the substitution rule with a trigonometric function, and then simplifying the resulting integral with a trigonometric identity.

Pythagorean identities

Main page: Pythagorean trigonometric identity
Trigonometric functions and their reciprocals on the unit circle. All of the right-angled triangles are similar, i.e. the ratios between their corresponding sides are the same. For sin, cos and tan the unit-length radius forms the hypotenuse of the triangle that defines them. The reciprocal identities arise as ratios of sides in the triangles where this unit line is no longer the hypotenuse. The triangle shaded blue illustrates the identity [math]\displaystyle{ 1 + \cot^2\theta = \csc^2\theta }[/math], and the red triangle shows that [math]\displaystyle{ \tan^2\theta + 1 = \sec^2\theta }[/math].

The basic relationship between the sine and cosine is given by the Pythagorean identity:

[math]\displaystyle{ \sin^2\theta + \cos^2\theta = 1, }[/math]

where [math]\displaystyle{ \sin^2 \theta }[/math] means [math]\displaystyle{ (\sin \theta)^2 }[/math] and [math]\displaystyle{ \cos^2 \theta }[/math] means [math]\displaystyle{ (\cos \theta)^2. }[/math]

This can be viewed as a version of the Pythagorean theorem, and follows from the equation [math]\displaystyle{ x^2 + y^2 = 1 }[/math] for the unit circle. This equation can be solved for either the sine or the cosine:

[math]\displaystyle{ \begin{align} \sin\theta &= \pm \sqrt{1 - \cos^2\theta}, \\ \cos\theta &= \pm \sqrt{1 - \sin^2\theta}. \end{align} }[/math]

where the sign depends on the quadrant of [math]\displaystyle{ \theta. }[/math]

Dividing this identity by [math]\displaystyle{ \sin^2 \theta }[/math], [math]\displaystyle{ \cos^2 \theta }[/math], or both yields the following identities: [math]\displaystyle{ \begin{align} &1 + \cot^2\theta = \csc^2\theta \\ &1 + \tan^2\theta = \sec^2\theta \\ &\sec^2\theta + \csc^2\theta = \sec^2\theta\csc^2\theta \end{align} }[/math]

Using these identities, it is possible to express any trigonometric function in terms of any other (up to a plus or minus sign):

Each trigonometric function in terms of each of the other five.[1]
in terms of [math]\displaystyle{ \sin \theta }[/math] [math]\displaystyle{ \csc \theta }[/math] [math]\displaystyle{ \cos \theta }[/math] [math]\displaystyle{ \sec \theta }[/math] [math]\displaystyle{ \tan \theta }[/math] [math]\displaystyle{ \cot \theta }[/math]
[math]\displaystyle{ \sin \theta = }[/math] [math]\displaystyle{ \sin \theta }[/math] [math]\displaystyle{ \frac{1}{\csc \theta} }[/math] [math]\displaystyle{ \pm\sqrt{1 - \cos^2 \theta} }[/math] [math]\displaystyle{ \pm\frac{\sqrt{\sec^2 \theta - 1}}{\sec \theta} }[/math] [math]\displaystyle{ \pm\frac{\tan \theta}{\sqrt{1 + \tan^2 \theta}} }[/math] [math]\displaystyle{ \pm\frac{1}{\sqrt{1 + \cot^2 \theta}} }[/math]
[math]\displaystyle{ \csc \theta = }[/math] [math]\displaystyle{ \frac{1}{\sin \theta} }[/math] [math]\displaystyle{ \csc \theta }[/math] [math]\displaystyle{ \pm\frac{1}{\sqrt{1 - \cos^2 \theta}} }[/math] [math]\displaystyle{ \pm\frac{\sec \theta}{\sqrt{\sec^2 \theta - 1}} }[/math] [math]\displaystyle{ \pm\frac{\sqrt{1 + \tan^2 \theta}}{\tan \theta} }[/math] [math]\displaystyle{ \pm\sqrt{1 + \cot^2 \theta} }[/math]
[math]\displaystyle{ \cos \theta = }[/math] [math]\displaystyle{ \pm\sqrt{1 - \sin^2\theta} }[/math] [math]\displaystyle{ \pm\frac{\sqrt{\csc^2 \theta - 1}}{\csc \theta} }[/math] [math]\displaystyle{ \cos \theta }[/math] [math]\displaystyle{ \frac{1}{\sec \theta} }[/math] [math]\displaystyle{ \pm\frac{1}{\sqrt{1 + \tan^2 \theta}} }[/math] [math]\displaystyle{ \pm\frac{\cot \theta}{\sqrt{1 + \cot^2 \theta}} }[/math]
[math]\displaystyle{ \sec \theta = }[/math] [math]\displaystyle{ \pm\frac{1}{\sqrt{1 - \sin^2 \theta}} }[/math] [math]\displaystyle{ \pm\frac{\csc \theta}{\sqrt{\csc^2 \theta - 1}} }[/math] [math]\displaystyle{ \frac{1}{\cos \theta} }[/math] [math]\displaystyle{ \sec \theta }[/math] [math]\displaystyle{ \pm\sqrt{1 + \tan^2 \theta} }[/math] [math]\displaystyle{ \pm\frac{\sqrt{1 + \cot^2 \theta}}{\cot \theta} }[/math]
[math]\displaystyle{ \tan \theta = }[/math] [math]\displaystyle{ \pm\frac{\sin \theta}{\sqrt{1 - \sin^2 \theta}} }[/math] [math]\displaystyle{ \pm\frac{1}{\sqrt{\csc^2 \theta - 1}} }[/math] [math]\displaystyle{ \pm\frac{\sqrt{1 - \cos^2 \theta}}{\cos \theta} }[/math] [math]\displaystyle{ \pm\sqrt{\sec^2 \theta - 1} }[/math] [math]\displaystyle{ \tan \theta }[/math] [math]\displaystyle{ \frac{1}{\cot \theta} }[/math]
[math]\displaystyle{ \cot \theta = }[/math] [math]\displaystyle{ \pm\frac{\sqrt{1 - \sin^2 \theta}}{\sin \theta} }[/math] [math]\displaystyle{ \pm\sqrt{\csc^2 \theta - 1} }[/math] [math]\displaystyle{ \pm\frac{\cos \theta}{\sqrt{1 - \cos^2 \theta}} }[/math] [math]\displaystyle{ \pm\frac{1}{\sqrt{\sec^2 \theta - 1}} }[/math] [math]\displaystyle{ \frac{1}{\tan \theta} }[/math] [math]\displaystyle{ \cot \theta }[/math]

Reflections, shifts, and periodicity

By examining the unit circle, one can establish the following properties of the trigonometric functions.

Reflections

Unit circle with a swept angle theta plotted at coordinates (a,b). As the angle is reflected in increments of one-quarter pi (45 degrees), the coordinates are transformed. For a transformation of one-quarter pi (45 degrees, or 90 – theta), the coordinates are transformed to (b,a). Another increment of the angle of reflection by one-quarter pi (90 degrees total, or 180 – theta) transforms the coordinates to (-a,b). A third increment of the angle of reflection by another one-quarter pi (135 degrees total, or 270 – theta) transforms the coordinates to (-b,-a). A final increment of one-quarter pi (180 degrees total, or 360 – theta) transforms the coordinates to (a,-b).
Transformation of coordinates (a,b) when shifting the reflection angle [math]\displaystyle{ \alpha }[/math] in increments of [math]\displaystyle{ \frac{\pi}{4} }[/math].

When the direction of a Euclidean vector is represented by an angle [math]\displaystyle{ \theta, }[/math] this is the angle determined by the free vector (starting at the origin) and the positive [math]\displaystyle{ x }[/math]-unit vector. The same concept may also be applied to lines in a Euclidean space, where the angle is that determined by a parallel to the given line through the origin and the positive [math]\displaystyle{ x }[/math]-axis. If a line (vector) with direction [math]\displaystyle{ \theta }[/math] is reflected about a line with direction [math]\displaystyle{ \alpha, }[/math] then the direction angle [math]\displaystyle{ \theta^{\prime} }[/math] of this reflected line (vector) has the value [math]\displaystyle{ \theta^{\prime} = 2 \alpha - \theta. }[/math]

The values of the trigonometric functions of these angles [math]\displaystyle{ \theta,\;\theta^{\prime} }[/math] for specific angles [math]\displaystyle{ \alpha }[/math] satisfy simple identities: either they are equal, or have opposite signs, or employ the complementary trigonometric function. These are also known as reduction formulae.[2]

[math]\displaystyle{ \theta }[/math] reflected in [math]\displaystyle{ \alpha = 0 }[/math][3]
odd/even identities
[math]\displaystyle{ \theta }[/math] reflected in [math]\displaystyle{ \alpha = \frac{\pi}{4} }[/math] [math]\displaystyle{ \theta }[/math] reflected in [math]\displaystyle{ \alpha = \frac{\pi}{2} }[/math] [math]\displaystyle{ \theta }[/math] reflected in [math]\displaystyle{ \alpha = \frac{3\pi}{4} }[/math] [math]\displaystyle{ \theta }[/math] reflected in [math]\displaystyle{ \alpha = \pi }[/math]
compare to [math]\displaystyle{ \alpha = 0 }[/math]
[math]\displaystyle{ \sin(-\theta) = -\sin \theta }[/math] [math]\displaystyle{ \sin\left(\tfrac{\pi}{2} - \theta\right) =\cos \theta }[/math] [math]\displaystyle{ \sin(\pi - \theta) = +\sin \theta }[/math] [math]\displaystyle{ \sin\left(\tfrac{3\pi}{2} - \theta\right) =-\cos \theta }[/math] [math]\displaystyle{ \sin(2\pi - \theta) = -\sin(\theta) = \sin(-\theta) }[/math]
[math]\displaystyle{ \cos(-\theta) =+ \cos \theta }[/math] [math]\displaystyle{ \cos\left(\tfrac{\pi}{2} - \theta\right) = \sin \theta }[/math] [math]\displaystyle{ \cos(\pi - \theta) = -\cos \theta }[/math] [math]\displaystyle{ \cos\left(\tfrac{3\pi}{2} - \theta\right) = -\sin \theta }[/math] [math]\displaystyle{ \cos(2\pi - \theta) = +\cos(\theta) = \cos(-\theta) }[/math]
[math]\displaystyle{ \tan(-\theta) = -\tan \theta }[/math] [math]\displaystyle{ \tan\left(\tfrac{\pi}{2} - \theta\right) = \cot \theta }[/math] [math]\displaystyle{ \tan(\pi - \theta) = -\tan \theta }[/math] [math]\displaystyle{ \tan\left(\tfrac{3\pi}{2} - \theta\right) = +\cot \theta }[/math] [math]\displaystyle{ \tan(2\pi - \theta) = -\tan(\theta) = \tan(-\theta) }[/math]
[math]\displaystyle{ \csc(-\theta) = -\csc \theta }[/math] [math]\displaystyle{ \csc\left(\tfrac{\pi}{2} - \theta\right) = \sec \theta }[/math] [math]\displaystyle{ \csc(\pi - \theta) =+ \csc \theta }[/math] [math]\displaystyle{ \csc\left(\tfrac{3\pi}{2} - \theta\right) = -\sec \theta }[/math] [math]\displaystyle{ \csc(2\pi - \theta) = -\csc(\theta) = \csc(-\theta) }[/math]
[math]\displaystyle{ \sec(-\theta) = +\sec \theta }[/math] [math]\displaystyle{ \sec\left(\tfrac{\pi}{2} - \theta\right) = \csc \theta }[/math] [math]\displaystyle{ \sec(\pi - \theta) = -\sec \theta }[/math] [math]\displaystyle{ \sec\left(\tfrac{3\pi}{2} - \theta\right) = -\csc \theta }[/math] [math]\displaystyle{ \sec(2\pi - \theta) = +\sec(\theta) = \sec(-\theta) }[/math]
[math]\displaystyle{ \cot(-\theta) = -\cot \theta }[/math] [math]\displaystyle{ \cot\left(\tfrac{\pi}{2} - \theta\right) = \tan \theta }[/math] [math]\displaystyle{ \cot(\pi - \theta) = -\cot \theta }[/math] [math]\displaystyle{ \cot\left(\tfrac{3\pi}{2} - \theta\right) = +\tan \theta }[/math] [math]\displaystyle{ \cot(2\pi - \theta) = -\cot(\theta) = \cot(-\theta) }[/math]

Shifts and periodicity

Unit circle with a swept angle theta plotted at coordinates (a,b). As the swept angle is incremented by one-half pi (90 degrees), the coordinates are transformed to (-b,a). Another increment of one-half pi (180 degrees total) transforms the coordinates to (-a,-b). A final increment of one-half pi (270 degrees total) transforms the coordinates to (b,a).
Transformation of coordinates (a,b) when shifting the angle [math]\displaystyle{ \theta }[/math] in increments of [math]\displaystyle{ \frac{\pi}{2} }[/math].
Shift by one quarter period Shift by one half period Shift by full periods[4] Period
[math]\displaystyle{ \sin(\theta \pm \tfrac{\pi}{2}) = \pm\cos \theta }[/math] [math]\displaystyle{ \sin(\theta + \pi) = -\sin \theta }[/math] [math]\displaystyle{ \sin(\theta + k\cdot 2\pi) = +\sin \theta }[/math] [math]\displaystyle{ 2\pi }[/math]
[math]\displaystyle{ \cos(\theta \pm \tfrac{\pi}{2}) = \mp\sin \theta }[/math] [math]\displaystyle{ \cos(\theta + \pi) = -\cos \theta }[/math] [math]\displaystyle{ \cos(\theta + k\cdot 2\pi) = +\cos \theta }[/math] [math]\displaystyle{ 2\pi }[/math]
[math]\displaystyle{ \csc(\theta \pm \tfrac{\pi}{2}) = \pm\sec \theta }[/math] [math]\displaystyle{ \csc(\theta + \pi) = -\csc \theta }[/math] [math]\displaystyle{ \csc(\theta + k\cdot 2\pi) = +\csc \theta }[/math] [math]\displaystyle{ 2\pi }[/math]
[math]\displaystyle{ \sec(\theta \pm \tfrac{\pi}{2}) = \mp\csc \theta }[/math] [math]\displaystyle{ \sec(\theta + \pi) = -\sec \theta }[/math] [math]\displaystyle{ \sec(\theta + k\cdot 2\pi) = +\sec \theta }[/math] [math]\displaystyle{ 2\pi }[/math]
[math]\displaystyle{ \tan(\theta \pm \tfrac{\pi}{4}) = \tfrac{\tan \theta \pm 1}{1\mp \tan \theta} }[/math] [math]\displaystyle{ \tan(\theta + \tfrac{\pi}{2}) = -\cot \theta }[/math] [math]\displaystyle{ \tan(\theta + k\cdot \pi) = +\tan \theta }[/math] [math]\displaystyle{ \pi }[/math]
[math]\displaystyle{ \cot(\theta \pm \tfrac{\pi}{4}) = \tfrac{\cot \theta \mp 1}{1\pm \cot \theta} }[/math] [math]\displaystyle{ \cot(\theta + \tfrac{\pi}{2}) = -\tan\theta }[/math] [math]\displaystyle{ \cot(\theta + k\cdot \pi) = +\cot \theta }[/math] [math]\displaystyle{ \pi }[/math]

Signs

The sign of trigonometric functions depends on quadrant of the angle. If [math]\displaystyle{ {-\pi} \lt \theta \leq \pi }[/math] and sgn is the sign function,

[math]\displaystyle{ \begin{align} \sgn(\sin \theta) = \sgn(\csc \theta) &= \begin{cases} +1 & \text{if}\ \ 0 \lt \theta \lt \pi \\ -1 & \text{if}\ \ {-\pi} \lt \theta \lt 0 \\ 0 & \text{if}\ \ \theta \in \{0, \pi \} \end{cases} \\[5mu] \sgn(\cos \theta) = \sgn(\sec \theta) &= \begin{cases} +1 & \text{if}\ \ {-\tfrac12\pi} \lt \theta \lt \tfrac12\pi \\ -1 & \text{if}\ \ {-\pi} \lt \theta \lt -\tfrac12\pi \ \ \text{or}\ \ \tfrac12\pi \lt \theta \lt \pi\\ 0 & \text{if}\ \ \theta \in \bigl\{{-\tfrac12\pi}, \tfrac12\pi \bigr\} \end{cases} \\[5mu] \sgn(\tan \theta) = \sgn(\cot \theta) &= \begin{cases} +1 & \text{if}\ \ {-\pi} \lt \theta \lt -\tfrac12\pi \ \ \text{or}\ \ 0 \lt \theta \lt \tfrac12\pi \\ -1 & \text{if}\ \ {-\tfrac12\pi} \lt \theta \lt 0 \ \ \text{or}\ \ \tfrac12\pi \lt \theta \lt \pi \\ 0 & \text{if}\ \ \theta \in \bigl\{{-\tfrac12\pi}, 0, \tfrac12\pi, \pi \bigr\} \end{cases} \end{align} }[/math]

The trigonometric functions are periodic with common period [math]\displaystyle{ 2\pi, }[/math] so for values of θ outside the interval [math]\displaystyle{ ({-\pi}, \pi], }[/math] they take repeating values (see § Shifts and periodicity above).

Angle sum and difference identities

Illustration of angle addition formulae for the sine and cosine of acute angles. Emphasized segment is of unit length.
Diagram showing the angle difference identities for [math]\displaystyle{ \sin(\alpha - \beta) }[/math] and [math]\displaystyle{ \cos(\alpha - \beta) }[/math].

These are also known as the angle addition and subtraction theorems (or formulae). [math]\displaystyle{ \begin{align} \sin(\alpha + \beta) &= \sin \alpha \cos \beta + \cos \alpha \sin \beta \\ \sin(\alpha - \beta) &= \sin \alpha \cos \beta - \cos \alpha \sin \beta \\ \cos(\alpha + \beta) &= \cos \alpha \cos \beta - \sin \alpha \sin \beta \\ \cos(\alpha - \beta) &= \cos \alpha \cos \beta + \sin \alpha \sin \beta \end{align} }[/math]

The angle difference identities for [math]\displaystyle{ \sin(\alpha - \beta) }[/math] and [math]\displaystyle{ \cos(\alpha - \beta) }[/math] can be derived from the angle sum versions by substituting [math]\displaystyle{ -\beta }[/math] for [math]\displaystyle{ \beta }[/math] and using the facts that [math]\displaystyle{ \sin(-\beta) = -\sin(\beta) }[/math] and [math]\displaystyle{ \cos(-\beta) = \cos(\beta) }[/math]. They can also be derived by using a slightly modified version of the figure for the angle sum identities, both of which are shown here.

These identities are summarized in the first two rows of the following table, which also includes sum and difference identities for the other trigonometric functions.

Sine [math]\displaystyle{ \sin(\alpha \pm \beta) }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \sin \alpha \cos \beta \pm \cos \alpha \sin \beta }[/math][5][6]
Cosine [math]\displaystyle{ \cos(\alpha \pm \beta) }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \cos \alpha \cos \beta \mp \sin \alpha \sin \beta }[/math][6][7]
Tangent [math]\displaystyle{ \tan(\alpha \pm \beta) }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \frac{\tan \alpha \pm \tan \beta}{1 \mp \tan \alpha \tan \beta} }[/math][6][8]
Cosecant [math]\displaystyle{ \csc(\alpha \pm \beta) }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \frac{\sec \alpha \sec \beta \csc \alpha \csc \beta}{\sec \alpha \csc \beta \pm \csc \alpha \sec \beta} }[/math][9]
Secant [math]\displaystyle{ \sec(\alpha \pm \beta) }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \frac{\sec \alpha \sec \beta \csc \alpha \csc \beta}{\csc \alpha \csc \beta \mp \sec \alpha \sec \beta} }[/math][9]
Cotangent [math]\displaystyle{ \cot(\alpha \pm \beta) }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \frac{\cot \alpha \cot \beta \mp 1}{\cot \beta \pm \cot \alpha} }[/math][6][10]
Arcsine [math]\displaystyle{ \arcsin x \pm \arcsin y }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \arcsin\left(x\sqrt{1-y^2} \pm y\sqrt{1-x^2}\right) }[/math][11]
Arccosine [math]\displaystyle{ \arccos x \pm \arccos y }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \arccos\left(xy \mp \sqrt{\left(1-x^2\right)\left(1-y^2\right)}\right) }[/math][12]
Arctangent [math]\displaystyle{ \arctan x \pm \arctan y }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \arctan\left(\frac{x \pm y}{1 \mp xy}\right) }[/math][13]
Arccotangent [math]\displaystyle{ \arccot x \pm \arccot y }[/math] [math]\displaystyle{ = }[/math] [math]\displaystyle{ \arccot\left(\frac{xy \mp 1}{y \pm x}\right) }[/math]

Sines and cosines of sums of infinitely many angles

When the series [math]\displaystyle{ \sum_{i=1}^\infty \theta_i }[/math] converges absolutely then

[math]\displaystyle{ \begin{align} {\sin}\biggl(\sum_{i=1}^\infty \theta_i\biggl) &= \sum_{\text{odd}\ k \ge 1} (-1)^\frac{k-1}{2} \!\! \sum_{\begin{smallmatrix} A \subseteq \{\,1,2,3,\dots\,\} \\ \left|A\right| = k\end{smallmatrix}} \biggl(\prod_{i \in A} \sin\theta_i \prod_{i \not \in A} \cos\theta_i\biggr) \\ {\cos}\biggl(\sum_{i=1}^\infty \theta_i\biggr) &= \sum_{\text{even}\ k \ge 0} (-1)^\frac{k}{2} \, \sum_{\begin{smallmatrix} A \subseteq \{\,1,2,3,\dots\,\} \\ \left|A\right| = k\end{smallmatrix}} \biggl(\prod_{i \in A} \sin\theta_i \prod_{i \not \in A} \cos\theta_i\biggr) . \end{align} }[/math]

Because the series [math]\displaystyle{ \sum_{i=1}^\infty \theta_i }[/math] converges absolutely, it is necessarily the case that [math]\displaystyle{ \lim_{i \to \infty} \theta_i = 0, }[/math] [math]\displaystyle{ \lim_{i \to \infty} \sin \theta_i = 0, }[/math] and [math]\displaystyle{ \lim_{i \to \infty} \cos \theta_i = 1. }[/math] In particular, in these two identities an asymmetry appears that is not seen in the case of sums of finitely many angles: in each product, there are only finitely many sine factors but there are cofinitely many cosine factors. Terms with infinitely many sine factors would necessarily be equal to zero.

When only finitely many of the angles [math]\displaystyle{ \theta_i }[/math] are nonzero then only finitely many of the terms on the right side are nonzero because all but finitely many sine factors vanish. Furthermore, in each term all but finitely many of the cosine factors are unity.

Tangents and cotangents of sums

Let [math]\displaystyle{ e_k }[/math] (for [math]\displaystyle{ k = 0, 1, 2, 3, \ldots }[/math]) be the kth-degree elementary symmetric polynomial in the variables [math]\displaystyle{ x_i = \tan \theta_i }[/math] for [math]\displaystyle{ i = 0, 1, 2, 3, \ldots, }[/math] that is,

[math]\displaystyle{ \begin{align} e_0 &= 1 \\[6pt] e_1 &= \sum_i x_i &&= \sum_i \tan\theta_i \\[6pt] e_2 &= \sum_{i\lt j} x_i x_j &&= \sum_{i\lt j} \tan\theta_i \tan\theta_j \\[6pt] e_3 &= \sum_{i\lt j\lt k} x_i x_j x_k &&= \sum_{i\lt j\lt k} \tan\theta_i \tan\theta_j \tan\theta_k \\ &\ \ \vdots &&\ \ \vdots \end{align} }[/math]

Then

[math]\displaystyle{ \begin{align} {\tan}\Bigl(\sum_i \theta_i\Bigr) &= \frac{{\sin}\bigl(\sum_i \theta_i\bigr) / \prod_i \cos \theta_i} {{\cos}\bigl(\sum_i \theta_i\bigr) / \prod_i \cos \theta_i} \\ &= \frac {\displaystyle \sum_{\text{odd}\ k \ge 1} (-1)^\frac{k-1}{2} \sum_{ \begin{smallmatrix} A \subseteq \{1,2,3,\dots\} \\ \left|A\right| = k\end{smallmatrix}} \prod_{i \in A} \tan\theta_i} {\displaystyle \sum_{\text{even}\ k \ge 0} ~ (-1)^\frac{k}{2} ~~ \sum_{ \begin{smallmatrix} A \subseteq \{1,2,3,\dots\} \\ \left|A\right| = k\end{smallmatrix}} \prod_{i \in A} \tan\theta_i} = \frac{e_1 - e_3 + e_5 -\cdots}{e_0 - e_2 + e_4 - \cdots} \\ {\cot}\Bigl(\sum_i \theta_i\Bigr) &= \frac{e_0 - e_2 + e_4 - \cdots}{e_1 - e_3 + e_5 -\cdots} \end{align} }[/math]

using the sine and cosine sum formulae above.

The number of terms on the right side depends on the number of terms on the left side.

For example: [math]\displaystyle{ \begin{align} \tan(\theta_1 + \theta_2) & = \frac{ e_1 }{ e_0 - e_2 } = \frac{ x_1 + x_2 }{ 1 \ - \ x_1 x_2 } = \frac{ \tan\theta_1 + \tan\theta_2 }{ 1 \ - \ \tan\theta_1 \tan\theta_2 }, \\[8pt] \tan(\theta_1 + \theta_2 + \theta_3) & = \frac{ e_1 - e_3 }{ e_0 - e_2 } = \frac{ (x_1 + x_2 + x_3) \ - \ (x_1 x_2 x_3) }{ 1 \ - \ (x_1x_2 + x_1 x_3 + x_2 x_3) }, \\[8pt] \tan(\theta_1 + \theta_2 + \theta_3 + \theta_4) & = \frac{ e_1 - e_3 }{ e_0 - e_2 + e_4 } \\[8pt] & = \frac{ (x_1 + x_2 + x_3 + x_4) \ - \ (x_1 x_2 x_3 + x_1 x_2 x_4 + x_1 x_3 x_4 + x_2 x_3 x_4) }{ 1 \ - \ (x_1 x_2 + x_1 x_3 + x_1 x_4 + x_2 x_3 + x_2 x_4 + x_3 x_4) \ + \ (x_1 x_2 x_3 x_4) }, \end{align} }[/math]

and so on. The case of only finitely many terms can be proved by mathematical induction.[14]

Secants and cosecants of sums

[math]\displaystyle{ \begin{align} {\sec}\Bigl(\sum_i \theta_i \Bigr) &= \frac{\prod_i \sec\theta_i}{e_0 - e_2 + e_4 - \cdots} \\[8pt] {\csc}\Bigl(\sum_i \theta_i \Bigr) &= \frac{\prod_i \sec\theta_i }{e_1 - e_3 + e_5 - \cdots} \end{align} }[/math]

where [math]\displaystyle{ e_k }[/math] is the kth-degree elementary symmetric polynomial in the n variables [math]\displaystyle{ x_i = \tan \theta_i, }[/math] [math]\displaystyle{ i = 1, \ldots, n, }[/math] and the number of terms in the denominator and the number of factors in the product in the numerator depend on the number of terms in the sum on the left.[15] The case of only finitely many terms can be proved by mathematical induction on the number of such terms.

For example,

[math]\displaystyle{ \begin{align} \sec(\alpha+\beta+\gamma) &= \frac{\sec\alpha \sec\beta \sec\gamma} {1 - \tan\alpha\tan\beta - \tan\alpha\tan\gamma - \tan\beta\tan\gamma} \\[8pt] \csc(\alpha+\beta+\gamma) &= \frac{\sec\alpha \sec\beta \sec\gamma} {\tan\alpha + \tan\beta + \tan\gamma - \tan\alpha\tan\beta\tan\gamma}. \end{align} }[/math]

Ptolemy's theorem

Main page: Ptolemy's theorem
Diagram illustrating the relation between Ptolemy's theorem and the angle sum trig identity for sine. Ptolemy's theorem states that the sum of the products of the lengths of opposite sides is equal to the product of the lengths of the diagonals. When those side-lengths are expressed in terms of the sin and cos values shown in the figure above, this yields the angle sum trigonometric identity for sine: sin(α + β) = sin α cos β + cos α sin β.

Ptolemy's theorem is important in the history of trigonometric identities, as it is how results equivalent to the sum and difference formulas for sine and cosine were first proved. It states that in a cyclic quadrilateral [math]\displaystyle{ ABCD }[/math], as shown in the accompanying figure, the sum of the products of the lengths of opposite sides is equal to the product of the lengths of the diagonals. In the special cases of one of the diagonals or sides being a diameter of the circle, this theorem gives rise directly to the angle sum and difference trigonometric identities.[16] The relationship follows most easily when the circle is constructed to have a diameter of length one, as shown here.

By Thales's theorem, [math]\displaystyle{ \angle DAB }[/math] and [math]\displaystyle{ \angle DCB }[/math] are both right angles. The right-angled triangles [math]\displaystyle{ DAB }[/math] and [math]\displaystyle{ DCB }[/math] both share the hypotenuse [math]\displaystyle{ \overline{BD} }[/math] of length 1. Thus, the side [math]\displaystyle{ \overline{AB} = \sin \alpha }[/math], [math]\displaystyle{ \overline{AD} = \cos \alpha }[/math], [math]\displaystyle{ \overline{BC} = \sin \beta }[/math] and [math]\displaystyle{ \overline{CD} = \cos \beta }[/math].

By the inscribed angle theorem, the central angle subtended by the chord [math]\displaystyle{ \overline{AC} }[/math] at the circle's center is twice the angle [math]\displaystyle{ \angle ADC }[/math], i.e. [math]\displaystyle{ 2(\alpha + \beta) }[/math]. Therefore, the symmetrical pair of red triangles each has the angle [math]\displaystyle{ \alpha + \beta }[/math] at the center. Each of these triangles has a hypotenuse of length [math]\displaystyle{ \frac{1}{2} }[/math], so the length of [math]\displaystyle{ \overline{AC} }[/math] is [math]\displaystyle{ 2 \times \frac{1}{2} \sin(\alpha + \beta) }[/math], i.e. simply [math]\displaystyle{ \sin(\alpha + \beta) }[/math]. The quadrilateral's other diagonal is the diameter of length 1, so the product of the diagonals' lengths is also [math]\displaystyle{ \sin(\alpha + \beta) }[/math].

When these values are substituted into the statement of Ptolemy's theorem that [math]\displaystyle{ |\overline{AC}|\cdot |\overline{BD}|=|\overline{AB}|\cdot |\overline{CD}|+|\overline{AD}|\cdot |\overline{BC}| }[/math], this yields the angle sum trigonometric identity for sine: [math]\displaystyle{ \sin(\alpha + \beta) = \sin \alpha \cos \beta + \cos \alpha \sin \beta }[/math]. The angle difference formula for [math]\displaystyle{ \sin(\alpha - \beta) }[/math] can be similarly derived by letting the side [math]\displaystyle{ \overline{CD} }[/math] serve as a diameter instead of [math]\displaystyle{ \overline{BD} }[/math].[16]

Multiple-angle and half-angle formulae

Tn is the nth Chebyshev polynomial [math]\displaystyle{ \cos (n\theta) = T_n (\cos \theta ) }[/math][17]
de Moivre's formula, i is the imaginary unit [math]\displaystyle{ \cos (n\theta) +i\sin (n\theta)=(\cos \theta +i\sin \theta)^n }[/math][18]

Multiple-angle formulae

Double-angle formulae

Visual demonstration of the double-angle formula for sine. The area, 1/2 × base × height, of an isosceles triangle is calculated, first when upright, and then on its side. When upright, the area = [math]\displaystyle{ \sin \theta \cos \theta }[/math]. When on its side, the area = [math]\displaystyle{ \frac{1}{2} \sin 2\theta }[/math]. Rotating the triangle does not change its area, so these two expressions are equal. Therefore, [math]\displaystyle{ \sin 2\theta = 2 \sin \theta \cos \theta. }[/math]

Formulae for twice an angle.[19]

  • [math]\displaystyle{ \sin (2\theta) = 2 \sin \theta \cos \theta = (\sin \theta +\cos \theta)^2 - 1 = \frac{2 \tan \theta} {1 + \tan^2 \theta} }[/math]
  • [math]\displaystyle{ \cos (2\theta) = \cos^2 \theta - \sin^2 \theta = 2 \cos^2 \theta - 1 = 1 - 2 \sin^2 \theta = \frac{1 - \tan^2 \theta} {1 + \tan^2 \theta} }[/math]
  • [math]\displaystyle{ \tan (2\theta) = \frac{2 \tan \theta} {1 - \tan^2 \theta} }[/math]
  • [math]\displaystyle{ \cot (2\theta) = \frac{\cot^2 \theta - 1}{2 \cot \theta} = \frac{1 - \tan^2 \theta} {2 \tan \theta} }[/math]
  • [math]\displaystyle{ \sec (2\theta) = \frac{\sec^2 \theta}{2 - \sec^2 \theta} = \frac{1 + \tan^2 \theta} {1 - \tan^2 \theta} }[/math]
  • [math]\displaystyle{ \csc (2\theta) = \frac{\sec \theta \csc \theta}{2} = \frac{1 + \tan^2 \theta} {2 \tan \theta} }[/math]

Triple-angle formulae

Formulae for triple angles.[19]

  • [math]\displaystyle{ \sin (3\theta) =3\sin\theta - 4\sin^3\theta = 4\sin\theta\sin\left(\frac{\pi}{3} -\theta\right)\sin\left(\frac{\pi}{3} + \theta\right) }[/math]
  • [math]\displaystyle{ \cos (3\theta) = 4 \cos^3\theta - 3 \cos\theta =4\cos\theta\cos\left(\frac{\pi}{3} -\theta\right)\cos\left(\frac{\pi}{3} + \theta\right) }[/math]
  • [math]\displaystyle{ \tan (3\theta) = \frac{3 \tan\theta - \tan^3\theta}{1 - 3 \tan^2\theta} = \tan \theta\tan\left(\frac{\pi}{3} - \theta\right)\tan\left(\frac{\pi}{3} + \theta\right) }[/math]
  • [math]\displaystyle{ \cot (3\theta) = \frac{3 \cot\theta - \cot^3\theta}{1 - 3 \cot^2\theta} }[/math]
  • [math]\displaystyle{ \sec (3\theta) = \frac{\sec^3\theta}{4-3\sec^2\theta} }[/math]
  • [math]\displaystyle{ \csc (3\theta) = \frac{\csc^3\theta}{3\csc^2\theta-4} }[/math]

Multiple-angle formulae

Formulae for multiple angles.[20]

  • [math]\displaystyle{ \begin{align} \sin(n\theta) &= \sum_{k\text{ odd}} (-1)^\frac{k-1}{2} {n \choose k}\cos^{n-k} \theta \sin^k \theta = \sin\theta\sum_{i=0}^{(n+1)/2}\sum_{j=0}^{i} (-1)^{i-j} {n \choose 2i + 1}{i \choose j} \cos^{n-2(i-j)-1} \theta \\ {}&=2^{(n-1)} \prod_{k=0}^{n-1} \sin(k\pi/n+\theta) \end{align} }[/math]
  • [math]\displaystyle{ \cos(n\theta) = \sum_{k\text{ even}} (-1)^\frac{k}{2} {n \choose k}\cos^{n-k} \theta \sin^k \theta = \sum_{i=0}^{n/2}\sum_{j=0}^{i} (-1)^{i-j} {n \choose 2i}{i \choose j} \cos^{n-2(i-j)} \theta }[/math]
  • [math]\displaystyle{ \cos((2n+1)\theta)=(-1)^n 2^{2n}\prod_{k=0}^{2n}\cos(k\pi/(2n+1)-\theta) }[/math]
  • [math]\displaystyle{ \cos(2 n \theta)=(-1)^n 2^{2n-1} \prod_{k=0}^{2n-1} \cos((1+2k)\pi/(4n)-\theta) }[/math]
  • [math]\displaystyle{ \tan(n\theta) = \frac{\sum_{k\text{ odd}} (-1)^\frac{k-1}{2} {n \choose k}\tan^k \theta}{\sum_{k\text{ even}} (-1)^\frac{k}{2} {n \choose k}\tan^k \theta} }[/math]

Chebyshev method

The Chebyshev method is a recursive algorithm for finding the nth multiple angle formula knowing the [math]\displaystyle{ (n-1) }[/math]th and [math]\displaystyle{ (n-2) }[/math]th values.[21]

[math]\displaystyle{ \cos(nx) }[/math] can be computed from [math]\displaystyle{ \cos((n-1)x) }[/math], [math]\displaystyle{ \cos((n-2)x) }[/math], and [math]\displaystyle{ \cos(x) }[/math] with

[math]\displaystyle{ \cos(nx)=2 \cos x \cos((n-1)x) - \cos((n-2)x). }[/math]

This can be proved by adding together the formulae

[math]\displaystyle{ \begin{align} \cos ((n-1)x + x) &= \cos ((n-1)x) \cos x-\sin ((n-1)x) \sin x \\ \cos ((n-1)x - x) &= \cos ((n-1)x) \cos x+\sin ((n-1)x) \sin x \end{align} }[/math]

It follows by induction that [math]\displaystyle{ \cos(nx) }[/math] is a polynomial of [math]\displaystyle{ \cos x, }[/math] the so-called Chebyshev polynomial of the first kind, see Chebyshev polynomials.

Similarly, [math]\displaystyle{ \sin(nx) }[/math] can be computed from [math]\displaystyle{ \sin((n-1)x), }[/math] [math]\displaystyle{ \sin((n-2)x), }[/math] and [math]\displaystyle{ \cos x }[/math] with [math]\displaystyle{ \sin(nx)=2 \cos x \sin((n-1)x)-\sin((n-2)x) }[/math] This can be proved by adding formulae for [math]\displaystyle{ \sin((n-1)x+x) }[/math] and [math]\displaystyle{ \sin((n-1)x-x). }[/math]

Serving a purpose similar to that of the Chebyshev method, for the tangent we can write:

[math]\displaystyle{ \tan (nx) = \frac{\tan ((n-1)x) + \tan x}{1- \tan ((n-1)x) \tan x}\,. }[/math]

Half-angle formulae

[math]\displaystyle{ \begin{align} \sin \frac{\theta}{2} &= \sgn\left(\sin\frac\theta2\right) \sqrt{\frac{1 - \cos \theta}{2}} \\[3pt] \cos \frac{\theta}{2} &= \sgn\left(\cos\frac\theta2\right) \sqrt{\frac{1 + \cos\theta}{2}} \\[3pt] \tan \frac{\theta}{2} &= \frac{1 - \cos \theta}{\sin \theta} = \frac{\sin \theta}{1 + \cos \theta} = \csc \theta - \cot \theta = \frac{\tan\theta}{1 + \sec{\theta}} \\[6mu] &= \sgn(\sin \theta) \sqrt\frac{1 - \cos \theta}{1 + \cos \theta} = \frac{-1 + \sgn(\cos \theta) \sqrt{1+\tan^2\theta}}{\tan\theta} \\[3pt] \cot \frac{\theta}{2} &= \frac{1 + \cos \theta}{\sin \theta} = \frac{\sin \theta}{1 - \cos \theta} = \csc \theta + \cot \theta = \sgn(\sin \theta) \sqrt\frac{1 + \cos \theta}{1 - \cos \theta} \\ \sec \frac{\theta}{2} &= \sgn\left(\cos\frac\theta2\right) \sqrt{\frac{2}{1 + \cos\theta}} \\ \csc \frac{\theta}{2} &= \sgn\left(\sin\frac\theta2\right) \sqrt{\frac{2}{1 - \cos\theta}} \\ \end{align} }[/math] [22][23]

Also [math]\displaystyle{ \begin{align} \tan\frac{\eta\pm\theta}{2} &= \frac{\sin\eta \pm \sin\theta}{\cos\eta + \cos\theta} \\[3pt] \tan\left(\frac{\theta}{2} + \frac{\pi}{4}\right) &= \sec\theta + \tan\theta \\[3pt] \sqrt{\frac{1 - \sin\theta}{1 + \sin\theta}} &= \frac{\left|1 - \tan\frac{\theta}{2}\right|}{\left|1 + \tan\frac{\theta}{2}\right|} \end{align} }[/math]

Table

These can be shown by using either the sum and difference identities or the multiple-angle formulae.

Sine Cosine Tangent Cotangent
Double-angle formula[24][25] [math]\displaystyle{ \begin{align} \sin (2\theta) &= 2 \sin \theta \cos \theta \ \\ &= \frac{2 \tan \theta} {1 + \tan^2 \theta} \end{align} }[/math] [math]\displaystyle{ \begin{align} \cos (2\theta) &= \cos^2 \theta - \sin^2 \theta \\ &= 2 \cos^2 \theta - 1 \\ &= 1 - 2 \sin^2 \theta \\ &= \frac{1 - \tan^2 \theta} {1 + \tan^2 \theta} \end{align} }[/math] [math]\displaystyle{ \tan (2\theta) = \frac{2 \tan \theta} {1 - \tan^2 \theta} }[/math] [math]\displaystyle{ \cot (2\theta) = \frac{\cot^2 \theta - 1}{2 \cot \theta} }[/math]
Triple-angle formula[17][26] [math]\displaystyle{ \begin{align} \sin (3\theta) &= - \sin^3\theta + 3 \cos^2\theta \sin\theta\\ &= - 4\sin^3\theta + 3\sin\theta \end{align} }[/math] [math]\displaystyle{ \begin{align} \cos (3\theta) &= \cos^3\theta - 3 \sin^2 \theta\cos \theta \\ &= 4 \cos^3\theta - 3 \cos\theta \end{align} }[/math] [math]\displaystyle{ \tan (3\theta) = \frac{3 \tan\theta - \tan^3\theta}{1 - 3 \tan^2\theta} }[/math] [math]\displaystyle{ \cot (3\theta) = \frac{3 \cot\theta - \cot^3\theta}{1 - 3 \cot^2\theta} }[/math]
Half-angle formula[22][23] [math]\displaystyle{ \begin{align} &\sin \frac{\theta}{2} = \sgn\left(\sin\frac\theta2\right) \sqrt{\frac{1 - \cos \theta}{2}} \\ \\ &\left(\text{or }\sin^2\frac{\theta}{2} = \frac{1 - \cos\theta}{2}\right) \end{align} }[/math] [math]\displaystyle{ \begin{align} &\cos \frac{\theta}{2} = \sgn\left(\cos\frac\theta2\right) \sqrt{\frac{1 + \cos\theta}{2}} \\ \\ &\left(\text{or } \cos^2\frac{\theta}{2} = \frac{1 + \cos\theta}{2}\right) \end{align} }[/math] [math]\displaystyle{ \begin{align} \tan \frac{\theta}{2} &= \csc \theta - \cot \theta \\ &= \pm\, \sqrt\frac{1 - \cos \theta}{1 + \cos \theta} \\[3pt] &= \frac{\sin \theta}{1 + \cos \theta} \\[3pt] &= \frac{1 - \cos \theta}{\sin \theta} \\[5pt] \tan\frac{\eta + \theta}{2} &= \frac{\sin\eta + \sin\theta}{\cos\eta + \cos\theta} \\[5pt] \tan\left(\frac{\theta}{2} + \frac{\pi}{4}\right) &= \sec\theta + \tan\theta \\[5pt] \sqrt{\frac{1 - \sin\theta}{1 + \sin\theta}} &= \frac{\left|1 - \tan\frac{\theta}{2}\right|}{\left|1 + \tan\frac{\theta}{2}\right|} \\[5pt] \tan\frac{\theta}{2} &= \frac{\tan\theta}{1 + \sqrt{1 + \tan^2\theta}} \\ &\text{for } \theta \in \left(-\tfrac{\pi}{2},\tfrac{\pi}{2} \right) \end{align} }[/math] [math]\displaystyle{ \begin{align} \cot \frac{\theta}{2} &= \csc \theta + \cot \theta \\ &= \pm\, \sqrt\frac{1 + \cos \theta}{1 - \cos \theta} \\[3pt] &= \frac{\sin \theta}{1 - \cos \theta} \\[4pt] &= \frac{1 + \cos \theta}{\sin \theta} \end{align} }[/math]

The fact that the triple-angle formula for sine and cosine only involves powers of a single function allows one to relate the geometric problem of a compass and straightedge construction of angle trisection to the algebraic problem of solving a cubic equation, which allows one to prove that trisection is in general impossible using the given tools, by field theory.[citation needed]

A formula for computing the trigonometric identities for the one-third angle exists, but it requires finding the zeroes of the cubic equation 4x3 − 3x + d = 0, where [math]\displaystyle{ x }[/math] is the value of the cosine function at the one-third angle and d is the known value of the cosine function at the full angle. However, the discriminant of this equation is positive, so this equation has three real roots (of which only one is the solution for the cosine of the one-third angle). None of these solutions is reducible to a real algebraic expression, as they use intermediate complex numbers under the cube roots.

Power-reduction formulae

Obtained by solving the second and third versions of the cosine double-angle formula.

Sine Cosine Other
[math]\displaystyle{ \sin^2\theta = \frac{1 - \cos (2\theta)}{2} }[/math] [math]\displaystyle{ \cos^2\theta = \frac{1 + \cos (2\theta)}{2} }[/math] [math]\displaystyle{ \sin^2\theta \cos^2\theta = \frac{1 - \cos (4\theta)}{8} }[/math]
[math]\displaystyle{ \sin^3\theta = \frac{3 \sin\theta - \sin (3\theta)}{4} }[/math] [math]\displaystyle{ \cos^3\theta = \frac{3 \cos\theta + \cos (3\theta)}{4} }[/math] [math]\displaystyle{ \sin^3\theta \cos^3\theta = \frac{3\sin (2\theta) - \sin (6\theta)}{32} }[/math]
[math]\displaystyle{ \sin^4\theta = \frac{3 - 4 \cos (2\theta) + \cos (4\theta)}{8} }[/math] [math]\displaystyle{ \cos^4\theta = \frac{3 + 4 \cos (2\theta) + \cos (4\theta)}{8} }[/math] [math]\displaystyle{ \sin^4\theta \cos^4\theta = \frac{3-4\cos (4\theta) + \cos (8\theta)}{128} }[/math]
[math]\displaystyle{ \sin^5\theta = \frac{10 \sin\theta - 5 \sin (3\theta) + \sin (5\theta)}{16} }[/math] [math]\displaystyle{ \cos^5\theta = \frac{10 \cos\theta + 5 \cos (3\theta) + \cos (5\theta)}{16} }[/math] [math]\displaystyle{ \sin^5\theta \cos^5\theta = \frac{10\sin (2\theta) - 5\sin (6\theta) + \sin (10\theta)}{512} }[/math]
Cosine power-reduction formula: an illustrative diagram. The red, orange and blue triangles are all similar, and the red and orange triangles are congruent. The hypotenuse [math]\displaystyle{ \overline{AD} }[/math] of the blue triangle has length [math]\displaystyle{ 2 \cos \theta }[/math]. The angle [math]\displaystyle{ \angle DAE }[/math] is [math]\displaystyle{ \theta }[/math], so the base [math]\displaystyle{ \overline{AE} }[/math] of that triangle has length [math]\displaystyle{ 2 \cos^2 \theta }[/math]. That length is also equal to the summed lengths of [math]\displaystyle{ \overline{BD} }[/math] and [math]\displaystyle{ \overline{AF} }[/math], i.e. [math]\displaystyle{ 1 + \cos (2\theta) }[/math]. Therefore, [math]\displaystyle{ 2 \cos^2\theta = 1 + \cos (2\theta) }[/math]. Dividing both sides by [math]\displaystyle{ 2 }[/math] yields the power-reduction formula for cosine: [math]\displaystyle{ \cos^2\theta = }[/math] [math]\displaystyle{ \frac{1}{2}(1 + \cos (2\theta)) }[/math]. The half-angle formula for cosine can be obtained by replacing [math]\displaystyle{ \theta }[/math] with [math]\displaystyle{ \theta/2 }[/math] and taking the square-root of both sides: [math]\displaystyle{ \cos \left(\theta / 2\right) = \pm \sqrt{\left(1 + \cos \theta\right) /2}. }[/math]
Sine power-reduction formula: an illustrative diagram. The shaded blue and green triangles, and the red-outlined triangle [math]\displaystyle{ EBD }[/math] are all right-angled and similar, and all contain the angle [math]\displaystyle{ \theta }[/math]. The hypotenuse [math]\displaystyle{ \overline{BD} }[/math] of the red-outlined triangle has length [math]\displaystyle{ 2 \sin \theta }[/math], so its side [math]\displaystyle{ \overline{DE} }[/math] has length [math]\displaystyle{ 2 \sin^2 \theta }[/math]. The line segment [math]\displaystyle{ \overline{AE} }[/math] has length [math]\displaystyle{ \cos 2 \theta }[/math] and sum of the lengths of [math]\displaystyle{ \overline{AE} }[/math] and [math]\displaystyle{ \overline{DE} }[/math] equals the length of [math]\displaystyle{ \overline{AD} }[/math], which is 1. Therefore, [math]\displaystyle{ \cos 2 \theta + 2 \sin^2 \theta = 1 }[/math]. Subtracting [math]\displaystyle{ \cos 2 \theta }[/math] from both sides and dividing by 2 by two yields the power-reduction formula for sine: [math]\displaystyle{ \sin^2 \theta = }[/math] [math]\displaystyle{ \frac{1}{2} (1 - \cos (2\theta)) }[/math]. The half-angle formula for sine can be obtained by replacing [math]\displaystyle{ \theta }[/math] with [math]\displaystyle{ \theta/2 }[/math] and taking the square-root of both sides: [math]\displaystyle{ \sin \left(\theta/2\right) = \pm \sqrt{\left(1 - \cos \theta\right)/2}. }[/math] Note that this figure also illustrates, in the vertical line segment [math]\displaystyle{ \overline{EB} }[/math], that [math]\displaystyle{ \sin 2 \theta = 2 \sin \theta \cos \theta }[/math].

In general terms of powers of [math]\displaystyle{ \sin \theta }[/math] or [math]\displaystyle{ \cos \theta }[/math] the following is true, and can be deduced using De Moivre's formula, Euler's formula and the binomial theorem.

if n is ... [math]\displaystyle{ \cos^n \theta }[/math] [math]\displaystyle{ \sin^n \theta }[/math]
n is odd [math]\displaystyle{ \cos^n\theta = \frac{2}{2^n} \sum_{k=0}^{\frac{n-1}{2}} \binom{n}{k} \cos{\big((n-2k)\theta\big)} }[/math] [math]\displaystyle{ \sin^n\theta = \frac{2}{2^n} \sum_{k=0}^{\frac{n-1}{2}} (-1)^{\left(\frac{n-1}{2}-k\right)} \binom{n}{k} \sin{\big((n-2k)\theta\big)} }[/math]
n is even [math]\displaystyle{ \cos^n\theta = \frac{1}{2^n} \binom{n}{\frac{n}{2}} + \frac{2}{2^n} \sum_{k=0}^{\frac{n}{2}-1} \binom{n}{k} \cos{\big((n-2k)\theta\big)} }[/math] [math]\displaystyle{ \sin^n\theta = \frac{1}{2^n} \binom{n}{\frac{n}{2}} + \frac{2}{2^n} \sum_{k=0}^{\frac{n}{2}-1} (-1)^{\left(\frac{n}{2}-k\right)} \binom{n}{k} \cos{\big((n-2k)\theta\big)} }[/math]

Product-to-sum and sum-to-product identities

The product-to-sum identities[27] or prosthaphaeresis formulae can be proven by expanding their right-hand sides using the angle addition theorems. Historically, the first four of these were known as Werner's formulas, after Johannes Werner who used them for astronomical calculations.[28] See amplitude modulation for an application of the product-to-sum formulae, and beat (acoustics) and phase detector for applications of the sum-to-product formulae.

Product-to-sum identities

  • [math]\displaystyle{ \cos \theta\, \cos \varphi = {\cos(\theta - \varphi) + \cos(\theta + \varphi) \over 2} }[/math]
  • [math]\displaystyle{ \sin \theta\, \sin \varphi = {\cos(\theta - \varphi) - \cos(\theta + \varphi) \over 2} }[/math]
  • [math]\displaystyle{ \sin \theta\, \cos \varphi = {\sin(\theta + \varphi) + \sin(\theta - \varphi) \over 2} }[/math]
  • [math]\displaystyle{ \cos \theta\, \sin \varphi = {\sin(\theta + \varphi) - \sin(\theta - \varphi) \over 2} }[/math]
  • [math]\displaystyle{ \tan \theta\, \tan \varphi =\frac{\cos(\theta-\varphi)-\cos(\theta+\varphi)}{\cos(\theta-\varphi)+\cos(\theta+\varphi)} }[/math]
  • [math]\displaystyle{ \tan \theta\, \cot \varphi = \frac{\sin(\theta + \varphi) + \sin(\theta - \varphi)}{\sin(\theta + \varphi) - \sin(\theta - \varphi)} }[/math]
  • [math]\displaystyle{ \begin{align} \prod_{k=1}^n \cos \theta_k & = \frac{1}{2^n}\sum_{e\in S} \cos(e_1\theta_1+\cdots+e_n\theta_n) \\[6pt] & \text{where }e = (e_1,\ldots,e_n) \in S=\{1,-1\}^n \end{align} }[/math]
  • [math]\displaystyle{ \prod_{k=1}^n \sin\theta_k=\frac{(-1)^{\left\lfloor\frac {n}{2}\right\rfloor}}{2^n}\begin{cases} \displaystyle\sum_{e\in S}\cos(e_1\theta_1+\cdots+e_n\theta_n)\prod_{j=1}^n e_j \;\text{if}\; n\; \text{is even},\\ \displaystyle\sum_{e\in S}\sin(e_1\theta_1+\cdots+e_n\theta_n)\prod_{j=1}^n e_j \;\text{if}\; n\; \text{is odd} \end{cases} }[/math]

Sum-to-product identities

Diagram illustrating sum-to-product identities for sine and cosine. The blue right-angled triangle has angle [math]\displaystyle{ \theta }[/math] and the red right-angled triangle has angle [math]\displaystyle{ \varphi }[/math]. Both have a hypotenuse of length 1. Auxiliary angles, here called [math]\displaystyle{ p }[/math] and [math]\displaystyle{ q }[/math], are constructed such that [math]\displaystyle{ p=(\theta+\varphi)/2 }[/math] and [math]\displaystyle{ q=(\theta-\varphi)/2 }[/math]. Therefore, [math]\displaystyle{ \theta = p+q }[/math] and [math]\displaystyle{ \varphi = p-q }[/math]. This allows the two congruent purple-outline triangles [math]\displaystyle{ AFG }[/math] and [math]\displaystyle{ FCE }[/math] to be constructed, each with hypotenuse [math]\displaystyle{ \cos q }[/math] and angle [math]\displaystyle{ p }[/math] at their base. The sum of the heights of the red and blue triangles is [math]\displaystyle{ \sin \theta + \sin \varphi }[/math], and this is equal to twice the height of one purple triangle, i.e. [math]\displaystyle{ 2 \sin p \cos q }[/math]. Writing [math]\displaystyle{ p }[/math] and [math]\displaystyle{ q }[/math] in that equation in terms of [math]\displaystyle{ \theta }[/math] and [math]\displaystyle{ \varphi }[/math] yields a sum-to-product identity for sine: [math]\displaystyle{ \sin \theta + \sin \varphi = 2 \sin\left( \frac{\theta + \varphi}{2} \right) \cos\left( \frac{\theta - \varphi}{2} \right) }[/math]. Similarly, the sum of the widths of the red and blue triangles yields the corresponding identity for cosine.

The sum-to-product identities are as follows:[29]

  • [math]\displaystyle{ \sin \theta \pm \sin \varphi = 2 \sin\left( \frac{\theta \pm \varphi}{2} \right) \cos\left( \frac{\theta \mp \varphi}{2} \right) }[/math]
  • [math]\displaystyle{ \cos \theta + \cos \varphi = 2 \cos\left( \frac{\theta + \varphi} {2} \right) \cos\left( \frac{\theta - \varphi}{2} \right) }[/math]
  • [math]\displaystyle{ \cos \theta - \cos \varphi = -2\sin\left( \frac{\theta + \varphi}{2}\right) \sin\left(\frac{\theta - \varphi}{2}\right) }[/math]
  • [math]\displaystyle{ \tan\theta\pm\tan\varphi=\frac{\sin(\theta\pm \varphi)}{\cos\theta\,\cos\varphi} }[/math]

Hermite's cotangent identity

Main page: Hermite's cotangent identity

Charles Hermite demonstrated the following identity.[30] Suppose [math]\displaystyle{ a_1, \ldots, a_n }[/math] are complex numbers, no two of which differ by an integer multiple of π. Let

[math]\displaystyle{ A_{n,k} = \prod_{\begin{smallmatrix} 1 \le j \le n \\ j \neq k \end{smallmatrix}} \cot(a_k - a_j) }[/math]

(in particular, [math]\displaystyle{ A_{1,1}, }[/math] being an empty product, is 1). Then

[math]\displaystyle{ \cot(z - a_1)\cdots\cot(z - a_n) = \cos\frac{n\pi}{2} + \sum_{k=1}^n A_{n,k} \cot(z - a_k). }[/math]

The simplest non-trivial example is the case n = 2:

[math]\displaystyle{ \cot(z - a_1)\cot(z - a_2) = -1 + \cot(a_1 - a_2)\cot(z - a_1) + \cot(a_2 - a_1)\cot(z - a_2). }[/math]

Finite products of trigonometric functions

For coprime integers n, m

[math]\displaystyle{ \prod_{k=1}^n \left(2a + 2\cos\left(\frac{2 \pi k m}{n} + x\right)\right) = 2\left( T_n(a)+{(-1)}^{n+m}\cos(n x) \right) }[/math]


The following relationship holds for the sine function

[math]\displaystyle{ \prod_{k=1}^{n-1} \sin\left(\frac{k\pi}{n}\right) = \frac{n}{2^{n-1}}. }[/math]

More generally for an integer n > 0[31]

[math]\displaystyle{ \sin(nx) = 2^{n-1}\prod_{k=0}^{n-1} \sin\left(\frac{k}{n}\pi + x\right) = 2^{n-1}\prod_{k=1}^{n} \sin\left(\frac{k}{n}\pi - x\right). }[/math]

or written in terms of the chord function [math]\displaystyle{ \operatorname{crd}x \equiv 2\sin\tfrac12x }[/math],

[math]\displaystyle{ \operatorname{crd}(nx) = \prod_{k=1}^{n} \operatorname{crd}\left(\frac{k}{n}2\pi - x\right). }[/math]

This comes from the factorization of the polynomial [math]\displaystyle{ z^n - 1 }[/math] into linear factors (cf. root of unity): For a point z on the complex unit circle and an integer n > 0,

[math]\displaystyle{ z^n - 1 = \prod_{k=1}^{n} z - \exp\Bigl(\frac{k}{n}2\pi i\Bigr). }[/math]

Linear combinations

For some purposes it is important to know that any linear combination of sine waves of the same period or frequency but different phase shifts is also a sine wave with the same period or frequency, but a different phase shift. This is useful in sinusoid data fitting, because the measured or observed data are linearly related to the a and b unknowns of the in-phase and quadrature components basis below, resulting in a simpler Jacobian, compared to that of [math]\displaystyle{ c }[/math] and [math]\displaystyle{ \varphi }[/math].

Sine and cosine

The linear combination, or harmonic addition, of sine and cosine waves is equivalent to a single sine wave with a phase shift and scaled amplitude,[32][33]

[math]\displaystyle{ a\cos x+b\sin x=c\cos(x+\varphi) }[/math]

where [math]\displaystyle{ c }[/math] and [math]\displaystyle{ \varphi }[/math] are defined as so:

[math]\displaystyle{ \begin{align} c &= \sgn(a) \sqrt{a^2 + b^2}, \\ \varphi &= {\arctan}\bigl({-b/a}\bigr), \end{align} }[/math]

given that [math]\displaystyle{ a \neq 0. }[/math]

Arbitrary phase shift

More generally, for arbitrary phase shifts, we have

[math]\displaystyle{ a \sin(x + \theta_a) + b \sin(x + \theta_b)= c \sin(x+\varphi) }[/math]

where [math]\displaystyle{ c }[/math] and [math]\displaystyle{ \varphi }[/math] satisfy:

[math]\displaystyle{ \begin{align} c^2 &= a^2 + b^2 + 2ab\cos \left(\theta_a - \theta_b \right) , \\ \tan \varphi &= \frac{a \sin \theta_a + b \sin \theta_b}{a \cos \theta_a + b \cos \theta_b}. \end{align} }[/math]

More than two sinusoids

See also: phasor (sine waves)#AdditionThe general case reads[33]

[math]\displaystyle{ \sum_i a_i \sin(x + \theta_i) = a \sin(x + \theta), }[/math] where [math]\displaystyle{ a^2 = \sum_{i,j}a_i a_j \cos(\theta_i - \theta_j) }[/math] and [math]\displaystyle{ \tan\theta = \frac{\sum_i a_i \sin\theta_i}{\sum_i a_i \cos\theta_i}. }[/math]

Lagrange's trigonometric identities

These identities, named after Joseph Louis Lagrange, are:[34][35][36] [math]\displaystyle{ \begin{align} \sum_{k=0}^n \sin k\theta & = \frac{\cos \tfrac12\theta - \cos\left(\left(n + \tfrac12\right)\theta\right)}{2\sin\tfrac12\theta}\\[5pt] \sum_{k=0}^n \cos k\theta & = \frac{\sin \tfrac12\theta + \sin\left(\left(n + \tfrac12\right)\theta\right)}{2\sin\tfrac12\theta} \end{align} }[/math] for [math]\displaystyle{ \theta \not\equiv 0 \pmod{2\pi}. }[/math]

A related function is the Dirichlet kernel:

[math]\displaystyle{ D_n(\theta) = 1 + 2\sum_{k=1}^n \cos k\theta = \frac{\sin\left(\left(n + \tfrac12 \right)\theta\right)}{\sin \tfrac12 \theta}. }[/math]

A similar identity is[37]

[math]\displaystyle{ \sum_{k=1}^n \cos (2k -1)\alpha = \frac{\sin (2n \alpha)}{2 \sin \alpha}. }[/math]

The proof is the following. By using the angle sum and difference identities, [math]\displaystyle{ \sin (A + B) - \sin (A - B) = 2 \cos A \sin B. }[/math] Then let's examine the following formula,

[math]\displaystyle{ 2 \sin \alpha \sum_{k=1}^n \cos (2k - 1)\alpha = 2\sin \alpha \cos \alpha + 2 \sin \alpha \cos 3\alpha + 2 \sin \alpha \cos 5 \alpha + \ldots + 2 \sin \alpha \cos (2n - 1) \alpha }[/math] and this formula can be written by using the above identity,

[math]\displaystyle{ \begin{align} & 2 \sin \alpha \sum_{k=1}^n \cos (2k - 1)\alpha \\ &\quad= \sum_{k=1}^n (\sin (2k \alpha) - \sin (2(k - 1)\alpha)) \\ &\quad= (\sin 2\alpha - \sin 0) + (\sin 4 \alpha - \sin 2 \alpha) + (\sin 6 \alpha - \sin 4 \alpha) + \ldots + (\sin (2n \alpha) - \sin (2(n - 1) \alpha)) \\ &\quad= \sin (2n \alpha). \end{align} }[/math]

So, dividing this formula with [math]\displaystyle{ 2 \sin \alpha }[/math] completes the proof.

Certain linear fractional transformations

If [math]\displaystyle{ f(x) }[/math] is given by the linear fractional transformation [math]\displaystyle{ f(x) = \frac{(\cos\alpha)x - \sin\alpha}{(\sin\alpha)x + \cos\alpha}, }[/math] and similarly [math]\displaystyle{ g(x) = \frac{(\cos\beta)x - \sin\beta}{(\sin\beta)x + \cos\beta}, }[/math] then [math]\displaystyle{ f\big(g(x)\big) = g\big(f(x)\big) = \frac{\big(\cos(\alpha+\beta)\big)x - \sin(\alpha+\beta)}{\big(\sin(\alpha+\beta)\big)x + \cos(\alpha+\beta)}. }[/math]

More tersely stated, if for all [math]\displaystyle{ \alpha }[/math] we let [math]\displaystyle{ f_{\alpha} }[/math] be what we called [math]\displaystyle{ f }[/math] above, then [math]\displaystyle{ f_\alpha \circ f_\beta = f_{\alpha+\beta}. }[/math]

If [math]\displaystyle{ x }[/math] is the slope of a line, then [math]\displaystyle{ f(x) }[/math] is the slope of its rotation through an angle of [math]\displaystyle{ - \alpha. }[/math]

Relation to the complex exponential function

Main page: Euler's formula

Euler's formula states that, for any real number x:[38] [math]\displaystyle{ e^{ix} = \cos x + i\sin x, }[/math] where i is the imaginary unit. Substituting −x for x gives us: [math]\displaystyle{ e^{-ix} = \cos(-x) + i\sin(-x) = \cos x - i\sin x. }[/math]

These two equations can be used to solve for cosine and sine in terms of the exponential function. Specifically,[39][40] [math]\displaystyle{ \cos x = \frac{e^{ix} + e^{-ix}}{2} }[/math] [math]\displaystyle{ \sin x = \frac{e^{ix} - e^{-ix}}{2i} }[/math]

These formulae are useful for proving many other trigonometric identities. For example, that ei(θ+φ) = e e means that

cos(θ + φ) + i sin(θ + φ) = (cos θ + i sin θ) (cos φ + i sin φ) = (cos θ cos φ − sin θ sin φ) + i (cos θ sin φ + sin θ cos φ).

That the real part of the left hand side equals the real part of the right hand side is an angle addition formula for cosine. The equality of the imaginary parts gives an angle addition formula for sine.

The following table expresses the trigonometric functions and their inverses in terms of the exponential function and the complex logarithm.

Function Inverse function[41]
[math]\displaystyle{ \sin \theta = \frac{e^{i\theta} - e^{-i\theta}}{2i} }[/math] [math]\displaystyle{ \arcsin x = -i\, \ln \left(ix + \sqrt{1 - x^2}\right) }[/math]
[math]\displaystyle{ \cos \theta = \frac{e^{i\theta} + e^{-i\theta}}{2} }[/math] [math]\displaystyle{ \arccos x = -i\ln\left(x+\sqrt{x^2-1}\right) }[/math]
[math]\displaystyle{ \tan \theta = -i\, \frac{e^{i\theta} - e^{-i\theta}}{e^{i\theta} + e^{-i\theta}} }[/math] [math]\displaystyle{ \arctan x = \frac{i}{2} \ln \left(\frac{i + x}{i - x}\right) }[/math]
[math]\displaystyle{ \csc \theta = \frac{2i}{e^{i\theta} - e^{-i\theta}} }[/math] [math]\displaystyle{ \arccsc x = -i\, \ln \left(\frac{i}{x} + \sqrt{1 - \frac{1}{x^2}}\right) }[/math]
[math]\displaystyle{ \sec \theta = \frac{2}{e^{i\theta} + e^{-i\theta}} }[/math] [math]\displaystyle{ \arcsec x = -i\, \ln \left(\frac{1}{x} +i \sqrt{1 - \frac{1}{x^2}}\right) }[/math]
[math]\displaystyle{ \cot \theta = i\, \frac{e^{i\theta} + e^{-i\theta}}{e^{i\theta} - e^{-i\theta}} }[/math] [math]\displaystyle{ \arccot x = \frac{i}{2} \ln \left(\frac{x - i}{x + i}\right) }[/math]
[math]\displaystyle{ \operatorname{cis} \theta = e^{i\theta} }[/math] [math]\displaystyle{ \operatorname{arccis} x = -i \ln x }[/math]

Series expansion

When using a power series expansion to define trigonometric functions, the following identities are obtained:[42]

[math]\displaystyle{ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} \cdots = \sum_{n=0}^{\infty} \frac{(-1)^nx^{2n+1}}{(2n+1)!}, }[/math][math]\displaystyle{ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^nx^{2n}}{(2n)!}. }[/math]

Infinite product formulae

For applications to special functions, the following infinite product formulae for trigonometric functions are useful:[43][44]

[math]\displaystyle{ \begin{align} \sin x &= x \prod_{n = 1}^\infty\left(1 - \frac{x^2}{\pi^2 n^2}\right), & \cos x &= \prod_{n = 1}^\infty\left(1 - \frac{x^2}{\pi^2\left(n - \frac{1}{2}\right)\!\vphantom)^2}\right), \\[10mu] \sinh x &= x \prod_{n = 1}^\infty\left(1 + \frac{x^2}{\pi^2 n^2}\right), & \cosh x &= \prod_{n = 1}^\infty\left(1 + \frac{x^2}{\pi^2\left(n - \frac{1}{2}\right)\!\vphantom)^2}\right). \end{align} }[/math]

Inverse trigonometric functions

Main page: Inverse trigonometric functions

The following identities give the result of composing a trigonometric function with an inverse trigonometric function.[45]

[math]\displaystyle{ \begin{align} \sin(\arcsin x) &=x & \cos(\arcsin x) &=\sqrt{1-x^2} & \tan(\arcsin x) &=\frac{x}{\sqrt{1 - x^2}} \\ \sin(\arccos x) &=\sqrt{1-x^2} & \cos(\arccos x) &=x & \tan(\arccos x) &=\frac{\sqrt{1 - x^2}}{x} \\ \sin(\arctan x) &=\frac{x}{\sqrt{1+x^2}} & \cos(\arctan x) &=\frac{1}{\sqrt{1+x^2}} & \tan(\arctan x) &=x \\ \sin(\arccsc x) &=\frac{1}{x} & \cos(\arccsc x) &=\frac{\sqrt{x^2 - 1}}{x} & \tan(\arccsc x) &=\frac{1}{\sqrt{x^2 - 1}} \\ \sin(\arcsec x) &=\frac{\sqrt{x^2 - 1}}{x} & \cos(\arcsec x) &=\frac{1}{x} & \tan(\arcsec x) &=\sqrt{x^2 - 1} \\ \sin(\arccot x) &=\frac{1}{\sqrt{1+x^2}} & \cos(\arccot x) &=\frac{x}{\sqrt{1+x^2}} & \tan(\arccot x) &=\frac{1}{x} \\ \end{align} }[/math]

Taking the multiplicative inverse of both sides of the each equation above results in the equations for [math]\displaystyle{ \csc = \frac{1}{\sin}, \;\sec = \frac{1}{\cos}, \text{ and } \cot = \frac{1}{\tan}. }[/math] The right hand side of the formula above will always be flipped. For example, the equation for [math]\displaystyle{ \cot(\arcsin x) }[/math] is: [math]\displaystyle{ \cot(\arcsin x) = \frac{1}{\tan(\arcsin x)} = \frac{1}{\frac{x}{\sqrt{1 - x^2}}} = \frac{\sqrt{1 - x^2}}{x} }[/math] while the equations for [math]\displaystyle{ \csc(\arccos x) }[/math] and [math]\displaystyle{ \sec(\arccos x) }[/math] are: [math]\displaystyle{ \csc(\arccos x) = \frac{1}{\sin(\arccos x)} = \frac{1}{\sqrt{1-x^2}} \qquad \text{ and }\quad \sec(\arccos x) = \frac{1}{\cos(\arccos x)} = \frac{1}{x}. }[/math]

The following identities are implied by the reflection identities. They hold whenever [math]\displaystyle{ x, r, s, -x, -r, \text{ and } -s }[/math] are in the domains of the relevant functions. [math]\displaystyle{ \begin{alignat}{9} \frac{\pi}{2} ~&=~ \arcsin(x) &&+ \arccos(x) ~&&=~ \arctan(r) &&+ \arccot(r) ~&&=~ \arcsec(s) &&+ \arccsc(s) \\[0.4ex] \pi ~&=~ \arccos(x) &&+ \arccos(-x) ~&&=~ \arccot(r) &&+ \arccot(-r) ~&&=~ \arcsec(s) &&+ \arcsec(-s) \\[0.4ex] 0 ~&=~ \arcsin(x) &&+ \arcsin(-x) ~&&=~ \arctan(r) &&+ \arctan(-r) ~&&=~ \arccsc(s) &&+ \arccsc(-s) \\[1.0ex] \end{alignat} }[/math]

Also,[46] [math]\displaystyle{ \begin{align} \arctan x + \arctan \dfrac{1}{x} &= \begin{cases} \frac{\pi}{2}, & \text{if } x \gt 0 \\ - \frac{\pi}{2}, & \text{if } x \lt 0 \end{cases} \\ \arccot x + \arccot \dfrac{1}{x} &= \begin{cases} \frac{\pi}{2}, & \text{if } x \gt 0 \\ \frac{3\pi}{2}, & \text{if } x \lt 0 \end{cases} \\ \end{align} }[/math] [math]\displaystyle{ \arccos \frac{1}{x} = \arcsec x \qquad \text{ and } \qquad \arcsec \frac{1}{x} = \arccos x }[/math] [math]\displaystyle{ \arcsin \frac{1}{x} = \arccsc x \qquad \text{ and } \qquad \arccsc \frac{1}{x} = \arcsin x }[/math]

The arctangent function can be expanded as a series:[47] [math]\displaystyle{ \arctan(nx) = \sum_{m = 1}^n \arctan\frac{x}{1 + (m - 1)mx^2} }[/math]

Identities without variables

In terms of the arctangent function we have[46] [math]\displaystyle{ \arctan \frac{1}{2} = \arctan \frac{1}{3} + \arctan \frac{1}{7}. }[/math]

The curious identity known as Morrie's law, [math]\displaystyle{ \cos 20^\circ\cdot\cos 40^\circ\cdot\cos 80^\circ = \frac{1}{8}, }[/math]

is a special case of an identity that contains one variable: [math]\displaystyle{ \prod_{j=0}^{k-1}\cos\left(2^j x\right) = \frac{\sin\left(2^k x\right)}{2^k\sin x}. }[/math]

Similarly, [math]\displaystyle{ \sin 20^\circ\cdot\sin 40^\circ\cdot\sin 80^\circ = \frac{\sqrt{3}}{8} }[/math] is a special case of an identity with [math]\displaystyle{ x = 20^\circ }[/math]: [math]\displaystyle{ \sin x \cdot \sin \left(60^\circ - x\right) \cdot \sin \left(60^\circ + x\right) = \frac{\sin 3x}{4}. }[/math]

For the case [math]\displaystyle{ x = 15^\circ }[/math], [math]\displaystyle{ \begin{align} \sin 15^\circ\cdot\sin 45^\circ\cdot\sin 75^\circ &= \frac{\sqrt{2}}{8}, \\ \sin 15^\circ\cdot\sin 75^\circ &= \frac{1}{4}. \end{align} }[/math]

For the case [math]\displaystyle{ x = 10^\circ }[/math], [math]\displaystyle{ \sin 10^\circ\cdot\sin 50^\circ\cdot\sin 70^\circ = \frac{1}{8}. }[/math]

The same cosine identity is [math]\displaystyle{ \cos x \cdot \cos \left(60^\circ - x\right) \cdot \cos \left(60^\circ + x\right) = \frac{\cos 3x}{4}. }[/math]

Similarly, [math]\displaystyle{ \begin{align} \cos 10^\circ\cdot\cos 50^\circ\cdot\cos 70^\circ &= \frac{\sqrt{3}}{8}, \\ \cos 15^\circ\cdot\cos 45^\circ\cdot\cos 75^\circ &= \frac{\sqrt{2}}{8}, \\ \cos 15^\circ\cdot\cos 75^\circ &= \frac{1}{4}. \end{align} }[/math]

Similarly, [math]\displaystyle{ \begin{align} \tan 50^\circ\cdot\tan 60^\circ\cdot\tan 70^\circ &= \tan 80^\circ, \\ \tan 40^\circ\cdot\tan 30^\circ\cdot\tan 20^\circ &= \tan 10^\circ. \end{align} }[/math]

The following is perhaps not as readily generalized to an identity containing variables (but see explanation below): [math]\displaystyle{ \cos 24^\circ + \cos 48^\circ + \cos 96^\circ + \cos 168^\circ = \frac{1}{2}. }[/math]

Degree measure ceases to be more felicitous than radian measure when we consider this identity with 21 in the denominators: [math]\displaystyle{ \cos \frac{2\pi}{21} + \cos\left(2\cdot\frac{2\pi}{21}\right) + \cos\left(4\cdot\frac{2\pi}{21}\right) + \cos\left( 5\cdot\frac{2\pi}{21}\right) + \cos\left( 8\cdot\frac{2\pi}{21}\right) + \cos\left(10\cdot\frac{2\pi}{21}\right) = \frac{1}{2}. }[/math]

The factors 1, 2, 4, 5, 8, 10 may start to make the pattern clear: they are those integers less than 21/2 that are relatively prime to (or have no prime factors in common with) 21. The last several examples are corollaries of a basic fact about the irreducible cyclotomic polynomials: the cosines are the real parts of the zeroes of those polynomials; the sum of the zeroes is the Möbius function evaluated at (in the very last case above) 21; only half of the zeroes are present above. The two identities preceding this last one arise in the same fashion with 21 replaced by 10 and 15, respectively.

Other cosine identities include:[48] [math]\displaystyle{ \begin{align} 2\cos \frac{\pi}{3} &= 1, \\ 2\cos \frac{\pi}{5} \times 2\cos \frac{2\pi}{5} &= 1, \\ 2\cos \frac{\pi}{7} \times 2\cos \frac{2\pi}{7}\times 2\cos \frac{3\pi}{7} &= 1, \end{align} }[/math] and so forth for all odd numbers, and hence [math]\displaystyle{ \cos \frac{\pi}{3}+\cos \frac{\pi}{5} \times \cos \frac{2\pi}{5} + \cos \frac{\pi}{7} \times \cos \frac{2\pi}{7} \times \cos \frac{3\pi}{7} + \dots = 1. }[/math]

Many of those curious identities stem from more general facts like the following:[49] [math]\displaystyle{ \prod_{k=1}^{n-1} \sin\frac{k\pi}{n} = \frac{n}{2^{n-1}} }[/math] and [math]\displaystyle{ \prod_{k=1}^{n-1} \cos\frac{k\pi}{n} = \frac{\sin\frac{\pi n}{2}}{2^{n-1}}. }[/math]

Combining these gives us [math]\displaystyle{ \prod_{k=1}^{n-1} \tan\frac{k\pi}{n} = \frac{n}{\sin\frac{\pi n}{2}} }[/math]

If n is an odd number ([math]\displaystyle{ n = 2 m + 1 }[/math]) we can make use of the symmetries to get [math]\displaystyle{ \prod_{k=1}^{m} \tan\frac{k\pi}{2m+1} = \sqrt{2m+1} }[/math]

The transfer function of the Butterworth low pass filter can be expressed in terms of polynomial and poles. By setting the frequency as the cutoff frequency, the following identity can be proved: [math]\displaystyle{ \prod_{k=1}^n \sin\frac{\left(2k - 1\right)\pi}{4n} = \prod_{k=1}^{n} \cos\frac{\left(2k-1\right)\pi}{4n} = \frac{\sqrt{2}}{2^n} }[/math]

Computing π

An efficient way to compute π to a large number of digits is based on the following identity without variables, due to Machin. This is known as a Machin-like formula: [math]\displaystyle{ \frac{\pi}{4} = 4 \arctan\frac{1}{5} - \arctan\frac{1}{239} }[/math] or, alternatively, by using an identity of Leonhard Euler: [math]\displaystyle{ \frac{\pi}{4} = 5 \arctan\frac{1}{7} + 2 \arctan\frac{3}{79} }[/math] or by using Pythagorean triples: [math]\displaystyle{ \pi = \arccos\frac{4}{5} + \arccos\frac{5}{13} + \arccos\frac{16}{65} = \arcsin\frac{3}{5} + \arcsin\frac{12}{13} + \arcsin\frac{63}{65}. }[/math]

Others include:[50][46] [math]\displaystyle{ \frac{\pi}{4} = \arctan\frac{1}{2} + \arctan\frac{1}{3}, }[/math] [math]\displaystyle{ \pi = \arctan 1 + \arctan 2 + \arctan 3, }[/math] [math]\displaystyle{ \frac{\pi}{4} = 2\arctan \frac{1}{3} + \arctan \frac{1}{7}. }[/math]

Generally, for numbers t1, ..., tn−1 ∈ (−1, 1) for which θn = Σn−1k=1 arctan tk ∈ (π/4, 3π/4), let tn = tan(π/2 − θn) = cot θn. This last expression can be computed directly using the formula for the cotangent of a sum of angles whose tangents are t1, ..., tn−1 and its value will be in (−1, 1). In particular, the computed tn will be rational whenever all the t1, ..., tn−1 values are rational. With these values, [math]\displaystyle{ \begin{align} \frac{\pi}{2} & = \sum_{k=1}^n \arctan(t_k) \\ \pi & = \sum_{k=1}^n \sgn(t_k) \arccos\left(\frac{1 - t_k^2}{1 + t_k^2}\right) \\ \pi & = \sum_{k=1}^n \arcsin\left(\frac{2t_k}{1 + t_k^2}\right) \\ \pi & = \sum_{k=1}^n \arctan\left(\frac{2t_k}{1 - t_k^2}\right)\,, \end{align} }[/math]

where in all but the first expression, we have used tangent half-angle formulae. The first two formulae work even if one or more of the tk values is not within (−1, 1). Note that if t = p/q is rational, then the (2t, 1 − t2, 1 + t2) values in the above formulae are proportional to the Pythagorean triple (2pq, q2p2, q2 + p2).

For example, for n = 3 terms, [math]\displaystyle{ \frac{\pi}{2} = \arctan\left(\frac{a}{b}\right) + \arctan\left(\frac{c}{d}\right) + \arctan\left(\frac{bd - ac}{ad + bc}\right) }[/math] for any a, b, c, d > 0.

An identity of Euclid

Euclid showed in Book XIII, Proposition 10 of his Elements that the area of the square on the side of a regular pentagon inscribed in a circle is equal to the sum of the areas of the squares on the sides of the regular hexagon and the regular decagon inscribed in the same circle. In the language of modern trigonometry, this says: [math]\displaystyle{ \sin^2 18^\circ + \sin^2 30^\circ = \sin^2 36^\circ. }[/math]

Ptolemy used this proposition to compute some angles in his table of chords in Book I, chapter 11 of Almagest.

Composition of trigonometric functions

These identities involve a trigonometric function of a trigonometric function:[51]

  • [math]\displaystyle{ \cos(t \sin x) = J_0(t) + 2 \sum_{k=1}^\infty J_{2k}(t) \cos(2kx) }[/math]
  • [math]\displaystyle{ \sin(t \sin x) = 2 \sum_{k=0}^\infty J_{2k+1}(t) \sin\big((2k+1)x\big) }[/math]
  • [math]\displaystyle{ \cos(t \cos x) = J_0(t) + 2 \sum_{k=1}^\infty (-1)^kJ_{2k}(t) \cos(2kx) }[/math]
  • [math]\displaystyle{ \sin(t \cos x) = 2 \sum_{k=0}^\infty(-1)^k J_{2k+1}(t) \cos\big((2k+1)x\big) }[/math]

where Ji are Bessel functions.

Further "conditional" identities for the case α + β + γ = 180°

The following formulae apply to arbitrary plane triangles and follow from [math]\displaystyle{ \alpha + \beta + \gamma = 180^{\circ}, }[/math] as long as the functions occurring in the formulae are well-defined (the latter applies only to the formulae in which tangents and cotangents occur). [math]\displaystyle{ \begin{align} \tan \alpha + \tan \beta + \tan \gamma &= \tan \alpha \tan \beta \tan \gamma \\ 1 &= \cot \beta \cot \gamma + \cot \gamma \cot \alpha + \cot \alpha \cot \beta \\ \cot\left(\frac{\alpha}{2}\right) + \cot\left(\frac{\beta}{2}\right) + \cot\left(\frac{\gamma}{2}\right) &= \cot\left(\frac{\alpha}{2}\right) \cot \left(\frac{\beta}{2}\right) \cot\left(\frac{\gamma}{2}\right) \\ 1 &= \tan\left(\frac{\beta}{2}\right)\tan\left(\frac{\gamma}{2}\right) + \tan\left(\frac{\gamma}{2}\right)\tan\left(\frac{\alpha}{2}\right) + \tan\left(\frac{\alpha}{2}\right)\tan\left(\frac{\beta}{2}\right) \\ \sin \alpha + \sin \beta + \sin \gamma &= 4\cos\left(\frac{\alpha}{2}\right)\cos\left(\frac{\beta}{2}\right)\cos\left(\frac{\gamma}{2}\right) \\ -\sin \alpha + \sin \beta + \sin \gamma &= 4\cos\left(\frac{\alpha}{2}\right)\sin\left(\frac{\beta}{2}\right)\sin\left(\frac{\gamma}{2}\right) \\ \cos \alpha + \cos \beta + \cos \gamma &= 4\sin\left(\frac{\alpha}{2}\right)\sin\left(\frac{\beta}{2}\right)\sin \left(\frac{\gamma}{2}\right) + 1 \\ -\cos \alpha + \cos \beta + \cos \gamma &= 4\sin\left(\frac{\alpha}{2}\right)\cos\left(\frac{\beta}{2}\right)\cos \left(\frac{\gamma}{2}\right) - 1 \\ \sin (2\alpha) + \sin (2\beta) + \sin (2\gamma) &= 4\sin \alpha \sin \beta \sin \gamma \\ -\sin (2\alpha) + \sin (2\beta) + \sin (2\gamma) &= 4\sin \alpha \cos \beta \cos \gamma \\ \cos (2\alpha) + \cos (2\beta) + \cos (2\gamma) &= -4\cos \alpha \cos \beta \cos \gamma - 1 \\ -\cos (2\alpha) + \cos (2\beta) + \cos (2\gamma) &= -4\cos \alpha \sin \beta \sin \gamma + 1 \\ \sin^2\alpha + \sin^2\beta + \sin^2\gamma &= 2 \cos \alpha \cos \beta \cos \gamma + 2 \\ -\sin^2\alpha + \sin^2\beta + \sin^2\gamma &= 2 \cos \alpha \sin \beta \sin \gamma \\ \cos^2\alpha + \cos^2\beta + \cos^2\gamma &= -2 \cos \alpha \cos \beta \cos \gamma + 1 \\ -\cos^2\alpha + \cos^2\beta + \cos^2\gamma &= -2 \cos \alpha \sin \beta \sin \gamma + 1 \\ \sin^2 (2\alpha) + \sin^2 (2\beta) + \sin^2 (2\gamma) &= -2\cos (2\alpha) \cos (2\beta) \cos (2\gamma)+2 \\ \cos^2 (2\alpha) + \cos^2 (2\beta) + \cos^2 (2\gamma) &= 2\cos (2\alpha) \,\cos (2\beta) \,\cos (2\gamma) + 1 \\ 1 &= \sin^2 \left(\frac{\alpha}{2}\right) + \sin^2 \left(\frac{\beta}{2}\right) + \sin^2 \left(\frac{\gamma}{2}\right) + 2\sin \left(\frac{\alpha}{2}\right) \,\sin \left(\frac{\beta}{2}\right) \,\sin \left(\frac{\gamma}{2}\right) \end{align} }[/math]

Historical shorthands

Main pages: Versine and Exsecant

The versine, coversine, haversine, and exsecant were used in navigation. For example, the haversine formula was used to calculate the distance between two points on a sphere. They are rarely used today.

Miscellaneous

Dirichlet kernel

Main page: Dirichlet kernel

The Dirichlet kernel Dn(x) is the function occurring on both sides of the next identity: [math]\displaystyle{ 1 + 2\cos x + 2\cos(2x) + 2\cos(3x) + \cdots + 2\cos(nx) = \frac{\sin\left(\left(n + \frac{1}{2}\right)x\right) }{\sin\left(\frac{1}{2}x\right)}. }[/math]

The convolution of any integrable function of period [math]\displaystyle{ 2 \pi }[/math] with the Dirichlet kernel coincides with the function's [math]\displaystyle{ n }[/math]th-degree Fourier approximation. The same holds for any measure or generalized function.

Tangent half-angle substitution

Main page: Tangent half-angle substitution

If we set [math]\displaystyle{ t = \tan\frac x 2, }[/math] then[52] [math]\displaystyle{ \sin x = \frac{2t}{1 + t^2};\qquad \cos x = \frac{1 - t^2}{1 + t^2};\qquad e^{i x} = \frac{1 + i t}{1 - i t} }[/math] where [math]\displaystyle{ e^{i x} = \cos x + i \sin x, }[/math] sometimes abbreviated to cis x.

When this substitution of [math]\displaystyle{ t }[/math] for tan x/2 is used in calculus, it follows that [math]\displaystyle{ \sin x }[/math] is replaced by 2t/1 + t2, [math]\displaystyle{ \cos x }[/math] is replaced by 1 − t2/1 + t2 and the differential dx is replaced by 2 dt/1 + t2. Thereby one converts rational functions of [math]\displaystyle{ \sin x }[/math] and [math]\displaystyle{ \cos x }[/math] to rational functions of [math]\displaystyle{ t }[/math] in order to find their antiderivatives.

Viète's infinite product

[math]\displaystyle{ \cos\frac{\theta}{2} \cdot \cos \frac{\theta}{4} \cdot \cos \frac{\theta}{8} \cdots = \prod_{n=1}^\infty \cos \frac{\theta}{2^n} = \frac{\sin \theta}{\theta} = \operatorname{sinc} \theta. }[/math]

See also


References

  1. Abramowitz, Milton; Stegun, Irene Ann, eds (1983). "Chapter 4, eqn 4.3.45". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. pp. 73. LCCN 65-12253. ISBN 978-0-486-61272-0. http://www.math.sfu.ca/~cbm/aands/page_73.htm. 
  2. Selby 1970, p. 188
  3. Abramowitz and Stegun, p. 72, 4.3.13–15
  4. Abramowitz and Stegun, p. 72, 4.3.7–9
  5. Abramowitz and Stegun, p. 72, 4.3.16
  6. 6.0 6.1 6.2 6.3 Weisstein, Eric W.. "Trigonometric Addition Formulas". http://mathworld.wolfram.com/TrigonometricAdditionFormulas.html. 
  7. Abramowitz and Stegun, p. 72, 4.3.17
  8. Abramowitz and Stegun, p. 72, 4.3.18
  9. 9.0 9.1 "Angle Sum and Difference Identities". http://www.milefoot.com/math/trig/22anglesumidentities.htm. 
  10. Abramowitz and Stegun, p. 72, 4.3.19
  11. Abramowitz and Stegun, p. 80, 4.4.32
  12. Abramowitz and Stegun, p. 80, 4.4.33
  13. Abramowitz and Stegun, p. 80, 4.4.34
  14. Bronstein, Manuel (1989). "Simplification of real elementary functions". in Gonnet, G. H.. ISSAC '89 (Portland US-OR, 1989-07). New York: ACM. pp. 207–211. doi:10.1145/74540.74566. ISBN 0-89791-325-6. 
  15. Hardy, Michael (2016). "On Tangents and Secants of Infinite Sums". American Mathematical Monthly 123 (7): 701–703. doi:10.4169/amer.math.monthly.123.7.701. https://zenodo.org/record/1000408. 
  16. 16.0 16.1 "Sine, Cosine, and Ptolemy's Theorem". https://www.cut-the-knot.org/proofs/sine_cosine.shtml. 
  17. 17.0 17.1 Weisstein, Eric W.. "Multiple-Angle Formulas". http://mathworld.wolfram.com/Multiple-AngleFormulas.html. 
  18. Abramowitz and Stegun, p. 74, 4.3.48
  19. 19.0 19.1 Selby 1970, pg. 190
  20. Weisstein, Eric W.. "Multiple-Angle Formulas" (in en). https://mathworld.wolfram.com/. 
  21. Ward, Ken. "Multiple angles recursive formula". http://trans4mind.com/personal_development/mathematics/trigonometry/multipleAnglesRecursiveFormula.htm. 
  22. 22.0 22.1 Abramowitz, Milton; Stegun, Irene Ann, eds (1983). "Chapter 4, eqn 4.3.20-22". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. pp. 72. LCCN 65-12253. ISBN 978-0-486-61272-0. http://www.math.sfu.ca/~cbm/aands/page_72.htm. 
  23. 23.0 23.1 Weisstein, Eric W.. "Half-Angle Formulas". http://mathworld.wolfram.com/Half-AngleFormulas.html. 
  24. Abramowitz and Stegun, p. 72, 4.3.24–26
  25. Weisstein, Eric W.. "Double-Angle Formulas". http://mathworld.wolfram.com/Double-AngleFormulas.html. 
  26. Abramowitz and Stegun, p. 72, 4.3.27–28
  27. Abramowitz and Stegun, p. 72, 4.3.31–33
  28. Eves, Howard (1990). An introduction to the history of mathematics (6th ed.). Philadelphia: Saunders College Pub. p. 309. ISBN 0-03-029558-0. OCLC 20842510. 
  29. Abramowitz and Stegun, p. 72, 4.3.34–39
  30. Johnson, Warren P. (Apr 2010). "Trigonometric Identities à la Hermite". American Mathematical Monthly 117 (4): 311–327. doi:10.4169/000298910x480784. 
  31. "Product Identity Multiple Angle". https://math.stackexchange.com/q/2095330. 
  32. Apostol, T.M. (1967) Calculus. 2nd edition. New York, NY, Wiley. Pp 334-335.
  33. 33.0 33.1 Weisstein, Eric W.. "Harmonic Addition Theorem". http://mathworld.wolfram.com/HarmonicAdditionTheorem.html. 
  34. Ortiz Muñiz, Eddie (Feb 1953). "A Method for Deriving Various Formulas in Electrostatics and Electromagnetism Using Lagrange's Trigonometric Identities". American Journal of Physics 21 (2): 140. doi:10.1119/1.1933371. Bibcode1953AmJPh..21..140M. 
  35. Agarwal, Ravi P.; O'Regan, Donal (2008). Ordinary and Partial Differential Equations: With Special Functions, Fourier Series, and Boundary Value Problems (illustrated ed.). Springer Science & Business Media. p. 185. ISBN 978-0-387-79146-3. https://books.google.com/books?id=jWvAfcNnphIC.  Extract of page 185
  36. Jeffrey, Alan; Dai, Hui-hui (2008). "Section 2.4.1.6". Handbook of Mathematical Formulas and Integrals (4th ed.). Academic Press. ISBN 978-0-12-374288-9. 
  37. Fay, Temple H.; Kloppers, P. Hendrik (2001). "The Gibbs' phenomenon". International Journal of Mathematical Education in Science and Technology 32 (1): 73–89. doi:10.1080/00207390117151. http://dx.doi.org/10.1080/00207390117151. 
  38. Abramowitz and Stegun, p. 74, 4.3.47
  39. Abramowitz and Stegun, p. 71, 4.3.2
  40. Abramowitz and Stegun, p. 71, 4.3.1
  41. Abramowitz and Stegun, p. 80, 4.4.26–31
  42. Abramowitz and Stegun, p. 74, 4.3.65–66
  43. Abramowitz and Stegun, p. 75, 4.3.89–90
  44. Abramowitz and Stegun, p. 85, 4.5.68–69
  45. Abramowitz & Stegun 1972, p. 73, 4.3.45
  46. 46.0 46.1 46.2 Wu, Rex H. "Proof Without Words: Euler's Arctangent Identity", Mathematics Magazine 77(3), June 2004, p. 189.
  47. S. M. Abrarov, R. K. Jagpal, R. Siddiqui and B. M. Quine (2021), "Algorithmic determination of a large integer in the two-term Machin-like formula for π", Mathematics 9 (17): 2162, doi:10.3390/math9172162 
  48. Humble, Steve (Nov 2004). "Grandma's identity". Mathematical Gazette 88: 524–525. doi:10.1017/s0025557200176223. 
  49. Weisstein, Eric W.. "Sine". http://mathworld.wolfram.com/Sine.html. 
  50. Harris, Edward M. "Sums of Arctangents", in Roger B. Nelson, Proofs Without Words (1993, Mathematical Association of America), p. 39.
  51. Milton Abramowitz and Irene Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Dover Publications, New York, 1972, formulae 9.1.42–9.1.45
  52. Abramowitz and Stegun, p. 72, 4.3.23

Bibliography

External links