Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools


Trigonometric Identities


Reference table of trigonometric identities. Try puzzle mode to drill, or read the full trig identities explanation →

Trig identities tool

Search by LHS, by RHS, by name — or pick a family.

View

Reference mode: click any card to see the full identity and details.

Pythagorean
sin2(x)+cos2(x)\sin^2(x) + \cos^2(x)
Pythagorean identity
11
Pythagorean
1+tan2(x)1 + \tan^2(x)
Pythagorean (tan / sec)
sec2(x)\sec^2(x)
Pythagorean
1+cot2(x)1 + \cot^2(x)
Pythagorean (cot / csc)
csc2(x)\csc^2(x)
Reciprocal & quotient
csc(x)\csc(x)
Cosecant as reciprocal
1sin(x)\dfrac{1}{\sin(x)}
Reciprocal & quotient
sec(x)\sec(x)
Secant as reciprocal
1cos(x)\dfrac{1}{\cos(x)}
Reciprocal & quotient
cot(x)\cot(x)
Cotangent as reciprocal of tangent
1tan(x)\dfrac{1}{\tan(x)}
Reciprocal & quotient
tan(x)\tan(x)
Tangent as quotient
sin(x)cos(x)\dfrac{\sin(x)}{\cos(x)}
Reciprocal & quotient
cot(x)\cot(x)
Cotangent as quotient
cos(x)sin(x)\dfrac{\cos(x)}{\sin(x)}
Negative-angle
sin(x)\sin(-x)
Sine is odd
sin(x)-\sin(x)
Negative-angle
cos(x)\cos(-x)
Cosine is even
cos(x)\cos(x)
Negative-angle
tan(x)\tan(-x)
Tangent is odd
tan(x)-\tan(x)
Negative-angle
cot(x)\cot(-x)
Cotangent is odd
cot(x)-\cot(x)
Negative-angle
sec(x)\sec(-x)
Secant is even
sec(x)\sec(x)
Negative-angle
csc(x)\csc(-x)
Cosecant is odd
csc(x)-\csc(x)
Complement (cofunction)
sin ⁣(π2x)\sin\!\left(\tfrac{\pi}{2} - x\right)
Sine of complement = cosine
cos(x)\cos(x)
Complement (cofunction)
cos ⁣(π2x)\cos\!\left(\tfrac{\pi}{2} - x\right)
Cosine of complement = sine
sin(x)\sin(x)
Complement (cofunction)
tan ⁣(π2x)\tan\!\left(\tfrac{\pi}{2} - x\right)
Tangent of complement = cotangent
cot(x)\cot(x)
Complement (cofunction)
cot ⁣(π2x)\cot\!\left(\tfrac{\pi}{2} - x\right)
Cotangent of complement = tangent
tan(x)\tan(x)
Complement (cofunction)
sec ⁣(π2x)\sec\!\left(\tfrac{\pi}{2} - x\right)
Secant of complement = cosecant
csc(x)\csc(x)
Complement (cofunction)
csc ⁣(π2x)\csc\!\left(\tfrac{\pi}{2} - x\right)
Cosecant of complement = secant
sec(x)\sec(x)
Supplement
sin(πx)\sin(\pi - x)
Sine of supplement
sin(x)\sin(x)
Supplement
cos(πx)\cos(\pi - x)
Cosine of supplement
cos(x)-\cos(x)
Supplement
tan(πx)\tan(\pi - x)
Tangent of supplement
tan(x)-\tan(x)
Supplement
cot(πx)\cot(\pi - x)
Cotangent of supplement
cot(x)-\cot(x)
Supplement
sec(πx)\sec(\pi - x)
Secant of supplement
sec(x)-\sec(x)
Supplement
csc(πx)\csc(\pi - x)
Cosecant of supplement
csc(x)\csc(x)
Reference-angle reduction
sin ⁣(π2+x)\sin\!\left(\tfrac{\pi}{2} + x\right)
Sine of π/2 + x
cos(x)\cos(x)
Reference-angle reduction
cos ⁣(π2+x)\cos\!\left(\tfrac{\pi}{2} + x\right)
Cosine of π/2 + x
sin(x)-\sin(x)
Reference-angle reduction
tan ⁣(π2+x)\tan\!\left(\tfrac{\pi}{2} + x\right)
Tangent of π/2 + x
cot(x)-\cot(x)
Reference-angle reduction
cot ⁣(π2+x)\cot\!\left(\tfrac{\pi}{2} + x\right)
Cotangent of π/2 + x
tan(x)-\tan(x)
Reference-angle reduction
sec ⁣(π2+x)\sec\!\left(\tfrac{\pi}{2} + x\right)
Secant of π/2 + x
csc(x)-\csc(x)
Reference-angle reduction
csc ⁣(π2+x)\csc\!\left(\tfrac{\pi}{2} + x\right)
Cosecant of π/2 + x
sec(x)\sec(x)
Reference-angle reduction
sin(π+x)\sin(\pi + x)
Sine of π + x
sin(x)-\sin(x)
Reference-angle reduction
cos(π+x)\cos(\pi + x)
Cosine of π + x
cos(x)-\cos(x)
Reference-angle reduction
tan(π+x)\tan(\pi + x)
Tangent of π + x
tan(x)\tan(x)
Reference-angle reduction
cot(π+x)\cot(\pi + x)
Cotangent of π + x
cot(x)\cot(x)
Reference-angle reduction
sec(π+x)\sec(\pi + x)
Secant of π + x
sec(x)-\sec(x)
Reference-angle reduction
csc(π+x)\csc(\pi + x)
Cosecant of π + x
csc(x)-\csc(x)
Reference-angle reduction
sin ⁣(3π2x)\sin\!\left(\tfrac{3\pi}{2} - x\right)
Sine of 3π/2 − x
cos(x)-\cos(x)
Reference-angle reduction
cos ⁣(3π2x)\cos\!\left(\tfrac{3\pi}{2} - x\right)
Cosine of 3π/2 − x
sin(x)-\sin(x)
Reference-angle reduction
tan ⁣(3π2x)\tan\!\left(\tfrac{3\pi}{2} - x\right)
Tangent of 3π/2 − x
cot(x)\cot(x)
Reference-angle reduction
cot ⁣(3π2x)\cot\!\left(\tfrac{3\pi}{2} - x\right)
Cotangent of 3π/2 − x
tan(x)\tan(x)
Reference-angle reduction
sec ⁣(3π2x)\sec\!\left(\tfrac{3\pi}{2} - x\right)
Secant of 3π/2 − x
csc(x)-\csc(x)
Reference-angle reduction
csc ⁣(3π2x)\csc\!\left(\tfrac{3\pi}{2} - x\right)
Cosecant of 3π/2 − x
sec(x)-\sec(x)
Reference-angle reduction
sin ⁣(3π2+x)\sin\!\left(\tfrac{3\pi}{2} + x\right)
Sine of 3π/2 + x
cos(x)-\cos(x)
Reference-angle reduction
cos ⁣(3π2+x)\cos\!\left(\tfrac{3\pi}{2} + x\right)
Cosine of 3π/2 + x
sin(x)\sin(x)
Reference-angle reduction
tan ⁣(3π2+x)\tan\!\left(\tfrac{3\pi}{2} + x\right)
Tangent of 3π/2 + x
cot(x)-\cot(x)
Reference-angle reduction
cot ⁣(3π2+x)\cot\!\left(\tfrac{3\pi}{2} + x\right)
Cotangent of 3π/2 + x
tan(x)-\tan(x)
Reference-angle reduction
sec ⁣(3π2+x)\sec\!\left(\tfrac{3\pi}{2} + x\right)
Secant of 3π/2 + x
csc(x)\csc(x)
Reference-angle reduction
csc ⁣(3π2+x)\csc\!\left(\tfrac{3\pi}{2} + x\right)
Cosecant of 3π/2 + x
sec(x)-\sec(x)
Reference-angle reduction
sin(2πx)\sin(2\pi - x)
Sine of 2π − x
sin(x)-\sin(x)
Reference-angle reduction
cos(2πx)\cos(2\pi - x)
Cosine of 2π − x
cos(x)\cos(x)
Reference-angle reduction
tan(2πx)\tan(2\pi - x)
Tangent of 2π − x
tan(x)-\tan(x)
Reference-angle reduction
cot(2πx)\cot(2\pi - x)
Cotangent of 2π − x
cot(x)-\cot(x)
Reference-angle reduction
sec(2πx)\sec(2\pi - x)
Secant of 2π − x
sec(x)\sec(x)
Reference-angle reduction
csc(2πx)\csc(2\pi - x)
Cosecant of 2π − x
csc(x)-\csc(x)
Reference-angle reduction
sin(2π+x)\sin(2\pi + x)
Sine of 2π + x
sin(x)\sin(x)
Reference-angle reduction
cos(2π+x)\cos(2\pi + x)
Cosine of 2π + x
cos(x)\cos(x)
Reference-angle reduction
tan(2π+x)\tan(2\pi + x)
Tangent of 2π + x
tan(x)\tan(x)
Reference-angle reduction
cot(2π+x)\cot(2\pi + x)
Cotangent of 2π + x
cot(x)\cot(x)
Reference-angle reduction
sec(2π+x)\sec(2\pi + x)
Secant of 2π + x
sec(x)\sec(x)
Reference-angle reduction
csc(2π+x)\csc(2\pi + x)
Cosecant of 2π + x
csc(x)\csc(x)
Sum-angle
sin(a+b)\sin(a + b)
Sine of a sum
sin(a)cos(b)+cos(a)sin(b)\sin(a)\cos(b) + \cos(a)\sin(b)
Sum-angle
cos(a+b)\cos(a + b)
Cosine of a sum
cos(a)cos(b)sin(a)sin(b)\cos(a)\cos(b) - \sin(a)\sin(b)
Sum-angle
tan(a+b)\tan(a + b)
Tangent of a sum
tan(a)+tan(b)1tan(a)tan(b)\dfrac{\tan(a) + \tan(b)}{1 - \tan(a)\tan(b)}
Sum-angle
cot(a+b)\cot(a + b)
Cotangent of a sum
cot(a)cot(b)1cot(a)+cot(b)\dfrac{\cot(a)\cot(b) - 1}{\cot(a) + \cot(b)}
Sum-angle
sec(a+b)\sec(a + b)
Secant of a sum
sec(a)sec(b)1tan(a)tan(b)\dfrac{\sec(a)\sec(b)}{1 - \tan(a)\tan(b)}
Sum-angle
csc(a+b)\csc(a + b)
Cosecant of a sum
csc(a)csc(b)cot(a)+cot(b)\dfrac{\csc(a)\csc(b)}{\cot(a) + \cot(b)}
Difference-angle
sin(ab)\sin(a - b)
Sine of a difference
sin(a)cos(b)cos(a)sin(b)\sin(a)\cos(b) - \cos(a)\sin(b)
Difference-angle
cos(ab)\cos(a - b)
Cosine of a difference
cos(a)cos(b)+sin(a)sin(b)\cos(a)\cos(b) + \sin(a)\sin(b)
Difference-angle
tan(ab)\tan(a - b)
Tangent of a difference
tan(a)tan(b)1+tan(a)tan(b)\dfrac{\tan(a) - \tan(b)}{1 + \tan(a)\tan(b)}
Difference-angle
cot(ab)\cot(a - b)
Cotangent of a difference
cot(a)cot(b)+1cot(b)cot(a)\dfrac{\cot(a)\cot(b) + 1}{\cot(b) - \cot(a)}
Difference-angle
sec(ab)\sec(a - b)
Secant of a difference
sec(a)sec(b)1+tan(a)tan(b)\dfrac{\sec(a)\sec(b)}{1 + \tan(a)\tan(b)}
Difference-angle
csc(ab)\csc(a - b)
Cosecant of a difference
csc(a)csc(b)cot(b)cot(a)\dfrac{\csc(a)\csc(b)}{\cot(b) - \cot(a)}
Double-angle
sin(2x)\sin(2x)
Sine double-angle
2sin(x)cos(x)2\sin(x)\cos(x)
Double-angle
cos(2x)\cos(2x)
Cosine double-angle
cos2(x)sin2(x)\cos^2(x) - \sin^2(x)
Double-angle
tan(2x)\tan(2x)
Tangent double-angle
2tan(x)1tan2(x)\dfrac{2\tan(x)}{1 - \tan^2(x)}
Double-angle
cot(2x)\cot(2x)
Cotangent double-angle
cot2(x)12cot(x)\dfrac{\cot^2(x) - 1}{2\cot(x)}
Double-angle
sec(2x)\sec(2x)
Secant double-angle
sec2(x)2sec2(x)\dfrac{\sec^2(x)}{2 - \sec^2(x)}
Double-angle
csc(2x)\csc(2x)
Cosecant double-angle
sec(x)csc(x)2\dfrac{\sec(x)\csc(x)}{2}
Triple-angle
sin(3x)\sin(3x)
Sine triple-angle
3sin(x)4sin3(x)3\sin(x) - 4\sin^3(x)
Triple-angle
cos(3x)\cos(3x)
Cosine triple-angle
4cos3(x)3cos(x)4\cos^3(x) - 3\cos(x)
Triple-angle
tan(3x)\tan(3x)
Tangent triple-angle
3tan(x)tan3(x)13tan2(x)\dfrac{3\tan(x) - \tan^3(x)}{1 - 3\tan^2(x)}
Triple-angle
cot(3x)\cot(3x)
Cotangent triple-angle
cot3(x)3cot(x)3cot2(x)1\dfrac{\cot^3(x) - 3\cot(x)}{3\cot^2(x) - 1}
Triple-angle
sec(3x)\sec(3x)
Secant triple-angle
sec(x)4cos2(x)3\dfrac{\sec(x)}{4\cos^2(x) - 3}
Triple-angle
csc(3x)\csc(3x)
Cosecant triple-angle
csc(x)34sin2(x)\dfrac{\csc(x)}{3 - 4\sin^2(x)}
Half-angle
sin ⁣(x2)\sin\!\left(\tfrac{x}{2}\right)
Sine half-angle
±1cos(x)2\pm\sqrt{\dfrac{1 - \cos(x)}{2}}
Half-angle
cos ⁣(x2)\cos\!\left(\tfrac{x}{2}\right)
Cosine half-angle
±1+cos(x)2\pm\sqrt{\dfrac{1 + \cos(x)}{2}}
Half-angle
tan ⁣(x2)\tan\!\left(\tfrac{x}{2}\right)
Tangent half-angle
1cos(x)sin(x)\dfrac{1 - \cos(x)}{\sin(x)}
Half-angle
cot ⁣(x2)\cot\!\left(\tfrac{x}{2}\right)
Cotangent half-angle
1+cos(x)sin(x)\dfrac{1 + \cos(x)}{\sin(x)}
Half-angle
sec ⁣(x2)\sec\!\left(\tfrac{x}{2}\right)
Secant half-angle
±21+cos(x)\pm\sqrt{\dfrac{2}{1 + \cos(x)}}
Half-angle
csc ⁣(x2)\csc\!\left(\tfrac{x}{2}\right)
Cosecant half-angle
±21cos(x)\pm\sqrt{\dfrac{2}{1 - \cos(x)}}
Power reduction
sin2(x)\sin^2(x)
Sine squared
1cos(2x)2\dfrac{1 - \cos(2x)}{2}
Power reduction
cos2(x)\cos^2(x)
Cosine squared
1+cos(2x)2\dfrac{1 + \cos(2x)}{2}
Power reduction
tan2(x)\tan^2(x)
Tangent squared
1cos(2x)1+cos(2x)\dfrac{1 - \cos(2x)}{1 + \cos(2x)}
Product-to-sum
sin(a)cos(b)\sin(a)\cos(b)
Sine times cosine
12[sin(a+b)+sin(ab)]\tfrac{1}{2}\bigl[\sin(a + b) + \sin(a - b)\bigr]
Product-to-sum
cos(a)sin(b)\cos(a)\sin(b)
Cosine times sine
12[sin(a+b)sin(ab)]\tfrac{1}{2}\bigl[\sin(a + b) - \sin(a - b)\bigr]
Product-to-sum
cos(a)cos(b)\cos(a)\cos(b)
Cosine times cosine
12[cos(ab)+cos(a+b)]\tfrac{1}{2}\bigl[\cos(a - b) + \cos(a + b)\bigr]
Product-to-sum
sin(a)sin(b)\sin(a)\sin(b)
Sine times sine
12[cos(ab)cos(a+b)]\tfrac{1}{2}\bigl[\cos(a - b) - \cos(a + b)\bigr]
Sum-to-product
sin(a)+sin(b)\sin(a) + \sin(b)
Sine plus sine
2sin ⁣(a+b2)cos ⁣(ab2)2\sin\!\left(\tfrac{a + b}{2}\right)\cos\!\left(\tfrac{a - b}{2}\right)
Sum-to-product
sin(a)sin(b)\sin(a) - \sin(b)
Sine minus sine
2cos ⁣(a+b2)sin ⁣(ab2)2\cos\!\left(\tfrac{a + b}{2}\right)\sin\!\left(\tfrac{a - b}{2}\right)
Sum-to-product
cos(a)+cos(b)\cos(a) + \cos(b)
Cosine plus cosine
2cos ⁣(a+b2)cos ⁣(ab2)2\cos\!\left(\tfrac{a + b}{2}\right)\cos\!\left(\tfrac{a - b}{2}\right)
Sum-to-product
cos(a)cos(b)\cos(a) - \cos(b)
Cosine minus cosine
2sin ⁣(a+b2)sin ⁣(ab2)-2\sin\!\left(\tfrac{a + b}{2}\right)\sin\!\left(\tfrac{a - b}{2}\right)
Inverse
sin(arcsinx)\sin(\arcsin x)
Sine of arcsine
xx
Inverse
cos(arccosx)\cos(\arccos x)
Cosine of arccosine
xx
Inverse
tan(arctanx)\tan(\arctan x)
Tangent of arctangent
xx
Inverse
cos(arcsinx)\cos(\arcsin x)
Cosine of arcsine
1x2\sqrt{1 - x^2}
Inverse
sin(arccosx)\sin(\arccos x)
Sine of arccosine
1x2\sqrt{1 - x^2}
Inverse
tan(arcsinx)\tan(\arcsin x)
Tangent of arcsine
x1x2\dfrac{x}{\sqrt{1 - x^2}}
Inverse
arcsin(x)+arccos(x)\arcsin(x) + \arccos(x)
Arcsine plus arccosine
π2\tfrac{\pi}{2}
Inverse
arctan(x)+arccot(x)\arctan(x) + \operatorname{arccot}(x)
Arctangent plus arccotangent
π2\tfrac{\pi}{2}
Inverse
arcsec(x)+arccsc(x)\operatorname{arcsec}(x) + \operatorname{arccsc}(x)
Arcsecant plus arccosecant
π2\tfrac{\pi}{2}
Inverse
arcsin(x)\arcsin(-x)
Arcsine of negative
arcsin(x)-\arcsin(x)
Inverse
arccos(x)\arccos(-x)
Arccosine of negative
πarccos(x)\pi - \arccos(x)
Inverse
arctan(x)\arctan(-x)
Arctangent of negative
arctan(x)-\arctan(x)

