Half Angle Identities Derivation