If
is in the first quadrant, we know that
is positive.
Recall the Pythagorean identity,

Dividing both sides by
gives

Because

if
, then we also have
. This means that we take the square root of both sides in the
-
identity, we take the positive square root and we get


Now, recall the double angle identity,

Apply the Pythagorean identity to eliminate
:

So we end up with
