Verifying identities with double and half angles

13 years ago