Вот ещё две цитаты. Первая из Кудрявцева "Кракий курс мат. анализа" 1989, стр. 331, по поводу формулы:
(т.е. так я понял последнее сообщение)
Цитата:
Для того чтобы существовала функция
, обратная
, в дополнение к условиям теоремы 1 достаточно, например, потребовать чтобы на расматриваемом промежутке
функция
была строго монотонной. В этом случае, как исвестно ..., существует однозначная обратная функция
.
У Кудрявцева и не только про
не сказано ничего! И дальше та самая теорема:
Цитата:
Пусть функции
и
имеют следующие свойства:
а)
биективна, дифференцируема,
производная не равна нулю на ,
б) функция
имеет первообразные (пусть
одна из них).
Тогда
1) функция
имеет первообразные,
2) функция
- первообразная функции
, т.е.