Приведите доказательство для (arksin x)

как я понимаю для производной, ну это обратная к cos x есть теорема для обратной, по ней обозначив x=sin y получаем y'=1/x'=1/cosx=1/корень из 1-siny * siy = 1/корень из 1-x*x