Theorem: Derivative of the Real Arcsine Function The real arcsine function is differentiable on the interval (−1;+1) with (arcsinx)′=1−x21 PROOF TODO