Математика / Пределы, ряды

Производная через предел разностного отношения

Производная в точке задается пределом разностного отношения и описывает мгновенную скорость изменения функции. Без этой предельной записи производная превращается в набор правил, а не в проверяемое понятие.

Опубликовано: Обновлено:

Формула

$$f'(x_0)=\lim_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h}$$
difference-quotient Секущая, переходящая в касательную

На графике показаны две близкие точки функции и секущая прямая. При сближении точек секущая стремится к касательной, а ее наклон становится производной.

Предел наклона секущей и есть производная в точке.

Обозначения

$x_0$
точка, в которой ищут производную, единицы аргумента
$h$
малое приращение аргумента, единицы аргумента
$f(x)$
значение функции в окрестности точки, единицы функции

Условия применения

  • Функция должна быть определена в окрестности точки x_0, чтобы можно было рассматривать значения f(x_0+h).
  • До перехода к пределу нужно держать h \neq 0, иначе разностное отношение теряет смысл.
  • Левый и правый пределы должны совпасть и дать конечное значение.

Ограничения

  • Если предел не существует или дает разные односторонние значения, производной в точке нет.
  • Определение локально: оно говорит о поведении около точки, но не описывает глобальный вид графика.
  • Подстановка h=0 до вычисления предела приводит к формальному делению на ноль.

Подробное объяснение

Разностное отношение сравнивает два секущих положения графика, а предел переводит эту секущую в касательную. Поэтому производная измеряет не средний, а мгновенный темп изменения. В геометрическом смысле это лучшая линейная модель функции в выбранной точке; в аналитическом смысле - предел, который можно использовать как исходное определение для дальнейших правил. Производная через предел разностного отношения связывает две идеи: изменение аргумента и изменение значения функции. Сначала берут малое приращение h, строят среднюю скорость изменения на отрезке от x_0 до x_0+h, а затем смотрят, есть ли устойчивое значение этой средней скорости при h, стремящемся к нулю. Если предел существует и конечен, функция дифференцируема в точке. Важно, что в определении участвует именно проколотая окрестность: h не равно нулю до самого предельного перехода. Поэтому все преобразования выполняются с ненулевым h, а итоговое значение появляется только после сокращений, оценок или применения теорем о пределах. Такое определение сразу объясняет, почему у функции |x| нет производной в нуле: слева и справа средняя скорость стремится к разным числам. Оно же показывает, почему у гладких функций производная описывает локальный наклон, а не просто рост на выбранном интервале. Чем меньше h, тем ближе секущая к касательной, но производной становится не отдельная секущая, а предел их наклонов.

Как пользоваться формулой

  1. Выберите точку x_0 и выпишите f(x_0+h) и f(x_0).
  2. Составьте разностное отношение \frac{f(x_0+h)-f(x_0)}{h} и упростите его при h \neq 0.
  3. Вычислите предел при h\to 0.
  4. Проверьте результат численно по значениям h, которые уменьшаются по модулю.

Историческая справка

Интуитивные идеи мгновенного изменения появились у Ньютона и Лейбница вместе с ранним анализом. В XIX веке Коши придал определению через предел строгую форму, после чего производная стала не только вычислительным приемом, но и точным объектом анализа. Идея производной выросла из задач о мгновенной скорости, касательных и движении тел. В XVII веке Ньютон развивал язык флюксий для описания изменяющихся величин во времени, а Лейбниц предложил обозначения, близкие к современным дифференциалам. Позже Коши связал производную с пределом отношения приращений и тем самым сделал формулу пригодной для строгого курса анализа. В XIX веке Вейерштрасс и его школа усилили предельный язык, убрав из доказательств слишком свободные рассуждения о бесконечно малых. Поэтому современная запись через h->0 не является личной формулой одного автора: это итог долгой линии, где геометрическая задача о касательной была переведена в язык пределов.

Историческая линия формулы

Интуиция восходит к Ньютону и Лейбницу, а строгая предельная формулировка - к Коши. Корректная атрибуция здесь коллективная: Ньютон и Лейбниц создали ранние вычислительные языки анализа, Коши закрепил предельную формулировку в учебной традиции, а Вейерштрасс усилил строгий epsilon-delta подход. Поэтому страницу полезнее связывать с историей дифференциального исчисления, а не с одним единственным открывателем.

Пример

