Foundations — Half angle formulas — derivations from double angle
Before you can derive a single half-angle formula, you must be fluent with a handful of symbols and pictures the parent note leans on without pausing. We build each one from nothing, in the order they depend on each other.
1. The angle — and what "half" of it means
An angle is an amount of turning. Picture a clock hand starting flat along the positive horizontal direction and rotating anticlockwise. How far it has swung is the angle.
We name angles with letters like (Greek "theta") or . These are just labels for "some amount of turn".
Figure s01 shows this directly: the orange arrow is a full turn , and the blue arrow beside it is exactly half that turn, . Notice the blue wedge is half the width of the orange one.

Why the topic needs this: the entire subject asks "given facts about , what about ?" You cannot even state the question without the idea of halving a turn — and, crucially (see §6), halving the turn can land you in a different region of the plane.
2. Two numbers born from an angle: and
Draw a circle of radius centred at the origin — the unit circle. Swing a point around it by angle . That point has a horizontal position and a vertical position.
In figure s02, the blue segment along the floor is (how far right the point sits) and the green segment standing up is (how high it sits). The red dot is the point itself, and the small grey wedge marks the angle .

Why "steepness" language works: as the point climbs, grows; as it moves left, shrinks. The angle controls these two numbers, so knowing pins down a lot about .
3. Squaring, and the notation
To square a number is to multiply it by itself: squared is . Geometrically, squaring a length gives the area of a square with that side.
Why the topic needs this: every half-angle formula solves for a squared quantity first (, ). The squares appear because the double-angle identity is built from products like .
4. The seed identity: double-angle cosine
The whole topic starts from a single fact about of a doubled angle. We state it here, because §5 onward — and the parent note — reshape it constantly.
Why the topic needs this: everything the parent does is this equation, rearranged. To rearrange it you must first be able to remove one of its two squared functions — which is exactly what the next tool, the Pythagorean identity, provides.
5. The Pythagorean identity — the swap rule
Because our point sits on a circle of radius , its horizontal and vertical coordinates always satisfy one unbreakable relationship.
Figure s03 makes this literal: the blue side is , the green side is , and the red hypotenuse is the radius . Pythagoras on this right triangle is the identity.

Rearranged, it is a swap rule — a licence to trade one squared function for the other:
Why the topic needs this — and which tool, why: the parent note takes the seed and turns it into two one-function versions. The only tool that lets you erase one of the two functions is this swap rule. We reach for Pythagoras (not, say, a derivative) precisely because the question is "how do I remove so only remains?" — an algebraic substitution question, which this identity answers exactly.
6. — the ratio of the two coordinates
Squaring the ratio just squares top and bottom:
Why the topic needs this: the tangent half-angle formula is obtained by dividing the sine result by the cosine result. That division only makes sense once you know . And the reason the parent prefers for the Weierstrass substitution (Weierstrass substitution) is that this single ratio is enough to rebuild both coordinates.
7. The sign and the four quadrants
The plane splits into four quadrants by the horizontal and vertical axes, numbered anticlockwise I, II, III, IV. In each, the signs of the coordinates differ:
| Quadrant | angle range | (horizontal) | (vertical) |
|---|---|---|---|
| I | |||
| II | |||
| III | |||
| IV |
Figure s04 colour-codes the same table onto the plane: read off each quadrant's pair of signs by whether the point sits left/right (sign of ) and up/down (sign of ).

Prerequisite map
Each block feeds the next: coordinates give you the functions, the seed identity and Pythagoras let you reshape it into one-function forms, tangent lets you divide, and quadrants let you fix the sign — together they produce the half-angle formulas.
Equipment checklist
Self-test: can you answer each without peeking?
What does mean, and why can its quadrant differ from 's?
On the unit circle, which coordinate is and which is ?
Does mean ?
State the double-angle cosine seed identity.
State the Pythagorean identity and what it lets you do.
Write and as ratios.
Why does a appear in the half-angle formulas?
In which quadrant is positive but negative?
Connections
- Double angle formulas — the seed identity these foundations prepare you to reverse.
- Pythagorean identity — the swap rule of §5.
- Weierstrass substitution — built on the tangent half-angle of §6.
- Exact trig values — where the quadrant sign choices of §7 pay off.
- Product-to-sum formulas — a sibling manipulation of the same coordinate ideas.