RUВход: две задачи, где балл теряют не на технике
Первая. Найдите наименьшее значение функции $f(x) = x^{2} + \dfrac{81}{x^{2}}$ при $x > 0$. Вторая. Найдите наименьшее значение функции $g(x) = x^2$ на отрезке $[1;\,3]$.
Обе решаются за полминуты, и обе — ловушки. В первой производная $2x - \frac{162}{x^{3}}$ обращается в ноль при $x = 3$, и в бланк уходит тройка, хотя спрашивали значение функции, а оно равно $18$. Во второй производная обращается в ноль при $x = 0$, но нуля нет на отрезке, и ответ стоит на его левом конце: $g(1) = 1$.
Дифференцировать ты умеешь, и всё нужное собрано в блоке «Мост» — в уроке эти формулы больше не выводятся. Сегодняшний день про то, что делать после того, как производная посчитана: куда её приравнивать, какие точки сравнивать между собой и какое из полученных чисел писать в ответ.
Производная по определению: как убить $h$ в знаменателе
Один тип задачи требует не таблицы, а честного предела: в условии прямо сказано «пользуясь определением», и таблица запрещена. Техника во всех таких задачах одна и та же.
Подставить $h = 0$ в разностное отношение нельзя: и числитель, и знаменатель обращаются в ноль. Вся работа состоит в том, чтобы сократить $h$, и способов ровно три.
- Раскрыть и привести подобные — если в числителе многочлен.
- Привести к общему знаменателю — если в числителе разность дробей.
- Домножить на сопряжённое — если в числителе разность корней.
Первый способ школьный, на нём останавливаться не будем. Разберём два других.
Пример со дробью. Найдём $f'(x)$ для $f(x) = \dfrac{x}{x+1}$ по определению.
$$\frac{1}{h}\left(\frac{x+h}{x+h+1} - \frac{x}{x+1}\right) = \frac{1}{h}\cdot\frac{(x+h)(x+1) - x(x+h+1)}{(x+h+1)(x+1)}$$Числитель раскрывается в $x^2 + x + hx + h - x^2 - xh - x = h$: всё, кроме одного слагаемого, сократилось. Значит дробь равна $\dfrac{1}{(x+h+1)(x+1)}$, и после подстановки $h = 0$
$$f'(x) = \frac{1}{(x+1)^2}$$Пример с корнем. Найдём $f'(x)$ для $f(x) = \sqrt{x^2+3}$.
Разность корней в числителе сократить нечем, поэтому домножаем и числитель, и знаменатель на сопряжённое выражение $\sqrt{(x+h)^2+3} + \sqrt{x^2+3}$. Работает это всегда по одной причине: $(a-b)(a+b) = a^2 - b^2$, и корни исчезают.
$$\frac{\left((x+h)^2+3\right) - \left(x^2+3\right)}{h\left(\sqrt{(x+h)^2+3} + \sqrt{x^2+3}\right)} = \frac{2xh + h^2}{h\left(\sqrt{(x+h)^2+3} + \sqrt{x^2+3}\right)}$$Теперь $h$ сокращается, остаётся $\dfrac{2x + h}{\sqrt{(x+h)^2+3} + \sqrt{x^2+3}}$, и при $h = 0$
$$f'(x) = \frac{2x}{2\sqrt{x^2+3}} = \frac{x}{\sqrt{x^2+3}}$$Всегда сверяйся с таблицейПосчитал по определению — проверь цепным правилом: здесь оно даёт $\frac{1}{2\sqrt{x^2+3}}\cdot 2x$, то же самое. Решением такой ход не считается, если просят определение, но проверка стоит пятнадцати секунд.
Экстремум — это касание горизонтальной прямой
Дальше весь урок про экстремумы, и полезно сразу увидеть, что это частный случай уже знакомого. Касательная в точке максимума или минимума горизонтальна, то есть её наклон известен заранее и равен нулю. Отсюда и условие $f'(x_0) = 0$.
Точки, где производная обращается в ноль, называются критическими. Само по себе равенство $f'(x_0) = 0$ не означает ни максимума, ни минимума: у функции $x^3$ производная в нуле обращается в ноль, а никакого экстремума там нет — график просто на мгновение выпрямляется и продолжает расти.
Алгоритм наибольшего и наименьшего значения- Посчитать $f'$ и найти все точки, где она обращается в ноль.
- Отбросить те, что не попадают в заданный промежуток.
- Собрать список кандидатов: оставшиеся критические точки плюс концы промежутка.
- Посчитать значение функции в каждом кандидате и сравнить числа.
- В ответ записать значение, а не точку.
Есть и третий сорт кандидатов — точки излома вроде нуля у $|x|$, где производной нет вовсе, — но сегодня он не встретится: все функции дня дифференцируемы на своей области.
Шаг 4 стоит отдельного слова. На отрезке тип критической точки определять не нужно: хватает сравнения нескольких чисел. Тип нужен в трёх других случаях — когда промежуток без концов и сравнивать не с чем, когда в вопросе стоит слово «локальный» и когда критических точек вышло несколько, а спрашивают ровно про одну из них.
Последний случай самый дорогой: как только у $f'$ оказалось два нуля, одной подстановкой ответ уже не получить — сначала надо сказать, какая точка максимум, а какая минимум. По этой схеме идут w0504, b0502, y0502 и эталонная задача ниже.
Способов различить тип два, оба выписаны в блоке «Мост», и выбор между ними чисто практический. Знак $f''$ короче там, где вторая производная считается в одну строку — например, у многочлена. Таблица знаков $f'$ длиннее, но надёжнее: она работает и тогда, когда $f''$ в критической точке сама обращается в ноль и потому не сообщает ничего, и заодно показывает всю картину роста и спада целиком.
Открытый и бесконечный промежуток: концы не подставляются
Если промежуток записан как $x > 0$, или $[1;+\infty)$, или вся прямая, то конца, в который можно подставить число, просто нет. Кандидатов на шаге 3 становится меньше, но работы не меньше: вместо подстановки надо оценить, куда функция уходит у края.
Для $f(x) = x^{2} + \frac{81}{x^{2}}$ на $x > 0$ это делается в одну строку: при $x \to 0^{+}$ слагаемое $\frac{81}{x^{2}}$ растёт неограниченно, при $x \to +\infty$ растёт само $x^{2}$. На обоих краях функция больше любого числа, значит единственная критическая точка обязана быть глобальным минимумом. Без этой оценки утверждение «нашли минимум» было бы недоказанным.
Иногда край оценивается не в бесконечность, а в конечное число: у функции $x^2e^{-x}$ на $x \ge 0$ правый край даёт ноль, потому что показательная растёт быстрее любой степени. Ноль меньше найденного максимума, поэтому край ничего не меняет — но проверить это надо было.
Касание — это система из двух условий
Слово «касается» в условии означает не одно уравнение, а два, и распознавать его надо именно так.
Пересечение кривой $y = f(x)$ и прямой $y = kx + b$ — это одно равенство $f(x_0) = kx_0 + b$. Касание добавляет второе: в точке касания совпадают ещё и наклоны, $f'(x_0) = k$. Неизвестных при этом тоже две — сама точка $x_0$ и параметр прямой, — поэтому система из двух уравнений решается, а из одного не решилась бы.
Простейший случай этой системы — горизонтальная прямая: там $k = 0$, равенство наклонов превращается в $f'(x_0) = 0$, и задача на касание оказывается задачей на экстремум (w0503). Дальше наклон уже не ноль (b0504), а потом и сам неизвестен (y0504).
Пример. При каком $a$ прямая $y = x$ касается графика $y = \ln x + a$?
Равенство наклонов: $(\ln x + a)' = \frac{1}{x}$, а наклон прямой равен $1$, значит $\frac{1}{x_0} = 1$ и $x_0 = 1$. Уравнение решилось само, потому что параметр $a$ в него не входит — так бывает часто, и с этого уравнения стоит начинать. Теперь равенство значений: $1 = \ln 1 + a = a$. Ответ: $a = 1$.
Вторая дорога: кратный кореньКасание можно проверить и без производной: подставить одно в другое и потребовать, чтобы у полученного уравнения был кратный корень. Именно кратный, а не единственный: прямая $y = -2$ касается кубики $y = x^3 - 3x$ в точке $x = 1$, но уравнение $x^3 - 3x + 2 = (x-1)^2(x+2) = 0$ имеет два разных корня, $1$ и $-2$. Для прямой и параболы оба требования совпадают: кратный корень там и есть единственный, и условие пишется коротко, $D = 0$. Именно так проверена b0504 вторым способом.
Логарифмическое дифференцирование
Функцию $x^x$ нельзя продифференцировать ни как степень (показатель не константа), ни как показательную (основание не константа). Приём один: логарифмировать обе части до дифференцирования.
Пусть $y = u(x)^{v(x)}$. Тогда $\ln y = v\ln u$, и дифференцирование обеих частей даёт слева $\frac{y'}{y}$ по цепному правилу, а справа — обычную производную произведения. Остаётся умножить результат на $y$.
Пример. $y = x^{\ln x}$. Логарифмируем: $\ln y = (\ln x)^2$. Дифференцируем:
$$\frac{y'}{y} = 2\ln x \cdot \frac1x \;\Longrightarrow\; y' = x^{\ln x}\cdot\frac{2\ln x}{x}$$Сверка в точке $x = e$: формула даёт $e^{1}\cdot\frac{2}{e} = 2$, и численный расчёт разностного отношения в этой точке тоже даёт $2$.
Второй способ записи — тот же приём другими словами: $u^v = e^{v\ln u}$, дальше просто цепное правило. Пользуйся тем, который меньше путает.
ТриггерПеременная стоит и в основании, и в показателе — логарифмируй. Никакого другого рабочего хода здесь нет, и распознаётся этот тип за секунду.
Целый аргумент: производную приравнивать некуда
Число людей в бригаде, билетов, попыток, серверов — величина целая. Условие $f'(k) = 0$ для неё бессмысленно: между соседними значениями функция не определена, и говорить о её наклоне нельзя.
Работают два хода, и обычно оба сразу.
Ход первый: непрерывная версия как указатель места. Забываем про целочисленность, находим максимум через производную, а потом проверяем целых соседей найденной точки. Пример: наибольшее значение $\frac{n}{n^2+9}$ по целым $n \ge 1$. Производная непрерывной версии равна $\frac{9 - t^2}{(t^2+9)^2}$ и обращается в ноль при $t = 3$; целое туда попало, поэтому ответ равен $\frac{3}{18} = \frac16 \approx 0.1667$, а соседи дают меньше: $\frac{2}{13} \approx 0.1538$ и $\frac{4}{25} = 0.16$.
Ход второй: отсечь монотонностью, доперебирать руками. Он нужен, когда в формуле стоит $\min$ или $\max$ — то есть у функции есть излом. Правее излома одно слагаемое замирает, а другое продолжает расти, и дальше становится только хуже. Это рассуждение превращает бесконечный перебор в перебор нескольких значений, которые считаются в таблице честно.
Мост b0507 и финальная задача дня s0501 устроены именно по этой схеме.
Линейное приближение: мост в завтра
Уравнение касательной, переписанное иначе, — это рецепт устного счёта:
$$f(x_0 + \Delta x) \approx f(x_0) + f'(x_0)\,\Delta x$$Вблизи точки любую гладкую функцию можно заменить прямой: $\sqrt{4.1} \approx 2 + \frac{0.1}{4} = 2.025$ против настоящего $2.02485$ — погрешность меньше сотой доли процента, а счёт устный. Завтра эта идея разворачивается в основной инструмент: функция заменяется не прямой, а многочленом второй и третьей степени, и пределы вида $\frac00$ считаются подстановкой.
Что должно остаться в голове
- Спрашивают значение — в ответ идёт значение. Точку находят по дороге, а не пишут в бланк.
- Кандидаты на экстремум: критические точки внутри промежутка и его концы, а у открытого или бесконечного промежутка вместо концов — оценка того, куда функция уходит у края.
- На отрезке тип точки не нужен; без концов, при двух критических точках и при слове «локальный» — обязателен.
- «Касается» — это два уравнения: значения совпали и наклоны совпали, и простейший его вид — горизонтальная касательная в экстремуме.
- Переменная в основании и в показателе — логарифмируй.
- Аргумент целый — производную не приравнивай: сузи область и перебери.
ENOpening: two problems where technique is not where the point is lost
First: find the minimum of $f(x)=x^2+\dfrac{81}{x^2}$ for $x>0$. Second: find the minimum of $g(x)=x^2$ on $[1,3]$.
Both take half a minute, and both are traps. In the first, the derivative $2x-\frac{162}{x^3}$ is zero at $x=3$, so the answer sheet receives 3 even though the question asked for the value, which is 18. In the second, the derivative is zero at $x=0$, but zero is not in the interval, so the answer is at the left endpoint: $g(1)=1$.
You already know how to differentiate, and everything needed is in the Bridge—the formulas are not derived again in the lesson. Today is about what to do after the derivative is computed: what to set it equal to, which candidates to compare, and which resulting number belongs in the answer.
Derivative from the definition: eliminating $h$ from the denominator
One type of problem requires the honest limit rather than the table: the condition explicitly says “using the definition,” and the table is forbidden. The technique is the same every time.
Substituting $h=0$ into the difference quotient is impossible: numerator and denominator both become zero. The whole job is to cancel $h$, and there are exactly three ways.
- Expand and collect like terms when the numerator is a polynomial.
- Use a common denominator when the numerator is a difference of fractions.
- Multiply by the conjugate when the numerator is a difference of radicals.
The first is standard algebra, so we will focus on the other two.
Fraction example. Find $f'(x)$ for $f(x)=\dfrac{x}{x+1}$ from the definition.
$$\frac1h\left(\frac{x+h}{x+h+1}-\frac{x}{x+1}\right)=\frac1h\cdot\frac{(x+h)(x+1)-x(x+h+1)}{(x+h+1)(x+1)}$$The numerator expands to $x^2+x+hx+h-x^2-xh-x=h$: everything but one term cancels. The fraction is therefore $\dfrac1{(x+h+1)(x+1)}$, and after setting $h=0$,
$$f'(x)=\frac1{(x+1)^2}$$Radical example. Find $f'(x)$ for $f(x)=\sqrt{x^2+3}$.
There is no direct cancellation in the difference of radicals, so multiply numerator and denominator by the conjugate $\sqrt{(x+h)^2+3}+\sqrt{x^2+3}$. This always works because $(a-b)(a+b)=a^2-b^2$, which makes the radicals disappear.
$$\frac{((x+h)^2+3)-(x^2+3)}{h\left(\sqrt{(x+h)^2+3}+\sqrt{x^2+3}\right)}=\frac{2xh+h^2}{h\left(\sqrt{(x+h)^2+3}+\sqrt{x^2+3}\right)}$$Now cancel $h$. What remains is $\dfrac{2x+h}{\sqrt{(x+h)^2+3}+\sqrt{x^2+3}}$, and at $h=0$,
$$f'(x)=\frac{2x}{2\sqrt{x^2+3}}=\frac{x}{\sqrt{x^2+3}}$$Always cross-check with the tableAfter computing from the definition, check with the chain rule: here it gives $\frac1{2\sqrt{x^2+3}}\cdot2x$, the same result. This is not a valid solution when the definition is required, but it is a 15-second check.
An extremum is tangency to a horizontal line
The rest of the lesson concerns extrema. It helps to see them as a special case of something familiar. The tangent at a maximum or minimum is horizontal, so its slope is known in advance to be zero. This gives $f'(x_0)=0$.
Points where the derivative is zero are critical points. The equation $f'(x_0)=0$ alone means neither maximum nor minimum: for $x^3$, the derivative is zero at the origin, but there is no extremum—the graph merely flattens for an instant and keeps increasing.
Algorithm for the maximum and minimum value- Compute $f'$ and find all points where it is zero.
- Discard those outside the specified interval.
- Make a candidate list: the remaining critical points plus interval endpoints.
- Evaluate the function at every candidate and compare the numbers.
- Write the value, not the point, in the answer.
There is a third kind of candidate—corners such as the origin for $|x|$, where the derivative does not exist—but none occurs today: every function is differentiable on its domain.
Step 4 deserves a separate note. On a closed interval, there is no need to classify a critical point; comparing a few numbers is enough. Classification is needed in three other situations: an interval has no endpoints, the question says “local,” or there are several critical points and exactly one is requested.
The last situation is the costly one. As soon as $f'$ has two zeros, one substitution cannot give the answer; first say which point is a maximum and which a minimum. w0504, b0502, y0502, and the model problem below follow this pattern.
There are two ways to distinguish the types, both in the Bridge, and the choice is practical. The sign of $f''$ is shorter when the second derivative takes one line, for example for a polynomial. A sign chart for $f'$ is longer but more reliable: it works even when $f''$ itself is zero at the critical point and says nothing, and it displays the full pattern of increase and decrease.
Open and infinite intervals: do not substitute endpoints
If the interval is $x>0$, $[1,+\infty)$, or the whole real line, there is no endpoint at which a number can be substituted. The candidate list is shorter, but the work is not: instead of substitution, estimate what the function does near the boundary.
For $f(x)=x^2+\frac{81}{x^2}$ on $x>0$, this takes one line. As $x\to0^+$, $\frac{81}{x^2}$ grows without bound; as $x\to+\infty$, $x^2$ itself grows. At both ends the function exceeds every fixed number, so the sole critical point must be a global minimum. Without this estimate, “we found the minimum” would be unproved.
Sometimes the boundary tends to a finite value rather than infinity. For $x^2e^{-x}$ on $x\ge0$, the right boundary gives zero because the exponential grows faster than every power. Zero is below the maximum found inside, so the boundary changes nothing—but it still had to be checked.
Tangency is a two-condition system
The word “tangent” in a condition means two equations, and you should recognize it that way.
The intersection of the curve $y=f(x)$ and the line $y=kx+b$ gives one equality, $f(x_0)=kx_0+b$. Tangency adds a second: at the contact point the slopes also agree, $f'(x_0)=k$. There are two unknowns—the point $x_0$ and the line parameter—so the system is solvable, while one equation would not be.
The simplest case is a horizontal line, where $k=0$ and slope equality becomes $f'(x_0)=0$: a tangency problem becomes an extremum problem (w0503). Next the slope is nonzero (b0504), and finally it is unknown as well (y0504).
Example. For which $a$ is the line $y=x$ tangent to the graph $y=\ln x+a$?
Equality of slopes gives $(\ln x+a)'=\frac1x$, while the line’s slope is 1. Thus $\frac1{x_0}=1$ and $x_0=1$. The equation solved itself because $a$ does not appear in it; this is common, so start there. Now equate values: $1=\ln1+a=a$. The answer is $a=1$.
A second route: a multiple rootTangency can also be checked without derivatives: substitute one equation into the other and require the resulting equation to have a multiple root. Multiple, not necessarily unique: the line $y=-2$ is tangent to $y=x^3-3x$ at $x=1$, yet $x^3-3x+2=(x-1)^2(x+2)=0$ has two distinct roots, 1 and -2. For a line and a parabola, the two requirements coincide: a multiple root is also the only root, and the condition is the short equation $D=0$. This is the second check used for b0504.
Logarithmic differentiation
The function $x^x$ can be differentiated neither as a power (the exponent is not constant) nor as an exponential (the base is not constant). There is one move: take logarithms of both sides before differentiating.
Let $y=u(x)^{v(x)}$. Then $\ln y=v\ln u$. Differentiating gives $y'/y$ on the left by the chain rule and the ordinary product derivative on the right. Multiply by $y$ at the end.
Example. $y=x^{\ln x}$. Take logs: $\ln y=(\ln x)^2$. Differentiate:
$$\frac{y'}y=2\ln x\cdot\frac1x\;\Longrightarrow\;y'=x^{\ln x}\cdot\frac{2\ln x}{x}$$At $x=e$, the formula gives $e^1\cdot\frac2e=2$, and a numerical difference quotient at that point gives 2 as well.
Another notation for the same method is $u^v=e^{v\ln u}$, followed by the chain rule. Use whichever form causes less confusion.
TriggerThe variable appears both in the base and the exponent—take logarithms. There is no other practical route, and the pattern can be recognized in a second.
Integer argument: there is nowhere to set the derivative to zero
The number of people on a team, tickets, attempts, or servers is an integer. The condition $f'(k)=0$ is meaningless: the function is not defined between neighboring integer values, so it has no slope there.
Two moves work, and usually both are used.
First move: use the continuous version as a location marker. Ignore integrality, find the maximum using a derivative, and then check the integer neighbors of the candidate. Example: maximize $\frac{n}{n^2+9}$ over integers $n\ge1$. The derivative of the continuous version is $\frac{9-t^2}{(t^2+9)^2}$, zero at $t=3$. Since 3 is an integer, the answer is $\frac3{18}=\frac16\approx0.1667$, while the neighbors give less: $\frac2{13}\approx0.1538$ and $\frac4{25}=0.16$.
Second move: use monotonicity to cut off the tail, then check by hand. This is needed when the formula contains $\min$ or $\max$, so the function has a corner. To the right of the corner, one term is frozen while the other keeps growing, so things only get worse. This turns an infinite search into a few honest table entries.
Bridge b0507 and today’s SHAD final s0501 use exactly this pattern.
Linear approximation: a bridge to tomorrow
The tangent equation, written differently, is a recipe for mental arithmetic:
$$f(x_0+\Delta x)\approx f(x_0)+f'(x_0)\,\Delta x$$Near any point, a smooth function can be replaced by a line: $\sqrt{4.1}\approx2+\frac{0.1}{4}=2.025$, versus the true $2.02485$. The error is less than one hundredth of a percent, and the calculation is mental. Tomorrow this idea becomes the main tool: a function is replaced not by a line but by a polynomial of degree two or three, and $\frac00$ limits are evaluated by substitution.
What should stay with you
- If the question asks for a value, return a value. Find the point along the way; do not write it in the answer box.
- Extremum candidates are critical points inside the interval and its endpoints; for open or infinite intervals, replace endpoints with an estimate of the limiting behavior.
- On a closed interval, classification is unnecessary; without endpoints, with two critical points, or with the word “local,” it is essential.
- “Tangent” means two equations: values agree and slopes agree. Its simplest form is a horizontal tangent at an extremum.
- If the variable is both base and exponent, take logarithms.
- If the argument is integer, do not set a derivative to zero: narrow the search and check integers.