Derive Half Angle Identities (Inscribed Angle)

TODO: