ЗФТШ
- Обучение
- Поступление в ЗФТШ
- О ЗФТШ
- Учителям
- Лекторий
-
Курсы
- Заочное отделение
- Очное отделение
- Факультативы
Прежде чем приступать к его выполнению, ознакомьтесь с нашими пожеланиями и требованиями.
1. За краткий ответ «да», «нет», «не может быть» без пояснений (доказательство, опровергающий пример) ставится `0` очков. Примеры ответов приведены далее.
2. Если в решении длина какого-либо отрезка выразилась иррациональным числом (например, `a=sqrt5`), то ни в дальнейших вычислениях, ни в ответе не следует заменять это точное значение на приближённое.
3. Если в решении использовалась тригонометрия и получилось, например, `sin alpha=(2sqrt2)/3`, то не следует определять величину угла `alpha` по таблице или на калькуляторе приближённо и затем тем же способом находить значение `cos alpha`, `sin2alpha`, `sin(alpha+45^@)` и т. п. Все значения других тригонометрических функций определяются только по формулам. Например, `cos alpha=-sqrt(1-sin^2 alpha)=-1/3`, если угол `alpha` тупой, и `sin alpha=(2sqrt2)/3`, а
`sin(alpha+45^@)=sin alpha*cos45^@+cos alpha*sin 45^@=(sqrt2)/2(sin alpha+cos alpha)`.
4. Если в Задании контрольный вопрос сопровождается поясняющим рисунком, при ответе перенесите рисунок с теми же обозначениями в свою тетрадь, – это облегчит Вашему педагогу проверку работы.
5. Рисунок к задаче должен быть достаточно большим и ясным, чтобы на нём уместились все введённые Вами обозначения углов, отрезков и данные задачи (посмотрите на рис. 4, 8(а, б) или рис. 30(а, б, в) Задания: как хороший рисунок и обозначения помогают увидеть простое решение).
6. Стремитесь к тому, чтобы Ваше решение было кратким, но обоснованным, и было ясным и понятным для проверяющего (работа проверяется без Вас, Вы не можете комментировать, что же имелось в виду или почему такое равенство имеет место). Для этого полезно решение разбивать на шаги: 1)…, 2)…, 3)… и то, что вычислено или выражено и важно для дальнейшего, выделить, например, так или .
Кроме того, вычисления разумно (а математика – это здравый смысл) проводить в кратких обозначениях, например
`(h_1)/(h_2)=(m-b)/(a-m)`, а не `((CK)/(NP)=((MN-ME)/(AD-MF))`
или `c_1^2=(a-b)^2+c_2^2-2(a-b)c_2 cos varphi`,
(а не `CK^2=(AD-BC)^2-2(AD-BC)*CD*cos(/_ADC)`).
Примеры ответов на контрольные вопросы
Вопрос. Можно ли внутри прямоугольного треугольника с катетами `3` и `4` поместить круг площадью `25//8`?
Ответ: Да, можно. Докажем это.
В прямоугольном треугольнике с катетами `a` и `b` и гипотенузой `c` радиус `r` вписанной окружности выражается формулой `r=(a+b-c)/2` (рисунок 33 напоминает доказательство).
При `a=3`, `b=4` находим `c=5`, `r=1`. Площадь вписанного круга равна `pir^2=pi`; так как `25/8<(25,04)/8<3,13<3,14<pi`, то радиус `r_0` круга площадью `25//8` меньше `1`. Он помещается внутри вписанного круга (если совместить их центры) и, следовательно, внутри треугольника.
Вопрос. Какое наибольшее число острых углов может иметь выпуклый `n`- угольник при `n>3`?
Ответ: Три. Докажем это.
Из вершины (например `A_1`) выходит `(n-1)` отрезков, два из них `(A_1A_2` и `A_1A_n)` - стороны, остальные `(n-3)` - диагонали (рис. 34). Выпуклый `n`- угольник разбивается диагоналями на `(n-2)` треугольника.
Сумма углов каждого треугольника равна `180^@`, значит сумма всех углов выпуклого `n` - угольника равна `180^2(n-2)`.
Сумма углов внутренних и внешних (по одному при каждой вершине) очевидно равна `180^2 *n`, тогда сумма внешних углов равна `180^@ *n-180^@(n-2)=360^@` (!).
Наглядно: если приложить вектор к стороне `A_1A_2` и обойти по периметру `n` - угольник, двигая вектор, то вернувшись на сторону `A_1A_2`, обнаружим, что, сделав полный поворот, вектор принял прежнее положение. Угол поворота вектора равен сумме внешних углов.
Если предположить, что в выпуклом `n` - угольнике `(n>3)` хотя бы `4` острых угла, то сумма их внешних углов (они тупые) будет больше `90^@ *4=360^@`, что не может быть. Значит острых углов не более трёх.
Вопрос. Треугольники `A_1B_1C_1` и `ABC` таковы, что `a_1<a`, `b_1<b`, `c_1<c`. Верно ли, что площадь треугольника `A_1B_1C_1` меньше площади треугольника `ABC`.
Ответ: Нет. Приведём пример (рис. 35).
Рассмотрим два равнобедренных треугольника: `ul(Delta ABC)`, в котором `AC=BC=a`, `/_ACB=150^@`,
`AB=sqrt(a^2+a^2+2a^2(sqrt3)/2) =asqrt(2+sqrt3)`, `S_(ABC)=1/2 a^2 sin150^@=(a^2)/4`;
`DeltaA_1B_1C_1`, в котором `A_1C_1=B_1C_1=sqrt(3/4)a<a`, `/_A_1C_1B_1=90^@`,
`A_1B_1=(sqrt(3/4)a)sqrt2=sqrt(3/2)a<sqrt2a<sqrt(2+sqrt3)a=AB`,
а `S_(A_1B_1C_1)=1/2(sqrt(3/4)a)^2=3/8a^2>1/4a^2=S_(ABC)`.
Бесконечной числовой последовательностью (или просто последовательностью) называется числовая функция `x=x(n)`, определённая на множестве `N` натуральных чисел.
Аргумент `n` этой функции записывается в виде индекса, т. е. вместо записи `x(n)` используют запись `x_n`, а саму последовательность часто обозначают `(x_n)`. Число `x_n` называют `n`-м (читается: энным) членом последовательности `(x_n)`. Задать последовательность означает задать правило, по которому каждому натуральному `n` сопоставляется действительное число `x_n`. Приведём примеры.
(1) `1`; `1`; `1`; `...` (т. е. `x_n=1` для всех `n in N`);
(2) `1^2`; `2^2`; `3^2`; `...` (т. е. `x_n=n^2` для всех `n in N`);
(3) `1`; `1/2`; `1/3`; `...` (т. е. `x_n=1/n` для всех `n in N`);
(4) последовательность, `n`-й член которой равен `n`-му знаку после запятой в десятичной записи числа `8/33`;
(5) последовательность, `n`-й член которой равен количеству простых чисел, не превосходящих `n`;
(6) `x_1=1`, `x_2=1`, `x_n=x_(n-1)+x_(n-2)` для всех `n>=3` (последовательность Фибоначчи).
Как видим, последовательности задаются различными способами. Например, указывается формула `n`-го члена (примеры (1) – (3)). Закон соответствия между номером `n` и членом `x_n` может быть описан словесно (примеры (4) – (5)). Последовательность может быть также задана рекуррентным соотношением: даны несколько первых членов последовательности и формула, выражающая следующие члены последовательности через предыдущие (пример (6)).
Легко убедиться, что в примере (4) `x_1=2`, `x_2=4` `x_3=2`, `x_4=4` и т. д., т. е. `x_n=3+(-1)^n`. В примере (6) формулу `n`-го члена найти сложнее:
`x_n=1/sqrt5(((1+sqrt5)/2)^n-((1-sqrt5)/2)^n)`.
А вот явную формулу `n`-го члена последовательности (5) написать невозможно. Тем не менее, многие её свойства установлены и без формулы.
Напомним два важных примера числовых последовательностей: арифметическая и геометрическая прогрессии. Геометрическая прогрессия – последовательность, заданная рекуррентно соотношением `x_(n+1)=x_nq`, первым членом `x_1!=0` и знаменателем `q!=0`. Арифметическая прогрессия – последовательность, заданная равенством `x_(n+1)=x_n+d` и первым членом `x_1`.
Найти формулу `n`-го члена последовательности, заданной рекуррентно:
`x_1=1/2`; `x_(n+1)=2x_n+1,ninN`.
Рассмотрим вспомогательную последовательность `y_n=x_n+a`, где число `a` подбирается так, чтобы последовательность `y_n` была геометрической прогрессией. Подставляя `x_n=y_n-a` и `x_(n+1)=y_(n+1)-a` в рекуррентное соотношение, имеем `y_(n+1)-a=2(y_n-a)+1`, т. е. `y_(n+1)=2y_n+(1-a)`. Последовательность `y_n` будет геометрической прогрессией, если `1-a=0`, т. е. `a=1`. Поскольку `y_1=x_1+a=3/2`, формула общего члена геометрической прогрессии `y_n`запишется так:
`y_n=3/2 2^(n-1)` `(y_1=3/2, q=2)`.
Тогда `x_n=y_n-a=3*2^(n-2)-1`, `n>=2`.
`x_n=3*2^(n-2)-1,n>=2`.
Каким общим свойством обладают последовательности (1), (2), (5) и (6)?
Каждый их член, начиная со второго, не меньше предыдущего.
Последовательность `(x_n)` называется строго возрастающей, если каждый её член, начиная со второго, больше предыдущего, т. е. `x_(n+1)>x_n` для любого `ninN`. Последовательность `(x_n)` называется строго убывающей, если `x_(n+1)<x_n` для любого `ninN`. Последовательность `(x_n)` называется нестрого убывающей, если `x_(n+1)<=x_n` для любого `ninN`. Последовательность `(x_n)` называется нестрого возрастающей, если `x_(n+1)>=x_n` для любого `ninN`.
Все такие последовательности (строго возрастающие, строго убывающие, нестрого убывающие, нестрого возрастающие) называются монотонными.
Выяснить, является ли монотонной последовательность `x_n=(3n)/(n+2)`.
Уточним, чему равен `x_(n+1)`. Для этого вместо `n` в `x_n=(3n)/(n+2)` подставим `n+1`, т. е. `x_(n+1)=(3(n+1))/(n+3)`. Рассмотрим разность
`x_(n+1)-x_n=(3(n+1))/(n+3)-(3n)/(n+2)=(3[(n+1)(n+2)-n(n+3)])/((n+2)(n+3))=`
`=6/((n+2)(n+3))>0`,
значит, `x_(n+1)>x_n` для любого `n in N`. По определению последовательность `(x_n)` является строго возрастающей.
Приведённые рассуждения являются стандартными при доказательстве монотонности последовательности. Используя особенности последовательности `(x_n)`, можно установить её возрастание более простым способом. Запишем `x_n` в виде
`x_n=(3n+6-6)/(n+2)=3-6/(n+2)`, тогда `x_(n+1)=3-6/(n+3)>3-6/(n+2)=x_n`.
Выяснить, является ли монотонной последовательность `x_n=3+(-1)^n`.
Последовательность не является монотонной, поскольку `x_(2m-1)=2<4=x_(2m)` и `x_(2m)=4>2=x_(2m+1)` для всех натуральных `m`.
Каким общим свойством обладают последовательности (1), (3) и (4)?
Все их члены лежат на отрезке `[0;4]`.
Последовательность `(x_n)` называется ограниченной, если существует число `C>0` такое, что для любого натурального `n` выполняется неравенство `|x_n|<=C`.
Доказать, что последовательность `(x_n)` является ограниченной тогда и только тогда, когда все её члены лежат на некотором отрезке.
Пусть последовательность `(x_n)` ограничена. Тогда существует число `C>0` такое, что `|x_n|<=C` для любого `ninN`. Последнее неравенство можно переписать в виде `-C<=x_n<=C`, т. е. `x_n in[-C;C]`. Обратно, пусть все члены `(x_n)` лежат на некотором отрезке `[m;M]`. Выберем невырожденный симметричный отрезок `[-C;C]`, содержащий `[m;M]`, тогда `-C<=x_n<=C` и, следовательно, `|x_n|<=C`. В качестве такого `C` можно взять, например, `C=max{|m|,|M|}+1`.
Выяснить, является ли ограниченной последовательность `x_n=(10(-1)^n n)/(n^2+1)`.
Рассмотрим `|x_n|=(10n)/(n^2+1)`. Поскольку при уменьшении знаменателя положительной дроби значение дроби увеличивается, имеем:
`|x_n|=(10n)/(n^2+1) <(10n)/(n^2)=10/n<=10`.
Значит, `|x_n|<=10` для любого `ninN`. По определению последовательность `(x_n)` является ограниченной.
Выяснить, является ли ограниченной последовательность `x_n=n^2`.
Предположим, что последовательность `(x_n)` является ограниченной. Это означает, что существует такое число `C>0`, что при всех `ninN` выполняется неравенство `|n^2|<=C`. Однако при `n>sqrt(C+1)` неравенство не выполняется. Следовательно, предположение неверно, т. е. последовательность `(x_n)` не является ограниченной.
При увеличении `n` члены последовательности `x_n=1//n` становятся сколь угодно малыми, неограниченно приближаются (стремятся) к нулю. Логично считать, что ноль - предел последовательности `x_n`. Однако такого интуитивного понимания в более сложной ситуации может оказаться недостаточно. Мы должны точно сформулировать, что означает слово «предел» на языке чисел. Строгое определение предела было сформулировано довольно поздно - только в середине XIX века. Дело в том, что в отличие от используемых ранее «назывных» определений (типа определения равнобедренного треугольника) здесь описывается процесс изменения величины: пробегая по ряду натуральных чисел `1,2,3,...,n,...`, мы наблюдаем за поведением `x_n`. Такие понятия плохо формализуются.
Попытаемся понять, что следует предпринять, чтобы проконтролировать утверждение «`x_n` стремится к `a`». Изобразим члены последовательности на числовой оси и отметим на ней точку `a`. Представим ситуацию образно: будем делать фотографии `a` каждый раз с новым оптическим увеличением. Число `a` будет пределом последовательности `(x_n)`, если `a` - «друг» `x_n`: на любой такой фотографии окажутся все `x_n`, начиная с некоторого номера.
Проиллюстрируем сказанное на примере последовательности `x_n=1//n`. В качестве «фотографии» `a=0` можно взять симметричный интервал `(-epsilon, epsilon)^1`. [1 `epsilon` - греческая буква «эпсилон».] Оптическому увеличению соответствует уменьшение `epsilon`. Пусть `k=1//epsilon`, тогда `1//n<epsilon` при `n>k` и, следовательно, член `x_n` попадает на «фотографию», т. е. `-epsilon<x_n<epsilon`. Например, при `epsilon1//100` все члены `x_(101), x_(102), ...`, окажутся в интервале `(-1//100, 1//100)`, при `epsilon=1//1000` уже только члены `x_(1001), x_(1002), ...`, окажутся в интервале `(-1//1000, 1//1000)` и т. д.
Число `a` называется пределом последовательности `(x_n)`, если для любого положительного числа `epsilon` найдётся такое действительное число `k`, что при всех `n>k` выполняется неравенство
`|x_n-a|<epsilon`. (2.1)
В этом случае пишут `lim_(n->oo) x_n=a` (читается: предел `x_n` при `n`, стремящемся к бесконечности, равен `a`). Последовательность, называется сходящейся, если существует число `a`, являющееся её пределом. Если такого числа `a` не существует, то последовательность называется расходящейся.
Часто в определении предела полагают число `k` натуральным. Однако, как нетрудно понять, получится эквивалентное определение.
Выясним геометрический смысл понятия предела. Для положительного числа `epsilon` интервал `(a-epsilon, a+epsilon)` называется `epsilon` - окрестностью точки `a`. Неравенство (2.1) равносильно двойному неравенству `-epsilon<x_n-a<epsilon` или
`a-epsilon<x_n<a+epsilon`. (2.2)
Неравенство (2.2) показывает, что все члены последовательности `(x_n)` с номерами `n>k` попадают в `epsilon` - окрестность точки `a`. В определении предела число `epsilon` может быть любым (сколь угодно малым), поэтому произвольная (сколь угодно малая) окрестность точки `a` содержит все члены `(x_n)` за исключением, быть может, конечного числа (рис. 1а). На уровне графика последовательности это означает, что вне сколь угодно узкой полосы между прямыми `x=a-epsilon` и `x=a+epsilon` может оказаться лишь конечное число точек графика `(x_n)` (рис. 1б).
В определении предела выбор числа `k`, вообще говоря, зависит от `epsilon`. Чтобы подчеркнуть это, иногда пишут `k=k(epsilon)`. Доказать, что последовательность `(x_n)` имеет предел, фактически означает найти функциональную зависимость `k` от `epsilon`. Вообще, определение предела по виду напоминает нескончаемую дискуссию между двумя лицами `A` и `B:A` задаёт точность приближения `epsilon`, в ответ `B` указывает число `k`, с которого эта точность достигается, т. е. выполняется неравенство (2.1) при всех `n>k`; уменьшает точность, `B` - указывает новое `k` и т. д.
Пусть `x_n=c` - постоянная последовательность. Доказать, что `lim_(n->oo)x_n=c`.
Пусть выбрано произвольное `epsilon>0`. Нам нужно найти такое число `k`, что при всех `n>k` выполнялось бы неравенство `|x_n-c|<epsilon`. Но это неравенство равносильно следующему: `|c-c|<epsilon`, или `0<epsilon`, что выполняется для всех номеров `n`. Это означает, что в качестве `k` можно выбрать любое число, например, `k=0`. Тогда для любого `n>k` имеет место неравенство `|x_n-c|<epsilon`. По определению `lim_(n->oo)x_n=c`.
В разобранном примере число `k` удалось выбрать так, чтобы оно годилось сразу для всех `epsilon`. Такой случай не типичен.
Доказать, что `lim_(n->oo)1/n=0`.
Пусть фиксировано произвольное `epsilon>0`. Нам нужно найти такое число `k`, что при всех `n>k` выполнялось бы неравенство `|1/n -0|<epsilon`, или `n>1//epsilon`. Выберем `k=1//epsilon`. Тогда при `n>k` имеем: `|1/n-0|=1/n<1/k=epsilon`. По определению `lim_(n->oo) 1/n=0`.
Наглядное представление о пределе можно получить, считая, что `x_n` - какие-то физические величины, которые мы можем измерять с определённой точностью, допускаемой приборами. Пусть `epsilon` есть точность прибора, тогда неравенство `|x_n-a|<epsilon` означает, что мы не сможем отличить `x_n` от `a`. Таким образом, условие `lim_(n->oo)x_n=a` означает, что при любой точности измерения последовательность `(x_n)`, начиная с некоторого номера, не отличается от постоянной последовательности `a`, `a`, `a`, `...` .
Могут ли два разных числа быть пределами одной и той же последовательности?
Нет. Предположим, что два разных числа `a` и `b` являются пределами одной и той же последовательности `x_n)` и пусть, например, `b>a`. Положим `epsilon=(b-a)//3`, тогда `epsilon` - окрестности точек `a` и `b` не пересекаются (сделать чертёж!). Ввиду условия найдутся такие числа `k_1` и `k_2`, что при всяком `n>k_1` член `x_n` лежит в `epsilon` -окрестности точки `a` и при всяком `n>k_2` член `x_n` лежит в окрестности точки `b`. Если теперь взять какое-нибудь `n>max{k_1,k_2}`, то окажется, что `x_n` лежит одновременно в `epsilon` - окрестности точки `a` и в `epsilon` - окрестности точки `b`, а это невозможно, поскольку окрестности не пересекаются.
Пусть `lim_(n->oo)x_n=a`. Имеет ли предел последовательность `(x_(n+1))`?
Пусть `lim_(n->oo)x_n=a`, `epsilon>o` - произвольное. По определению предела найдётся `k` такое, что `|x_n-a|<epsilon` при всех `n>k`. Но если номер `n>k`, то также `n+1>k` и, следовательно, `|x_(n+1)-a|<epsilon`. Это означает, что `lim_(n->oo)x_(n+1)=a`.
Пусть `lim_(n->oo)x_n=a`, `epsilon>o`. Можно ли утверждать, что найдётся такое число `k`, что `|x_n-a|<epsilon/2` при всех `n>k`?
Да. Поскольку `lim_(n->oo)x_n=a`, то по определению предела для любого положительного числа `alpha`, а следовательно, и для `alpha=epsilon//2`, найдётся число `k`, такое что `|x_n-a|<alpha` при всех `n>k`.
Сформулируем необходимое условие существования предела.
Если последовательность имеет предел, то она ограничена.
Пусть `lim_(n->oo)x_n=a`. Покажем, что последовательность `(x_n)` ограничена. Согласно примеру 1.4 для этого достаточно показать, что все её члены лежат на некотором отрезке. Возьмём `epsilon=1`. Тогда по определению предела найдётся число `k` такое, что все члены `(x_n)` с номерами `n>k` попадают в интервал `(a-1; a+1)`. За пределами этого интервала может оказаться лишь конечное число членов `x_1, x_2, ..., x_N`, где `N` - наибольший из номеров `n<=k`. Добавим к этому набору числа `a-1` и `a+1` и из полученного набора чисел выберем наименьшее (обозначим его через `m`) и наибольшее (обозначим его через `M`) Тогда отрезок `[m;M]` содержит уже все члены данной последовательности: `m<=x_n<=M` для всех `ninN`.
Доказать, что последовательность `x_n=n^2` не имеет предела.
В примере 1.6 было показано, что данная последователь-ность не является ограниченной. По теореме 2.1 заключаем, что последовательность `(x_n)` расходится.
Следующий пример показывает, что ограниченная последователь-ность может и не иметь предела, т. е. обратное утверждение к теореме 2.1 неверно.
Доказать, что последовательность `x_n=(-1)^n` не имеет предела.
Предположим противное, т. е. какое-то число `a` является пределом этой последовательности. Тогда для `epsilon=1` найдётся такое число `k`, что `|x_n-a|<1` при всех `n>k`. Пусть номер `N>k`, тогда `|x_N-a|<1` и `|x_(N+1)-a|<1`. Но одно из чисел `x_N` и `x_(N+1)` равно `1`, а другое равно `-1`. Поэтому `|-1-a|<1` и `|1-a|<1`, т. е. одновременно `0<a<2` и `-2<a<0`. Полученное противоречие показывает, что последовательность `(x_n)` расходится.
При вычислении пределов на практике редко пользуются опреде-лением. Обычно применяют уже известные стандартные предельные равенства и следующую теорему об арифметических операциях с пределами.
Если последовательности `(x_n)` и `(y_n)` сходятся, то сходятся и последовательности `(x_n+y_n)`, `(x_n*y_n)` и `x_n//y_n` (в последнем случае предполагается `y_n!=0`, `lim_(n->oo)y_n!=0`). При этом
1) `lim_(n->oo)(x_n+y_n)=lim_(n->oo)x_n+lim_(n->oo)y_n`;
2) `lim_(n->oo)(x_n*y_n)=(lim_(n->oo)x_n)*(lim_(n->oo)y_n)`;
3) `lim_(n->oo)(x_n)/(y_n)=(lim_(n->oo)x_n)/(lim_(n->oo)y_n)`.
Ограничимся доказательством пункта 2. Фиксируем произвольное `epsilon>0`. Нам нужно показать, что существует такое число `k`, что `|x_ny_n-ab|<epsilon` при всех `n>k`. По теореме 2.1 последовательности `(x_n)` и `(y_n)` ограничены; тем самым найдётся такое `C>0`, что `|x_n|<=C` и `|y_n|<=C` при всех `n`, а также `|a|<=C`, `|b|<=C`. Заметим, что
`|x_ny_n-ab|=|x_ny_n-x_nb+x_nb-ab|=|x_n(y_n-b)+b(x_n-a)|`
и, следовательно, по неравенству `|x+y|<=|x|+|y|` имеем
`|x_ny_n-ab|<=|x_n|*|y_n-b|+|b|*|x_n-a|`.
Ввиду условия существует число `k_1` такое, что `|x_n-a|<epsilon/(2C)` для всех `n>k_1`, а также число `k_2` такое, что `|y_n-b|<epsilon/(2C)` для всех `n>k_2`. Если положить `k=max{k_1,k_2}`, то при `n>k` имеем:
`|x_ny_n-ab|<=|x_n|*|y_n-b|+|b|*|x_n-a|<C epsilon/(2C)+C epsilon/(2C)=epsilon`,
что и требовалось.
Доказать, что постоянный множитель можно выносить за знак предела, т. е. `lim_(n->oo)cx_n=clim_(n->oo)x_n` для любого `cinR`.
В самом деле, рассмотрим последовательность `y_n=c`. Поскольку `lim_(n->oo)y_n=c` (пример 2.1), то по пункту 2 теоремы 2.2
`lim_(n->oo)cx_n=lim_(n->oo)c*lim_(n->oo)x_n=clim_(n->oo)x_n`.
Показать, что `lim_(n->oo) 1/(n^2)=0`.
Поскольку `lim_(n->oo) 1/n=0`, то по пункту 2 теоремы 2.2
`lim_(n->oo) 1/(n^2)=lim_(n->oo) 1/n*lim_(n->oo) 1/n=0`.
Теорему 2.2 можно обобщить на произвольное (конечное) число слагаемых (сомножителей). В частности, `lim_(n->oo)1/n^m=0` для любого `m inN`.
Найти `lim_(n->oo) ((n+2)^3-n(n-1)^2)/(n^2+11)`.
Обозначим дробь, стоящую под знаком предела, через `x_n`. В числителе и знаменателе `x_n` стоят последовательности, не являющиеся ограниченными (доказывается аналогично примеру 1.6). По теореме 2.1 они не имеют предела и теорема о пределе частного (теорема 2.2 3)) «напрямую» здесь неприменима. Поступим следующим образом: поделим числитель и знаменатель на наибольшую степень `n`. По формулам сокращённого умножения `(n+2)^3-n(n-1)^2=8n^2+11n+8`, так что `x_n` можно переписать в виде:
`x_n=(8n^2+11n+8)/(n^2+11)=(n^2(8+11/n + 8/n^2))/(n^2(1+11/n^2))=(8+11/n+8/n^2)/(1+11/n^2)`.
Теперь в числителе и знаменателе `x_n` стоят сходящиеся последовательности:
`lim_(n->oo)(8+11/n+8/n^2)=lim_(n->oo)8+11lim_(n->oo)1/n+8lim_(n->oo)1/n^2=8`,
`lim_(n->oo)(1+11/n^2)=lim_(n->oo)1+11lim_(n->oo)1/n^2=1`.
По пункту 3 теоремы 2.2
`lim_(n->oo)x_n=lim_(n->oo)(8+11/n+8/n^2)/(1+11/n^2)=(lim_(n->oo)(8+11/n+8/n^2))/(lim_(n->oo)(1+11/n^2))=8/1=8`.
`8`.
Следующее полезное свойство пределов известно под названием теоремы о «зажатой» последовательности.
Пусть `(x_n)`, `(y_n)` и `(z_n)` - такие последовательности, что `x_n<=y_n<=z_n` при всех `n inN` и `lim_(n->oo)x_n=lim_(n->oo)z_n=a`. Тогда `lim_(n->oo)y_n=a`.
Для данного `epsilon>0` существует такое число `k_1`, что члены `x_n` лежат в интервале `(a-epsilon, a+epsilon)` при всех `n>k_1`, и существует такое число `k_2`, что члены `z_n` лежат в интервале `a-epsilon;a+epsilon)` при всех `n>k_2`. Положим `k=max{k_1,k_2}`. Тогда при `n>k` одновременно `x_n in(a-epsilon;a+epsilon)` и `z_n in(a-epsilon;a+epsilon)` и, следовательно, `a-epsilon<x_n<=y_n<=z_n<a+epsilon`, т. е. `y_n in(a-epsilon;a+epsilon)`, что и требовалось.
Дана последовательность `x_n=1/(sqrt(n^2+1))+1/(sqrt(n^2+2))+...+1/(sqrt(n^2+n))`.
Доказать, что `lim_(n->oo)x_n=1`.
Попробуем «зажать» `x_n` между членами последовательностей, сходящихся к одному и тому же числу, и применим теорему 2.3.
Заметим, что `1/(sqrt(n^2+1))` - наибольшая, а `1/(sqrt(n^2+n))` - наименьшая дробь суммы `x_n`. Тогда верна оценка `n*1/(sqrt(n^2+n))<=x_n<=n*1/(sqrt(n^2+1))`.
Поскольку `n^2+n<n^2+2n+1`, тогда
`sqrt(n^2+n)<n+1 iff1/(sqrt(n^2+n))>1/(n+1) iff n/(sqrt(n^2+n))>n/(n+1)`.
Учитывая `n/(sqrt(n^2+1))<n/n=1`, получаем: `n/(n+1)<x_n<1`.
Поскольку `lim_(n->oo)n/(n+1)=1` и `lim_(n->oo)1=1`, по теореме 2.3 `lim_(n->oo)x_n=1`.
Если для любого `n inN`, `n>=n_0` выполняется неравенство `a_n<=b_n` и `lim_(n->oo)a_n=a`, `lim_(n->oo)b_n=b`, то `a<=b`.
Предположим, что `a>b`. По определению предела для `epsilon=(a-b)/2` найдутся такие `k_1`, `k_2`, что для `n>k_1` выполняется `|a_n-a|<epsilon`, а для `n>k_2` выполняется `|b_n-b|<epsilon`. Положим `k=max{k_1,k_2,n_0}`. Тогда для `n>k` имеем `b_n<b+epsilon=(a+b)/2=a-epsilon<a_n`, что противоречит условию.
Предельный переход не обязан сохранять строгие неравенства. Например, `1/n<0` для всех `n inN`, но `lim_(n->oo)1/n=0`.
В теории пределов важную роль играет следующий факт.
Всякая монотонная ограниченная последовательность имеет предел.
Эта теорема эквивалентна свойству полноты множества действительных чисел. Образно говоря, свойство полноты означает, что числовая ось является «сплошным» множеством, множеством без «дырок».
Доказать, что если `|q|<1`, то `lim_(n->oo)q^n=0`.
Для `q=0` утверждение очевидно. Пусть `q in (0,1)`, тогда
`x_(n+1)=q*x_n`, (2.3)
следовательно, `x_(n+1)<x_n` при всех `n`, т. е. последовательность `(x_n)` является строго убывающей. В частности, `x_n<x_1` при всех `n`. Кроме того, очевидно `x_n>0` при всех `n`, т. е. последовательность `(x_n)` ограничена. По теореме 2.5 существует `lim_(n->oo)x_n`. Обозначим его через `a`. Тогда, переходя к пределу в равенстве (2.3), получаем `a=q*a`, т. е. `a=0`.
Пусть теперь `q in (-1;0)`, тогда справедливо неравенство
`-|q|^n<=q^n<=|q|^n`.
Поскольку `|q|in(0;1)`, то по доказанному выше `lim_(n->oo)|q|^n=0`, тогда согласно примеру 2.5 и `lim_(n->oo)(-|q|^n)=0`. По теореме о «зажатой» последовательности (теорема 2.3) `lim_(n->oo)q^n=0`.
Дадим обоснование одного способа приближённого извлечения квадратных корней, встречавшегося еще в древних вавилонских текстах.
Последовательность `(x_n)` задана рекуррентно где
`x_(n+1)=1/2(x_n+a/x_n)`, (2.4)
`x_1>0`, `a>0`. Доказать, что `lim_(n->oo)x_n=sqrta`.
Поскольку `x_1>0` и `a>0`, все члены последовательности положительные. Применяя неравенство `(c+d)//2>=sqrt(cd)` для среднего арифметического и среднего геометрического, получаем:
`x_(n+1)=1/2(x_n+a/x_n)>=sqrt(x_na/x_n)=sqrta`,
т. е. `x_n>=sqrta` для всех `n>=2`. Отсюда вытекает, что
`x_(n+1)-x_n=(a-x_n^2)/(2x_n)<=0`,
т. е. последовательность `(x_n)` является нестрого убывающей при `n>=2`. Кроме того, `(x_n)` ограничена: `sqrta<=x_n<=x_2` для всех `n>=2`. По теореме 2.5 существует `lim_(n->oo)x_n=b` и по теореме 2.4 `b>=sqrta>0`. Переходя в равенстве (2.4) к пределу, получаем `b=1/2(b+a/b)`, откуда `b^2=a` и, значит, `b=sqrta`.
Пусть функция `y=f(x)` определена на некотором интервале, содержащем точку `ain R`, за исключением, быть может, самой точки `a`.
Число `A` называется пределом функции `y=f(x)` в точке `a`, если для любой последовательности `(x_n)` из области её определения такой, что `x_n!=a` и `lim_(n->oo)x_n=a` выполняется равенство `lim_(n->oo)f(x_n)=A`.
Обозначение: `lim_(n->oo)f(x)=A`, или `f(x)->A` при `x->a`.
В определении предела рассматриваются значения `x_n`, не равные `a`, поэтому в самой точке `a` функция `y=f(x)` может быть не определена; если значение `f(a)` определено, то оно не обязано совпадать с `A`. К тому же, поскольку последовательность `(f(x_n))` имеет не более одного предела, получаем, что если функция `y=f(x)` имеет предел при `x->a`, то этот предел единственный.
На рис. 2 изображена лишь одна последовательность `(x_n)`, которая к тому же является монотонной. Важно понимать, что `lim_(n->oo)f(x_n)=A` для любой последовательности `(x_n)` с условием `x_n!=a` и `lim_(n->oo)x_n=a`.
Доказать, что `lim_(n->oo)x=a`.
Очевидно, функция `f(x)=x` определена на любом интервале, содержащем `a`. Выберем произвольную последовательность `(x_n)` такую, что `x_n!=a` и `lim_(n->oo)x_n=a`. Тогда `f(x_n)=x_n` и, значит, `lim_(n->oo)f(x_n)=a`.
Доказать, что при `a>0lim_(n->a)sqrtx=sqrta`.
Функция `f(x)=sqrtx` определена при `x>=0` и, следовательно, определена на некотором интервале, содержащем `a`. Выберем произвольную последовательность неотрицательных чисел `x_n!=a`, что `lim_(n->oo)x_n=a`. Нам нужно показать, что `lim_(n->oo)sqrtx_n=sqrta`. Фиксируем произвольное `epsilon>0`, тогда найдётся такое число `k`, что при `n>k` выполняется неравенство `|x_n-a|<epsilonsqrta`. Следовательно,
`|sqrtx_n-sqrta|=(|(sqrt(x_n)-sqrta)(sqrt(x_n)+sqrta)|)/(sqrt(x_n)+sqrta)<(|x_n-a|)/(sqrta)<epsilon`,
что и требовалось.
Доказать, что `lim_(x->1)(x^2-1)/(x-1)=2`.
Функция `f(x)=(x^2-1)/(x-1)` определена на любом интервале, содержащем `x=1`, кроме этой точки. Поскольку при `x!=1` имеет место равенство `f(x)=x+1`, то для любой последовательности `(x_n)` такой, что `x_n!=1` и `lim_(n->oo)x_n=1` выполняется `lim_(n->oo)f(x_n)=lim_(n->oo)x_n+1=2`.
Пусть функции `y=f(x)`, `y=g(x)` определены на некотором интервале, содержащем точку `a in R`, за исключением, быть может, самой точки `a`, `lim_(x->a)f(x)=A` и `lim_(x->a)g(x)=B`. Тогда
1) `lim_(x->a)(f(x)+g(x))=A+B`;
2) `lim_(x->a)f(x)g(x)=AB`;
3) если дополнительно `g(x)!=0` при `x!=a`, `B!=0`, то `lim_(x->a)(f(x))/(g(x))=A/B`.
Эти свойства вытекают из арифметических операций над пределами последовательностей (теорема 2.2). Приведём доказательство для свойства 2. Остальные доказываются аналогично.
Пусть некоторая произвольная последовательность `(x_n)` из интервала, на котором определены функции, такова что `x_n!=a` и `lim_(n->oo)x_n=a`. Тогда по определению предела функции `lim_(n->oo)f(x_n)=A` и `lim_(n->oo)g(x_n)=B`. По пункту 2 теоремы 2.2 `lim_(n->oo)f(x_n)g(x_n)=AB`. По определению предела функции получаем, что `lim_(x->a)f(x)g(x)=AB`.
Пусть функция `y=f(x)` определена на некотором интервале, содержащем точку `a`. Функция `y=f(x)`называется непрерывной в точке `a`, если `lim_(x->a)f(x)=f(a)`, т. е. если для любой последовательности `(x_n)` из области определения функции такой, что `lim_(n->oo)x_n=a`, выполняется равенство `lim_(n->oo)f(x_n)=f(a)`.
Отметим два обстоятельства, связанных с определением непрерывности. Во-первых, оговорка `x_n!=a` здесь не нужна, т. к. при `x_n=a` значения `f(x_n)` равны `f(a)`. Во-вторых, важно понимать, что если функция `y=f(x)` непрерывна в точке `a`, то
1) она определена в точке `a`;
2) существует `lim_(x->a)f(x)=A` и
3) `A=f(a)`.
Если хотя бы один из пунктов 1) – 3) не выполнен, то функция не является непрерывной в точке `a`.
Многочлен является непрерывной на всей числовой прямой функцией.
Пусть `P(x)=a_nx^n+a_(n-1)x^(n-1)+...+a_1x+a_0` - многочлен степени `n, a in R`. Нам нужно показать, что `lim_(x->a)P(x)=P(a)`. В силу примера 3.1 `lim_(x->a)x=a`,, а в силу примера 2.1 для константы `c` ‑ `lim_(x->a)c=c`. Последовательно применяя пункт 2 теоремы 3.1, получаем, что `lim_(x->a)cx^m=ca^m` при любом натуральном `m`. Осталось `n+1` раз применить пункт 1 теоремы 3.1 и заключить, что `lim_(x->a)P(x)=P(a)`.
Из теоремы 3.1 вытекает, что если функции `y=f(x)`, `y=g(x)` непрерывны в точке `a`, то функции `y=f(x)+-g(x)`, `y=f(x)g(x)`, `y=f(x)//g(x)` `(g(a)!=0)` также непрерывны в `a`.
Функция называется непрерывной на множестве, если она непрерывна в каждой точке этого множества.
Функция `y=|x|` непрерывна на всей числовой прямой.
Функция `y=|x|` на промежутке `(-oo;0)` совпадает с функцией `y=-x`, а на промежутке `(0;+oo)` - с функцией `y=x`, которые непрерывны на этих промежутках. Осталось исследовать на непрерывность данную функцию в точке `x=0`. Поскольку `||x_n|-0|=|x_n-0|`, то для любой последовательности `(x_n)` такой, что `lim_(n->oo)x_n=0` верно `lim_(n->oo)|x_n|=0`. По определению `lim_(x->0)|x|=0`, функция `y=|x|` непрерывна в точке `x=0`.
Вообще, все элементарные функции, изучаемые в школьном курсе, непрерывны в каждой точке, в окрестности которой эти функции определены.
Найти `lim_(x->2)(x^3+sqrt((x-3)^2)+11)`.
Поскольку `sqrt((x+3)^2)=|x-3|` и `|x-3|=3-x` при `x<=3`,
то `f(x)=x^3+|x-3|+11=x^3-x+14` при `x<=3`.
Многочлен `P(x)=x^3-x+14` непрерывен на всей числовой прямой, и в частности, в точке `x=2`. Поэтому `lim_(x->2)f(x)=P(2)=2^3-2+14=20`.
Найти `lim_(x->5)(sqrt(x-1)-2)/(x-5)`.
Обозначим дробь, стоящую под знаком предела, через `f(x)`. В числителе и знаменателе дроби `f(x)` стоят функции, непрерывные в точке `x=5`. Предел этих функций при `x->5` равен их значению в точке `x=5`, т. е. равен `0`. В этом случае говорят, что имеет место неопределённость `(0/0)`. Для её «раскрытия» приходится прибегнуть к искусственному приёму – умножению числителя и знаменателя дроби `f(x)` на «сопряжённое выражение» `sqrt(x-1)+2`:
`lim_(x->5)f(x)=lim_(x->5)((sqrt(x-1)-2)(sqrt(x-1)+2))/((x-5)(sqrt(x-1)+2))=`
`=lim_(x->5)(x-5)/((x-5)(sqrt(x-1)+2))=`
`=lim_(x->5)1/(sqrt(x-1)+2)=1/(sqrt(5-1)+2)=1/4`.
Предпоследнее равенство получено в силу непрерывности функции `y=1/(sqrt(x-1)+2)` в точке `x=5`.
`1/4`.
Пусть функция `y=f(x)` определена на некотором интервале `(c;d)`, содержащем точку `ainR`. Функция `y=f(x)` называется дифференцируемой в точке , если существует конечный
`lim_(x->a)(f(x)-f(a))/(x-a)`.
Этот предел называется производной функции `y=f(x)` в точке `a` и обозначается `f^'(a)`.
Для точек `x,ain(c;d)` введём обозначения: `Deltax=x-a` – приращение аргумента; `Deltaf=f(x)-f(a)` – приращение функции. Тогда дифференцируемость `y=f(x)` в точке `a` означает, что
`f^'(a)=lim_(x->a)(Deltaf)/(Deltax)`.
Функция называется дифференцируемой на множестве, если она дифференцируема в каждой точке этого множества.
Найти по определению производные функций:
а) `f(x)=c, cinR`, в произвольной точке;
б) `f(x)=x^n,ninN`, в произвольной точке;
в) `f(x)=sqrtx` в точке `a>0`.
а) Пусть `ainR`. Поскольку приращение постоянной функции `Deltaf=c-c=0`, то производная `f^'(a)=lim_(x->a)0/(x-a)=0`.
б) Приращение данной функции в точке `ainR` можно записать следующим образом: `Deltaf=x^n-a^n=(x-a)(x^(n-1)+ax^(n-2)+...+a^(n-1))`. Тогда
`f^'(a)=lim_(x->a)(x^n-a^n)/(x-a)=lim_(x->a)(x^(n-1)+ax^(n-2)+...+a^(n-1))=na^(n-1)`.
Итак, `(x^n)^'=nx^(n-1)` для всех `xinR`.
в) Пусть `a>0`. Функция `s(x)=sqrtx` определена на некотором интервале, содержащем `a` (например, `(a//2,2a)`). Запишем отношение приращений
`(Deltaf)/(Deltax)=(sqrtx-sqrta)/(x-a)=(sqrtx-sqrta)/((sqrtx-sqrta)(sqrtx+sqrta))=1/(sqrtx+sqrta)`.
Тогда `f^'(a)=lim_(x->a)1/(sqrtx+sqrta)=1/(2sqrta)`, т. е. `(sqrtx)=1/(2sqrtx)` при `x>0`.
Укажем физический смысл производной. Пусть `s=s(t)` - расстояние, пройденное телом за время `t` (движение одномерное). Тогда частное `(s(t)-s(t_0))/(t-t_0)` выражает среднюю скорость за время от `t_0` до `t`. Если мы хотим узнать скорость тела в момент времени `t_0`, то нужно неограниченно уменьшать промежуток от `t_0` до `t`, т. е. устремлять `t` к `t_0`. Таким образом, `s^'(t_0)=lim_(t->t_0)(s(t)-s(t_0))/(t-t_0)` есть мгновенная скорость в `t_0`. Так что интуитивное представление о производной есть у каждого, кто видел спидометр автомобиля.
Если функция `y=f(x)` дифференцируема в точке `a`, то она непрерывна в точке `a`.
Следующий пример показывает, что обратное утверждение к теореме 4.1 неверно.
Доказать, что функция `y=|x|` не дифференцируема (не имеет производной) в точке `x=0`.
Рассмотрим две последовательности `(x_n)` и `(bar(x)_n)` такие что `x_n->0`, `bar(x)_n->0` при `n->oo`, все `x_n>0`, а все `barx_n<0`. Тогда соответствующие отношения приращений функции к приращениям аргумента в точке `x=0` имеют вид `((Deltay)/(Deltax))_n=(|x_n|-0)/(x_n-0)=(x_n)/(x_n)=1` и `((Deltay)/(Deltax))_n=(|barx_n|-0)/(barx_n-0)=(-barx_n)/(barx_n)=-1` что означает отсутствие предела `lim_(x->0)(Deltay)/(Deltax)`, т. е. отсутствие `y^'(0)`.
Пусть функции `y=f(x)`, `y=g(x)` дифференцируемы в точке `a`, тогда в этой точке дифференцируемы функции `y=(f+g)(x)`, `y=c*f(x)` (где `cinR`), `y=(f*g)(x)` и, если `g(a)!=0`, то также `y=(f/g)(x)`,причём
1) `(f+-g)^'(a)=f^'(a)+-g^'(a)` и `(c*f)^'(a)=c*f^'(a)`;
2) `(f*g)^'(a)=f^'(a)g(a)+f(a)g^'(a)`;
3) `(f/g)^'(a)=(f^'(a)g(a)-f(a)g^'(a))/(g^2(a))`.
Из теоремы 4.2 и пунктов а) и б) примера 4.1 вытекает
Любой многочлен `P(x)=a_nx^n+a_(n-1)x^(n-1)+...+a_1x+a_0` является дифференцируемой на `R` функцией с производной `P^'(x)=a_n nx^(n-1)+a_(n-1)(n-1)x^(n-2)+...+a_1`.
Найти производную функции `y=(x+1)/(3x-6)` при `x!=2`.
На основании примера 4.1 и теоремы 4.2 получаем:
`y^'((x+1)^'(3x-6)-(x+1)(3x-6)^')/((3x-6)^2)=`
`=(3x-6-(x+1)*3)/(9(x-2)^2)=(-1)/((x-2)^2)`.
Вообще говоря, любая дробно-рациональная функция дифференцируема во всех точках, за исключением нулей знаменателя.
Пусть на множестве `X` задана функция `y=f(x)` и на множестве её значений задана функция `z=g(y)`. Тогда говорят, что на множестве `X` определена сложная функция (или композиция) `z=g(f(x))` функций `z=g(y)` и `y=f(x)`. Например, рассмотрим на луче `X=(-oo;-1]` функцию `y=x^2-1`. На множестве её значений `[0;+oo)` определена функция `z=g(y)=sqrty`. Тогда на `X` можно определить сложную функцию `z=g(f(x))=sqrt(x^2-1)`.
Пусть на множестве `X` определена сложная функция `z=g(f(x))`. Если функция `y=f(x)` дифференцируема в точке `x_0`, а функция `z=g(y)` дифференцируема в точке `y_0=f(x_0)`, то сложная функция `z=g(f(x))` дифференцируема в точке `x_0` и `(g(f(x_0)))^'=g(y_0)f^'(x_0)`.
Найти производную функции `z(x)=sqrt(x^2-1)` в точке `x in(-oo;-1)`.
Данная функция является композицией двух функций `g(y)=sqrty` и `y=f(x)=x^2-1`. Поскольку `g^'(y)=1/(2sqrty)` (см. пример 4.1), а `y^'=f^'(x)=2x`, то по теореме 4.3 получаем
`z^'(x)=g^'(f(x))*f^'(x)=(1)/(2sqrt(f(x)))*f^'(x)=`
`=(2x)/(2sqrt(x^2-1))=x/(sqrt(x^2-1))`.
Пусть функция `y=f(x)` дифференцируема в точке `a`. Касательной к графику `f` в точке `A(a;f(a))` называется прямая, проходящая через точку `A`, угловой коэффициент которой равен `f^'(a)`. Уравнение касательной в точке `A` имеет вид
`y=f(a)+f^'(a)(x-a)`.
Функция `f(x)=sqrt(1-x^2)` дифференцируема в каждой точке интервала `(-1;1)` с `f^'(x)=-x/(sqrt(1-x^2))`. Следовательно, уравнение касательной к графику этой функции в `A(a;f(a))` имеет вид `y=sqrt(1-a^2)-(a(x-a))/(sqrt(1-a^2))`, т. е. `y=(1-ax)/(sqrt(1-a^2)`. График `f` представляет собой полуокружность, а касательная к этой кривой была определена в геометрии. Докажем, что оба определения дают одну и ту же прямую.
 |
