Skip to content

Proving identities

Proving identities

What an identity is

An identity is an equality that holds for every x\displaystyle x where both sides are defined. For example, tan⁡x⋅cos⁡x=sin⁡x\displaystyle {\tan x\cdot\cos x}={\sin x} holds for every x\displaystyle x with cos⁡x≠0\displaystyle \cos x\neq0.

  • A proof: a chain of equalities that starts at one side and reaches the other. Each equality in the chain rests on a known identity or on algebra.
  • Which side to start from: usually the more complicated one – simplifying is easier than complicating.
  • Disproving: one x\displaystyle x where the sides differ is enough. For example, sin⁡2x=2sin⁡x\displaystyle {\sin2x}={2\sin x} is no identity: at x=π2\displaystyle {x}={\frac{\pi}{2}} the left side is 0\displaystyle 0 and the right side 2\displaystyle 2.
A common mistake in a proof

Careful: do not write the identity to be proved and then act on both sides until you reach something true. That proves only the converse: the true statement follows from the identity – not the other way round. An example: from 1=−1\displaystyle {1}={-1}, which is false, squaring gives 1=1\displaystyle {1}={1}, which is true.

Ways to start
  • Write everything with sin⁡\displaystyle \sin and cos⁡\displaystyle \cos (tan⁡x=sin⁡xcos⁡x\displaystyle {\tan x}={\frac{\sin x}{\cos x}}).
  • Bring fractions to a common denominator.
  • Replace 1\displaystyle 1 by sin⁡2x+cos⁡2x\displaystyle \sin^2x+\cos^2x, or the other way round.
  • Open a double angle when the other side has x\displaystyle x alone, and the other way round.
  • Multiply the numerator and the denominator by the conjugate: (1−cos⁡x)(1+cos⁡x)=sin⁡2x\displaystyle {(1-\cos x)(1+\cos x)}={\sin^2x}.
  • Factorise: a difference of two squares, a common factor.
An example – a common denominator

A proof of 1cos⁡x−cos⁡x=sin⁡xtan⁡x\displaystyle {\frac{1}{\cos x}-\cos x}={\sin x\tan x}, from the left side:

1cos⁡x−cos⁡x=1−cos⁡2xcos⁡x=sin⁡2xcos⁡x=sin⁡x⋅sin⁡xcos⁡x=sin⁡xtan⁡x\frac{1}{\cos x}-\cos x=\frac{1-\cos^2x}{\cos x}=\frac{\sin^2x}{\cos x}=\sin x\cdot\frac{\sin x}{\cos x}=\sin x\tan x
An example – the conjugate

A proof of sin⁡x1−cos⁡x=1+cos⁡xsin⁡x\displaystyle {\frac{\sin x}{1-\cos x}}={\frac{1+\cos x}{\sin x}}: multiply the numerator and the denominator of the left side by 1+cos⁡x\displaystyle 1+\cos x.

sin⁡x1−cos⁡x=sin⁡x(1+cos⁡x)(1−cos⁡x)(1+cos⁡x)=sin⁡x(1+cos⁡x)sin⁡2x=1+cos⁡xsin⁡x\frac{\sin x}{1-\cos x}=\frac{\sin x(1+\cos x)}{(1-\cos x)(1+\cos x)}=\frac{\sin x(1+\cos x)}{\sin^2x}=\frac{1+\cos x}{\sin x}
Exercise 1

Prove: tan⁡x+1tan⁡x=2sin⁡2x\displaystyle {\tan x+\frac{1}{\tan x}}={\frac{2}{\sin2x}}

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

    Exercise 2

    Prove: (sin⁡x+cos⁡x)2=1+sin⁡2x\displaystyle {(\sin x+\cos x)^2}={1+\sin2x}

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

      Exercise 3

      Prove: cos⁡2xcos⁡x+sin⁡x=cos⁡x−sin⁡x\displaystyle {\frac{\cos2x}{\cos x+\sin x}}={\cos x-\sin x}

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        Exercise 4

        Prove: sin⁡2xsin⁡x−cos⁡2xcos⁡x=1cos⁡x\displaystyle {\frac{\sin2x}{\sin x}-\frac{\cos2x}{\cos x}}={\frac{1}{\cos x}}

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          Exercise 5

          Prove: sin⁡(π4+x)sin⁡(π4−x)=12cos⁡2x\displaystyle {\sin\left(\frac{\pi}{4}+x\right)\sin\left(\frac{\pi}{4}-x\right)}={\frac{1}{2}\cos2x}

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

            Exercise 6

            Prove: sin⁡3xsin⁡x−cos⁡3xcos⁡x=2\displaystyle {\frac{\sin3x}{\sin x}-\frac{\cos3x}{\cos x}}={2}

              / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

              / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

              Exercise 7

              Is cos⁡2x=2cos⁡x−1\displaystyle {\cos2x}={2\cos x-1} an identity? If so, prove it; if not, give an x\displaystyle x where the sides differ.