Establish the following formula for the derivative of is correct,
For let
Then we know
Therefore, by Theorem 6.7 (p. 252 of Apostol) we have,
Using the pythagorean identity for sine and cosine we have
since . Furthermore, since on the range of (i.e., for ) we must take the positive square root. Therefore we conclude,