Verifying identities with double and half angles

14 years ago