Тези задачи се решават с добре известен алгоритъм. Като за начало е добре да си припомним дефиницията на Коши.
- първо трябва да видим "на око" колко е границата:
(11)
\begin{align} L = \lim_{x \to 1} \frac{x+1}{x(x-2)} = \frac{1 + 1}{1(1-2)} = \frac{2}{-1} = -2 \end{align}
- след това трябва да разпишем израза $| f(x) - L |$:
(12)
\begin{eqnarray} \left| \frac{x+1}{x(x-2)} - (-2) \right| &=& \left| \frac{x+1}{x(x-2)} + \frac{2x(x-2)}{x(x-2)} \right|\\ &=& \left| \frac{x+1+2x^2-4x}{x(x-2)} \right| \\ &=& \left| \frac{2x^2 - 3x + 1}{x(x-2)} \right| \\ &=& \left| \frac{2(x-1)(x-\frac{1}{2})}{x(x-2)} \right| \\ &=& |x-1| \frac{2|x-\frac{1}{2}|}{|x^2-2x|} \end{eqnarray}
обърнете внимание, че съм извадил на видно място множител, който като е 0 при $x = 1$.
По специално - първата част $|x-1|$ за стойности на $x$ в околност на 1 може да приема произволно малки стойности. Втората част за $x$ в околност на 1 приема различни стойности, но важното в случая е, че в достатъчно малка околност ще има максимална стойност. В нашия случай ако околността е по-голяма от 1, тогава знаменателя може да стане 0, което означава че дробта става безкрайност (или пък че не може да делим на 0) - т.е няма максимална стойност. За по-малки околности обаче ще има максимална стойност.
- Да намерим някаква горна граница на 2рата част за някаква околност на $x$.
Може би на тази точка се объркват най-много хора, защото няма точно определена нишка, която да се следи … напротив :)
** гледаме знаменателя (ако няма знаменател прескачаме тази подточка) трябва да намерите околност на 1, в който той не е 0
** начертаваме си графиката му, но не така както се описва в тема 23 ами просто драсваме една крива линия, която минава през корените и е положителна / отрицателна също като знаменател (без модула).
** намираме максималната околност на 1 в която няма корени (т.е не се нулира) - просто гледаме разстоянието до най-близкия корен (в нашия случай корени са 0 и 2, т.е минимално разстояние - 1). Разбира се няма да използваме 1, защото е точно на границата и при $x$ клонящо към 0 знаменателя клони към 0, т.е ще разделим примерно на 2 за $\frac{1}{2}$
** намираме минималната по модул стойност, която може да заеме знаменателя в избраната от нас околност. В случая си поглеждаме графиката (ако функцията е квадратна - особено полезно) и виждаме къде се намира върха й, в околността която сме избрали дали расте, намалява и съответно коя е минималната по абсолютна стойност, която заема. В нашия случай, тъй като върхът е в 1, фунцията е отрицателна там (и понеже е непрекъсната, и не минава през корени ще е отрицателна в цялата околност) следователно търсим максималната стойност която заема (за да може по абсолютна стойност да бъде минимална).
(13)
\begin{align} |x(x-2)| \ge |\frac{1}{2}(\frac{1}{2} - 2)| = |\frac{1}{2}\frac{-3}{2}| = |\frac{-3}{4}| = \frac{3}{4} \end{align}
** правим същото упражнение за числителя, само че за него търсим максималната по модул стойност, която заема. Функцията е линейна и расте (и е положителна) - значи за най-голямата точка от интервала ще заместим ($x = \frac{3}{2}$)
(14)
\begin{align} |2x-1| \le |2\frac{3}{2} -1| = |3 - 1| = |2| \end{align}
** намерихме най-голямата стойност на числителя, и най-малката на знаменателя => сме намерили и най-голямата на цялата дроб:
(15)
\begin{align} \frac{|2x-1|}{|x^2 - 2x|} \le \frac{2}{\frac{3}{4}} = 4 \end{align}
- връщаме се отново на нашия израз
(16)
\begin{align} |x-1| \frac{2|x-\frac{1}{2}|}{|x^2-2x|} \overset{\underset{x\in[\frac{1}{2}, \frac{3}{2}]}{}}\le |x-1|4 \end{align}
както се сещата от епсилон делта дефиницията, за делтата имаше нещо от сорта:
(17)
\begin{align} x_0 = 1 : |x-1| < \delta(\epsilon) \end{align}
а в нашия случай искаме:
(18)
\begin{align} |x-1|4 < \epsilon \end{align}
окончателно получихме
(19)
\begin{align} \delta(\epsilon) = \frac{\epsilon}{4} \end{align}
Разбира се не трябва да забравяме, че преди малко ограничихме $x$ в интервала $[\frac{1}{2}, \frac{3}{2}]$, т.е околност $\frac{1}{2}$, затова пишем
(20)
\begin{align} \delta = \min \left\{ \frac{\epsilon}{4}, \frac{1}{2} \right\} \end{align}
Така си гарантираме, че околността е по-малка от $\frac{1}{2}$, т.е изпълнена е първата част (ограничаването на 2рия множител), освен това е по-малка и от $\frac{\epsilon}{4}$, т.е изпълнена е втората част.