Trigonometric identities and proofs

Once sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1 is fixed on the unit circle, a whole family of identities falls out of it — relations between the six trigonometric functions that hold for every permissible value of xx, not just special angles. Learning to prove such identities is a core ISC Class 11 skill: pick the messier side, rewrite it in terms of sin⁡x\sin x and cos⁡x\cos x, and simplify until it matches the other side exactly. This article gathers the reciprocal, quotient and Pythagorean identities, shows the two recurring algebraic patterns that unlock most identity-proving questions — the conjugate trick and the sec⁡2x−tan⁡2x=1\sec^2x-\tan^2x=1 swap — and works through a full proof step by step. The scope stays inside "proving an identity is always true"; solving trigonometric equations for particular values of xx is Class XII material and is not touched here.

The core insight

Every trigonometric identity reduces, through the reciprocal and quotient definitions, to a statement about sin⁡x\sin x and cos⁡x\cos x alone, so proving one is really just algebra on those two functions guided by sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1.

The core idea

Reciprocal identities. These follow directly from how csc⁡\csc, sec⁡\sec and cot⁡\cot are defined relative to sin⁡\sin, cos⁡\cos and tan⁡\tan:

csc⁡x=1sin⁡x,sec⁡x=1cos⁡x,cot⁡x=1tan⁡x\csc x = \frac{1}{\sin x}, \qquad \sec x = \frac{1}{\cos x}, \qquad \cot x = \frac{1}{\tan x}

where: each equality holds wherever the denominator on the right is nonzero — csc⁡x\csc x and cot⁡x\cot x are undefined when sin⁡x=0\sin x = 0, and sec⁡x\sec x is undefined when cos⁡x=0\cos x = 0.

Quotient identities. tan⁡x\tan x and cot⁡x\cot x are ratios of the two basic functions:

tan⁡x=sin⁡xcos⁡x,cot⁡x=cos⁡xsin⁡x\tan x = \frac{\sin x}{\cos x}, \qquad \cot x = \frac{\cos x}{\sin x}

The three Pythagorean identities. The first comes straight from x2+y2=1x^2+y^2=1 on the unit circle; the other two are obtained by dividing every term through by cos⁡2x\cos^2x and by sin⁡2x\sin^2x respectively:

sin⁡2x+cos⁡2x=1\sin^2 x + \cos^2 x = 1
1+tan⁡2x=sec⁡2x(divide by cos⁡2x, cos⁡x≠0)1 + \tan^2 x = \sec^2 x \qquad (\text{divide by } \cos^2 x,\ \cos x \ne 0)
1+cot⁡2x=csc⁡2x(divide by sin⁡2x, sin⁡x≠0)1 + \cot^2 x = \csc^2 x \qquad (\text{divide by } \sin^2 x,\ \sin x \ne 0)

where: xx is any angle for which the functions involved are defined; the three identities are not independent facts to memorise separately but three views of one relation, sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1, seen through different lenses.

Two patterns worth spotting on sight. A denominator like 1−sin⁡x1-\sin x or 1+cos⁡x1+\cos x almost always invites multiplying top and bottom by its conjugate (1+sin⁡x1+\sin x or 1−cos⁡x1-\cos x), because the product collapses via a Pythagorean identity: (1−sin⁡x)(1+sin⁡x)=1−sin⁡2x=cos⁡2x(1-\sin x)(1+\sin x) = 1-\sin^2x = \cos^2x. Separately, an expression mixing sec⁡x\sec x and tan⁡x\tan x (or csc⁡x\csc x and cot⁡x\cot x) often simplifies the moment you recall the rearranged Pythagorean forms sec⁡2x−tan⁡2x=1\sec^2x-\tan^2x=1 and csc⁡2x−cot⁡2x=1\csc^2x-\cot^2x=1. Recognising these two patterns before starting the algebra is what turns a long, messy proof into a short one.

Why bother proving identities at all? Two expressions that look completely different — say 1sec⁡x−tan⁡x\dfrac{1}{\sec x-\tan x} and sec⁡x+tan⁡x\sec x+\tan x — often turn out to be the same function written two ways, and knowing this lets you swap freely between whichever form is easier to work with in a later step, whether that is integrating, simplifying a bigger expression, or solving an equation in Class XII. The proof itself is also excellent algebra practice: it forces disciplined, reversible steps rather than guesswork, which is exactly the habit examiners are testing when they set an "identity" question rather than a "solve" question.

