Derivative of Sine Function/Proof 5

Proof
Note that we get the same answer as Derivative of Arcsine Function.

By definition of real $\arcsin$ function, $\arcsin$ is bijective on its domain $\closedint 1 1$.

Thus its inverse is itself a mapping.

From Inverse of Inverse of Bijection, its inverse is the $\sin$ function.