Рассмотрим случай `ain(0;1)`. Касательная, определенная при помощи производной, проходит через точку `A(a;f(a))` и угловой коэффициент её равен `f^'(a)=-a/(sqrt(1-a^2))`. Так как этот угловой коэффициент отрицателен, то угол `varphi`, образованный касательной с положительным направлением оси `Ox`, тупой: `"tg"varphi=f^'(a)`. Тогда тангенс острого угла `alpha` (см. рис. 3), образованного касательной с отрицательным направлением оси `Ox`, равен `a/(sqrt(1-a^2))`. Котангенс же острого угла `beta`, образованного прямой `OA` с положительным направлением оси `Ox`, равен `a/(f(a))=a/(sqrt(1-a^2))`. Итак, `"tg"alpha="ctg"beta`, оба угла `alpha` и `beta` острые, поэтому `beta=90^@-alpha`. А это значит, что касательная, определенная при помощи производной, перпендикулярна радиусу окружности, проведенному в точку `A`, т. е. совпадает с касательной в смысле геометрического определения. Случай `ain(-1;0)` рассматривается аналогично. Этот случай (а также случай `a=0`) рекомендуем рассмотреть самостоятельно.
Часто требуется провести касательную к графику функции через произвольную точку плоскости. Такая задача может иметь два и более решений, а может и вообще не иметь решений.
Провести касательную к параболе `y=1+2x-x^2` через произвольную точку плоскости `(x_0;y_0)`. Исследовать решение.
Так как `(1+2x-x^2)^'=2-2x`, то уравнение касательной к параболе в точке `(a;1+2a-a^2)` имеет вид:
`y=(1+2a-a^2)+(2-2a)(x-a)`.
Эта касательная должна проходить через точку `(x_0;y_0)`, откуда `y_0=(1+2a-a^2)+(2-2a)(x_0-a)` и после преобразований получаем уравнение для нахождения абсциссы точки касания `a`:
`a^2-2x_0a+(1+2x_0-y_0)=0`. (*)
Если `D/4=x_0^2-2x_0-1+y_0<0`, т. е. `y_0<1+2x_0-x_0^2`, то уравнение (*) не имеет решений.
Если `D/4>0`, т. е. `y_0>1+2x_0-x_0^2`, то уравнение (*) имеет два решения `a=x_0+-sqrt(x_0^2-2x_0-1+y_0)`. Подставляя найденные `a` получим уравнения двух касательных, проходящих через точку `(x_0;y_0)`. Например, при `x_0=0`, `y_0=2` имеем `a+-1` и соответственно уравнения двух касательных: `y=2` (горизонтальная касательная, касающаяся параболы в её вершине `(1;2)`) и `y=4x+2` (наклонная касательная, касающаяся параболы в точке `(-1;-2)`, см. рис. 4). Наконец, если `D/4=0` т. е. `y_0=1+2x_0-x_0^2`, то уравнение имеет одно решение `a=x_0`. Геометрический смысл решения очень прост.
Если `y_0<1+2x_0-x_0^2`, т. е. точка `(x_0;y_0)` лежит «ниже» параболы, то через эту точку касательную провести нельзя.
Если `y_0>1+2x_0-x_0^2`, т. е. точка `(x_0;y_0)` лежит «выше» параболы, то через эту точку можно провести две касательные к параболе. Наконец, если `y_0=1+2x_0-x_0^2`, т. е. точка `(x_0;y_0)` лежит на параболе, то через нее можно провести единственную касательную, касающуюся параболы в точке `(x_0;y_0)`.
Пусть функция `y=f(x)` определена на некотором интервале, содержащем точку `ainR`. Точка `a` называется точкой локального максимума функции `f`, если существует `epsilon` - окрестность точки `a` что для любого `x!=a` из этой окрестности `f(x)<f(a)`.
Если выполнено неравенство `f(x)>f(a)`, то `a` называется точкой локального минимума функции `f`.
Точки локального максимума и локального минимума называют точками локального экстремума.
Если точка `a` является точкой локального экстремума функции `y=f(x)` и функция `f` имеет производную в этой точке, то `f^'(a)=0`.
Физический смысл: при одномерном движении с возвращением в точке максимального удаления должна быть остановка. Геометрический смысл: касательная в точке локального экстремума горизонтальна.
Из теоремы Ферма следует, что если функция имеет экстремум в точке `a`, то в этой точке производная функции либо равна нулю, либо не существует. Например, функция `y=|x|` имеет минимум в точке `x=0`, а производная в этой точке не существует (см. пример 4.2). Точки, в которых функция определена, а производная равна нулю или не существует, будем называть критическими.
Итак, если у функции имеются точки экстремума, то они лежат среди критических точек (критические точки «подозрительны» на экстремум). Для формулировки условий, обеспечивающих наличие экстремума в критической точке, нам потребуется следующее понятие.
Напомним, что под промежутком понимается интервал (конечный или бесконечный), полуинтервал или отрезок числовой прямой.
Пусть функция `y=f(x)` определена на промежутке `I`.
1) Функция `y=f(x)` возрастает на `I`, если для любых `x,yinI`, `x<y`, выполняется `f(x)<f(y)`.
2) Функция `y=f(x)` убывает на `I`, если для любых `x,yinI`, `x<y`, выполняется `f(x)>f(y)`.
Если функция возрастает или убывает на `I`, то говорят, что функция монотонна на промежутке `I`.
Условия монотонности. Пусть функция `y=f(x)` определена на промежутке `I` с концами `a`, `b`, дифференцируема на `(a, b)` и непрерывна в концах, если они принадлежат `I`. Тогда
1) если `f^'(x)>0` на `(a, b)`, то функция возрастает на `I`;
2) если `f^'(x)<0` на `(a, b)`, то функция убывает на `I`.
Условия экстремума. Пусть функция `y=f(x)` определена на интервале `(ab)`, непрерывна в точке `x_0 in(a, b)` и дифференцируема на `(a,x_0) uu (x_0,b)`. Тогда
1) если `f^'(x)>0` на `(a;x_0)` и `f^'(x)<0` на `(x_0;b)`, то `x_0` - точка локального максимума функции `f`;
2) если `f^'(x)<0` на `(a;x_0)` и `f^'(x)>0` на `(x_0;b)`, то `x_0` - точка локального минимума функции `f`.
Исследовать функцию `y=x^3-3x` на монотонность и экстремумы на области определения.
Данная функция определена на `R` и дифференцируема в каждой точке (см. следствие теоремы 4.2), причём `y^'=3(x^2-1)`. Так как `y^'<0` при `x in(-1,1)`; `y^'>0` при `x in(-oo,-1)uu(1,+oo)`, то функция возрастает на лучах `(-oo,-1]` и `[1,+oo)` (на каждом из двух лучей в отдельности, но не на их объединении!), убывает на отрезке `[-1,1]`. По условию экстремума `x=-1` - точка локального максимума, а `x=1` - точка локального минимума. Так как `y^'=0` только в точках `x=1` и `x=-1`, то по теореме Ферма других точек экстремума у функции нет.
Рассмотрим важный класс задач, в которых используется понятие производной – задачи нахождения наибольшего и наименьшего значения функции на отрезке.
Найти наибольшее и наименьшее значение функции `y=x^3-3x` на отрезке: а) `[-2;0]`; б) `[1;3]`.
а) Из примера 5.1 следует, что функция возрастает на `(-oo,-1]` и убывает на `[-1,1]`. Так что `y(-1)>=y(x)` при всех `x in[-2;0]` и `y_"наиб"=y(-1)=2` - наибольшее значение функции на отрезке `[-2;0]`. Чтобы найти наименьшее значение, нужно сравнить значения функции на концах отрезка. Поскольку `y(-2)=-2`, а `y(0)=0`, то `y_"наим"=-2` - наименьшее значение функции на отрезке `[-2;0]`.
б) Так как на луче `[1,+oo)` функция возрастает, то `y(1)<=y(x)<=y(3)` для всех `x in[1;3]`, поэтому `y_"наим"=y(1)=-2`, `y_"наиб"=y(3)=18`.
Отметим, что непрерывная на отрезке функция всегда имеет наибольшее и наименьшее значение.
Найти наибольшее и наименьшее значение функции `y=x^3-12|x+1|` на отрезке `[-4;3]`.
Отметим, что функция непрерывна на всей числовой прямой. Обозначим `f_1(x)=x^3+12(x+1)`, `f_2(x)=x^3-12(x+1)`. Тогда `y=f_1(x)` при `-4<=x<=-1` и `y=f_2(x)` при `-1<=x<=3`. Находим `f_1^'(x)=3x^2+12`, `f_2^'(x)=3x^2-12`. Уравнение `f_1^'(x)=0` не имеет действительных корней, а уравнение `f_2^'(x)=0` имеет два действительных корня `x_1=-2`, `x_2=2`, из которых интервалу `(-1;3)` принадлежит только точка `x_2`. В точке `x=-1` функция определена, но не имеет производной (можно, например, провести рассуждения, аналогичные рассуждениям примера 4.2). Итак, имеется две критические точки: `x=-1` и `x=2`. Производная `y^'(x)=f_1^'(x)>0` на `(-4;-1)`, `y^'(x)=f_2^'(x)<0` на `(-1;2)` и `y^'(x)=f_2^'(x)>0` на `(2;3)`. Запишем все исследования в таблице:
| `x` | `x=-4` | `(-4;-1)` | `x=-1` | `(-1;2)` | `x=2` | `(2;3)` | `x=3` |
| `y^'` |
|
`+` |
не сущ. |
`-` |
`0` |
`+` |
|
| `y` | `-100` |
возр. |
`-1` макс. |
убыв. |
`-28` мин. |
возр. |
`-21` |
`y_"наиб"=-1`; `y_"наим"=-100`.
Одним из разделов школьной математики является изучение функциональных зависимостей или функций.
Напомним, что функцией математики называют зависимость величины от одной или нескольких других величин. При этом независимые переменные величины принято называть аргументами, а зависимые – функциями. При этом важно не забывать, что каждому значению аргумента (или аргументов) ставится в соответствие единственное значение зависимой переменной (функции). Наглядно функции изображают с помощью графика – специального набора точек на плоскости. Пусть имеется функция $$ y=f\left(x\right)$$ одной переменной $$ x$$. На плоскости введём декартову систему координат $$ xOy$$ и рассмотрим множество точек $$ G$$ с координатами $$ (x,f(x\left)\right)$$, где $$ x$$ принадлежит некоторому множеству $$ M$$, которое называется областью определения функции. А множество $$ G$$ называется графиком функции $$ y=f\left(x\right)$$ (рис. 1).
В школьном курсе математики вы изучали такие типы функций:
График линейной функции можно построить по двум точкам, поскольку это прямая линия. Однако стоит заметить, что не всякая прямая будет графиком линейной функции. Если взять вертикальную прямую $$ x=a$$, то такая линия не может быть графиком никакой функции (рис. 2).
Действительно, здесь одному значению переменной $$ x$$ ставится в соответствие несколько значений переменной $$ y$$. Итак,
прямая на плоскости $$ xOy$$ – график некоторой линейной функции тогда и только тогда, когда она не вертикальна.
Напомним геометрический смысл коэффициентов $$ k$$ и $$ b$$ в уравнении прямой $$ y=kx+b:$$ $$ k=\mathrm{tg} \alpha $$ – тангенс угла наклона прямой к оси $$ Ox$$, $$ b$$ – ордината точки пересечения прямой с осью $$ Oy$$. Поэтому две невертикальные прямые $$ y={k}_{1}x+{b}_{1}$$ и $$ y={k}_{2}x+{b}_{2}$$:
Условие перпендикулярности прямых несложно пояснить. Рассмотрим пару прямых, параллельных данным и проходящих через начало координат (см. рис. 3).
Из перпендикулярности этих прямых следует, что $$ \alpha =\phi $$. Поэтому если точка $$ A({a}_{0};{b}_{0})$$ лежит на первой прямой, то точка $$ B(-{b}_{0};{a}_{0})$$ лежит на второй. Ясно, что можно подобрать $$ {a}_{0}\ne 0$$ и $$ {b}_{0}\ne 0$$, откуда $$ {k}_{1}{k}_{2}={\displaystyle \frac{{b}_{0}}{{a}_{0}}}·{\displaystyle \frac{{a}_{0}}{-{b}_{0}}}=-1$$.
Теперь напомним основные сведения о функциях вида $$ f\left(x\right)=a{x}^{2}+bx+c$$.
Сразу отметим, что такая функция квадратична только при $$ a\ne 0$$. В случае же $$ a=0$$ эта функция квадратичной уже не будет. Если в задаче возможна такая ситуация, то случай $$ a=0$$ обязательно нуждается в отдельном рассмотрении. Нужно всегда обращать на это внимание!
Будем считать, что $$ a\ne 0$$. Тогда графиком функции $$ y=f\left(x\right)$$ будет парабола. Такие графики принято строить схематично, учитывая следующее:
Теперь поговорим о графиках степенной функции. Легко убедиться, что график функции
$$ f\left(x\right)={x}^{n}$$ ($$ n\in N$$) при $$ x\ge 0$$
выглядит так, как показано на рис. 4. Для чётных $$ n$$, очевидно, верно $$ f(-x)=f\left(x\right)$$, а для нечетных $$ n$$ верно $$ f(-x)=-f\left(x\right)$$ для всякого $$ x$$. Поэтому в зависимости от чётности $$ n$$ графики функции $$ f\left(x\right)={x}^{n}$$ имеют такой вид (рис. 5 и 6).
Напомним, что функция, область допустимых значений которой симметрична относительно начала координат, называется чётной, если справедливо равенство $$ f(-x)=f\left(x\right)$$ и нечётной, если $$ f(-x)=-f\left(x\right)$$. Наример, нетрудно проверить, что функция
$$ f\left(x\right)=|x-2|+|x+2|$$ – чётная,
а функция
$$ g\left(x\right)=|x-2|-|x+2|$$ – нечётная.
В случае нечётного $$ n$$ график симметричен относительно начала координат. Такие функции называют нечётными (рис. 5). Если же $$ n$$ четно, то график симметричен относительно оси ординат. Такие функции называют чётными (рис. 6).
Для построения графика $$ f\left(x\right)=\sqrt[n]{x}$$ нужно записать уравнение $$ y=\sqrt[n]{x}$$ или $$ x={y}^{n}$$. Это означает, что график имеет вид линии $$ y={x}^{n}$$, но при этом $$ x$$ и $$ y$$ меняются местами. Для чётных $$ n$$ при этом еще нужно учесть ОДЗ $$ x\ge 0$$. Поэтому график функции $$ f\left(x\right)=\sqrt[n]{x}$$ имеет следующий вид в зависимости от чётности натурального числа $$ n$$ (рис. 7, 8):
Рассмотрим теперь функции вида $$ f\left(x\right)=\frac{k}{x}$$.
Поскольку функция $$ f$$ нечётна, то график должен быть симметричным относительно начала координат. Схематический вид графика этой функции показан на рисунке 9.
Если $$ k<0$$, то график функции $$ y={\displaystyle \frac{k}{x}}$$ имеет примерно такой же вид, и его можно получить симметрией относительно оси $$ Oy$$ из графика функции $$ y={\displaystyle \frac{\left|k\right|}{x}}$$ (рис. 10).
Покажем, как меняется график функции $$ f\left(x\right)={\displaystyle \frac{k}{x}}$$ при изменении параметра $$ k$$. Если $$ \left|{k}_{2}\right|>\left|{k}_{1}\right|$$, то линия $$ f\left(x\right)={\displaystyle \frac{{k}_{2}}{x}}$$ более удалена от осей координат, чем $$ f\left(x\right)={\displaystyle \frac{{k}_{1}}{x}}$$. Схематично это изображено на рис. 11, 12.
Во многих случаях характер зависимости одной переменной от другой может существенно меняться в зависимости от области, которой принадлежит значение аргумента. Функции, которые по-разному задаются на различных интервалах числовой прямой, будем называть кусочно-заданными. Рассмотрим примеры, показывающие, как строить графики таких функций.
Построим график . Ясно, что
Получаем при луч , а при луч (рис. 13).
Рассмотрим ещё несколько примеров построения графиков кусочно-заданных функций.
Построим график функции , где
(см. рис. 14).
Рассмотрим пример графика, содержащего часть гиперболы.
Построим график функции
График первой функции – гипербола `y =−2/x`. По условию берём только ту часть гиперболы, где .
График второй функции – прямая и мы учитываем только ту её часть, где . Получаем искомый график (см. рис. 15).
Рассмотрим интересный вид кусочно-заданных функций.
 |
