Verifying identities with double and half angles

12 years ago