85310 (630730), страница 4
Текст из файла (страница 4)
Правило Лопиталя.
Пусть ф-ция f(x) и g(x) имеет в окр. т-ки х0 пр-ные f‘ и g‘ исключая возможность саму эту т-ку х0. Пусть lim(хх )=lim(xx)g(x)=0 так что f(x)/g(x) при xx0 дает 0/0. lim(xx0)f‘(x)/g‘(x) (4), когда он совпадает с пределом отношения ф-ции lim(xx0)f(x)/g(x)= lim(xx0)f‘(x)/g‘(x) (5)
Док-во.
Возьмем т-ку х>х0 и рассмотрим на [x0;x] вспом ф-цию арг. t
h(t)=f(t)-Ag(t), если t[x0;x], т.к. удовл. этому св-ву в окр-ти т-ки х0, а т-ку х мы считаем достаточно близкой к х0. Ф-ция h непрерывна на [x0;x], поскольку lim(tx0)h(t)=lim(tx0)[f(t)-Ag(t)]=lim(tx0)-A lim(tx0)g(t)=0=h(0)=> непр. t=x0 По т-ме Логранджа (x0,x) c:h‘‘(c)=0
Производная обратной ф-ции
Т-ма. Для диф. ф-ции с пр-ной, не равной нулю, пр-ная обратной ф-ции равна обратной обратной величине пр-ной данной ф-ции.
Док-во. Пусть ф-ция y=f(x) диф. и y‘x=f‘(x)0.
Пусть у0 – приращение независимой переменной у и х – соответствующее приращение обратной ф-ции x=(y). Напишем тождество: x/y=1:y/x (2) Переходя к пределу в рав-ве (2) при у0 и учитывая, что при этом также х0, получим: lim(y0)x/y=1:lim(x0)y/x => x‘y=1/y‘x. Где х‘у – пр-ная обратной ф-ции.
Производная обратной ф-ции
Т-ма. Для диф. ф-ции с пр-ной, не равной нулю, пр-ная обратной ф-ции равна обратной обратной величине пр-ной данной ф-ции.
Док-во. Пусть ф-ция y=f(x) диф. и y‘x=f‘(x)0.
Пусть у0 – приращение независимой переменной у и х – соответствующее приращение обратной ф-ции x=(y). Напишем тождество: x/y=1:y/x (2) Переходя к пределу в рав-ве (2) при у0 и учитывая, что при этом также х0, получим: lim(y0)x/y=1:lim(x0)y/x => x‘y=1/y‘x. Где х‘у – пр-ная обратной ф-ции.
Теорема Больцано-Вейерштрасса
Теорема Больцано-Коши
Теорема Вейерштрасса
Теорема Больцано-Вейерштрасса Из любой огран. посл-ти можно выбрать сход. подпосл-ть.
Док-во
1. Поскольку посл-ть ограничена, то m и M, такое что mxnM, n.
1=[m,M] – отрезок, в котором лежат все т-ки посл-ти. Разделим его пополам. По крайней мере в одной из половинок будет нах-ся бесконечное число т-к посл-ти.
2 – та половина, где лежит бесконечное число т-к посл-ти. Делим его пополам. По краней мере в одной из половинок отр. 2 нах-ся бесконечное число т-к посл-ти. Эта половина - 3. Делим отрезок 3 … и т.д. получаем посл-ть вложенных отрезков, длинны которых стремятся к 0. Согластно о т-ме о вложенных отрезках, единств. т-ка С, кот. принадл. всем отрезкам 1, какую-либо т-ку n1. В отрезке 2 выбираю т-ку xn2, так чтобы n2>n1. В отрезке 3 … и т.д. В итоге пол-ем посл-ть xnkk.
Теорема Больцано-Коши Пусть ф-ция непр-на на отрезке [a,b] и на концах отрезка принимает зн-ния равных знаков, тогда т-ка с (a,b) в которой ф-ция обращается в 0.
Док-во
Пусть Х – мн-во таких т-к х из отрезка [a,b], где f(x)<0. Мн-во Х не пустое. Х [a,b], значит х ограничено, поэтому оно имеет точную верхнюю грань. c=supx. acb покажем a Теорема Вейерштрасса Непрерывная ф-ция на отрезке ограничена. Док-во Предположим что ф-ция не ограничена. Возьмем целое пол-ное n, т.к. ф-ция не ограничена, то найдется xn[a,b], такое что f(xn)>n. Имеем посл-ть т-к xn. По т-ме Больцано-Коши из посл-ти xn можно выбрать сходящиюся подпосл-ть xnkx0. По т-ме о предельном переходе к неравенству. axnkb ax0b x0[a,b] Если посл-ть xnk сходится к x0, то f(xnk) будет сходится f(x0) f(xnk)>nk, a nkf(xnk), т.е. f(xnk) б/б посл-ть. С одной стороны f(xnk) стремится к опр. числу, а с др. стороны стремится к , пришли к противоречию, т.к. мы предположим, что ф-ция не ограничена. Значит наше предположение не верно. Список литературы Для подготовки данной работы были использованы материалы с сайта http://www.shpori4all.narod.ru/