Целой частью числа называется наибольшее целое число, не превосходящее .
Например, , , а . Функцию легко можно задать на промежутках между парами соседних целых чисел:
`[x] = n` при `n<=x<n+1` для всякого фиксированного целого числа `n`.
Поэтому график этой функции имеет следующий вид (рис. 16).
Рассмотрим более трудный пример.
Построить график функции .
Ясно, что . Далее,
из определения целой части числа следует такое представление:
для всякого целого (рис. 17).
Рассмотрим ещё такой пример.
Изобразим на координатной плоскости множество точек , для которых .
Ясно, что означает, что для некоторого целого `n` верны неравенства и . Набор всех таких точек будет объединением квадратиков так, как показано на рисунке. Жирные участки границ входят в график, а пунктирные и выколотые точки – нет (рис. 18).
С целой частью числа тесно связана такая кусочно-линейная функция.
Дробной частью числа называется число .
К примеру, , , а .
Построим график функции . Ясно, что
при (рис. 19).
Часто возникают задачи, в которых требуется по графику функции построить график некоторой похожей функции. Такого типа задачи называют задачами на преобразование графиков функций. Наиболее известны два типа преобразований графиков – линейные преобразования графиков, а также преобразования графиков, связанные с модулями. Начнём со второго типа преобразований. Будем полагать, что нам задан график функции .
Как построить график функции ? По определению модуля:
Поэтому график функции состоит из двух частей:
– в правой полуплоскости, – в левой полуплоскости. Это означает, что можно сформулировать такое правило:
для построения графика нужно сохранить часть графика при (т. е. на оси ординат и справа от неё), а также симметрично отразить эту часть относительно оси `Оy`; часть графика при (т. е. слева от оси ординат) при этом нужно стереть.
Как построить график функции ? По определению модуля:
Поэтому можно сформулировать такое правило:
для построения графика функции нужно сохранить часть графика , лежащую выше оси `Ox`, а часть графика, лежащую ниже оси `Ox`, симметрично отразить относительно этой оси.
Отметим, что для построения графика функции нужно последовательно провести преобразования ПР1 и ПР2 (в любом порядке).
Рассмотрим ещё один тип преобразований графиков с модулями.
Как построить множество точек `(x, y)` таких, что ?
Сразу видно, что на новом графике не должно быть точек, для которых . Поэтому нужно стереть часть графика функции , лежащую ниже оси абсцисс. Если же , то и на новом графике каждому такому значению должно соответствовать две точки, симметричные относительно оси (если , то точка одна).
Это означает, что часть графика функции , лежащую выше оси абсцисс, нужно сохранить и симметрично отразить относительно оси .
Теперь перейдём к описанию так называемых линейных преобразований графиков. Выделяют, как правило, следующие три типа таких преобразований.
Переход от графика к графику , где .
Если – положительное число, то имеем два возможных случая:
а) . В данном случае рассматриваемый переход является растяжением графика от оси абсцисс в `a` раз. Покажем на примере линейной функции (рис. 20). Положим и получим график функции посредством растяжения имеющегося графика в два раза от оси абсцисс (рис. 21).
б) . В данном случае рассматриваемый переход является сжатием графика к оси ординат в раз. Пусть имеется линейная функция . Если , то получим график функции посредством сжатия имеющегося графика в раза к оси абсцисс (рис. 22).
Заметим, что при нужно сначала построить график функции , а потом симметрично его отобразить относительно оси абсцисс.
В частности, при исходный график отражается относительно `Ox`.
Переход от графика к графику , где – некоторое число. Рассматриваемый переход является параллельным переносом графика вдоль оси ординат на единиц. Направление сдвига определяется знаком : если , то график сдвигается вверх, а если , то вниз.
Переход от графика к графику , где – некоторое число. В этом случае исходный график сдвигается вдоль оси абсцисс на величину . Но направление сдвига противоположно знаку числа `c:` если , то график сдвигается влево, а если , то вправо.
Рассмотрим несколько примеров построения графиков с использованием упомянутого выше набора преобразований.
Для этого нужно выполнить цепочку таких действий (рис 23).
а) Строим график функции .
б) Выполняем ПР2: часть полученного графика, лежащая над осью сохраняется; а его часть, лежащая под осью отображается симметрично относительно оси .
с) Затем сдвигаем график вдоль оси на `2` единицы вниз (ПР5).
д) Выполняем ПР2 снова: часть полученного в предыдущем пункте графика, лежащая выше оси , сохраняется, а часть этого графика, которая лежит ниже оси , отображается симметрично относительно неё.
Построим график функции .
ОДЗ: , , , .
Воспользуемся известным тождеством
. Имеем:
.
Выполняем построения (рис. 24):
а) Строим график функции .
б) График сдвигаем вдоль оси на `3` единицы вверх (ПР5).
в) Исключаем из графика точки , .
При решении задачи мы учли ОДЗ функции, исключив некоторые точки из графика. Такие точки изображаются, например, в виде выколотых точек (пустых не закрашенных кружков).
Рассмотрим специальный класс функций, графиками которых будут гиперболы.
Дробно-линейной называют всякую функцию вида
,
где и одновременно не равны `0`. Поскольку случай тривиален, то будем считать .
Выполним преобразования:
`f(x)=a/c*(cx+(bc)/a)/(cx+d)=a/c*(cx+d+(bc)/a-d)/(cx+d)=`
`=a/c*((cx+d)/(cx+d)+1/a*(bc-ad)/(cx+d))=a/c+((bc-ad)/c)/(cx+d)`,
то есть
`f(x)=a/c+((bc-ad)/c)/(cx+d)=a/c+((bc-ad)/c^2)/(x+d/c)`.
Будем считать, что (иначе коэффициенты в числителе и знаменателе пропорциональны, дробь можно сократить и функция есть постоянная величина на области определения). Это означает, что график дробно-линейной функции можно получить из графика функции `f_0(x) =1/x`, выполнив цепочку преобразований:
1. ПР6: `f_1(x)=1/(x+d/c)`;
2. ПР4: `f_2(x)=((bc-ad)/c^2)/(x+d/c)`;
3. ПР5: `f_3(x)=a/c+((bc-ad)/c^2)/(x+d/c)`.
На первом шаге нужно сдвинуть график на `−d/c` вдоль оси ,
на втором – сжать его или растянуть и, возможно, отразить в зависимости от коэффициента `(bc-ad)/c^2`, а
на третьем – сдвинуть вдоль оси .
Покажем на примере, как это нужно делать.
Построим график функции . Приведём данную функцию к такому виду:
.
Построим график функции `y=-2/x` (ветви гиперболы лежат во 2-ой и 4-ой четвертях) (рис. 25).
Далее, необходимо, воспользовавшись преобразованием ПР6, сдвинуть график `y=-2/x` на две единицы влево вдоль оси абсцисс (рис. 26). Получим график `y=-2/(x+2)`. Теперь используем преобразование ПР5 и поднимаем график на рис. 26 на единицу вверх. Получим необходимый график функции
(рис. 27).
Постройте график функции
.
Будем выполнять построения в таком порядке:
1) Преобразуем данную функцию:
`y=(3x+4)/(5x+6)=(3x+4)/(5x+6)-3/5+3/5=3/5+(2//25)/(x+6//5)`.
2) Построим график функции
`y=1/(x+6//5)` (ПР6, см. рис. 28).
Далее, построим график `y=(2//25)/(x+6//5)`, сжав график относительно оси абсцисс в `2//25` раз (ПР4, см. рис. 29).
3) Осталось сдвинуть график на `3//5` единиц вверх и получим окончательный график (ПР6, см. рис. 30)
`y=3/5+(2//25)/(x+6//5)`.
Построим график функции
.
Будем решать данный пример в таком порядке:
1. Построим гиперболу `y=2/x` (рис. 31).
2. Воспользовавшись преобразованием ПР6, сдвинем эту гиперболу на единицу вправо (вдоль оси абсцисс) и получим график функции `y=2/(x-1)` (рис. 32).
3. Теперь воспользуемся преобразованием ПР1 для построенного в п. 2. графика. Получим график функции `y=2/(|x|-1)` (рис. 33).
4. Воспользуемся преобразованием ПР2 и получим график искомой функции `y=|2/(|x|-1)|` (рис. 34).
Если нужно построить график функции вида , где – некоторые фиксированные числа, то в общем случае нет иного подхода, помимо раскрытия всех модулей. Ясно, что для всякого
Однако, например, в случае невозможно выполнение одновременно двух условий: и . Поэтому простое раскрытие модулей приведет к лишним действиям. Чтобы этого избежать, применяют так называемый метод интервалов. Суть его состоит в следующем. Числа , упорядочивают по неубыванию и наносят на числовую ось (рис. 35). Если для определённости положить , то это будет выглядеть так:
Получаем, что числовая ось разбивается на интервалов. Если лежит в любом из них, то мы однозначно можем определить знаки всех выражений под модулями и раскрыть модули. В каждом из получившихся интервалов график функции выстраивается отдельно. Граничную точку можно включать в любой из промежутков, концом которого она является. Проиллюстрируем этот алгоритм на примере.
Графически найдите наименьшее значение функции
.
Как видим, функция зависит от четырёх модулей. Нанесём на числовую ось точки, в которых выражения под модулем обращаются в ноль.
Получено `5` интервалов (рис. 36). Для построения графика достаточно раскрыть модули в каждом из этих интервалов и построить соответствующую линию. В виде таблицы изобразим знаки подмодульных выражений и вид функции в рассматриваемых интервалах (граничные точки можно включать в любой из промежутков).
Имеем:
=
Итак, график функции построен (рис. 37)
Перед тем как перейти к нахождению наименьшего значения, сделаем небольшое теоретическое отступление.
С помощью графиков удобно исследовать функции на возрастание и убывание. Функцию называют строго возрастающей, если при . Строго убывающие функции определяются неравенством при . Если при верно , то функцию называют возрастающей, а если , то – убывающей. Для линейных функций признаком возрастания и убывания является знак коэффициента при . Если этот коэффициент отрицателен, то такая функция строго убывает на данном интервале. В случае положительности коэффициента функция строго возрастает. Таким образом, можно сделать такой вывод.
Характер возрастания (возрастание или убывание) функции вида
,
может меняться только в точках (здесь , а , – некоторые числа). Поэтому для нахождения наибольшего или наименьшего значения функции такого вида стoит обратить внимание на то, возрастает или убывает такая функция при и , а также сравнить значения функции в точках .
Возвращаемся к нашей задаче.
Как видим, наименьшее значение функции равно `–1` и достигается при . Чтобы это понять, нужно обратить внимание на знаки коэффициентов при x в разных интервалах в формуле для . Из выражения для видно, что эта функция убывает при и возрастает при . А при как раз и достигается искомый минимум .
Похожую схему рассуждений можно применить и в задачах следующего типа.
При каких a неравенство
верно при всех ?
Здесь стоит рассмотреть функцию
.
Это кусочно-линейная функция, так как при раскрытии модуля на каждом из интервалов (их число и расположение зависит от ) получается линейная функция. После раскрытия первого модуля при будет коэффициент , после раскрытия второго - . Поскольку , то в итоге на каждом интервале знак коэффициента при будет отрицательным, то есть строго убывает всюду на числовой прямой. А это означает, что неравенство при всех равносильно простому условию , то есть
.
Для решения последнего неравенства относительно достаточно рассмотреть всего два случая: и . При имеем: , то есть . При получаем: , то есть .
.
Аналог метода интервалов на числовой прямой естественно примени́м и в случае наличия в задаче двух переменных – и . Только тогда вместо интервалов на прямой появляются области на координатной плоскости, в которых определены знаки всех подмодульных выражений и можно раскрыть модули.
Изобразим на координатной плоскости множество точек, координаты которых удовлетворяют уравнению: `(|y|)/y=x|x|`.
Переменных две, поэтому рассматривать нужно четыре области на плоскости , задаваемые системами неравенств:
1) ; 2) ; 3) ; 4)
В первом и четвёртом случае после раскрытия модулей получается , то есть . В то же время во втором и третьем случаях получаем , что невозможно на действительной плоскости . После учёта условий на получаем множество точек, изображённое на рис. 38.
Пример 15. Построим множество точек , удовлетворяющих уравнению .
Преобразуем уравнение: . Таким образом, заданное уравнение равносильно совокупности двух уравнений или . Поэтому искомым множеством точек будет объединение этих двух прямых.
Построим множество точек таких, что
.
Преобразуем уравнение с помощью выделения полного квадрата: . Поскольку точные квадраты неотрицательны, то такому уравнению может удовлетворять лишь одна точка .
Аналогично рассматривается следующий пример, в котором также существенно выделение полного квадрата.
Построим множество точек таких, что . Преобразуем уравнение: . Так как модуль равен неотрицательному числу, то
т. е. уравнению снова будет удовлетворять единственная точка (см. рис. 39).
Множеством точек может быть область на плоскости. Рассмотрим пример.
Построим множество точек таких, что
.
Равенство будет верно для всяких и , удовлетворяющих ОДЗ. Поэтому искомым множество точек будет ОДЗ, т. е. часть плоскости, ограниченная двумя прямыми и (рис. 40).
Покажем ещё пример построения множеств точек, удовлетворяющим уравнениям с модулями.
Построим множество точек, удовлетворяющих .
По определению модуля получаем: . Поэтому множество точек – объединение двух прямых линий (рис. 41).
Одним из самых известных уравнений, допускающих красивую геометрическую интерпретацию, является уравнение вида
. (ОКР)
Если заданы числа , и , то легко понять, что точка с координатами и удовлетворяет такому уравнению тогда и только тогда, когда она удалена от точки на расстояние . Поэтому данное уравнение – не что иное, как уравнение окружности с центром в точке и радиусом (при – точки ). К уравнению окружности (ОКР) часто приводятся уравнения, содержащие обе переменные как в первой, так и во второй степени. Например, приведем уравнение к виду (ОКР):
`x^2=7/2x+(7/(2*2))^2+y^2-5/2y+(5/(2*2))^2=(7/(2*2))^2+(5/(2*2))^2`
`(x+7/4)^2+(y-5/4)^2=74/16`.
Покажем примеры построения графиков, связанных с уравнением (ОКР).
Построим график функции .
Имеем систему:
или
График данной функции – полуокружность с центром в точке и радиусом (рис. 42). Отметим, что здесь также существенно преобразование выделения полного квадрата.
Покажем, как задачи с параметрами можно решать графически.
Найдём количество решений уравнения
$$ \sqrt{5+4\left|x\right|-{x}^{2}}=a$$
в зависимости от $$ a$$.
Искомое количество решений совпадает с числом точек пересечения графиков функций
$$ {f}_{1}\left(x\right)=\sqrt{5+4\left|x\right|-{x}^{2}}$$ и $$ {f}_{2}\left(x\right)=a$$.
 |
