Double angle identities proof. With three choices for There are several equivalent ways...