Double angle identities

10 years ago