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

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

, обратная

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

функция

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

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

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

и

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

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

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

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

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

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

, т.е.
