Derive Half Angle Identities (Inscribed Angle)