These identities are used to express the inverse trigonometric functions in terms of the original trigonometric functions.