Derive Half Angle Identities (Complex Plane)

TODO: