Demonstration. Establish the identity .
Exploration Method (ii).
Use Mathematica's "ComplexExpand" procedure.
Therefore, .
(c) 2006 John H. Mathews, Russell W. Howell