20.1 — Глава V, §20. Производная функции20.1 — Chapter V, §20. The Derivative of a Function
§19 завершило описание того, как функция «ведёт себя» в точке (непрерывна или нет). §20 задаёт следующий, более тонкий вопрос: не «где функция без разрывов», а «насколько быстро она меняется». Здесь этот вопрос впервые формулируется на двух независимых, но приводящих к одной и той же математической конструкции задачах — из механики (мгновенная скорость) и из геометрии (касательная к кривой) — прежде чем в 20.2 обе они сольются в единое формальное определение.§19 finished describing how a function "behaves" at a point (continuous or not). §20 poses the next, subtler question: not "where is the function unbroken," but "how fast is it changing." Here that question is first formulated via two independent problems that lead to the same mathematical construction — from mechanics (instantaneous speed) and from geometry (the tangent to a curve) — before 20.2 merges both into a single formal definition.
Пусть точка движется по прямой, и её положение в момент времени t задаётся функцией s=s(t) (путь как функция времени, 14.2). За промежуток времени от t₀ до t₀+Δt точка проходит путь Δs=s(t₀+Δt)-s(t₀). Отношение Δs/Δt — это средняя скорость на этом промежутке: она усредняет всё, что происходило внутри интервала, скрывая детали (быстрее/медленнее в отдельные моменты).Let a point move along a line, and let its position at time t be given by a function s=s(t) (distance as a function of time, 14.2). Over the time interval from t₀ to t₀+Δt, the point covers a distance Δs=s(t₀+Δt)-s(t₀). The ratio Δs/Δt is the average speed over that interval: it averages out everything that happened inside the interval, hiding the details (faster/slower at individual moments).
Чтобы узнать скорость в точности в момент t₀, а не в среднем по какому-то промежутку, естественно сжимать промежуток Δt, устремляя его к нулю — точно тот же приём «подходить всё ближе», что определял предел последовательности в 15.2 и предел функции в 16.1. Мгновенная скорость — это предел средней скорости при Δt→0:To find the speed at exactly the moment t₀, rather than on average over some interval, it's natural to shrink the interval Δt, letting it tend to zero — exactly the same "getting closer and closer" trick that defined the limit of a sequence in 15.2 and the limit of a function in 16.1. Instantaneous speed is the limit of the average speed as Δt→0:
v(t₀) = lim_{Δt→0} Δs/Δt = lim_{Δt→0} [s(t₀+Δt)-s(t₀)]/Δt.Это выражение — снова 0/0-неопределённость (17.5, §18): и числитель Δs, и знаменатель Δt стремятся к нулю, а предел отношения оказывается конкретным конечным числом (для «хороших» функций) именно потому, что Δs и Δt — бесконечно малые одного порядка (18.1). Ничего принципиально нового здесь нет: это тот же аппарат §17–18, применённый к конкретной физической величине.This expression is again a 0/0 indeterminate form (17.5, §18): both the numerator Δs and the denominator Δt tend to zero, and the limit of the ratio turns out to be a specific finite number (for "nice" functions) precisely because Δs and Δt are infinitesimals of the same order (18.1). Nothing fundamentally new is happening here: it's the same apparatus from §17–18, applied to a specific physical quantity.
Пусть y=f(x) — график функции (14.2), и на нём зафиксирована точка M₀=(x₀;f(x₀)). Возьмём вторую точку графика M=(x₀+Δx; f(x₀+Δx)) и проведём через M₀ и M секущую прямую. Угловой коэффициент (тангенс угла наклона) этой секущей равен отношению «подъёма» к «пробегу»:Let y=f(x) be the graph of a function (14.2), with a fixed point M₀=(x₀;f(x₀)) on it. Take a second point on the graph M=(x₀+Δx; f(x₀+Δx)) and draw a secant line through M₀ and M. The slope (tangent of the angle of inclination) of this secant equals the ratio of "rise" to "run":
k_сек = Δy/Δx = [f(x₀+Δx)-f(x₀)]/Δx.Если теперь двигать точку M вдоль графика, приближая её к M₀ (то есть Δx→0), секущая поворачивается вокруг M₀ и, для «гладких» кривых, стремится к некоторому предельному положению — прямой, которая касается графика в точке M₀, не пересекая его вблизи (для достаточно малой окрестности). Эта предельная прямая называется касательной, а её угловой коэффициент — это в точности предел углового коэффициента секущей:Now move the point M along the graph, bringing it closer to M₀ (i.e., Δx→0); the secant rotates around M₀ and, for "smooth" curves, tends to a limiting position — a line that touches the graph at the point M₀ without crossing it nearby (for a sufficiently small neighborhood). This limiting line is called the tangent, and its slope is exactly the limit of the secant's slope:
k_кас = lim_{Δx→0} Δy/Δx = lim_{Δx→0} [f(x₀+Δx)-f(x₀)]/Δx.Формула для k_кас — буквально та же самая формула, что и для мгновенной скорости v(t₀) выше, с заменой s на f и t на x. Две совершенно разные по смыслу задачи — одна из механики, другая из геометрии — приводят к одному и тому же пределу отношения приращений. Это не совпадение обозначений, а сигнал того, что за обеими задачами стоит одна и та же математическая структура, которая заслуживает отдельного названия и изучения сама по себе — это и есть производная, определяемая формально в 20.2.The formula for k_кас is literally the same formula as for the instantaneous speed v(t₀) above, with s replaced by f and t by x. Two completely different problems in meaning — one from mechanics, the other from geometry — lead to the same limit of a ratio of increments. This isn't a coincidence of notation, but a signal that the same mathematical structure underlies both problems, deserving its own name and study — that's the derivative, formally defined in 20.2.
И скорость, и наклон касательной отвечают на один и тот же вопрос: «насколько быстро что-то меняется прямо сейчас, а не в среднем за какой-то период». Средняя скорость на длинном участке пути прячет моменты разгона и торможения — точно так же, как секущая через две далёкие точки графика «не видит» изгибов кривой между ними. Чтобы поймать именно мгновенное, локальное поведение, приходится сжимать интервал наблюдения до бесконечно малого — и в этот момент выясняется, что вопросы «с какой скоростью я двигаюсь прямо сейчас» и «под каким углом наклонена кривая прямо здесь» математически неотличимы: оба сводятся к пределу отношения «изменение результата» / «изменение входа», стянутому к нулю.Both speed and the tangent's slope answer the same question: "how fast is something changing right now, not on average over some period." Average speed over a long stretch of path hides the moments of acceleration and braking — just as a secant through two far-apart points on a graph "doesn't see" the curve's bends between them. To catch the truly instantaneous, local behavior, the observation interval has to be shrunk to infinitesimal — and at that point it turns out the questions "how fast am I moving right now" and "at what angle is the curve tilted right here" are mathematically indistinguishable: both reduce to the limit of the ratio "change in output" / "change in input," squeezed down to zero.
Пример из жизни. Спидометр в машине показывает не «среднюю скорость с начала поездки», а скорость прямо сейчас — и вот как он мог бы это вычислить, будь он идеально точным: измерить, на сколько метров машина сдвинулась за исчезающе малый промежуток времени, и разделить одно на другое. Если бы спидометр усреднял за минуту, он бы «смазывал» резкое торможение перед светофором — показывал бы что-то среднее между «ещё еду быстро» и «уже стою», а не честные ноль в момент полной остановки. Настоящий спидометр (в идеале) отвечает на вопрос «мгновенно» именно потому, что использует исчезающе малый, а не конечный интервал усреднения — та же логика, что превращает секущую в касательную, если сжимать интервал Δx до нуля.A real-life example. A car's speedometer doesn't show "the average speed since the start of the trip," but the speed right now — and here's how it could compute that, if perfectly accurate: measure how many meters the car moved over a vanishingly small interval of time, and divide one by the other. If the speedometer averaged over a full minute, it would "smear out" a sharp stop at a traffic light — showing something between "still moving fast" and "already stopped," rather than an honest zero at the moment of a full stop. A real speedometer (ideally) answers "instantaneously" precisely because it uses a vanishingly small, not a finite, averaging interval — the same logic that turns a secant into a tangent as the interval Δx is shrunk to zero.
Рис. 67. Секущие через M₀ и точку M, приближающуюся к M₀ (серая → сиреневая), стремятся к предельному положению — касательной (зелёная) в точке M₀. Тот же предельный переход Δx→0, что вычисляет и мгновенную скорость.Fig. 67. Secants through M₀ and a point M approaching M₀ (gray → lavender) tend to a limiting position — the tangent (green) at M₀. The same limiting process Δx→0 that also computes instantaneous speed.
Соблазнительно считать, что при достаточно малом Δt средняя скорость Δs/Δt «практически равна» мгновенной — и в определённом смысле это верно (в этом и есть суть предела), но нужно различать «приближение при конкретном малом Δt» и «точное значение в пределе Δt→0». Средняя скорость за любой, сколь угодно малый, но конечный промежуток — это по-прежнему другое число, чем мгновенная скорость; они совпадают только в идеализированном пределе, а не при каком-либо реальном (ненулевом) Δt. Путать «очень маленький интервал» с «предельным переходом» — систематическая ошибка, уже разбиравшаяся на пальцах в 18.2 про обменный курс.It's tempting to think that for sufficiently small Δt, the average speed Δs/Δt is "practically equal" to the instantaneous speed — and in a certain sense that's true (that's the whole point of the limit), but one must distinguish "an approximation at a specific small Δt" from "the exact value in the limit Δt→0." The average speed over any, however small but finite, interval is still a different number from the instantaneous speed; they coincide only in the idealized limit, not at any actual (nonzero) Δt. Confusing "a very small interval" with "a limiting process" is a systematic mistake, already discussed in plain language in 18.2 regarding the exchange rate.
Геометрическая картинка «секущие поворачиваются к предельному положению» неявно предполагает, что этот предел вообще существует — но, как и с любым пределом (16.1), это условие, а не автоматический факт. Для графика с «изломом» (например, f(x)=|x| в точке x=0) секущие слева и справа стремятся к разным предельным положениям (угловые коэффициенты -1 и 1 соответственно) — единой касательной в этой точке не существует, несмотря на то что функция там непрерывна (19.1). Непрерывность графика — необходимое, но, как будет явно доказано в 20.3, не достаточное условие для существования касательной (то есть производной).The geometric picture "secants rotate to a limiting position" implicitly assumes that limit actually exists — but, as with any limit (16.1), that's a condition, not an automatic fact. For a graph with a "kink" (e.g., f(x)=|x| at the point x=0), the secants from the left and right tend to different limiting positions (slopes -1 and 1 respectively) — no single tangent exists at that point, even though the function is continuous there (19.1). Continuity of the graph is a necessary but, as will be explicitly proved in 20.3, not sufficient condition for a tangent (i.e., a derivative) to exist.
источникsource
Задачи, приводящие к понятию производной (о мгновенной скорости и о касательной) — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава VI, §20.1 «Задачи, приводящие к понятию производной», с. 151–152. Связь с 14.2/16.1/18.1/19.1/20.2/20.3, раздел «Грабли» — авторское дополнение.Problems leading to the concept of a derivative (instantaneous speed and the tangent line) — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter VI, §20.1 "Problems Leading to the Concept of a Derivative," pp. 151–152. The connection to 14.2/16.1/18.1/19.1/20.2/20.3, and the "Gotchas" section, are original additions.