3.1.9 · D5Advanced Trigonometry

Question bank — Pythagorean identities — sin² + cos² = 1, derivations of the other two

1,301 words6 min readBack to topic

Before we start, one reminder of notation so nothing is used before it is defined:

  • means — square the output, not the angle.
  • — the quotient of the two unit-circle coordinates: how steep the ray is (up-amount divided by right-amount). It is undefined wherever .
  • , , — these are the reciprocal and quotient functions. Each is undefined wherever its denominator is .

The picture below is the object every claim on this page secretly refers to — keep glancing back at it.


True or false — justify

Read each claim, decide, then reveal the reasoning.

holds for negative angles like .
True. The identity came from squaring the unit-circle coordinates (see figure s02), and squaring erases the sign — so it holds for every real , positive, negative, or beyond .
holds for every angle .
==False — but for a subtle reason: it does not become a wrong number, it stops being a statement at all.== Wherever (like ), and are undefined, so the equation has no meaning there. Everywhere the functions are defined, it is perfectly true.
If then .
False. You cannot "square-root each term" of a sum: . At , , not .
and are the same constant.
True. Both equal : the first is rearranged, the second is rearranged.
lets you write for all .
False. Only the square is fixed; the root needs a sign. , and the quadrant of chooses or (see the sign chart, figure s03).
can be negative for some .
False. It's a real number squared, so always — likewise since .
The identity only works in the first quadrant where the triangle is "real".
False. Squaring the legs and removes the absolute values, so the same equation survives in all four quadrants and on the axes.
for every where it is defined.
True. and , so always (equality only when ).

Spot the error

Each line contains ONE flawed step. Name it.

"."
The lost . Correctly ; you must use the quadrant (figure s03) to pick the sign, because both and square to .
", so , fine."
You can't plug in at all. and are undefined (division by ). Note the nuance: as both and grow without bound, and their difference stays the whole way — but a limit that diverges is not a value, so "" is not an equation you can write. The identity is a statement about numbers, and at there simply are no numbers to compare.
", so ."
Confusing the exponent's target. (square the output), which is nothing like (square the angle first).
"To simplify , write it as ."
Same square-root-of-a-difference trap. (from the master identity), not .
"Divide by to get ."
Wrong reciprocal on the right. , so the result is ; comes from dividing by .
", so as well."
Invented a false consequence. (a double-angle formula), which varies between and — it is not fixed at .
"Since , then too."
Un-squaring a difference term by term. is generally not ; only the squared combination collapses to .

Why questions

Short "why does the maths behave this way" prompts.

Why does dividing the master identity by specifically produce the tan–sec family?
Because and — dividing by turns each term into exactly those functions squared.
Why must we attach to the identity ?
Because both and divide by ; where that division is illegal, so the identity's terms don't exist.
Why does squaring in Pythagoras let the identity survive in every quadrant?
The legs of the triangle are the lengths and (figure s01); squaring removes the absolute-value signs, so negative coordinates give the same squared result.
Why is but ?
and makes ; meanwhile caps at .
Why do we say the two "child" identities carry no new information?
They are the same equation merely divided by or ; no independent fact is added — the geometry is identical.
Why does the quadrant, not the identity, decide the sign of ?
The identity only fixes ; two angles with the same can sit in different quadrants and have opposite-signed cosines (figure s03), so extra info (the quadrant) is required. See Solving trig equations.
Why is "" always safe but "" is not?
The first is a multiplication and never divides; the second, which is the definition of , divides by and so fails where .

Edge cases

The degenerate and boundary inputs the topic quietly hides.

At , what happens to ?
It breaks: makes and undefined (division by ), so the identity does not apply there.
At , is still valid?
Yes. give . The master identity never divides, so it survives every angle including the axes.
For : does hold?
Yes. Here , so , , and . ✓
What is the smallest value can take, and where?
Its minimum is , reached whenever (i.e. ), because and .
Can and ever be equal, and what is each then?
Yes, when ; then each equals , since they must still sum to .
For a huge angle like , does the master identity still hold?
Yes. Sine and cosine repeat every , and the identity holds for all real , so periodicity guarantees it stays true.

Connections