Вот ещё две цитаты. Первая из Кудрявцева "Кракий курс мат. анализа" 1989, стр. 331, по поводу формулы: 

 (т.е. так я понял последнее сообщение)
Цитата:
Для того чтобы существовала функция 

, обратная 

, в дополнение к условиям теоремы 1 достаточно, например, потребовать чтобы на расматриваемом промежутке 

 функция 

 была строго монотонной. В этом случае, как исвестно ..., существует однозначная обратная функция 

.
У Кудрявцева и не только про 

 не сказано ничего! И дальше та самая теорема:
Цитата:
Пусть функции 

 и 

 имеют следующие свойства:
а) 

 биективна, дифференцируема,
 производная не равна нулю на 
,
б) функция 

 имеет первообразные (пусть 

 одна из них).
Тогда
1) функция 

 имеет первообразные,
2) функция 

 - первообразная функции 

, т.е. 
