Derive Half Angles Identities (Unit Circle)

TODO: