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