Figure
A right triangle labelled with sine cosine tangent secant cosecant and cotangent all expressed as ratios of the two legs and the hypotenuse
Six functions, one triangle adjacent (cos) opposite (sin) hypotenuse (1) x reciprocal pairs: sin with csc, cos with sec, tan with cot — each is one over the other
Derivation AProving 1 over (sec x minus tan x) equals sec x plus tan x

The goal is to prove the identity 1sec⁡x−tan⁡x=sec⁡x+tan⁡x\dfrac{1}{\sec x - \tan x} = \sec x + \tan x by transforming only the left-hand side through legitimate algebraic steps until it matches the right-hand side exactly, using nothing beyond the Pythagorean identity 1+tan⁡2x=sec⁡2x1+\tan^2x=\sec^2x derived from sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1.

Step 1. First secure the tool. Divide sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1 through by cos⁡2x\cos^2x (valid wherever cos⁡x≠0\cos x\ne0): sin⁡2xcos⁡2x+cos⁡2xcos⁡2x=1cos⁡2x\dfrac{\sin^2x}{\cos^2x}+\dfrac{\cos^2x}{\cos^2x}=\dfrac{1}{\cos^2x}, which is tan⁡2x+1=sec⁡2x\tan^2x+1=\sec^2x. Rearranged, sec⁡2x−tan⁡2x=1\sec^2x-\tan^2x=1 — a difference of squares that equals 11, which is exactly the pattern that makes the conjugate trick pay off.

Step 2. Take the more complicated side, the LHS, and recognise the denominator sec⁡x−tan⁡x\sec x-\tan x as an invitation to multiply by its conjugate sec⁡x+tan⁡x\sec x+\tan x: LHS=1sec⁡x−tan⁡x⋅sec⁡x+tan⁡xsec⁡x+tan⁡x=sec⁡x+tan⁡xsec⁡2x−tan⁡2x\text{LHS}=\dfrac{1}{\sec x-\tan x}\cdot\dfrac{\sec x+\tan x}{\sec x+\tan x}=\dfrac{\sec x+\tan x}{\sec^2x-\tan^2x}.

Step 3. Substitute the Step 1 result into the denominator: sec⁡2x−tan⁡2x=1\sec^2x-\tan^2x=1, so the whole denominator collapses to 11, leaving sec⁡x+tan⁡x1=sec⁡x+tan⁡x\dfrac{\sec x+\tan x}{1}=\sec x+\tan x.

Step 4. Compare with the RHS. The simplified LHS is exactly sec⁡x+tan⁡x\sec x+\tan x, which is the RHS, so the identity is proved: 1sec⁡x−tan⁡x=sec⁡x+tan⁡x\dfrac{1}{\sec x-\tan x}=\sec x+\tan x for every xx where cos⁡x≠0\cos x\ne0. ■\blacksquare

Worked example

Problem. Prove that cos⁡x1−sin⁡x=sec⁡x+tan⁡x\dfrac{\cos x}{1-\sin x} = \sec x + \tan x.

Step 1. Multiply numerator and denominator of the LHS by the conjugate of 1−sin⁡x1-\sin x, which is 1+sin⁡x1+\sin x, so the denominator becomes a difference of squares:

LHS=cos⁡x1−sin⁡x⋅1+sin⁡x1+sin⁡x=cos⁡x(1+sin⁡x)1−sin⁡2x\text{LHS} = \frac{\cos x}{1-\sin x}\cdot\frac{1+\sin x}{1+\sin x} = \frac{\cos x(1+\sin x)}{1-\sin^2x}

Step 2. Apply the Pythagorean identity 1−sin⁡2x=cos⁡2x1-\sin^2x=\cos^2x to the denominator:

=cos⁡x(1+sin⁡x)cos⁡2x= \frac{\cos x(1+\sin x)}{\cos^2 x}

Step 3. Cancel one factor of cos⁡x\cos x from top and bottom — legitimate since cos⁡x≠0\cos x\ne0 is already required for sec⁡x\sec x and tan⁡x\tan x on the RHS to exist:

