36
Математика 8, 9,10
Публикуемая статья предназначаемая для девятиклассников и десятиклассников.
Производная сложной и обратной функций
Из школьного учебника вам известны две интерпретации производной функции — геометрическая и механическая*). Вы знаете, что существование производной функции в точке эквивалентно существование невертикальной касательной в точке
графика функции, причем угловой коэффициент этой касательной равен . Кроме того, вы знаете, что производная от координаты по времене есть мгновенная скорость. Сейчас мы познакомим вас еще с одной интерпретацией производной. С ее помощью мы проиллюстрируем формулы для производных сложной и обратной функций.
Производная — это коэффициент растяжения
Нарисуем две числовые прямые — синою и красную. На одной из них — синей — будем откладывать значения аргумента, а на другой — красной — соответствующие значения функций (в том же масштабе).
На рисунках 1 и 2 изображено, что получается для функций и . Как видно из рисунка 1, функция переводит отре-
*) См. учебное пособие для 9—10 классов «Алгебра и начала анализа» (М., Просвещение, 1988, pp. 22—24).
37
зок [−1; 0] в отрезок [−2; 1], отрезок [0; 1] — в отрезок [1; 4], отрезок [1; 2] — в отрезок [4; 7], и т. д. Во всех этих случаях длина отрезка увеличивается в 3 раза. Это и не удивительно: ведь отрезок [a; b] наша функция переводит в отрезок [3a+1; 3b+1].
Так что функция длинны всех отрезков числовой оси изменяет одинаково: умножает на 3. (Аналогическое замечание имеет место для любой длиной новой функции.)
Из рисунка 2 видно, что (не линейная) функция растяивает отрезки, расположенные в разных местах числовой оси, уже по-разному: например, отрезок [0,8; 0,9] — в 2,2 раза, а отрезок [1,1; 1,2] — в 4 раза. Стало быть, бессмысленно спрашивать, во сколько раз растяивает отрезки, расположенные на числовой оси данной точки. Например, в близки точки . Начнем с отрезков длиной 0,1: отрезок [0,9; 1] увеливается в 2,7 раза, а отрезок [1; 1,1] — в 3,3 раза. Возьмем отрезки корочие — [0,99; 1] и [1; 1,01]. Имеем: (мы оставляем два знака после запятой). Стало быть, отрезок [1; 1,01] растяивается в раза; аналогично отрезок [0,99; 1] растявается в раза. Если мы будем брать еще более короткие отрезки, содержащие точку 1, то коэффициент растяжения будет еще ближе к 3. Итак, функция растяется:
Грис. 2.
Грисает отрезки, близкие к точке 1, примерно в 3 раза. Чем близke отрезок к точке , тем близke к 3 коэффициент растяжения в точке .
А теперь заметим, что для любой (дифференцируемой) функции коэффициент растяжения маленьких отрезков, близких к точке , есть не что иное, как производная в точке . В самом деле, если точка близка к , отрезок переходит в отрезок , и коэффициент его растяжения есть , а это — то самое выражение, которое используется при определении произвольной функции в точке (в заменателе стоит приращение аргумента, в числитель — приращение функции). Когда стремится к (отрезок укорочивается), это отношение стремится к .
Проверим наш выбор на функции . Как вы знаете, , так что ; это совпадает с коэффициентом растяжения, который мы нашли приближенным путем.
В наших примерах коэффициент растяжения, т. е. производная, был больше единицы; если коэффициент растяжения меньше единицы, но положитель, то отрезки, близкие к данной точке, не растяжаются, а скимиются (их длинны умножаются на число, меньше 1); если , то отрезки «переворачиваются»: левый конец отрезка [a; b] переходит в правый конец отрезка . Это и не удивительно: где производная отрицательна, там функция убивает, так что из следует, что .
38
Итак, основной выбор этого пункта: маленькие отрезки, близкие к точке , растяиваются функцией с коэффициентом, близким к . Чем близке отрезок к точке , тем близке коэффициент к . Всюду в дальнейшем мы будем для краткости опускать эти разъяснения и писать фразы вроде «функция растяивает отрезки, близкие к точке 1, в 3 раза». Надеемся, что вас это не смутит.
Композиция функций (сложная функция)
Возьем функцию . Она переводит точку в точку . Этот перевод можно осуществить в два этапа: сначала точку перевести в точку , а затем точку перевести в точку . Рассмотрим функции и . Тогда получится, что . Иногда это записью так: и говорят, что — композиция функций и . Про запись говорят также, что записана в виде сложной функции.
Если воспользоваться нашим схематическим изображением функций, получится то, что изображено на рисунке 3. (По-прежнему значения — на синей оси, значения — на красной.)
Как вычислить произвольную сложной функции
Рассмотрим все ту же функцию и найдем ее произвольную в точке . Мы уже знаем, что произвольная в точке — это коэффициент растяжения близких к точке 2 отрезков при перехождение с синей оси на красную (рис. 3). По дороге с синей оси на красную отрезок попадает, однako, на зеленую ось, где его длина умножается на ; при перехождение с зеленой на красную ось длина полученного отрезка умножается, в свою очередь, на ; всего, стало быть,
39
длина отрезка умножится на , так что .
Повторяя то же рассуждение для любой точки , мы получим такое правило:
Это же, разумеется, верно для любых функций и .
В нашем случае, когда , получаем
Итак, мы получили известную вам из учебника формулу для произвольной сложной функции. Можно записать аналогичную формулу и для случая, когда — комплексная не двух, а трех, четырех и т. д. функций.
Обратная функция
На рисунке 4 изображена уже приведенным нам способом функция . Сплошные стрелки на этом рисунке показывают, как точки с ней оси переводятся в точки красной оси. А теперь представим себе, что рисунок 4 задает закон, по которым, наоборот, точки с красной оси переводят на синюю (стрелки, идущее вверх на рисунке)— точки переводят в точки . Можно выразить через формулой . Получилось описание новой функции. Обозначим ее буквой : . Функция называется обратной к функции . Заметим, что в формуле, определяющей функцию (как и вообще во всякой формуле, определяющей функцию), неависимую переменную можно обозначить любой буквой. Можно например, записать или даже .
Заметим еще, что не у всякой функции существует обратная. Возьмем, например, функцию . Эта функция переводит и точку 2, и точку (-2) в точку 4. Если — обратная