2.6.4: Теорема про проміжні значення
- Page ID
- 55048
Теорема про проміжні значення
Цей урок представляє дві теореми: Теорема проміжних значень та Теорема про межі нулів. Технічне визначення наведено нижче, але що насправді означають ці теореми в «звичайній мові»?
Теорема про проміжні значення
Теорема проміжних значень пропонує один із способів знайти коріння неперервної функції. Неформальне визначення неперервного полягає в тому, що функція є безперервною протягом певного інтервалу, якщо вона не має розривів, стрибків, асимптотів або отворів у цьому інтервалі. Поліноміальні функції є неперервними для всіх дійсних чисел x. Раціональні функції часто не є неперервними над множиною дійсних чисел через асимптоти або дірки у графі, але для інтервалів без дірок раціональні функції є неперервними.
Якщо ми знаємо, що функція є безперервною протягом деякого інтервалу [a, b], то ми можемо використовувати теорему про проміжні значення:
Якщо f (x) є неперервним на деякому інтервалі [a, b], а n знаходиться між f (a) та f (b), то існує деякий c[ a, b] такий, що f (c) =n.
Наступні графіки висвітлюють, як працює теорема про проміжні значення. Розглянемо графік функції\(\ f(x)=\frac{1}{4}\left(x^{3}-\frac{5 x^{2}}{2}-9 x\right)\) нижче на інтервалі [-3, -1].

f (−3) =−5,625 та f (−1) =1,375. Якщо ми намалюємо межі на [-3, -1] та [f (−3), f (−1)], то ми побачимо, що для будь-якого значення y між y=−5.625 та y=1.375 має бути значення x у [-3, -1] таким чином, що f (x) =y.

Так, наприклад, якщо ми виберемо c=−2, ми знаємо, що для деяких x [−3, −1], f (x) =−2, хоча розв'язання цього вручну було б важкою задачею!