Families of identities

Click a family to highlight its entries in the table above.

sin²+cos²

Pythagorean

Identities that follow from the unit circle equation x2+y2=1x^2 + y^2 = 1.

3 matchesClick to highlight
1/sin

Reciprocal & quotient

Definitional identities expressing each trig function in terms of sin\sin and cos\cos.

5 matchesClick to highlight
f(-x)

Negative-angle

How each trig function responds to a sign flip on the input — the even/odd classification.

6 matchesClick to highlight
π/2 - x

Complement (cofunction)

Cofunction identities: each trig function equals its "co-" counterpart at the complementary angle.

6 matchesClick to highlight
π - x

Supplement

Identities relating trig functions of supplementary angles — reflection across the yy-axis on the unit circle.

6 matchesClick to highlight
π+x

Reference-angle reduction

Reduce any angle to a first-quadrant equivalent. Each transform (π/2±x, π±x, 3π/2±x, 2π±x) gives the trig function as a signed first-quadrant form.

36 matchesClick to highlight
a+b

Sum-angle

Identities for sin\sin, cos\cos, tan\tan, cot\cot, sec\sec, csc\csc of a+ba + b — the source from which most multi-angle identities derive.

6 matchesClick to highlight
a-b

Difference-angle

Identities for the six trig functions of aba - b. Recover by substituting b-b into the sum-angle formulas.

