3.1.11 · D2Advanced Trigonometry

Visual walkthrough — Co-function identities

2,274 words10 min readBack to topic

This walkthrough goes deeper than the parent note. If a word like "opposite" or "hypotenuse" is unfamiliar, peek at Right Triangle Trigonometry (SOH-CAH-TOA) first — but you shouldn't need to; we rebuild it here.


Step 1 — Draw the stage: a right triangle

WHAT. We draw a triangle with three corners, and we make one corner a perfect square corner — a angle. We name the corners , , , and we put the square corner at .

WHY. Every co-function identity lives inside a right triangle. The square corner is the anchor: it is the reason the other two angles are forced to cooperate (Step 2). Without it, none of this works.

PICTURE. In the figure, the small square drawn inside corner is the standard mark for "this is exactly ". The two slanted corners and are the ones we will study.

Figure — Co-function identities

Step 2 — The two slanted angles must add to

WHAT. Name the angle at corner with the Greek letter (say "theta" — it just means "the angle we're focusing on"). Name the angle at corner with ("phi" — its partner). We now prove .

WHY. This is the hidden engine of every co-function identity. Two angles that add to are called complementary (see Complementary and Supplementary Angles). We must earn this fact before using it.

Every term explained: the three angles of any triangle always total (a straight line's worth of turning). One of ours is . Subtract it from both sides:

The boxed line is the star: is not a free number — it is exactly the leftover after is taken from . That is what "" means physically.

PICTURE. Watch the two coloured arcs: as (blue) grows, (orange) shrinks by the same amount, so their sum stays pinned at .

Figure — Co-function identities
Recall Quick check

If , what is ? ::: and indeed . ✔


Step 3 — Name the three sides from 's point of view

WHAT. Stand at corner and look across the triangle as angle would. Three sides get names:

  • the side across from you (not touching ) is the opposite, length ;
  • the side along the floor next to you (touching , but not the long slanted one) is the adjacent, length ;
  • the longest side, always across from the square corner, is the hypotenuse, length .

WHY. Sine and cosine are defined using these three lengths. We can't talk about until we've labelled what "opposite" and "hypotenuse" point to. The labels depend on which corner you stand at — that dependence is the whole secret of this page.

PICTURE. Blue = opposite (), green = adjacent (), gray = hypotenuse (), all tagged from 's corner.

Figure — Co-function identities

Step 4 — Now re-name the same sides from 's point of view

WHAT. Don't redraw anything. Just walk to corner and re-ask "which side is opposite me now, which is adjacent?" The physical sides never moved — only your viewpoint did.

WHY. This is the crux. The single most important observation on the whole page: the side that was opposite is adjacent to , and the side that was adjacent to is opposite . Standing at the other corner swaps the two roles.

PICTURE. Same triangle, two viewpoints side by side. Follow side : labelled "opposite" from 's desk (left), it is labelled "adjacent" from 's desk (right). Nothing about the triangle changed — only the word attached to .

Figure — Co-function identities

Both lines say the obvious — equals , equals — but the labels underneath them are what carry the magic.


Step 5 — Write and watch it become (and the twin)

WHAT. Apply the cosine definition, but at corner this time.

WHY. Cosine at needs "adjacent-to- over hypotenuse". From Step 4, adjacent-to- is the length . So:

Now look back at Step 3: too. Two different expressions, one identical fraction. Setting them equal:

Finally substitute the boxed result of Step 2, :

Term by term: on the left, 's sine (its tallness). On the right, the cosine of 's complement. They are equal because they are the same side over the same hypotenuse, seen from two chairs.

The twin, derived (not just asserted). Now do the mirror computation — write at corner and at corner . From Step 4, the side opposite is the length (the very side that is adjacent to ):

Same fraction again, so . Substituting :

So both core identities come from the same triangle — one from tracking side , the other from tracking side . No hand-waving "trade the roles"; each has its own fraction.

PICTURE. The fraction is highlighted once in blue (as ) and once in orange (as ); the fraction is highlighted in green (as both and ).

Figure — Co-function identities

Step 6 — Get all the others by dividing (no new triangle)

WHAT. We now have both core identities from Step 5:

WHY. Tangent, cotangent, secant, cosecant are all built from sine and cosine (we wrote their definitions in Step 3). So we never need geometry again — just algebra.

Reading it left to right: is by definition . Feed in the complement; the numerator becomes and the denominator becomes . The result is exactly the Step 3 definition of .

Same trick with reciprocals: by definition, the denominator flips to , and is the Step 3 definition of .

PICTURE. A dependency fan: the one geometric fact at the root branches into all six identities.

Figure — Co-function identities

Step 7 — Beyond the triangle: the unit circle & angles in every quadrant

WHAT. A triangle only holds angles between and . But and are defined for any angle — even , , — using the unit circle: a circle of radius centred at the origin. Spin a ray by angle from the positive -axis; where it hits the circle is the point . So is the point's -coordinate and its -coordinate — and coordinates can be negative.

WHY. We must show the identity survives outside the first quadrant, where signs flip. The clean way: is a reflection across the line . Reflecting a point across swaps its coordinates: . Since the point for is , the point for is . Reading off that point's coordinates:

This argument uses no triangle — it works for every , and the signs take care of themselves because the swap moves a negative coordinate to a negative coordinate.

PICTURE. Take (second quadrant, where is negative). Its point is . Reflect across (dashed line) to reach the point for , namely — coordinates swapped. Check: ✔ and ✔. Negative signs and all, the identity holds.

Figure — Co-function identities

Step 8 — Special value & the symmetry (a feature, not a bug)

WHAT. Walk from up to and watch against .

WHY. A good identity must survive the limits and have a clean symmetric point. At the triangle collapses (no height); at it collapses the other way (no width). The formula must still give the right answer — and Step 7's unit circle already guarantees it does, since the reflection argument never needed a genuine triangle.

complement agree?

PICTURE. As slides from to , the blue curve and the orange curve lie exactly on top of each other — including the flat endpoints. The identity is a single curve wearing two names.

Figure — Co-function identities

The one-picture summary

Everything above collapses into one image: one triangle, two viewpoints, one shared fraction . From 's chair that fraction is ; from 's chair the very same fraction is . And Step 7 upgraded this to all angles via the reflection across . That's the whole proof.

Figure — Co-function identities
Recall Feynman retelling — the whole walkthrough in plain words

Draw a slide with a perfect square corner at the bottom. Two kids sit at the two slanted corners. Because a triangle's turning always adds to and one corner already ate , the two kids share the last — whatever one kid's angle is, the other's is the leftover. Now here's the trick: the side that is in front of kid is beside kid . So when kid measures "how tall the far corner looks" (that's sine = opposite/hypotenuse), kid measures the exact same side but calls it "how wide it looks" (that's cosine = adjacent/hypotenuse). Same side, same long slide, so the same number — one kid names it sine, the other names it cosine. Divide or flip that pair (using , ) and you get tan/cot and sec/csc for free. For angles bigger than the triangle runs out of room, so we spin a ray on a circle of radius instead; the point for is just the point for flipped across the diagonal , which swaps and — and swapping the coordinates is exactly what swaps cosine and sine, even when they're negative. Right in the middle, at , the angle equals its own partner, so both kids read off the very same value.


Connections