График первой функции получается из графика функции, который был построен в предыдущем примере. Для этого нужно воспользоваться преобразованием вида ПР1 то есть график $$ y={f}_{1}\left(x\right)$$ имеет такой вид, как показано на рис. 43 $$ f\left(0\right)=\sqrt{5}$$.
Графиком функции $$ y=a$$ будет прямая, параллельная оси $$ Ox$$ (рис. 43). При этом она пересекает ось ординат в точке $$ (0,a)$$. Легко видеть, что при $$a < 0$$ и $$a > 3$$ прямая $$ y=a$$ не имеет пересечений с графиком $$ y={f}_{1}\left(x\right)$$, при $$ a=3$$ и $$ a\in [0;\sqrt{5})$$ есть две точки пересечения, а при $$ a\in [\sqrt{5};3)$$ – четыре общие точки и при $$ a=\sqrt{5}$$ – три общие точки. Остаётся лишь сформулировать ответ.
При $$ a\in (-\infty ;0)\bigcup (3;+\infty )$$ решений нет, при $$ a\in [0;\sqrt{5})\bigcup \left\{3\right\}$$ – два решения, при $$ a\in \left\{\sqrt{5}\right\}$$ – три решения, при $$ a\in (\sqrt{5};3)$$ – четыре решения.
Найдём количество решений уравнения в зависимости от $$ a$$:
 |
