Краткое содержание
Этот урок открывает последний раздел курса, который переходит от того, что производная говорит в точке, к тому, что она говорит на промежутке. Он представляет путь раздела: теорема Вейерштрасса гарантирует, что функция, непрерывная на отрезке, достигает на нём наибольшего и наименьшего значений; теорема Ферма указывает их там, где производная обращается в нуль; теоремы Ролля, Лагранжа и Коши превращают знак производной в сведения о целом промежутке, и из них следуют правило Лопиталя, монотонность, признаки экстремума, направление выпуклости, кривизна, оптимизация и метод Ньютона-Рафсона. Урок восстанавливает историю этих результатов, от метода Ферма нахождения максимумов до теоремы Дарбу, в порядке, почти обратном порядку раздела; формулирует задачу, которая проходит через весь раздел, переход от локального к глобальному, и показывает на примере в рациональных числах, что этот переход зависит от полноты действительных чисел. В конце он указывает, где эти приложения используются в других курсах сайта, в науке и технике.
Цели обучения
- Описывать путь раздела и объяснять, что доказывает каждый урок и какими прежними результатами он пользуется.
- Объяснять, почему глобальные заключения о функции, такие как существование наибольшего значения, монотонность или сходимость метода, требуют, помимо производной, полноты действительных чисел.
- Помещать в исторический контекст результаты раздела, от метода Ферма нахождения максимумов до теоремы Дарбу, и отличать порядок, в котором они были открыты, от порядка, в котором они доказываются.
- Указывать, где приложения производной используются в других курсах и в научных и технических приложениях.
Входная проверка
Прежде чем проходить раздел, полезно измерить исходную точку. Эта самопроверка не оценивается: она нужна, чтобы понять, где стоит задержаться. Первые девять вопросов касаются, по порядку, девяти уроков раздела с основным содержанием, по одному на каждый, и измеряют понимание их центрального результата (что он гарантирует, при каких условиях, чего не гарантирует), а не формулировку, которую нужно помнить; те же навыки снова измеряются в конце, в итоговом уроке, на других данных. Пять последних касаются того, что этот раздел считает известным из двух предыдущих: теоремы Больцано, знака производной в точке, второй производной, дифференцирования неявной функции и эквивалентных бесконечно малых.
Перед началом раздела оцени свою отправную точку. Это короткая самопроверка: она не оценивается, а результат хранится только в твоём браузере.
Вопрос 1В каком из этих случаев теорема Вейерштрасса гарантирует, что функция достигает наибольшего значения на указанном множестве?
Функция непрерывна и ограничена, но не является ограниченным промежутком, и теорема неприменима. Действительно, наибольшего значения нет: значения приближаются к , не достигая его.Промежуток не замкнут: в нём нет конца , где было бы наибольшее значение. Значения приближаются к , не достигая его.Промежуток замкнут и ограничен, но функция разрывна в точке : её предел слева равен , а значение равно . Значения приближаются к , не достигая его.Функция непрерывна как модуль многочлена, а промежуток замкнут и ограничен. Теорема не требует дифференцируемости: не дифференцируема в точке , где она достигает наименьшего значения , а наибольшего значения она достигает в точке .Повторить: Теорема Вейерштрасса о наибольшем и наименьшем значениях
Вопрос 2Функция дифференцируема на , причём и при всех . Что можно гарантировать относительно ?
Предположено, что производная равна на всём промежутке; условие лишь ограничивает её. Постоянная функция удовлетворяет условиям и равна в точке .Ограничено значение вместо приращения: неравенство о среднем значении ограничивает , а не . Функция удовлетворяет условиям и равна в точке .Знать её не нужно: теорема о среднем превращает оценку производной в оценку приращения, и при этом не нужно знать, в какой точке угловой коэффициент касательной равен угловому коэффициенту хорды.По теореме о среднем для некоторого из , и : это неравенство о среднем значении. Обе границы достигаются, для и для , так что больше ничего гарантировать нельзя.Повторить: Теоремы Ферма, Ролля, Лагранжа и Коши
Вопрос 3Вычислить .
Правило Лопиталя гласит, что если отношение производных имеет предел, то отношение функций имеет тот же предел; если же не имеет, правило ничего не говорит, и предел может существовать.Этот множитель колеблется, но он ограничен и умножается на , который стремится к быстрее, чем .Выражение заменено на , как если бы они были эквивалентными бесконечно малыми. Эквивалентность синуса и его аргумента верна, когда аргумент стремится к , а не стремится к .При , близких к , отношение равно : первый множитель стремится к , а второй к , потому что . Правило Лопиталя ничего не даёт: отношение производных, , не имеет предела.Повторить: Правило Лопиталя
Вопрос 4Является ли строго возрастающей на функция ?
Строгой монотонности мешает не количество нулей производной, а то, что она обращается в нуль на целом интервале; здесь нули изолированы.Положительной производной достаточно для строгого возрастания, но она не необходима: строго возрастает на , а её производная обращается в нуль в точке .Косинус колеблется, но никогда не убывает быстрее, чем растёт : производная суммы, , никогда не бывает отрицательной.Производная обращается в нуль лишь в изолированных точках , где целое. По утверждению о строгой монотонности при неотрицательной производной строго возрастает на .Повторить: Монотонность и признак экстремума по первой производной
Вопрос 5Функция непрерывна на и дифференцируема в каждой точке , кроме , а её производная обращается в нуль только в точке . Если , , , и , то каковы её абсолютный максимум и абсолютный минимум на ?
Забыты точки, в которых функция не дифференцируема, а они тоже являются критическими: в точке функция равна .Сравнены только значения на концах отрезка; абсолютные экстремумы могут находиться и в критических точках внутри него.Значений в точках-кандидатах достаточно: утверждение гарантирует, что абсолютные экстремумы достигаются в одной из них, и даёт всех кандидатов.По утверждению об абсолютных экстремумах на отрезке они существуют и достигаются в точке , в точке или в критической точке: в , где нет производной, или в , где она обращается в нуль. Достаточно сравнить , , и ; значение в точке , которая не является кандидатом, роли не играет.Повторить: Максимумы и минимумы функции
Вопрос 6Каковы точки перегиба функции ?
Обращение в нуль необходимо, но не достаточно: нужно, чтобы менялось направление выпуклости, а показывает в точке , что оно может не меняться.Это критические точки, в которых касательная горизонтальна. Точка перегиба есть точка, в которой меняется направление выпуклости, а это определяет вторая производная, а не первая.Признак точки перегиба по третьей производной даёт достаточное условие, и когда он неприменим, он ничего не решает. В точке он применим: , что не равно нулю.Вторая производная, , меняет знак в точке ; в точке не меняет, потому что отрицательна с обеих сторон. Вблизи функция выпукла вверх с обеих сторон, и не является точкой перегиба, хотя там обращается в нуль .Повторить: Выпуклость вверх и вниз, точки перегиба
Вопрос 7Какова соприкасающаяся окружность графика функции в точке ?
У неё та же касательная и верный радиус, но она изгибается в другую сторону: её центр лежит под точкой, а поскольку , центр кривизны лежит над ней.Число есть кривизна, а не радиус: радиус кривизны есть обратная к ней величина.В качестве радиуса взято , а центр помещён на вертикали, проходящей через точку, что верно лишь тогда, когда касательная горизонтальна. Здесь угловой коэффициент равен , и множитель не равен .При и радиус равен , а центр лежит на нормали, которая есть прямая , на этом расстоянии от точки и с той стороны, куда изгибается график: над точкой, потому что .Повторить: Кривизна и радиус кривизны
Вопрос 8Какие точки параболы ближе всего к точке ?
Это самая низкая точка параболы, но не ближайшая к : её расстояние равно , а расстояние от точек с ординатой равно . Критическая точка функции есть локальный максимум.Отрицательный корень отброшен, как если бы было длиной. Это абсцисса, которая может быть отрицательной, а точка, симметричная относительно вертикальной оси, находится на том же расстоянии.Утверждение о расстоянии от точки до графика гарантирует наименьшее значение для функции, непрерывной на промежутке, содержащем свои концы, таком как : далёкие точки находятся далеко, и наименьшее значение ищется на отрезке.Достаточно минимизировать квадрат расстояния, , который достигает наименьшего значения на по утверждению о расстоянии от точки до графика. Его производная, , обращается в нуль в точке и в точках , и значение в двух последних, , меньше, чем .Повторить: Задачи оптимизации
Вопрос 9Функция возрастает и выпукла вниз на , а её корень равен , что близко к . Как ведут себя итерации Ньютона-Рафсона с начальным приближением ?
Слева от корня касательная к возрастающей функции, выпуклой вниз, пересекает ось справа от корня, потому что лежит под графиком. Монотонное приближение требует начинать с точки, где положительна.Теорема неприменима при старте из , но применима при старте из : следствие показывает, что первая поправка приводит на удачную сторону.Только первая поправка переходит через корень; начиная с , все итерации остаются справа от него.В точке функция отрицательна: это неудачная сторона. По следствию о начальном приближении с неудачной стороны первая итерация попадает туда, где положительна, и с неё теорема о монотонной сходимости даёт итерации, убывающие к корню; вторая равна , что близко к .Повторить: Метод Ньютона-Рафсона
Вопрос 10Из предыдущих разделовФункция непрерывна на , причём и . Что можно гарантировать?
Теорема гарантирует существование, а не единственность: удовлетворяет условиям и обращается в нуль в трёх точках. Для единственности нужно что-то ещё, например чтобы функция была строго монотонной.Два значения не решают вопроса о монотонности: между ними функция может то расти, то убывать, как .Середина есть первая точка, которую рассматривает метод деления пополам, но корень может находиться в другом месте: удовлетворяет условиям и обращается в нуль в точке .Это теорема Больцано: функция, непрерывная на отрезке и принимающая на его концах значения разных знаков, обращается в нуль в некоторой внутренней точке.Повторить: Теорема о промежуточном значении
Вопрос 11Из предыдущих разделовФункция определена на интервале, содержащем , и . Что можно гарантировать?
Производная в точке не управляет монотонностью вокруг неё: функция, равная при и в точке , имеет производную в точке и не возрастает ни на каком интервале, содержащем .Это утверждение локально: оно верно лишь вблизи . Синус имеет производную в точке , и равен в точке .Условие говорит лишь о производной в точке : функция может быть не дифференцируема в близких точках, а даже если дифференцируема, её производная может быть разрывна в точке .Это утверждение о знаке производной в точке: разностное отношение сохраняет вблизи знак своего предела. Оно сравнивает каждое близкое значение с , а не близкие значения между собой.Повторить: Скорость изменения и связанные скорости
Вопрос 12Из предыдущих разделовВычислить для .
Это , первая производная: нужно продифференцировать ещё раз.Пропущена производная слагаемого в , равная .Перемножены вторые производные множителей, . Вторая производная произведения не равна произведению вторых производных.По правилу дифференцирования произведения , а при повторном дифференцировании ; в точке логарифм обращается в нуль.Повторить: Производные высших порядков и дифференциал
Вопрос 13Из предыдущих разделовУравнение задаёт вблизи точки дифференцируемую функцию , причём . Чему равно ?
Выражение продифференцировано так, как если бы было постоянным: не хватает слагаемого из правила дифференцирования произведения.Выражение продифференцировано как , без умножения на : зависит от , и правило дифференцирования сложной функции даёт .Знак потерян при выражении неизвестной: из следует .При дифференцировании по , с правилом дифференцирования произведения для и правилом дифференцирования сложной функции для , получается ; в точке остаётся .Повторить: Производная обратной функции и дифференцирование неявной функции
Вопрос 14Из предыдущих разделовВычислить .
Выражение взято в качестве эквивалента для ; эквивалентом является .Это предел обратного отношения: числитель и знаменатель поменяны местами.Этот вид лишь показывает, что теорема о пределе частного неприменима; предел может существовать, и здесь он существует.При имеем и ; после замены числителя и знаменателя эквивалентными отношение равно .Повторить: Эквивалентные бесконечно малые и бесконечно большие
Загрузка содержимого…