Double angle identities

13 years ago