Recall the Pythagorean identity,

Since
belongs to Q3, we know both
and
are negative. Then

Recall the half-angle identities for sine and cosine,


Then by definition of tangent,

belonging to Q3 means
, or
, so that the half-angle belongs to Q2. Then
is positive and
is negative, so
is negative.
It follows that
