Пусть
-- непрерывная функция, монотонная на интервале
. Тогда, как мы доказали в гл. 3, функция
имеет обратную функцию
, которая также является непрерывной и монотонной функцией на интервале
, в который функция
переводит интервал
. Пусть
-- фиксированная точка и
-- точка, ей соответствующая. Тогда
.
Теорема 4.5 Пусть функцияимеет в точке
производную
. Тогда обратная функция
имеет в соответствующей точке
производную
, которую можно отыскать по формуле
Доказательство. Дадим аргументу
приращение
, такое что
, и рассмотрим соответствующее приращение
, определяемое равенством
. Тогда, очевидно,
; при этом
, а из монотонности функции
следует, что
. Поскольку как функция
, так и функция
непрерывны, то условия
и
эквивалентны. Составим теперь разностное отношение для функции
и запишем для него очевидное равенство:
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.Теперь перейдём в этом равенстве к пределу при
и учтём, что при этом
тоже стремится к 0:
![]()
что мы и хотели доказать.
Заметим, что, очевидно, из формулы (4.14) следует, что
если
-- функция, обратная к
.
Замечание 4.10 Нетрудно заметить из приведённого доказательства, что если существует производная, то разностное отношение
стремится к
при
, что соответствует вертикальной касательной к графику
при
(если считать, что ось
расположена горизонтально, а ось
-- вертикально).
Рис.4.7.Графики функцийи
и касательные к ним при
![]()
Полученная формула для производной обратной функции имеет прозрачный геометрический смысл. Заметим, что график как функции
, так и обратной функции
изображается на координатной плоскости
одной и той же линией, состоящей из точек
, где
или, что то же самое,
. Поэтому, если в точке
график функции
имеет касательную, образующую угол
с осью
, то угол той же касательной с осью
будет, очевидно, равен
. Тогда
![]()
поскольку для обратной функции
производная даёт тангенс угла наклона касательной по отношению к оси
, на которой меняется аргумент функции
.
Рис.4.8.Углы, тангенсы которых равныи
, дополняют друг друга до
![]()
Покажем, что множество функций, имеющих производную в некоторой фиксированной точке
, замкнуто относительно арифметических операций с этими функциями. А именно, докажем следующую теорему, дающую основные правила дифференцирования.
Теорема 4.2 Пусть функциии
имеют производные в точке
. Тогда функции
,
,
, а в случае
также
имеют производные в точке
, которые выражаются следующими формулами:
Аналогичные утверждения и формулы имеют место также для односторонних производных(
).
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.Доказательство. Докажем формулу (4.7). Пусть аргументу
дано приращение
; при этом функция
получает приращение
, а функция
-- приращение
. Их сумма
получит тогда приращение
Значит,
Совершенно аналогично доказывается формула (4.8).Докажем теперь формулу (4.9). Пусть снова
и
-- приращения функций, соответствующие приращению
аргумента
. Тогда
,
и приращением произведения будет
Поэтому, по свойствам пределов,
При этом мы вынесли множителии
за знак предела
как постоянные, не зависящие от переменного
, к которому относится база предела.
Докажем теперь формулу (4.10). Заметим, что
![]()
Неопределенный интегралВекторное
произведение векторов
Трассировка
пиксельных изображений Adobe Illustrator
Линейные блоковые коды