6 matchesClick to highlight
2x

Double-angle

Identities for the six trig functions of 2x2x — the sum-angle identities with a=b=xa = b = x.

6 matchesClick to highlight
3x

Triple-angle

Identities for the six trig functions of 3x3x — build by applying sum-angle to (2x)+x(2x) + x.

6 matchesClick to highlight
x/2

Half-angle

Identities for the six trig functions at x/2x/2 — derived from the power-reduction formulas by taking a square root.

6 matchesClick to highlight
sin²

Power reduction

Rewrite sin2x\sin^2 x, cos2x\cos^2 x, tan2x\tan^2 x as expressions in cos(2x)\cos(2x) — essential for integration of even powers.

3 matchesClick to highlight
×→+

Product-to-sum

Convert a product of trig functions into a sum or difference — the key trick for integrating products like sin(ax)cos(bx)\sin(ax)\cos(bx).

4 matchesClick to highlight
+→×

Sum-to-product

Convert a sum or difference of trig functions into a product. The inverse direction of product-to-sum, useful for factoring trig expressions.

4 matchesClick to highlight
sin⁻¹

Inverse

Identities for arcsin\arcsin, arccos\arccos, arctan\arctan and friends — compositions, mixed compositions, cofunction sums, and negative-input behavior.

12 matchesClick to highlight
odd

