(Мы использовали соотношение (5.34).)
Итак,
(для любой точки х бесконечной прямой).
5°. Производная функции
Так как функция
определенная на бесконечной прямой
является обратной для функции
определенной на интервале
и для функции
в окрестности каждой точки интервала
выполнены все условия теоремы 5.4, то по этой теореме функция
дифференцируема в каждой точке
и для ее производной в этой точке справедлива формула
(Мы использовали соотношение
Итак,
(для любой точки х бесконечной прямой).