Работа со следствием из теоремы о промежуточных значениях (IVT)
Введено| English | Значение |
|---|---|
| Intermediate Value Theorem/ˌɪntəˈmiːdɪət ˈvæljuː ˈθɪərəm/ | теорема о промежуточных значениях |
| solution/səˈluːʃn/ | решение |
| zero/ˈzɪərəʊ/ | нуль функции |
Если вы поднялись от 1 м до 3 м, вы прошли через 2 м
- Идите непрерывно от высоты $1$ м до высоты $3$ м. В какой-то момент вы находились ровно на высоте $2$ м — вы не могли её пропустить.
- Этот банально звучащий факт — Теорема о промежуточных значениях (IVT).
- Она гарантирует, что функция достигает каждой высоты между значениями своих концов.
- Единственное условие: путь должен быть непрерывным — без телепортации, без скачков.
Непрерывное восхождение пересекает каждый уровень
y = ax³ + bx + c
Эта непрерывная кривая проходит через каждое значение высоты между своими концами — выберите целевое значение $N$ в диапазоне, и оно будет достигнуто где-то.
Что обещает теорема
- Если $f$ непрерывна на замкнутом интервале $[a,b]$, и $N$ — любое значение между $f(a)$ и $f(b)$,
- то существует как минимум одна точка $c$ в $(a,b)$, где $f(c)=N$.
- Простыми словами: непрерывная функция принимает каждое промежуточное значение выхода где-то между ними.
- Это теорема о существовании — она гарантирует существование точки $c$, но не указывает её значение.
IVT говорит вам точное значение $c$, при котором $f(c)=N$.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Это теорема существования — она гарантирует, что корень $c$ существует, но не определяет его местоположение.
Сначала проверьте гипотезы
- Перед применением теоремы о промежуточных значениях (IVT) подтвердите вслух два требования:
- (1) $f$ непрерывна на $[a,b]$ (многочлен или иначе верифицирована — см. 1.12).
- (2) целевое значение $N$ строго находится между значениями $f(a)$ и $f(b)$.
- Пропустите любую из проверок, и вывод не гарантирован — для функции с разрывом IVT ничего не говорит.
Чтобы применить IVT для $[a,b]$ с целевым значением $N$, вам нужны все следующие условия...
Difficulty 2/5 · 140 coins + a small bonus on first completion today
IVT требует непрерывности и наличия целевого значения в диапазоне. Дифференцируемость не требуется.
IVT требует, чтобы функция была ____ на замкнутом интервале.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Без непрерывности прыжок может пропустить целевое значение.
Непрерывная функция $f$ принимает значения $f(2)=5$ и $f(6)=9$. Для какого целевого значения $N$ IVT гарантирует решение $f(c)=N$?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
$N$ должно лежать между $5$ и $9$; только $7$ подходит.
Классическое применение: гарантия корня
- Чтобы показать, что уравнение имеет решение в $[a,b]$, перепишите его в виде $g(x)=0$ и задайте цель $N=0$.
- Если $g$ непрерывна, а $g(a)$ и $g(b)$ имеют разные знаки, то $0$ находится между ними.
- IVT тогда гарантирует ноль $c$, где $g(c)=0$ — уравнение имеет корень в $(a,b)$.
- Аргумент «смена знака ⇒ наличие корня» является наиболее частым вариантом появления этой теоремы на экзаменах.
Непрерывная функция $g$ принимает значения $g(1)=-2$ и $g(3)=4$. IVT гарантирует...
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Разные знаки ограничивают $0$; IVT гарантирует существование корня, но не его количество или местоположение.
Для $g(x)=x^2-2$ на интервале $[1,2]$ вычислите значения $g(1)$, чтобы проверить наличие смены знака относительно $g(2)=2$.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Для $g(1)=1-2=-1<0$ и $g(2)=2>0$: смена знака, следовательно, $\sqrt2$ является корнем в $(1,2)$.
Теореме о промежуточных значениях требуется непрерывность на всём замкнутом интервале и целевое значение, строго находящееся между значениями на концах. Без непрерывности она не работает: функция, совершающая скачок от $1$ к $3$, никогда не примет значение $2$. Кроме того, IVT гарантирует лишь существование — она не определяет положение точки $c$ и не говорит, сколько таких точек $c$ существует.
Докажите, что $x^3 + x - 1 = 0$ имеет решение в $[0,1]$.
- Пусть $g(x)=x^3+x-1$; это многочлен, значит непрерывна на $[0,1]$. ✓
- Значение $g(0)=-1$ (отрицательное) и $g(1)=1$ (положительное) — разные знаки, значит $N=0$ находится между ними.
- Согласно IVT, существует точка $c\in(0,1)$, где $g(c)=0$. Уравнение имеет корень в $(0,1)$.
Теорема о промежуточных значениях: если $f$ непрерывна на $[a,b]$, а $N$ лежит между $f(a)$ и $f(b)$, то существует точка $f(c)=N$ для некоторого $c$ в $(a,b)$. Всегда сначала проверяйте непрерывность и то, что $N$ попадает в диапазон. Её главное применение: смена знака непрерывной функции гарантирует корень на интервале — результат существования, а не нахождения конкретного значения.