Odd-function identities

Negative-angle identities for the odd trig functions: sin\sin, tan\tan, cot\cot, csc\csc.

4 matchesClick to highlight
even

Even-function identities

Negative-angle identities for the even trig functions: cos\cos and sec\sec.

2 matchesClick to highlight

How identities work

Foundational principles for understanding identity families.

Identity vs. equation

A trigonometric identity holds for every valid value of the variable in its domain. A trigonometric equation, by contrast, holds only at specific values.

sin2(x)+cos2(x)=1(true for every x)\sin^2(x) + \cos^2(x) = 1 \quad \text{(true for every } x \text{)}
co

Cofunction pairs

Each trig function pairs with a "co-" counterpart: sine with cosine, tangent with cotangent, secant with cosecant. Cofunctions of complementary angles are equal.

sinθ=cos ⁣(π2θ)\sin\theta = \cos\!\left(\tfrac{\pi}{2} - \theta\right)
±

Even and odd

Cosine and secant are even. Sine, tangent, cotangent, and cosecant are odd. This determines how each function responds to a sign flip on the input.

cos(x)=cos(x)(even)sin(x)=sin(x)(odd)\cos(-x) = \cos(x) \quad\text{(even)} \qquad \sin(-x) = -\sin(x) \quad\text{(odd)}
1

