How to derive half angle identities. We get these new formulas by basically squaring ...