Double angle identities

14 years ago