16 статей
Напомним свойства трапеции, которые часто используются при решении задач. Некоторые из этих свойств были доказаны в заданиях для 9-го класса, другие попробуйте доказать самостоятельно. Приведённые рисунки напоминают ход доказательства.
$$ 4.{1}^{○}$$. Диагонали трапеции разбивают её на четыре треугольника с общей вершиной (рис. 20). Площади треугольников, прилежащих к боковым сторонам, равны, а треугольники прилежащие к основаниям - подобны.
$$ 4.{2}^{○}$$. В любой трапеции середины оснований, точка пересечения диагоналей и точка пересечения продолжении боковых сторон, лежат на одной прямой (на рис. 21 точки `M`, `N`, `O` и `K`).
$$ 4.{3}^{○}$$. В равнобокой трапеции углы при основании равны (рис. 22).
$$ 4.{4}^{○}$$. В равнобокой трапеции прямая, проходящая через середины оснований, перпендикулярна основаниям и является осью симметрии трапеции (рис. 23).
$$ 4.{5}^{○}$$. В равнобокой трапеции диагонали равны (рис. 24).
$$ 4.{6}^{○}$$. В равнобокой трапеции высота, опущенная на большее основание из конца меньшего основания, делит его на два отрезка, один из которых равен полуразности оснований, а другой – их полусумме
(рис. 25, основания равны `a` и `b`, `a>b`).
$$ 4.{7}^{○}$$. Во всякой трапеции середины боковых сторон и середины диагоналей лежат на одной прямой (рис. 26).
$$ 4.{8}^{○}$$. Во всякой трапеции отрезок, соединяющий середины диагоналей, параллелен основаниям и равен полуразности оснований (рис. 27).
$$ 4.{9}^{○}$$.В равнобокой трапеции `d^2=c^2+ab`, где `d` - диагональ, `c` - боковая сторона, `a` и `b` основания.
Во всякой трапеции сумма квадратов диагоналей равна сумме квадратов боковых сторон и удвоенного произведения оснований, т. е. `d_1^2+d_2^2=c_1^2+c_2^2+2*ab`.
$$ 4.{10}^{○}$$. Во всякой трапеции с основаниями `a` и `b` отрезок с концами на боковых сторонах, проходящий через точку пересечения диагоналей параллельно основаниям, равен `(2ab)/(a+b)` (на рис. 28 отрезок `MN`).
$$ 4.{11}^{○}$$. Трапецию можно вписать в окружность тогда и только тогда, когда она равнобокая.
Докажем, например, утверждение $$ 4.{9}^{○}$$.
Применяем теорему косинусов (см. рис. 29а и б):
`ul(DeltaACD):` `d_1^2=a^2+c_2^2-2a*c_2*cos varphi`,
`ul(DeltaBCD):` `d_2^2=b^2+c_2^2+2b*c_2*cos varphi` (т. к. `cos(180^@-varphi)=-cos varphi`).
Складывая, получаем
`d_1^2+d_2^2=a^2+b^2+c_2^2+(c_2^2-2(a-b)c_2cosvarphi)`. (2)
Проводим `CK``|\|``BA` (рис. 29в), рассматриваем треугольник `ul(KCD):` `c_1^2=c_2^2+(a-b)^2-2c_2*(a-b)*cos varphi`. Используя последнее равенство, заменяем выражение в скобках в (2), получаем:
`d_1^2+d_2^2=a^2+b^2+c_2^2+(c_1^2-(a-b)^2)=`
`=(a^2+b^2+c_2^2)+(c_1^2-a^2-b^2+2ab)`.
Окончательно имеем
| `d_1^2+d_2^2=c_1^2+c_2^2+2ab`. |
В случае равнобокой трапеции `d_1=d_2`, `c_1=c_2=c`, поэтому получаем
| `d^2=c^2+ab`. |
.
Отрезок, соединяющий середины оснований трапеции, равен `5`, одна из диагоналей равна `6`. Найти площадь трапеции, если её диагонали перпендикулярны.
`AC=6`, `BM=MC`, `AN=ND`, `MN=5` (рис. 30а). Во всякой трапеции середины оснований и точка пересечения диагоналей лежат на од-ной прямой (свойство $$ 4.{2}^{○}$$). Треугольник `BOC` прямоугольный (по условию `AC_|_BD`), `OM` - его медиана, проведённая из вершины прямого угла, она равна половине гипотенузы: `OM=1/2BC`. Аналогично устанавливается `ON=1/2AD`, поэтому `MN=1/2(BC+AD)`. Через точку `D` проведём прямую, параллельную диагонали `AC`, пусть `K` - её точка пересечения с прямой `BC` (рис. 30б).
По построению `ACKD` - параллелограмм, `DK=AC`, `CK=AD` и `/_BDK=90^@`
(т. к. угол `BDK` - это угол между диагоналями трапеции).
Прямоугольный треугольник `ul(BDK)` с гипотенузой `BK=BC+AD=2MN=10` и катетом `DK=6` имеет площадь `S=1/2DK*BD=1/2DKsqrt(BK^2-DK^2)=24`. Но площадь треугольника `BDK` равна площади трапеции, т. к. если `DP_|_BK`, то
`S_(BDK)=1/2BK*DP=1/2(BC+AD)DP=S_(ABCD)`.
Итак, `S_(ABCD)=S=24`.
Диагонали трапеции, пересекаясь, разбивают её на четыре треугольника с общей вершиной. Найти площадь трапеции, если площади треугольников, прилежащих к основаниям, равны `S_1` и `S_2`.
Пусть `BC=a`, `AD=b`, и пусть `h` - высота трапеции (рис. 31). По свойству $$ 4.{1}^{○}$$ `S_(ABO)=S_(CDO)`, обозначим эту площадь `S_0` (действительно, `S_(ABD)=S_(ACD)`, т. к. у них общие основания и равные высоты, т. е. `S_(AOB)+S_(AOD)=S_(COD)+S_(AOD)`, откуда следует `S_(AOB)=S_(COD)`). Так как `S_(ABC)=S_0 + S_1=1/2ah` и `S_(ACD)=S_0+S_2=1/2bh`, то `(S_0+S_1)/(S_0 + S_2)=a/b`.
Далее, треугольники `BOC` и `DOA` подобны, площади подобных треугольников относятся как квадраты соответствующих сторон, значит, `(S_1)/(S_2)=(a/b)^2`. Таким образом, `(S_0+S_1)/(S_0+S_2)=sqrt((S_1)/(S_2))`.Отсюда находим `S_0=sqrt(S_1S_2)`, и поэтому площадь трапеции будет равна
`S_1+S_2+2S_0=(sqrt(S_1)+sqrt(S_2))^2`.
Основания равнобокой трапеции равны `8` и `10`, высота трапеции равна `3` (рис. 32).
Найти радиус окружности, описанной около этой трапеции.
Трапеция равнобокая, по свойству $$ 4.{11}^{○}$$ около этой трапеции можно описать окружность. Пусть `BK_|_AD`, по свойству $$ 4.{6}^{○}$$
`AK=(AD-BC)/2=1`, `KD=(AD+BC)/2=9`.
Из прямоугольного треугольника `ABK` находим `AB=sqrt(1+9)=sqrt(10)` и `sinA=(BK)/(AB)=3/(sqrt10)`. Окружность, описанная около трапеции `ABCD`, описана и около треугольника `ABD`, значит (формула (1), § 1), `R=(BD)/(2sinA)`. Отрезок `BD` находим из прямоугольного треугольника `KDB:` `BD=sqrt(BK^2+KD^2)=3sqrt(10)` (или по формуле `d^2=c^2+ab`), тогда
`R=(3sqrt(10))/(2*3//sqrt(10)) =5`.
$$ 4.{12}^{○}$$. Площадь трапеции равна площади треугольника, две стороны которого равны диагоналям трапеции, а третья равна сумме оснований.
$$ 4.{13}^{○}$$. Если `S_1` и `S_2` - площади треугольников, прилежащих к основаниям, то площади треугольников, прилежащих к боковым сторонам равны `sqrt(S_1S_2)`, а площадь всей трапеции равна `(sqrt(S_1) +sqrt(S_2))^2`.
$$ 4.{14}^{○}$$. Радиус окружности, описанной около трапеции, находится по формуле `R+a/(2sin alpha)`, где `a` - какая-то сторона (или диагональ трапеции), `alpha` - смотрящий на неё вписанный угол.
Прежде чем приступать к его выполнению, ознакомьтесь с нашими пожеланиями и требованиями.
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`.
С помощью генератора случайных чисел в каждом классе и предмете были выбраны участники, набравшие максимальный балл.
| Физика 11 класс | Дремин Арсений Алексеевич |
| Математика 11 класс | Волков Алексей Дмитриевич |
| Физика 10 класс | Питомцев Александр Олегович |
| Математика 10 класс | Баранов Даниил Юрьевич |
| Физика 9 класс | Болотецкий Михаил Александрович |
| Математика 9 класс | Епихина Татьяна Евгеньевна |
| Физика 8 класс | Елизарова Юлия Максимовна |
| Математика 8 класс | Дубинин Артем Сергеевич |
| Физика 7 класс | Суставова Ольга Сергеевна |
| Математика 7 класс | Щербакова Елена Николаевна |
| Математика 6 класс | Климченко Валентина Ильинична |
| Математика 5 класс | Рылев Артемий Андреевич |
Организаторы олимпиады свяжутся с победителями конкурсов посредством личных сообщений портала abitu.net.
