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,