Half angle identities

12 years ago