1.3: Аналітичне знаходження меж
У розділі 1.1 ми досліджували поняття межі без суворого визначення, тобто ми могли робити лише наближення. У попередньому розділі ми дали визначення межі та продемонстрували, як його використовувати, щоб переконатися, що наші наближення були правильними. До сих пір наш метод знаходження межі дорівнює 1) зробити дійсно хороше наближення або графічно, або чисельно, і 2) переконайтеся, що наше наближення правильне за допомогою aϵ -δ доказ.
Цей процес має свої недоліки, не останнім з яких є той факт, щоϵ —δ докази громіздкі. Цей розділ дає низку теорем, які дозволяють нам знаходити межі набагато швидше та інтуїтивно.
Визнаючи, щоϵ -δ докази громіздкі, цей розділ дає низку теорем, які дозволяють нам знаходити межі набагато швидше та інтуїтивно.
Припустимоlimx→2f(x)=2, щоlimx→2g(x)=3 і.Що такеlimx→2(f(x)+g(x))? Інтуїція говорить нам, що межа повинна бути 5, оскільки ми очікуємо, що обмеження будуть вести себе приємно. Наступна теорема стверджує, що вже встановлені межі поводяться добре.
Теорема1.3.1: Basic Limit Properties
Дозволятиbc,L іK бути дійсними числами,n Дозволяти бути додатним цілим числом,f і нехай іg бути функції з наступними обмеженнями:
limx→cf(x)=L and limx→cg(x)=K.
Наступні обмеження утримують.
- Константи:limx→cb=b
- Ідентичність:limx→cx=c
- Суми/Відмінності:limx→c(f(x)±g(x))=L±K
- Скалярні кратні:limx→cb⋅f(x)=bL
- Продукція:limx→cf(x)⋅g(x)=LK
- Коефіцієнти:limx→cf(x)/g(x)=L/K, (K≠0)
- Повноваження:limx→cf(x)n=Ln
- Коріння:limx→cn√f(x)=n√L
- Композиції: Налаштуйте нашу раніше вказану граничну ситуацію на:
limx→cf(x)=L, limx→Lg(x)=K and g(L)=K.Then limx→cg(f(x))=K.
Робимо замітку про Property #8: колиn парний,L повинен бути більше 0. Якщоn непарне, то твердження вірно для всіхL.
Застосовуємо теорему до прикладу.
Приклад1.3.1: Using Basic Limit Properties
Нехай
limx→2f(x)=2,limx→2g(x)=3 and p(x)=3x2−5x+7.
Знайдіть такі обмеження:
- limx→2(f(x)+g(x))
- limx→2(5f(x)+g(x)2)
- limx→2p(x)
Рішення
- Використовуючи правило Сума/Різниця, ми це знаємоlimx→2(f(x)+g(x))=2+3=5.
- Використовуючи правила Scalar Multiple та Sum/Difference, ми виявляємо, щоlimx→2(5f(x)+g(x)2)=5⋅2+32=19.
- Тут ми об'єднуємо Power, Scalar Multiple, Сума/Різниця і Постійні Правила. Ми показуємо досить багато кроків, але загалом їх можна опустити:
limx→2p(x)=limx→2(3x2−5x+7)=limx→23x2−limx→25x+limx→27=3⋅22−5⋅2+7=9
Частина 3 попереднього прикладу демонструє, як межа квадратичного многочлена може бути визначена за допомогою властивостей Теореми 1. Мало того, визнати, що
limx→2p(x)=9=p(2);
тобто, межа на 2 була знайдена просто шляхом підключення 2 до функції. Це справедливо для всіх многочленів, а також для раціональних функцій (які є частками многочленів), як зазначено в наступній теоремі.
Теорема1.3.2 : Limits of Polynomial and Rational Functions
Межі поліноміальних і раціональних функцій} {Нехайp(x) іq(x) бути поліномами іc дійсним числом. Потім:
- limx→cp(x)=p(c)
- limx→cp(x)q(x)=p(c)q(c), деq(c)≠0.
Приклад1.3.2: Finding a limit of a rational function
Використовуючи теорему 2, знайдіть
limx→−13x2−5x+1x4−x2+3.
Рішення
Використовуючи теорему1.3.2, ми можемо швидко констатувати, що
limx→−13x2−5x+1x4−x2+3=3(−1)2−5(−1)+1(−1)4−(−1)2+3=93=3.
Ймовірно, було неприємно в розділі 1.2 зробити багато роботи, щоб довести, що
limx→2x2=4
як це здавалося досить очевидним. Попередні теореми стверджують, що багато функцій поводяться таким «очевидним» чином, що демонструє раціональна функція в прикладі 11.
Поліноміальні та раціональні функції - не єдині функції, які слід вести себе таким передбачуваним чином. Наступна теорема дає список функцій, поведінка яких особливо «приємна» з точки зору меж. У наступному розділі ми дамо формальну назву цим функціям, які ведуть себе «красиво».
Теорема1.3.4: Special Limits
cДозволяти дійсне число в області даної функції і нехайn бути натуральним числом. Наступні обмеження утримують:
1.limx→csinx=sinc4.limx→ccscx=cscc7.limx→cax=ac(a>0)2.limx→ccosx=cosc5.limx→csecx=secc8.limx→clnx=lnc3.limx→ctanx=tanc6.limx→ccotx=cotc9.limx→cn√x=n√c
Приклад1.3.3: Evaluating limits analytically
Оцініть наступні межі.
- limx→πcosx
- limx→3(sec2x−tan2x)
- limx→π/2cosxsinx
- limx→1elnx
- limx→0sinxx
Рішення
- Це просте застосування Теореми 3. limx→πcosx=cosπ=−1.
- Ми можемо підійти до цього як мінімум двома способами. По-перше, безпосередньо застосовуючи теорему 3, ми маємо:limx→3(sec2x−tan2x)=sec23−tan23. Використовуючи теорему Піфагора, цей останній вираз дорівнює 1; томуlimx→3(sec2x−tan2x)=1. ми також можемо використовувати теорему Піфагора з самого початку. limx→3(sec2x−tan2x)=limx→31=1,за допомогою правила Постійний ліміт. У будь-якому випадку, ми знаходимо межу 1.
- Застосування граничного правила добутку теореми 1 та теореми 3 даєlimx→π/2cosxsinx=cos(π/2)sin(π/2)=0⋅1=0.
- Знову ж таки, ми можемо підійти до цього двома способами. По-перше, ми можемо використовувати експоненціальну/логарифмічну ідентичність, якуelnx=x і оцінитиlimx→1elnx=limx→1x=1.
Ми також можемо використовувати граничне правило композиції теореми 1. Використовуючи теорему 3, ми маємоlimx→1lnx=ln1=0 іlimx→0ex=e0=1, задовольняючи умовам правила композиції. Застосовуючи це правило, справедливіlimx→1elnx=limx→0ex=e0=1. обидва підходи, що дають однаковий результат. - Ми зіткнулися з цим обмеженням у розділі 1.1. Застосовуючи наші теореми, ми намагаємося знайти межу, оскількиlimx→0sinxx→sin00→"0"0. Це, звичайно, порушує умову Теореми 1, оскільки межа знаменника не допускається бути 0. Тому ми все ще не можемо оцінити цю межу за допомогою інструментів, які ми маємо під рукою.
Розділ міг бути названий «Використання відомих обмежень для пошуку невідомих обмежень». Знаючи певні межі функцій, ми можемо знайти межі, що стосуються сум, продуктів, повноважень тощо цих функцій. Ми продовжуємо розробку таких порівняльних інструментів з теоремою Squeeze, розумним та інтуїтивним способом знайти значення деяких меж.
Перш ніж заявити цю теорему формально, припустимоf, що у нас є функції,gf іh деg завжди приймає значення між іh; тобто для всіхx в інтервалі,
f(x)≤g(x)≤h(x).
Якщоf іh мати однаковий ліміт приc, і завжди «gстискається» між ними, тоg повинен мати однаковий ліміт, а також. Це те, що говорить теорема про стискання.
Теорема1.3.5: Squeeze Theorem
Дозволятиf,g іh бути функції на відкритому інтерваліI містятьc такі, що для всіхx вI,
f(x)≤g(x)≤h(x).
Якщо
limx→cf(x)=L=limx→ch(x),
потім
limx→cg(x)=L.
Може знадобитися певна робота, щоб з'ясувати відповідні функції, за допомогою яких можна «вичавити» задану функцію, з якої ви намагаєтеся оцінити ліміт. Однак, це, як правило, єдине місце роботи необхідно; теорема робить «оцінку граничної частини» дуже простою.
Ми використовуємо теорему Squeeze в наступному прикладі, щоб остаточно довести цеlimx→0sinxx=1.
Приклад1.3.4: Using the Squeeze Theorem
Скористайтеся теоремою стискання, щоб показати, що
limx→0sinxx=1.
Рішення
Починаємо з розгляду одиничного кола. Кожна точка на одиничному колі має координати(cosθ,sinθ) деякого кутаθ, як показано на малюнку1.3.1. Використовуючи подібні трикутники, ми можемо продовжити лінію від початку через точку до точки(1,tanθ), як показано на малюнку. (Тут ми припускаємо, що0≤θ≤π/2 .Пізніше ми покажемо, що ми також можемо розглянутиθ≤0.)

На малюнку 1.19 показано три області, побудовані в першому квадранті, два трикутники та сектор кола, які також намальовані нижче. Площа великого трикутника є12tanθ; площа сектора єθ/2; площа трикутника, що міститься всередині сектора, є12sinθ. Тоді з діаграми зрозуміло, що
Помножте всі члени на2sinθ, даючи
1cosθ≥θsinθ≥1.
Прийняття взаємних обертає нерівності, даючи
cosθ≤sinθθ≤1.
(Ці нерівності тримаються для всіх значеньθ близько 0, навіть від'ємних значень, починаючи зcos(−θ)=cosθ іsin(−θ)=−sinθ.)
Тепер візьміть обмеження.
limθ→0cosθ≤limθ→0sinθθ≤limθ→01
cos0≤limθ→0sinθθ≤1
1≤limθ→0sinθθ≤1
Зрозуміло, це означає, щоlimθ→0sinθθ=1
Варто згадати дві примітки про попередній приклад. По-перше, це додаток може не заохочувати, думаючи: «Я б ніколи не придумав це самостійно. Це занадто важко!» Не турбуйтеся; у цьому тексті ми проведемо вас у використанні Теореми про стискання. Коли людина отримує математичну зрілість, розумні докази, подібні до цього, легше і легше створювати.
По-друге, ця межа говорить нам більше, ніж просто те, що, колиx наближається до 0,sin(x)/x наближається до 1. Обидваx іsinx наближаються до 0, але співвідношенняx і наближаєтьсяsinx до 1, що означає, що вони наближаються до 0 по суті однаково. Інший спосіб перегляду це: дляx малих функціїy=x іy=sinx по суті не відрізняються.
Ми включимо цю спеціальну межу разом з трьома іншими в наступну теорему.
Теорема1.3.5 : Special Limits
- limx→0sinxx=1
- limx→0cosx−1x=0
- limx→0(1+x)1x=e
- limx→0ex−1x=1
Коротке слово про те, як інтерпретувати останні три межі. Ми знаємо, що якx йде до 0,cosx йде до 1. Отже, у другій межі і чисельник, і знаменник наближаються до 0. Однак, оскільки межа дорівнює 0, ми можемо інтерпретувати це як те, що "cosxнаближається до 1 швидше, ніжx наближається до 0».
У третій межі, всередині дужок ми маємо вираз, який наближається до 1 (хоча ніколи не дорівнює 1), і ми знаємо, що 1 піднятий до будь-якої потужності все ще 1. При цьому сила зростає до нескінченності. Що відбувається з числом біля 1, піднятим до дуже великої потужності? У цьому конкретному випадку результат наближається до числа Ейлераe, приблизно2.718.
У четвертій межі ми бачимо, що якx→0,ex наближається до 1 ``так само швидко»x→0, як, в результаті чого межа 1.
Наша остаточна теорема для цього розділу буде мотивована наступним прикладом.
Приклад1.3.5: Using algebra to evaluate a limit
Оцініть наступний ліміт:
limx→1x2−1x−1.
Рішення
Ми починаємо з спроби застосувати теорему 3 і підставляючи 1 наx частку. Це дає:
limx→1x2−1x−1=12−11−1="0"0,
і невизначеною формою. Ми не можемо застосувати теорему.

Графікуючи функцію, як на малюнку1.3.2, ми бачимо, що функція здається лінійною, маючи на увазі, що межа повинна бути легко оцінена. Визнайте, що чисельник нашого частки може бути врахований:
x2−1x−1=(x−1)(x+1)x−1.
Функція не визначена колиx=1, але для всіх іншихx,
x2−1x−1=(x−1)(x+1)x−1=(x−1)(x+1)x−1=x+1.
Чіткоlimx→1x+1=2. Нагадаємо, що при розгляді меж нас не хвилює значення функції в 1, тільки значення, до якого функція наближається якx до 1. Оскільки(x2−1)/(x−1) іx+1 однакові у всіх точкахx=1, крім, вони обидва наближаються до того ж значення, що іx підходи 1. Тому можна зробити висновок, що
limx→1x2−1x−1=2.
Ключем до наведеного вище прикладу є те, що функціїy=(x2−1)/(x−1) іy=x+1 ідентичні хіба що приx=1. Оскільки межі описують значення, до якого наближається функція, а не значення, яке насправді досягає функція, межі двох функцій завжди рівні.
Теорема1.3.6 : Limits of Functions Equal At All But One Point
Нехайg(x)=f(x) для всіхx у відкритому інтервалі, крім можливо вc, і нехайlimx→cg(x)=L для деякого реального числаL .Тоді
limx→cf(x)=L.
Фундаментальна теорема алгебри говорить нам, що при роботі з раціональною функцією видуg(x)/f(x) і безпосередній оцінці межіlimx→cg(x)f(x) повертає «0/0», то(x−c) є множником обохg(x) іf(x). Потім можна використовувати алгебру для множення цього терміну, скасувати, а потім застосувати теорему 6. Ми це ще раз демонструємо.
Приклад1.3.6: Evaluating a limit using Theorem 1.3.6
Оцінити
limx→3x3−2x2−5x+62x3+3x2−32x+15.
Рішення
Почнемо з застосування теореми 3 і підставляючи 3x для.Це повертає звичну невизначену форму «0/0".
Оскільки чисельник і знаменник є кожним многочленами, ми знаємо, що(x−3) це коефіцієнт кожного. Використовуючи будь-який метод найбільш зручний для вас, враховуйте(x−3) з кожного (за допомогою поліноміального поділу, синтетичного поділу, системи комп'ютерної алгебри і т.д.). Ми знаходимо, що
x3−2x2−5x+62x3+3x2−32x+15=(x−3)(x2+x−2)(x−3)(2x2+9x−5).
Ми можемо скасувати(x−3) умови до тих пір, покиx≠3. Використовуючи теорему 6, робимо висновок:
limx→3x3−2x2−5x+62x3+3x2−32x+15=limx→3(x−3)(x2+x−2)(x−3)(2x2+9x−5)=limx→3(x2+x−2)(2x2+9x−5)=1040=14.
Ми закінчуємо цей розділ переглядом ліміту, вперше поміченого в Розділі 1.1, обмеження коефіцієнта різниці. Нехайf(x)=−1.5x2+11.5x; ми наблизили межуlimh→0f(1+h)−f(1)h≈8.5. Ми формально оцінюємо цю межу в наступному прикладі.
Приклад1.3.7 : Evaluating the limit of a difference quotient
Нехайf(x)=−1.5x2+11.5x; знайтиlimh→0f(1+h)−f(1)h.
Рішення
Оскількиf це поліном, наша перша спроба повинна полягати в тому, щоб використовувати теорему 3 і замінити 0 дляh. Однак ми бачимо, що це дає нам «0/0». Знання того, що у нас є раціональна функція, натякає, що певна алгебра допоможе. Розглянемо наступні кроки:
\[\begin{align*} \lim\limits_{h\to 0}\frac{f(1+h)-f(1)}{h} &= \lim\limits_{h\to 0}\frac{-1.5(1+h)^2 + 11.5(1+h) - \left(-1.5(1)^2+11.5(1)\right)}{h} \\ &= \lim\limits_{h\to 0}\frac{-1.5(1+2h+h^2) + 11.5+11.5h - 10}{h}\\ &= \lim\limits_{h\to 0}\frac{-1.5h^2 +8.5h}{h}\\ &= \lim\limits_{h\to 0}\frac{h(-1.5h+8.5)}h\\ &= \lim\limits_{h\to 0}(-1.5h+8.5) \quad (\text{using Theorem 6, as h≠0}) \\ &= 8.5 \quad (\text{using Theorem 3}) \end{align*}\]
Це відповідає нашому попередньому наближенню.
Цей розділ містить кілька цінних інструментів для оцінки лімітів. Одним з основних результатів цього розділу є Теорема 3; він стверджує, що багато функцій, які ми використовуємо регулярно, поводяться дуже приємно, передбачувано. У наступному розділі ми даємо назву цій приємній поведінці; ми позначаємо такі функції як безперервні. Визначення цього терміну вимагатиме від нас знову поглянути на те, що таке межа і що призводить до того, що обмеження не існують.