$$ |x+5|+|x-3|=a$$.
Методом интервалов нетрудно построить график функции
$$ f\left(x\right)=|x+5|+|x-3|$$.
Количество решений уравнения совпадает с числом точек пересечения этого графика с прямой $$ f\left(x\right)=a$$ (рис. 44).
Проанализировав график, несложно выписать ответ.
При $$ a\in (8;+\infty )$$ уравнение имеет 2 решения, при $$ a=8$$ уравнение имеет бесконечно много решений, при $$ a\in (-\infty ;8)$$ решений нет.
Рассмотрим ещё один пример задач с параметром, где используется построение множеств, задаваемых уравнениями с модулем. Напомним, что графиком уравнения называют линию на плоскости, на которой лежат те и только те точки, координаты которых удовлетворяют этому уравнению.
Найдём количество решений системы уравнений
$$ \left\{\begin{array}{l}\left|x\right|+\left|y\right|=4;\\ {x}^{2}+{y}^{2}={a}^{2}\end{array}\right.$$
в зависимости от $$ a$$.
Для решения необходимо построить график уравнения $$ \left|x\right|+\left|y\right|=4$$. Это можно сделать, последовательно выполнив построения таких графиков:
График второго уравнения – окружность с центром в точке $$ O(0;0)$$ и радиусом $$ \left|a\right|$$. Изобразим оба этих графика на координатной плоскости $$ xOy$$.
Как видим, при $$|a| < 2\sqrt{2}$$ и $$|a| > 4$$ графики не пересекаются. При $$ \left|a\right|=2\sqrt{2}$$ или $$ \left|a\right|=4$$ есть 4 точки пересечения. При остальных $$ a$$ есть 8 точек пересечения. Таким образом, можно сформулировать ответ.
При $$ a\in (-\infty ;-4)\cup (-2\sqrt{2};2\sqrt{2})\cup (4;+\infty )$$ система не имеет решений;
при $$ a\in \{-4;-2\sqrt{2};2\sqrt{2};4\}$$ система имеет 4 решения;
при $$ a\in (-4;-2\sqrt{2})\cup (2\sqrt{2};4)$$ система имеет 8 решений.
В следующей задаче нам потребуется понятие локального экстремума функции. Говорят, что функция $$ y=f\left(x\right)$$ имеет локальный максимум в точке $$ {x}_{0}$$, если для некоторого числа $$ε > 0$$ при $$|x − x_0| < ε$$ (т. е. числа $$ x$$ и $$ {x}_{0}$$ достаточно близки) верно неравенство $$ f\left(x\right)\le f\left({x}_{0}\right)$$. Если же для некоторого числа $$ε > 0$$ при $$|x − x_0| < ε$$ верно $$ f\left(x\right)\ge f\left({x}_{0}\right)$$, то говорят, что функция $$ y=f\left(x\right)$$ имеет локальный минимум в точке $$ {x}_{0}$$. Точки локального максимума или минимума называют точками локального экстремума функции. В случае выполнения неравенств $$ f\left(x\right)\le f\left({x}_{0}\right)$$ или $$ f\left(x\right)\ge f\left({x}_{0}\right)$$ для произвольного $$ x$$ точку $$ {x}_{0}$$ называют точкой глобального экстремума функции. Ясно, что всякий глобальный экстремум будет локальным. Примером такой точки для квадратичной функции будет точка, соответствующая вершине параболы.
При каких $$ a$$ функция $$ f\left(x\right)={x}^{2}-3|x-{a}^{2}|-5x$$ имеет более двух точек локального экстремума?
$$ |x-{a}^{2}|=$$ $$\left\{\begin{array}{l}x-a^2,\;\mathrm{если}\;x\geq a^2,\\a^2-x,\;\mathrm{если}\;x $$ f\left(x\right)=$$ $$\left\{\begin{array}{l}x^2-8x+3a^2,\;\mathrm{если}\;x\geq a^2,\\x^2-2x-3a^2,\;\mathrm{если}\;x При $$ x\ge {a}^{2}$$ график функции $$ f\left(x\right)$$ есть часть параболы $$ y={x}^{2}-8x+3{a}^{2}$$, лежащая справа от $$ x={a}^{2}$$, а при $$x < a^2$$ $$ f\left(x\right)={x}^{2}-2x-3{a}^{2}$$ и графиком функции будет часть параболы $$ y={x}^{2}-2x-3{a}^{2}$$ в полуплоскости слева от прямой $$ x={a}^{2}$$. Наибольшее возможное количество точек экстремума этой функции равно `3` (две вершины парабол и точка их пересечения, см. рис. 45). Это возможно при условии $$1 < a^2 < 4$$, то есть $$ a\in (-2;-1)\bigcup (1;2)$$. 
$$ a\in (-2;-1)\bigcup (1;2)$$.
Найдём все значения $$ a$$, при которых уравнение
$$ \sqrt{x-9}=ax+7a-3$$
имеет единственное решение.
Полагая $$ x+7=t$$, получим уравнение $$ \sqrt{t-16}=at-3$$. (1)
Требуется найти все значения $$ a$$, при которых графики функций $$ y=\sqrt{t-16}$$ и $$ y=at-3$$ имеют единственную общую точку. Заметим, что все прямые, задаваемые уравнением $$ y=at-3$$ проходят через $$ (0;-3)$$ (рис. 46).
Ясно, что если $$ a\le 0$$, то прямая $$ y=at-3$$ не имеет общих точек с параболой $$ y=\sqrt{t-16}$$. Угловой коэффициент прямой $$ y=at-3$$ равен $$ a$$. Найдем угловые коэффициенты $$ {a}_{1}$$ и $$ {a}_{2}$$ прямых $$ {l}_{1}$$ и $$ {l}_{2}$$ (см. рис. 46) (обе задаются уравнением вида $$ y=at-3$$), первая из которых проходит через точку $$ (16;0)$$, а вторая имеет ровно одну общую точку (касается) с линией $$ y=\sqrt{t-16}$$. Подставляя в уравнение значения $$ t=16$$, $$ y=0$$, находим $$ {a}_{1}={\displaystyle \frac{3}{16}}$$ и при $$0
$$0
В следующем примере нам необходимо будет изобразить точки на координатной плоскости, координаты которых удовлетворяют некоторому неравенству $$ f(x,y)\le {a}_{0}$$ для заданной функции двух переменных $$ f$$ и некоторого фиксированного числа $$ {a}_{0}$$. Для этого нужно сначала выяснить вид множества точек $$ f(x,y)=a$$ при различных значениях $$ a$$ и заштриховать все точки координатной плоскости, принадлежащие линиям $$ f(x,y)=a$$ при $$ a\le {a}_{0}$$. Часто это бывает область на плоскости внутри, либо вне некоторой фигуры, которая задаётся равенством $$ f(x,y)=a$$. Например, неравенство $$ f(x,y)=(x-1{)}^{2}+(y+1{)}^{2}\le 1$$ задаёт круг радиуса $$ 1$$ с центром в точке $$ А(1,–1)$$.
Рассмотрим пример использования этого правила в задаче.
Найдём все значения параметра $$ a$$, при которых система
$$ \left\{\begin{array}{l}{x}^{2}+{y}^{2}+31\le 8\left(\right|x|+|y\left|\right),\\ {x}^{2}+{y}^{2}-2y={a}^{2}-1\end{array}\right.$$
имеет хотя бы одно решение.
Неравенство системы после выделения полных квадратов можно записать в виде $$ {x}^{2}-8\left|x\right|+16+{y}^{2}-8\left|y\right|+16\le 1$$ или $$ \left(\right|x|-4{)}^{2}+(\left|y\right|-4{)}^{2}\le 1$$. Множество $$ E$$ решений этого неравенства – объединение кругов $$ {K}_{1}$$, $$ {K}_{2}$$, $$ {K}_{3}$$, $$ {K}_{4}$$ (вместе с их границами) радиуса $$ 1$$ (см. рис. 47) с центрами $$ {O}_{1}(4;4)$$, $$ {O}_{2}(4;-4)$$, $$ {O}_{3}(-4;-4)$$, $$ {O}_{4}(-4;4)$$. Запишем уравнение системы в виде
$$ {x}^{2}+(y-1{)}^{2}={a}^{2}$$.
 |
Это уравнение задаёт окружность $$ L$$ радиуса $$ \left|a\right|$$ или точку $$ (0;1)$$ при $$ a=0$$ с центром в точке $$ M(0;1)$$. Исходная система имеет хотя бы одно решение при тех значениях $$ a$$, при которых окружность $$ L$$ имеет общие точки с множеством $$ E$$. При этом ввиду симметричного расположения соответствующих пар кругов относительно оси ординат достаточно выяснить, при каких значениях $$ a$$ окружность $$ L$$ имеет общие точки с кругами, центрами которых являются точки $$ {O}_{1}$$ и $$ {O}_{2}$$. Проведём из точки $$ M$$ лучи $$ {l}_{1}$$ и $$ {l}_{2}$$ в направлении точек $$ {O}_{1}$$ и $$ {O}_{2}$$. Пусть $$ {A}_{1}$$ и $$ {B}_{1}$$ – точки пересечения $$ {l}_{1}$$ и окружности с центром $$ {O}_{1}$$, $$ {A}_{2}$$ и $$ {B}_{2}$$ – точки пересечения $$ {l}_{2}$$ и окружности с центром $$ {O}_{2}$$. Тогда из геометрических соображений имеем:
$$ M{O}_{1}=5$$, $$ M{O}_{2}=\sqrt{25+16}=\sqrt{41}$$,
$$ M{A}_{1}=4$$, $$ M{B}_{1}=6$$, $$ M{A}_{2}=\sqrt{41}-1$$, $$ M{B}_{2}=\sqrt{41}+1$$.
При $$ 4\le \left|a\right|\le 6$$ окружность с центром $$ M$$ имеет общие точки с кругом $$ {\omega }_{1}$$ , а при $$ \sqrt{41}-1\le \left|a\right|\le \sqrt{41}+1$$ – с кругом $$ {\omega }_{2}$$.
Так как $$4 < \sqrt{41} − 1 < 6$$, то объединение отрезков $$ [4;6]$$ и $$ [\sqrt{41}-1;\sqrt{41}+1]$$ есть отрезок $$ [4;\sqrt{41}+1]$$, а искомое множество значений $$ a$$ определяется неравенством $$ 4\le \left|a\right|\le \sqrt{41}+1$$.
$$ 4\le \left|a\right|\le \sqrt{41}+1$$.
Найдём все значения параметра $$ b$$, при которых система уравнений
$$ \left\{\begin{array}{l}y=|b-{x}^{2}|,\\ y=a(x-b)\end{array}\right.$$
имеет решение при любом значении параметра $$ a$$.
Рассмотрим три возможных случая: $$b < 0$$, $$ b=0$$,а также $$b > 0$$.
а) Если $$b < 0$$, то запишем систему в виде $$ \left\{\begin{array}{l}y={x}^{2}+d,\\ y=a(x+d),\end{array}\right.$$ где $$d = −b > 0$$. Эта система не имеет решений при $$ a=0$$ и поэтому $$b < 0$$ не подходит.
б) Если $$ b=0$$, то система примет вид $$ \left\{\begin{array}{l}y={x}^{2},\\ y=ax.\end{array}\right.$$
Легко видеть, что она имеет решение $$ (0;0)$$ при любом $$ a$$, т.е. значение $$ b=0$$ подходит.
в) Пусть $$b > 0$$. Теперь мы прибегнем к графическому методу. Рассмотрим два случая: $$0 < b ≤ 1$$ и $$b > 1$$. Если $$b > 1$$, то $$\sqrt{b} < b$$. Пусть $$ a=1$$, тогда система примет вид $$ \left\{\begin{array}{l}y=|{x}^{2}-b|,\\ y=x-b.\end{array}\right.$$
Эта система не имеет решений, так как прямая $$ y=x-b$$ не пересекает график функции $$ y=|{x}^{2}-b|$$ (см. рис. 48). Если $$0 < b ≤ 1$$, то $$ \sqrt{b}\ge b$$. В этом случае прямая $$ y=a(x-b)$$ пересекает график функции $$ y=|{x}^{2}-b|$$ при любом $$ a$$ (на рис. 49) представлен случай $$a > 0$$).
$$ 0\le b\le 1$$.
В завершении разберём несколько задач с параметрами, которые удобно решать методом областей на координатной плоскости.
Найдём все значения `a`, при каждом из которых уравнение
`a|x-3|=5/(x+2)`
на промежутке `{0;+oo)` имеет ровно два корня.
Рассмотрим функции `f(x)-a|x-3|` и `g(x)=5/(x+2)`.
Если построить график функции `f(x)` для разных `a` (рис. 50) и график функции `g(x)` (рис. 51), то можно без проблем исследовать на промежутке `[0;+oo)` уравнение `f(x)=g(x)`.
При `a<=0` все значения функции `f(x)` на промежутке `[0;+oo)` неположительны, а все значения функции `g(x)` – положительны, поэтому при `a<=0` уравнение `f(x)=g(x)` не имеет решений на промежутке `[0;+oo)`. При `a>0` функция `f(x)` возрастает на промежутке `(3;+oo)`. Функция `g(x)` убывает на этом промежутке, поэтому уравнение `f(x)=g(x)` всегда имеет ровно одно решение на промежутке `(3;+oo)`, поскольку `f(3)<g(3)` и `f(3+1/a)>g(3+1/a)`. На промежутке `[0;3]` уравнение `f(x)=g(x)` принимает вид `3a-ax=5/(x+2)`. Это уравнение сводится к уравнению `ax^2-ax+(5-6a)=0`. Будем считать, что `a>0`, поскольку случай `a<=0` был рассмотрен ранее. Дискриминант квадратного уравнения `D=a^2-4a(5-6a)=25a^2-20a`, поэтому при `0<a<4/5` это уравнение не имеет корней; при `a=4/5` уравнение имеет единственный корень, равный `1/2`; при `a>4/5` уравнение имеет два корня.
Пусть уравнение имеет два корня, то есть `a>4/5`. Тогда оба корня меньше `3`, поскольку при `x>=3` значения функции `3a-ax` неположительны, а значения функции `5/(x+2)` положительны. По теореме Виета сумма корней равна `1`, а произведение равно `5/6-6`. Значит, больший корень всегда принадлежит промежутку `[0;3]`, а меньший принадлежит этому промежутку тогда и только тогда, когда `5/a-6>=0`, то есть `a<=5/6`.
Таким образом, уравнение `a|x-3|=5/(x+2)` имеет следующее количество корней на промежутке `[0;+oo):
– нет корней при `a<=0`;
– один корень при `0<a<4/5`;
– два корня при `a=4/5` и `a>5/6`;
– три корня при `4/5<a<=5/6`.
`a=4/5`, `a>5/6`.
В завершении разберём несколько задач с параметрами, которые удобно решать методом областей на координатной плоскости. В следующем примере будем использовать известный подход к задачам, содержащим некоторые переменные в квадрате. Суть этого подхода - рассмотрение выражения как квадратичной функции относительно какой-нибудь переменной (остальные переменные при этом считаются параметрами) с последующим использованием известных свойств квадратичной функции.
Найдём все значения параметра $$ a$$, при каждом из которых система уравнений
$$ \left\{\begin{array}{l}\left(\right|y+9|+|x+2|-2)({x}^{2}+{y}^{2}-3)=0,\\ (x+2{)}^{2}+(y+4{)}^{2}=a\end{array}\right.$$
имеет ровно три решения.
Первое уравнение данной системы равносильно совокупности двух уравнений $$ |y+9|+|x+2|=2$$ и $$ {x}^{2}+{y}^{2}=3$$. Первое из них задаёт квадрат $$ G$$ с центром $$ (-2;-9)$$, диагонали которого равны $$ 4$$ и параллельны осям координат. Второе задаёт окружность $$ S$$ с центром $$ (0;0)$$ радиуса $$ \sqrt{3}$$ (см. рис. 52).
 |
Второе уравнение исходной системы при $$a > 0$$ задаёт окружность $$ \Omega $$ с центром $$ (-2;-4)$$ радиуса $$ R=\sqrt{a}$$.
Отметим, что при $$a < 0$$ второе уравнение задаёт пустое множество, при $$ a=0$$ одну точку $$ (-2;-4)$$. Поэтому при $$ a\le 0$$ трёх решений быть не может.
Рассмотрев случаи внешнего и внутреннего касания окружностей $$ \Omega $$ и $$ S$$, можно заключить, что они имеют ровно `1` общую точку при $$ R=\sqrt{20}\pm \sqrt{3}$$, ровно `2` общие точки при $$ R\in (\sqrt{20}-\sqrt{3};\sqrt{20}+\sqrt{3})$$ и ни одной общей точки при остальных $$ R$$. Поскольку центры окружности $$ \Omega $$ и квадрата $$ G$$ лежат на прямой $$ x=-2$$, то $$ \Omega $$ и $$ G$$ имеют ровно `1` общую точку при $$ R=3$$ или $$ R=7$$, ровно `2` общие точки при $$ R\in (3;7)$$ и ни одной общей точки при остальных значениях $$ R$$. Для того чтобы у системы было 3 решения, необходимо и достаточно, чтобы окружность $$ \Omega $$ имела `2` общие точки с квадратом $$ G$$ и `1` общую точку с окружностью $$ S$$ или наоборот. Рассмотрим значения $$ R$$, при которых окружность $$ \Omega $$ имеет с квадратом $$ G$$ или окружностью $$ S$$ ровно `1` общую точку.
1) $$ R=\sqrt{20}+\sqrt{3}$$. Тогда есть ровно `1` общая точка с окружностью $$ S$$ и ровно `2` общие точки с квадратом $$ G$$ (т. к. $$3<\sqrt{20}+\sqrt3<7$$), т. е. у системы 3 решения.
2) $$ R=\sqrt{20}-\sqrt{3}$$. Тогда есть ровно `1` общая точка с окружностью $$ S$$ и нет общих точек с квадратом $$ G$$ (т. к. $$\sqrt{20}-\sqrt3<3$$), т. е. у системы 1 решение.
3) $$ R=3$$. Тогда есть ровно `1` общая точка с квадратом $$ G$$ и ровно `2` общие точки с окружностью $$ S$$ (т. к. $$\sqrt{20} − \sqrt{3} < 3 < \sqrt{20} + \sqrt{3}$$), т. е. у системы 3 решения.
4) $$ R=7$$. Тогда есть ровно `1` общая точка с квадратом $$ G$$ и нет общих точек с окружностью $$ S$$ (т. к. $$7 > \sqrt{20} + \sqrt{3}$$), т. е. у системы 1 решение.
Итак, подходят $$ R=3$$ и $$ R=\sqrt{20}+\sqrt{3}$$. Тогда искомые значения параметра $$ a={3}^{2}=9$$ и $$ a=(\sqrt{20}+\sqrt{3}{)}^{2}=23+4\sqrt{15}$$.
$$ a=9$$, $$ a=23+4\sqrt{15}$$.
В зависимости от значений параметра а найдём количество решений уравнения
`a+[x]=sqrt(2x-x^2)`.
Количество решений соответствует количеству общих точек графиков `y=a+[x]` и `y=sqrt(2x-x^2)`.
$$ y=\sqrt{2x-{x}^{2}}\iff \left\{\begin{array}{l}y\ge 0,\\ {\left(x-1\right)}^{2}+{y}^{2}=1.\end{array}\right.$$ (Рис. 53)
График функции `y=a+[x]` представлен на рисунке ниже (Рис. 54).
Общие точки возможны лишь при `x in [0;2]`. Рассмотрим несколько случаев расположения графиков.
1) Если `0<=x<1`, то `y=a+[x]=a`. В этом случае возможна одна общая точка с полуокружностью `y=sqrt(2x-x^2)` при `0<=a<1`.
2) Если `1<=x<2`, то `y=a+[x]=a+1`. Теперь одна общая точка возможна при `0<a+1<=1`, то есть `1<a<=0`.
3) Если `x=2`, то `y=a+[x]=a+2`. Точка `(2;a+2)` лежит на графике `y=sqrt(2x-x^2) iff a=-2`.
При `a in (-oo;-2)uu(-2;-1]uu[1;+oo)` нет решений;
при `a in {-2}uu(-1;0)uu(0;1)` одно решение;
при `a=0` два решения.
Пусть на некоторых числовых множествах заданы соответственно функции .
Отношения вида , , называют неравенствами и уравнением с одной переменной.
Если функции - алгебраические, то неравенства и уравнения называются алгебраическими.
Областью допустимых значений (ОДЗ) неравенства или уравнения называют множество всех значений переменной , при которых одновременно определены обе части неравенства или уравнения, т. е. пересечение множеств .
Рассмотрим неравенство . Левая часть определена при , а правая при . Поэтому областью определения этого неравенства является множество .
Решить неравенство (уравнение) – это значит найти все числа , после подстановки которых, вместо получается верное числовое неравенство (равенство), или доказать, что неравенство (уравнение) не имеет решений. Ясно, что число является решением только тогда, когдa принадлежит ОДЗ.
При решении неравенств и уравнений фундаментальное значение имеет понятие равносильности, и в нашем задании это будет играть большую роль.
Два неравенства
и (1)
или два уравнения
и (2)
называются равносильными на множестве , если каждое решение первого неравенства (уравнения), принадлежащее множеству , является решением второго, и, наоборот, каждое решение второго, принадлежащее , является решением первого; или ни одно из неравенств (уравнений) на не имеет решений, т. е. множества решений этих неравенств (уравнений) совпадают.
Отсюда следует, что вместо того, чтобы решать данное неравенство (уравнение), можно решать любое другое, равносильное данному. Замену одного неравенства (уравнения) другим, равносильным данному на , называют равносильным переходом на . Равносильный переход обозначают двойной стрелкой .
; а неравенства и не равносильны, т. к., если , то первое неравенство не имеет решений, а второе имеет, например,
Важно понимать, что для доказательства неравносильности двух неравенств (уравнений) нет необходимости решать каждое из неравенств (уравнений), а затем убеждаться в том, что множества их решений не совпадают – достаточно указать одно решение одного из неравенств (уравнений), которое не является решением другого неравенства (уравнения).
Равносильны ли уравнения и ?
Нет, не равносильны, т. к. решение второго уравнения не является решением первого.
Равносильны ли уравнения и ?
Да, равносильны, т. к. ни одно из них не имеет решения.
Приведём несколько примеров операций, приводящих к равносильным уравнениям или неравенствам.
1. Если функции определены на множестве , то на
а) .
б) .
2. Если на , то на
,
т. е. при умножении неравенства на положительную функцию знак неравенства не меняется
3. Если на , то на
.
4. Если на , то на
,
т. е. при умножении неравенства на отрицательную функцию знак неравенства меняется на противоположный.
5. Если на , то на
а) ,
т. е. если обе части неравенства неотрицательны, то возведение в квадрат обеих частей приводит к равносильному неравенству.
Если обе части неравенства неположительны, то умножим обе части на , придём к неравенству противоположного знака, но с неотрицательными частями, и теперь можно пользоваться свойством .
Если левая и правая части неравенства имеют разные знаки, то возведение в квадрат может привести как к равносильному неравенству, так и к неравносильному: `-4<5` и `16<25`; `-7<5`, но `49>25`, поэтому в этом случае нельзя возводить неравенство в квадрат.
б) .
6. Для любых и на и любого натурального
.
Пусть задано неравенство . По определению, неравенство выполнено, если разность функций . Поэтому, за редким исключением, неравенства будем решать “сравнением с нулём” и записывать их в виде .
Часто приходится иметь дело не с одним неравенством или уравнением, а с несколькими. При этом важно различать две задачи:
1) решить систему уравнений или систему неравенств,
2) решить совокупность уравнений или совокупность неравенств.
Пусть дано неравенств (или уравнений) , на некотором множестве . Если стоит задача – найти все упорядоченные наборы чисел , каждый из которых является решением каждого из заданных неравенств (уравнений), то говорят, что задана система неравенств (уравнений). Такое называется решением системы.
Решить систему – это значит найти множество всех решений. Обычно систему неравенств (уравнений) записывают в столбик и объединяют фигурной скобкой
ОДЗ системы называется множество, являющееся пересечением областей допустимых значений всех этих неравенств.
Если для неравенств (уравнений)
,,...,
стоит задача – найти все такие упорядоченные наборы чисел , каждый из которых является решением хотя бы одного из заданных неравенств (уравнений), то говорят, что на задана совокупность неравенств (уравнений). Такое называется решением совокупности неравенств (уравнений). Решить совокупность неравенств (уравнений) – это значит найти всё множество её решений. В современной литературе совокупность записывают в столбик и объединяют квадратной скобкой
ОДЗ совокупности называется объединение областей допустимых значений всех заданных неравенств (уравнений).
Во всех случаях количество заданных неравенств (число ) никак не связано с количеством неизвестных (число ).
На вступительных экзаменах не разрешается пользоваться калькуляторами. Поэтому полезной оказывается следующая формула для корней квадратного уравнения
Она особенно удобна, когда коэффициент при `x` число чётное.
Решите уравнение
Заметим, что использование других формул привело бы к более громоздким вычислениям.
Уравнение можно считать решённым, если удаётся найти замену переменных, сводящую заданное уравнение к квадратному.
Решите уравнение
Сделаем замену переменных
Тогда уравнение примет вид
В старых переменных
`2`.
В 9-м классе изучается метод интервалов прежде всего для многочленов. Он основан на том, что
а) двучлен `(x-a)` положителен при `x > a` и отрицателен при `x < a`, т. е. меняет знак при переходе через точку `a`,
б) квадрат двучлена `(x-a)^2` при переходе через точку `a` знак не меняет,
в) квадратный трёхчлен `x^2+px+q`, `p^2-4q < 0`, имеющий положительный коэффициент при `x^2` и отрицательный дискриминант, всегда положителен и может быть опущен при решении любого неравенства.
Заметим, что:
1) двучлен `(x-a)` в любой нечётной степени `(x-a)^(2n-1)`, ведёт себя так же, как и `(x-a)`,
2) двучлен `(x-a)` в любой чётной степени `(x-a)^(2n)`, ведёт себя так же, как и `(x-a)^2`,
Важно, что при переходе через точку `a`, может изменить знак только один множитель `(x-a)^(2k-1)`, а выражение `(x-b)^(2n-1)`, при переходе через `a` ни при каком `n` знак не меняет.
Прежде чем расставлять знаки, необходимо все многочлены записать правильно. Это значит, что во всех скобках коэффициенты при старшей степени переменной должны быть положительны, множители при произведениях в числителе и знаменателе тоже положительны – при больших `x` (когда `x` больше самого большого корня) многочлен всегда принимает положительные значения.
Итак, сформулируем
1. Проверяем, все ли множители записаны «правильно».
2. Находим корни числителя и знаменателя.
3. Представляем числитель и знаменатель в виде произведения неприводимых множителей, т. е. множителей вида `(x-a)^k` (все квадратные трёхчлены, имеющие отрицательный дискриминант, не записываем – их «опускаем»).
4. Наносим на числовую ось корни числителя (точками, если неравенство нестрогое, или «дырками», если неравенство строгое) и знаменателя (в любом неравенстве «дырками»).
5. Расставляем знаки дроби в промежутках между корнями, учитывая, что многочлен меняет знак при переходе через точку `a`, если в многочлене стоит `(x-a)^{2n-1}`, `ninN`
и не меняет знак, если в многочлене стоит `(x-a)^{2n}`, `ninN`.
6. Отмечаем прямоугольниками решение заданного неравенства и «снимаем» с рисунка ответ. При этом помним, что,
а) если неравенство строгое, то решением являются открытые промежутки;
б) если неравенство нестрогое, то к предыдущим решениям добавляются все «точки».
Когда говорим: Решим неравенство методом интервалов, – имеется в виду, что будут выполнены именно вышеприведённые действия.
Метод интервалов затем распространяется на рациональные функции.
Рациональной называется функция, которая может быть представлена в виде частного двух многочленов, т. е. в виде `{P(x)}/{Q(x)}`.
Например, функции `y=x-2`, `y={x^3-x+5}/{x+4}` - рациональные, а функция `y=sqrt(5x)` не является рациональной – она называется иррациональной.
Неравенства называются рациональными, если их правые и левые части являются рациональными функциями.
Рациональные неравенства чаще всего решаются сравнением с нулём, т. е. решаются неравенства вида `{P(x)}/{Q(x)}>0(<0)`.
Заметим, что дробь положительна (отрицательна) тогда и только тогда, когда числитель и знаменатель имеют одинаковые (противоположные) знаки, т. е.
`{P(x)}/{Q(x)}>0(<0)hArrP(x)Q(x)>0(<0)`,
поэтому метод интервалов применяется к дроби точно так же, как и к многочленам.
В школе принято писать для дроби ОДЗ: `Q(x)!=0`, но это является совершенно излишним. В самом алгоритме решения таких неравенств учитывается условие, что знаменатель не равен `0` – нули знаменателя отмечаются всегда кружочками («дырками»). Именно поэтому ОДЗ для рациональной дроби не пишут.
Некоторые учащиеся после нахождения ОДЗ даже «бросают» знаменатель. Они не понимают, что решение зависит не от того, равен или не равен `0` знаменатель, а от того, где знаменатель положителен, а где отрицателен.
При применении этого метода интервалов нет необходимости в рассмотрении «пробных» точек.
Найдите наименьшую длину промежутка, в котором расположены все решения неравенства .
Переписываем наше неравенство в правильном виде:
и применяем метод интервалов - рис. 1.
 |
| Рис. 1 |
C рисунка снимаем ответ.
`3,25`.
Заметим, что на нашей картинке нет никаких «змеек». Такой способ отмечать решение неравенства (который, с непривычки, некоторые отвергают, не попробовав) имеет преимущество, потому что он выделяет именно решение, а, кроме того, он даёт возможность «красиво» решать системы неравенств.
Решите систему неравенств
$$\left\{\begin{array}{l}\left(x-1\right)\left(x+\dfrac14\right)\left(x+\dfrac18\right)\geq0,\\\dfrac{\left(x-2\right)\left(x-{\displaystyle\dfrac{51}{50}}\right)}{\left(x+{\displaystyle\dfrac3{16}}\right)x}<0.\end{array}\right.$$
Здесь очень «плохие» пробные точки – дробные и близкие. Это сделано специально, чтобы привыкнуть их использовать.
Решаем сначала первое неравенство: наносим на числовую ось нули точками, т. к. неравенство нестрогое.
Теперь расставим знаки. Замечаем, что при больших `x` все множители положительны. При переходе через точку `x=1` функция меняет знак, т. к. `(x-1)` входит в нечётной (первой) степени. По этой же причине при переходе и через остальные точки функция опять меняет знак (рис. 2).
 |
| Рис. 2 |
Теперь отметим «прямоугольниками» решение неравенства (рис. 3).
 |
| Рис. 3 |
Теперь решаем второе: наносим на числовую ось нули и числителя, и знаменателя кружочками (дырками), т. к. неравенство строгое. Получаем рис. 4.
 |
| Рис. 4 |
Теперь надо обе картинки поместить на одну ось. Надо ли соблюдать масштаб? А зачем? Не надо. Ведь нас интересует только взаимное расположение точек относительно друг друга, а расстояния между ними никакой роли не играют.
Теперь заштриховываем общие части прямоугольников – отлично виден ответ (рис. 5).
 |
| Рис. 5 |
`x in(-3/16;-1/8]uu(51/50;2)`.
Найдите наименьшую длину промежутка, в котором расположены все решения неравенства
`(x-1)^2(x+1,5)^3(x-12)(x+2)^4(x-25)^8<=0`.
При решении неравенств, левая часть которых содержит чётные степени, можно поступать по-разному.
Первый способ
Левая часть уже записана правильно, корни видны сразу. Отмечаем их точками на числовой оси, а затем по вышеприведённым правилам расставляем знаки и отмечаем решение прямоугольниками – рис. 6.
 |
| Рис. 6 |
С рисунка снимаем ответ, что `x in{-2;25}uu[-1,5;12]`. Отсюда следует, что наименьшая длина промежутка равна `25-(-2)=27`.
Второй способ
Можно заранее учесть, что бином `(x-a)^{2k}` принимает либо значение, равное `0`, либо положительно на всей числовой оси – поэтому можно записать в решение `x=a`, а бином «опустить», т. к. он не влияет на знак оставшегося выражения:
`(x-1)^2(x+1,5)^3(x-12)(x+2)^4(x-25)^8<=0 iff`
`27`.
Решите неравенство `x<={8x-2}/{x+5}`.
`x<={8x-2}/{x-5}hArr{x^2-3x+2}/{x+5}<=0hArr{(x-1)(x-2)}/{x+5}<=0`
 |
| Рис. 7 |
Из рис. 7 следует ответ
`(-oo;-5)uu[1;2]`.
Найти все пары целых чисел `x`, `y`, для которых верны неравенства
$$\left\{\begin{array}{l}3y-2x<45,\\x+y>24,\\3x-y<3.\end{array}\right.$$
Запишем систему в стандартном виде (для сравнения с нулём)
$$\left\{\begin{array}{l}3y-2x-45<0,\\-x-y+24<0,\\3x-y-3<0.\end{array}\right.$$
Заметим, что `y` входит в первое неравенство со знаком `« + »`, а во второе и третье со знаком `« – »`. Поэтому умножим сначала второе и третье неравенства на `3` (получились равносильные неравенства), а затем заменим второе и третье неравенства их суммами с первым – таким образом, мы исключим `y`. Итак,
$$\left\{\begin{array}{l}3y-2x-45<0,\\-x-y+24<0,\\3x-y-3<0,\end{array}\right.\Rightarrow$$
$$\Rightarrow\left\{\begin{array}{l}3y-2x-45<0,\\-3x-3y+72+3y-2x-45=-5x+27<0\Leftrightarrow x>\dfrac{27}5,\\9x-3y-9+3y-2x-45=7x-54<0\Leftrightarrow x<\dfrac{54}7\end{array}\right.\Rightarrow$$
(учтём, что мы ищем целые решения)
Подставим последовательно найденные значения `x` в систему.
$$x=6\Rightarrow\left\{\begin{array}{l}3y-57<0,\\-y+18<0,\\15-y<0\end{array}\right.\Rightarrow\varnothing.$$
$$x=7\Rightarrow\left\{\begin{array}{l}3y-59<0,\\-y+17<0,\Rightarrow y=19,\\-y+18<0.\end{array}\right.$$
`(7,19)`.