Теорема про межі нулів є слідством теореми про проміжні значення:
Межі теореми нулів
Якщо f є безперервним на [a, b] і є зміна знака між f (a) і f (b) (тобто f (a) позитивний і f (b) негативний, або навпаки), то існує cμ (a, b) такий, що f (c) =0.
Теорема про межі нулів є наслідком теореми проміжного значення, оскільки вона принципово не відрізняється від загального твердження теореми про проміжні значення, лише особливий випадок, коли n = 0.
Озираючись на\(\ f(x)=\frac{1}{4}\left(x^{3}-\frac{5 x^{2}}{2}-9 x\right)\) вище, тому що f (−3 0 <0 and f (−1) >, ми знаємо, що для деяких x[ −3, −1], f (x) має корінь. Фактично, цей корінь знаходиться на x = −2. і ми можемо перевірити це за допомогою синтетичного ділення або шляхом безпосередньої оцінки f (−2).
Наближені нулі поліноміальних функцій
У обчисленні ви дізнаєтеся кілька методів чисельного наближення коренів функцій. У цьому розділі показано один елементарний числовий метод знаходження нулів многочлена, який використовує переваги теореми проміжних значень.
Дано неперервну функцію g (x),
- Знайдіть дві точки, такі, що g (a) > 0 і g (b) < 0. Після того, як ви знайшли ці дві точки, ви можете ітераційно використовувати наведені нижче кроки, щоб знайти корінь g (x) на інтервалі [a, b]. (Зверніть увагу, ми будемо вважати < b, but the same algorithm works with minor adjustments if b > a)
- Оцінити\(\ g\left(\frac{a+b}{2}\right)\).
- Якщо\(\ g\left(\frac{a+b}{2}\right)=0\), то корінь є\(\ x=\frac{a+b}{2}\).
- Якщо\(\ g\left(\frac{a+b}{2}\right)>0\), замініть з\(\ \frac{a+b}{2}\). І повторіть кроки 1-2, використовуючи\(\ \left[\frac{a+b}{2}, b\right]\)
- Якщо\(\ g\left(\frac{a+b}{2}\right)<0\), замініть b с\(\ \frac{a+b}{2}\). і повторіть кроки 1-2, використовуючи\(\ \left[a, \frac{a+b}{2}\right]\)
Цей алгоритм зазвичай не знайде точний корінь g (x), але він дозволить знайти досить малий інтервал для кореня. Наприклад, ви можете повторити цей процес достатньо разів, щоб знайти інтервал з |a−b|<0,01, і ви будете знати корінь g (x) у досить хорошому наближенні. Якість наближення, яке ви використовуєте (і кількість кроків, які ви використовуєте) залежатиме від того, чому ви шукаєте корінь. Для більшості застосувань, що надходять в межах 0,01 кореня, є розумним наближенням, але для деяких застосувань (наприклад, побудови моста або запуску ракети) вам потрібна набагато більша точність.
Цікавий наслідок теореми проміжних значень
Один дивовижний результат теореми проміжних значень полягає в тому, що якщо ви намалюєте будь-яке велике коло навколо земної кулі, то на цьому великому колі повинні бути дві антиподальні точки, які мають точно таку ж температуру.
Нагадаємо, що велике коло - це шлях навколо сфери, який дає найкоротшу відстань між будь-якими двома точками на сфері. Екватор являє собою велике коло по всій земній кулі. Антиподальні точки - це дві точки з протилежних сторін сфери. На діаграмі нижче B і B′ є антиподальними.

Для неформального підтвердження цього результату подивіться на зображення сфери з трьома великими колами вище. Припустимо, що температура при B дорівнює 75, а температура B′ дорівнює 50. Різниця між температурою в B і при B′ становить 75−50=25. Тепер уявіть, що обертаєте відрізок\(\ \overline{B B^{\prime}}\) навколо синього великого кола. Коли відрізок повернувся на 180 градусів (тобто коли B повернувся туди, де B′), різниця між температурами в цих двох точках становить 50−75 = −25. Оскільки температури постійно змінюються, за теоремою проміжних значень, на цьому колі повинна бути певна точка, коли різниця становила 0, маючи на увазі, що дві антиподальні точки мали однакову температуру.
Зверніть увагу, що ця маленька демонстрація не говорить нам, які дві антиподальні точки мали однакову температуру, лише те, що на будь-якому великому колі має бути дві такі точки.
Приклади
Раніше вас запитали, чи можна написати менш формальні визначення теореми проміжних значень та теореми меж нулів.
Рішення
Однією з можливостей може бути:
Теорема проміжних значень просто стверджує, що якщо ви знаєте дві точки на графіку, і знаєте, що графік включає всі точки між ними, то будь-яка точка між ними повинна бути на графіку.
Теорема про межі нулів передбачає, що якщо графік містить всі точки між додатним і від'ємним значенням, то нульова точка між цими двома значеннями знаходиться на графіку.
Показати, що f (x) =−3x 3 +5x має принаймні один корінь у інтервалі [1, 2].
Рішення
Оскільки f (x) є многочленом, ми знаємо, що він безперервний. f (1) = 2 і f (2) = −14. Нехай n = 0 [−14,2]. Застосовуючи теорему проміжних значень, повинна існувати якась точка c [1,2] така, що f (c) = 0. Це доводить, що f (x) має корінь в [1, 2].
У таблиці нижче наведено кілька вибіркових значень полінома p (x).
| х | −4 | −2 | 0 | 1 | 4 | 6 | 8 | 10 | 15 | 18 |
| р (х) | 44.15 | 6.62 | −4.12 | −4.09 | 1.16 | 0 | −8.74 | −24.07 | −49.8918 | 3.41 |
Рішення
Виходячи з інформації в таблиці:
а Яка мінімальна кількість коренів p (x)?
б Які межі коренів p (x), які ви визначили в (а)?
Оскільки p (x) - многочлен, ми вже знаємо, що він безперервний. Ми можемо використовувати теорему проміжних значень для ідентифікації коренів, дивлячись на те, коли p (x) змінюється від негативного до позитивного або від позитивного до негативного.
а У таблиці є чотири зміни знаків p (x), тому, як мінімум, p (x) має чотири корені.
b Коріння знаходяться в наступних інтервалах x [−2, 0], x [1, 4], x [15, 18], і таблиця також повідомляє нам, що один корінь знаходиться на x=6.
Показати перші 5 ітерацій пошуку кореня h (x) =x 2 −x−1 за допомогою початкових значень a=0 та b=2.
Рішення
- Спочатку ми перевіряємо, що існує корінь між x=0 та x=2. h (0) =−1 та h (2) =1, тому ми знаємо, що в інтервалі є корінь [0, 2]. Перевірте\(\ h\left(\frac{2+0}{2}\right)=h(1)=-1\). Починаючи з −1 < 0, ми знаємо, що корінь знаходиться між x=1 та x=2, і ми використовуємо новий інтервал [1, 2].
- Тепер використовуємо інтервал [1, 2]. \(\ h\left(\frac{1+2}{2}\right)=h(1.5)=-0.25\). Починаючи з −0,25 < 0, ми використовуємо інтервал [1.5, 2].
- \(\ h\left(\frac{1.5+2}{2}\right)=h(1.75)=0.31\). Починаючи з 0.31 > 0, ми знаємо, що нуль знаходиться в інтервалі [1.5, 1.75].
- \(\ h\left(\frac{1.5+1.75}{2}\right)=h(1.625)=0.02\). Починаючи з 0,02 > 0, ми знаємо, що корінь знаходиться між 1.5 і 1.625.
- \(\ h\left(\frac{1.5+1.625}{2}\right)=h(1.5620)=-0.12\). Починаючи з −0,12 < 0, ми знаємо, що корінь знаходиться між 1.5620 і 1.625.
Цей приклад показує, що після п'яти ітерацій ми звузили можливе розташування кореня до 0,06 одиниць. Непогано!
Скористайтеся зображенням графіка нижче, щоб знайти наступне:
- Ступінь многочлена
- Кількість дійсних нулів та їх наближені значення за допомогою графіка
- Кількість уявних нулів

Рішення
- Для ідентифікації ступеня нагадаємо, що ступінь многочлена на одне число більше числа витків. Зображення показує повороти при apx x = -.6 і apx x = .75, тому це функція 3-го ступеня.
- На зображенні показано лінію, що перетинає вісь x 3 рази, при (apx) -1,15, при 0 і в (apx) 1.4.
- Оскільки це рівняння 3-го ступеня, існує 3 можливі нулі, а оскільки є 3 дійсних нулі, то уявних немає.
Показати, що f (x) =8x 3 −5x 2 −7x−5 має принаймні один корінь у інтервалі [1, 2].
Рішення
Оскільки f (x) є многочленом, ми знаємо, що він безперервний. f (1) = −9 і f (2) = 25. Нехай n = 0 [−9, 25]. Застосовуючи теорему проміжних значень, повинна існувати якась точка c [1,2] така, що f (c) = 0. Це доводить, що f (x) має корінь в [1, 2].
Зверніть увагу, що оскільки це многочлен 3-го ступеня, існує три нулі. Так як існує тільки один реальний нуль, два інших повинні бути уявними.
Рецензія
Для питань 1 - 6 використовуйте зображення графіка, щоб знайти наступне:
- Провідний коефіцієнт і ступінь многочлена
- Кількість дійсних нулів та їх наближені значення за допомогою графіка
- Кількість уявних нулів
[Малюнок 1]2.
[Малюнок 2]3.
[Малюнок 3]4.

5.
[Малюнок 4]6.
[Малюнок 5]Для питань 7-12 використовуйте теорему про проміжні значення, щоб показати межі нулів кожної функції. (Ваші межі повинні бути в межах цілого числа)
- f (x) = 2х 3 −3х+4
- г (х) =−5х 2 +8х+12
- \(\ h(x)=\frac{1}{2} x^{4}-x^{3}-3 x^{2}+1\)
- \(\ j(x)=-\frac{2}{x^{2}+1}+\frac{1}{2}\)
- k (x) - многочлен, і вибрані значення k (x) наведені в наступній таблиці:
х -3 -2 -1 0 1 2 3 к (х) −23.5 −1 0.5 −1 5. −1 −23.5 - Стівен стверджує,\(\ r(x)=\frac{4 x+1}{x+3.5}\) що функція має два нулі на основі наступної таблиці та застосування теореми Межі на нулі. Що несправно в міркуваннях Стівена?
х −5 −4 −3 −2 −1 0 1 2 3 4 г (х) 12.67 30 −22 −4.67 -1.20 0,29 1.11 1.64 2.0 2.27
Для питань 13-15 застосуйте числовий алгоритм п'ять разів, щоб знайти межу на нулі наступних функцій з урахуванням зазначених стартових значень. Дайте остаточну оцінку за нуль.
- k (x) = х 4 −3х+1 на [0,1]
- b (x) =−0,1x 5+3x 3 −5x 2 на [1,3]
- \(\ c(x)=\frac{3 x^{2}-2}{x^{4}+2} \text { on }[0,2]\)
Огляд (Відповіді)
Щоб переглянути відповіді на рецензію, відкрийте цей PDF-файл і знайдіть розділ 2.13.
Лексика
| Термін | Визначення |
|---|---|
| Межі теореми нулів | Теорема про межі нулів стверджує, що якщо f є неперервним на [a, b] і існує зміна знаків між f (a) і f (b) (тобто f (a) позитивний, а f (b) негативний, або навпаки), то існує c (a, b) такий, що f (c) = 0. |
| Безперервний | Безперервність для точки існує, коли ліві та праві межі збігаються з функцією, оціненою в цій точці. Щоб функція була неперервною, функція повинна бути неперервною в кожній точці нерозривної області. |
| Безперервна функція | Безперервна функція - це функція без розривів або зазорів. Він містить нескінченну, незліченну кількість значень. |
| теорема проміжного значення | Теорема проміжного значення стверджує, що якщо f (x) є неперервним на деякому інтервалі [a, b], а n знаходиться між f (a) і f (b), то існує деякий c [a, b] такий, що f (c) = n. |
| інтервал | Інтервал - це специфічна і обмежена частина функції. |
| Раціональна функція | Раціональна функція - це будь-яка функція, яку можна записати як відношення двох поліноміальних функцій. |
| Синтетичний поділ | Синтетичне ділення - це скорочений варіант поліноміального довгого ділення, де використовуються тільки коефіцієнти многочлена. |
| теорема | Теорема - це твердження, яке можна довести правдивим за допомогою постулатів, визначень та інших теорем, які вже доведені. |
| нулі | Нулі функції f (x) - це значення x, які призводять до того, що f (x) дорівнює нулю. |
| Нулі | Нулі функції f (x) - це значення x, які призводять до того, що f (x) дорівнює нулю. |
Атрибуції зображень
- [Малюнок 1]
Кредит: CK-12
Джерело: CK-12 - [Малюнок 2]
Кредит: CK-12
Джерело: CK-12 - [Малюнок 3]
Кредит: CK-12
Джерело: CK-12 - [Малюнок 4]
Кредит: CK-12
Джерело: CK-12 - [Малюнок 5]
Кредит: CK-12
Джерело: CK-12