Для f(x)=x^2 в точке x_0=3 получаем \frac{(3+h)^2-9}{h}=6+h. При h\to 0 этот выражение стремится к 6, значит f'(3)=6. Дополнительно полезно разобрать кубическую функцию. Для f(x)=x^3 в точке x_0=1 разностное отношение равно ((1+h)^3-1)/h=(3h+3h^2+h^3)/h=3+3h+h^2. После сокращения h можно переходить к пределу, и получается f'(1)=3. Этот пример показывает, почему h нельзя просто приравнять к нулю в исходной дроби: сначала нужно убрать деление на h алгебраическим преобразованием. На практике такой ход помогает отличать настоящую производную от обычной средней скорости на конечном интервале. Если взять h=0,1, получим 3,31; если h=0,01, получим 3,0301; значения приближаются к 3, но равенство возникает только в пределе.

Частая ошибка

Частая ошибка - подставить h=0 слишком рано. Еще одна - перепутать приращение аргумента с самим значением функции. Иногда забывают проверить оба направления подхода, особенно если функция содержит модуль, корень или кусочную запись. Еще одна распространенная ошибка - считать, что если значение функции в точке не задано, то производная автоматически невозможна. Для производной действительно нужно значение f(x_0), потому что оно входит в разностное отношение, но в задачах иногда функцию можно доопределить и только потом проверять дифференцируемость. Также нельзя делать вывод по одному маленькому h: численная проверка помогает заметить ответ, но не заменяет предельное рассуждение.

Практика

Задачи с решением

Найти производную из определения

Условие. Вычислите f'(2) для f(x)=x^2 по определению производной.

Решение. \frac{(2+h)^2-4}{h}=4+h, поэтому при h\to 0 получаем 4. Ключевой шаг - сначала упростить разностное отношение при h != 0, а уже затем переходить к пределу.

Ответ. 4

Проверить дифференцируемость

Условие. Проверьте, существует ли производная функции f(x)=|x| в точке x_0=0 по определению.

Решение. Слева разностное отношение стремится к -1, справа - к 1. Предел не существует. Ключевой шаг - сначала упростить разностное отношение при h != 0, а уже затем переходить к пределу.

Ответ. Производной в точке 0 нет

Дополнительные источники

  • OpenStax Calculus Volume 1, section on the definition of the derivative
  • MIT OpenCourseWare, Single Variable Calculus, derivatives from first principles
  • Stewart, Calculus: Early Transcendentals, section on the derivative
  • Cauchy, Cours d'analyse de l'Ecole royale polytechnique, 1821
  • Tom M. Apostol, Calculus, Vol. 1, chapters on limits and derivatives

Связанные формулы

Математика

Предел функции в точке

$\lim_{x\to a} f(x)=L$

Предел функции в точке фиксирует значение, к которому стремится функция при приближении аргумента к заданному числу. Это базовая запись для всего дальнейшего анализа: она отделяет поведение функции в окрестности точки от ее значения в самой точке.

Математика

Бесконечно малая функция

$\lim_{x\to a}\alpha(x)=0$

Бесконечно малая функция - это функция, которая стремится к нулю в заданном предельном процессе. Такой язык удобно использовать для оценок, сравнения порядков малости и вывода стандартных пределов.

Математика

Непрерывность функции в точке

$\lim_{x\to a} f(x)=f(a)$

Непрерывность в точке означает, что предельное значение функции совпадает с ее значением в самой точке. Это первый и самый важный мост от понятия предела к вычислениям и графикам.

Математика

Геометрический смысл производной

$f'(x_0)=k_{\text{кас}}=\tan\alpha$

Производная в точке равна угловому коэффициенту касательной и связывает анализ с наклоном графика. Поэтому одна и та же величина одновременно читается как скорость изменения и как наклон графика.

Математика

Касательная к графику функции

$y=f(x_0)+f'(x_0)(x-x_0)$

Уравнение касательной строится по точке касания и производной в этой точке. Это первая локальная модель функции и основной мост к линейным приближениям.

Математика

Односторонние пределы

$\lim_{x\to a-} f(x)=L_{-},\qquad \lim_{x\to a+} f(x)=L_{+}$

Односторонние пределы описывают поведение функции только слева или только справа от точки. Они особенно важны для кусочных функций, границ области определения и проверки существования двухстороннего предела.

Математика

Альгебра пределов

$\lim_{x\to a}(f(x)\pm g(x))=\lim_{x\to a}f(x)\pm\lim_{x\to a}g(x),\qquad \lim_{x\to a}(f(x)g(x))=\left(\lim_{x\to a}f(x)\right)\left(\lim_{x\to a}g(x)\right),\qquad \lim_{x\to a}\frac{f(x)}{g(x)}=\frac{\lim_{x\to a}f(x)}{\lim_{x\to a}g(x)}$

Альгебра пределов дает набор правил, которые позволяют переносить предельный переход через сумму, произведение и частное. Это один из самых практичных инструментов начального анализа.