Building the Pythagorean family

A single identity sin2+cos2=1\sin^2 + \cos^2 = 1 generates the family. Dividing through by cos2(x)\cos^2(x) produces the tan-sec form; dividing by sin2(x)\sin^2(x) produces the cot-csc form.

sin2xcos2x+cos2xcos2x=1cos2x    tan2(x)+1=sec2(x)\dfrac{\sin^2 x}{\cos^2 x} + \dfrac{\cos^2 x}{\cos^2 x} = \dfrac{1}{\cos^2 x} \;\Longrightarrow\; \tan^2(x) + 1 = \sec^2(x)
U

Unit circle as the source

Most trig identities are restatements of geometric facts about the unit circle: the equation x2+y2=1x^2 + y^2 = 1, reflections across axes, and rotations.

(cosθ)2+(sinθ)2=1(the unit circle equation)(\cos\theta)^2 + (\sin\theta)^2 = 1 \quad \text{(the unit circle equation)}

Reduction to a reference angle

Any trig function at any angle reduces to the same function (or its cofunction) at a first-quadrant angle, up to a sign. The transformations π/2±x\pi/2 \pm x, π±x\pi \pm x, 3π/2±x3\pi/2 \pm x, and 2π±x2\pi \pm x span every case. The sign comes from the quadrant; whether the function or its cofunction appears comes from whether the rotation is an odd or even multiple of π/2\pi/2.

