Half angle identities

13 years ago