=1+sin⁡xcos⁡x=1cos⁡x+sin⁡xcos⁡x=sec⁡x+tan⁡x=RHS= \frac{1+\sin x}{\cos x} = \frac{1}{\cos x} + \frac{\sin x}{\cos x} = \sec x + \tan x = \text{RHS}

The identity is proved. cos⁡x1−sin⁡x=sec⁡x+tan⁡x\dfrac{\cos x}{1-\sin x} = \sec x + \tan x, valid wherever cos⁡x≠0\cos x\ne0.

Competitive stretch

The derivation's result 1sec⁡x−tan⁡x=sec⁡x+tan⁡x\dfrac{1}{\sec x-\tan x}=\sec x+\tan x can be reused rather than re-proved. Squaring both sides directly gives 1(sec⁡x−tan⁡x)2=(sec⁡x+tan⁡x)2\dfrac{1}{(\sec x-\tan x)^2}=(\sec x+\tan x)^2 for free, with no fresh conjugate step needed. This is the kind of shortcut examiners reward: once an identity is proved, later questions that are algebraic consequences of it (squaring, taking reciprocals) follow in one line instead of restarting the whole proof from scratch.

Common traps

  • Treating "prove the identity" as "solve for xx" — an identity must hold for every valid xx, so the task is algebraic transformation, never finding a specific angle.
  • Cross-multiplying across the equals sign or working both sides at once assuming they are already equal — this can "prove" a false statement; always reduce one side (or both sides independently) to a common form first.
  • Forgetting the implicit domain restriction — in the worked example, cos⁡x≠0\cos x\ne0 and sin⁡x≠1\sin x\ne1 must hold at every step for sec⁡x\sec x and tan⁡x\tan x to even be defined.
  • Mixing up which Pythagorean identity pairs with which function: 1+tan⁡2x=sec⁡2x1+\tan^2x=\sec^2x goes with tan⁡\tan–sec⁡\sec, while 1+cot⁡2x=csc⁡2x1+\cot^2x=\csc^2x goes with cot⁡\cot–csc⁡\csc; swapping them is a very common slip.
  • Stopping the simplification one step early and declaring the proof done — the final simplified expression must match the RHS exactly (same functions, same form), not merely "look close"; 1cos⁡x+sin⁡xcos⁡x\dfrac{1}{\cos x}+\dfrac{\sin x}{\cos x} is only finished once it is rewritten as sec⁡x+tan⁡x\sec x+\tan x to match the target.

Ask the tutor: Stuck partway through proving an identity — ask the AI tutor to check your algebra line by line and suggest which Pythagorean identity or conjugate move applies next.

Why do we only work on one side of an identity instead of both

If you manipulate both sides at once — especially by cross-multiplying — you risk accidentally proving something false, because operations like squaring or cross-multiplying can make unequal expressions look equal. Working on the more complicated side alone (or reducing each side independently to the same simplest form) guarantees that every step is a valid, reversible rewriting of a true statement, so the final match is trustworthy rather than an algebraic accident.

How do I know which Pythagorean identity to use in a given problem

Look at which functions appear in the expression. If you see tan⁡x\tan x or sec⁡x\sec x together, reach for 1+tan⁡2x=sec⁡2x1+\tan^2x=\sec^2x (or its rearrangement sec⁡2x−tan⁡2x=1\sec^2x-\tan^2x=1). If you see cot⁡x\cot x or csc⁡x\csc x, reach for 1+cot⁡2x=csc⁡2x1+\cot^2x=\csc^2x. If only sin⁡x\sin x and cos⁡x\cos x appear, the plain sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1 is usually enough. Matching the identity to the functions actually present in the problem narrows the choice immediately.

What is the conjugate trick and why does it always seem to work

When a denominator is 1−sin⁡x1-\sin x, 1+cos⁡x1+\cos x, sec⁡x−tan⁡x\sec x-\tan x or similar, multiplying top and bottom by the "opposite sign" version — 1+sin⁡x1+\sin x, 1−cos⁡x1-\cos x, sec⁡x+tan⁡x\sec x+\tan x — turns the denominator into a difference of squares, such as 1−sin⁡2x1-\sin^2x. That difference of squares is exactly the left-hand side of a Pythagorean identity, so it collapses to a single term like cos⁡2x\cos^2x or 11. It works reliably because every Pythagorean identity is itself a difference-of-squares statement in disguise.

Before this

Where this leads