3.1.13 · D5Advanced Trigonometry
Question bank — Double angle formulas — sin 2A, cos 2A (three forms), tan 2A
The two little graphs below back up the "graph-shape" and "period-doubling" claims further down; glance at them when those items mention the graph.


True or false — justify
for all .
False. It only holds when , i.e. , because the true formula is and the two agree only when the extra factor equals .
and are the same statement.
True. They are equal for every because you get the second from the first by the swap ; they differ only in appearance, not in value.
is always larger than .
False. Since , it exceeds only when , i.e. ; for near , is tiny, so is much smaller than (e.g. at , ).
The maximum value of is , since it equals .
False. The is not a free multiplier: and can't both be at once. The product peaks at giving , so the maximum is .
whenever is small.
Approximately, not exactly. For small , , so — but it is never exactly equal unless .
If then .
False (incomplete). means , so — any integer multiple of , not only .
and can be simultaneously zero.
False. That would need , contradicting the Pythagorean identity which forces the sum to be ; at least one is always non-zero.
Doubling the angle doubles the period-count: completes two cycles while completes one.
True. Replacing by compresses the graph horizontally by a factor of , so over any interval oscillates twice as fast as — exactly what the second figure shows (orange wave packs two humps into the blue wave's one).
Spot the error
", so is always and automatically — no need to check."
==Reasoning is fine, but the WHY is being skipped.== Here is the missing step: , so , so ; and gives . Hence — the bound comes precisely from , so that inequality is the check.
"From I get , hence — always."
==Error: the sign of was assumed.== depending on the quadrant. Luckily doesn't need , so it is regardless — but the stated reasoning (via a fixed ) is unsafe.
", so at we just plug in ."
==Error: is undefined, so you cannot plug it in.== Instead go back to and evaluate directly; the formula's ingredients broke before the formula did.
", therefore too, by symmetry."
Error: no such symmetry. Using gives , not (valid where ). The and versions produce reciprocal results.
"Since , the graph of is just shifted up."
Error: it's a nonlinear transform, not a shift. You square , scale by , then drop by — this changes the shape and frequency, producing a wave of double the frequency, not a vertical translation. The first figure contrasts the two curves so you can see they are not parallel copies.
", so if then and nothing else can."
Half-right, the "nothing else" is wrong. also when (e.g. , where ). Both factors offer routes to zero.
Why questions
Why does have three forms but has only one?
Because contains both squares, so the Pythagorean Identity lets you eliminate either one to get two alternatives; has no square to trade.
Why is Form 2 () the natural choice when simplifying ?
Because : the constant exactly cancels the form's , collapsing everything to a single clean term.
Why is Form 3 () the birthplace of the power-reduction rule?
Rearranging gives , which lowers a squared trig function to a first-power one — exactly what Integration of sin²x and cos²x needs. See Power-Reduction / Half-Angle Formulas.
Why does blow up at ?
Because the denominator hits when ; geometrically , where itself is undefined, so the formula faithfully reports that singularity.
Why can't we derive the double-angle formulas without the addition formulas?
We can, but the addition formulas are the shortest path: setting in Compound (Addition) Angle Formulas gives all of them in one substitution, so re-proving from scratch just re-does that work.
Why does replacing by leave unchanged but flip the sign of ?
depends only on , immune to sign; but is linear in , so its sign follows.
Why is not simply written differently — how is it "more"?
It is exactly ; dividing top and bottom by produces , so the "-only" form is that same ratio in disguise.
Edge cases
What is when ?
, and all three ways of viewing it agree — the degenerate angle collapses cleanly.
What is at , checked by all three forms?
All give : Form 1 is , Form 2 is , Form 3 is — a good sanity check that the forms are genuinely equal.
What happens to as from below versus above?
From below () the denominator is a small positive number, so ; from above () it is small negative, so — a genuine sign flip across the asymptote.
For which angles does the identity actually hold?
For all except where the denominator vanishes: (odd multiples of ). At exactly those angles is undefined too, so both sides fail together — the identity holds everywhere it is defined.
And the complementary quotient — what is its excluded set?
Its denominator (integer multiples of ). There is undefined as well, so this identity holds only away from multiples of .
Is still valid when is in the third quadrant (both )?
Yes — their product is positive, matching for landing in the first/second quadrant; the formula is an identity, valid in every quadrant without sign fixes.
What does the formula give for when (i.e. )?
, correctly reporting ; the extreme input still lands on the right answer.
Does apply when ?
No — is undefined, so the formula has no valid input. You must fall back to computed directly.
At , the identity — does it still hold?
Yes: numerator , denominator , ratio . Since is not an odd multiple of , the denominator is safe.