sin(π+x)=sin(x)cos ⁣(3π2x)=sin(x)\sin(\pi + x) = -\sin(x) \qquad \cos\!\left(\tfrac{3\pi}{2} - x\right) = -\sin(x)

Sum-angle as the generator

The sum-angle identities for sin\sin and cos\cos are the source of most multi-angle identities. Difference-angle follows by negating the second input; double-angle is the special case a=ba = b; triple-angle is sin(2x+x)\sin(2x + x); power-reduction comes from solving the double-angle form for the squared term; and half-angle comes from the power-reduction formulas. Product-to-sum follows by adding and subtracting sum-angle and difference-angle; sum-to-product follows by substituting a=u+va = u + v, b=uvb = u - v into product-to-sum.

sin(2x)=sin(x+x)=2sin(x)cos(x)\sin(2x) = \sin(x + x) = 2\sin(x)\cos(x)
pv

Inverse trig and principal values

Inverse trig functions are not true inverses on the full real line — sine is not one-to-one, so arcsin\arcsin requires restricting sine to [π2,π2][-\tfrac{\pi}{2}, \tfrac{\pi}{2}] before inverting. The chosen restriction is called the principal value. Compositions like sin(arcsinx)\sin(\arcsin x) always recover xx; the reverse direction arcsin(sinx)\arcsin(\sin x) only does so within the principal range.

arcsin ⁣(sin3π4)=arcsin ⁣(22)=π4    3π4\arcsin\!\left(\sin\tfrac{3\pi}{4}\right) = \arcsin\!\left(\tfrac{\sqrt 2}{2}\right) = \tfrac{\pi}{4} \;\neq\; \tfrac{3\pi}{4}
Loading...