Ильин В.А., Позняк Э.Г. Основы математического анализа. В 2-х ч. Часть I (7-е изд., 2005) (1095443), страница 56
Текст из файла (страница 56)
Не, мы преДfЮ'lИтаем привлечь Teopel,lY 9.2 (второе достато'шое условие). Иllееl,l=-6 <f(2) (2) = 6> О.ffI\IffI\I\ I\Iобра:~ )м,В ТОЧf{l'1f!СИМУМ2В Т )Чf{l'И Mff~:н iЧСНИЯ этс,{:рав [ЫДiiН~схема отыскаНИСi!кстремумов. До си!нор мы реllЕШЕ вопрос: о Н"ШЕЧIШфУНКЦИЕ f(x) ЭКС:ТРСМУМ,,1в п;аnоuс,функ!!uл f (х) дi!.ффере1-tЦ!!руема. 13',:TOi:,ii,a упункте{:,ыизучимвопросОналитиивTO'fKeс',ш:стреi:'У~такой ф\iНКЦИИ, которая не диффереНЦИР\iема в TO'fKe с,но ди:jiференцируеi:,а всюду в некоторой окрестности справа ислева от с.ОказываеТСЯ i теорема1 iiюжет (оыть оооощена на СЛУ'fайтакой :!iУНКЦИИ.
ИмеННО i имеет место Сfедующее утверждение.Теорема 9.3.функ!!uлх) диффере iuupye.Nta всю~в неnотороu оnрестН0сти то"Ч.nи сою исn/!ю"Ч.е1-lШ·. U бъtтъмо,:нет, (амой точк!! с,неnре{ ывна вс.Т0211а, если в пределах уnаза1-l1-lOI'l оnрестН0сти nроu.зво !1-lал(х) nОЛО.нс.ип;еЛ"Ь1iа (от{ и!!ател'Ьна' iлееа от точк!! сотри!!атеЛЪ1-lа (nОЛО:JICит("Лi на) справа от то"Ч.nu.
с, то :f;Y1-lnцилI"(х) !!мееп:с лQ"i.алыiы"u маnГ!!М1j.Nt M!!ii!!My.Nt). ЕiЛ!!:JICe nроu.. zвОII1-lал(х) u..чеет 011u.1-l u. тот :JIC(" знаn сл("ва и сnраf'ваотточк!! с,п;оf"iCCmpeM1j.Ntaвснет.Д о к а з а т е л ь с т в о в точности совпадает с дока:атеifЬ~ством теоремы1. Только на ',iTOT ра: ПРИi:,еНИi:ЮСТЬ К функциию сегмент\ [с, ха] Teopei:'bI Лагранжа \iстанавливается сле~дующим образОi:': по условию функция f(x) ди:jiференцируеi:,а(а стало бьп ii.непреРЫfша)на ЮЛ\iсе:менте (со ха] И.кроме того, непрерывна в TO'lKe с.caMbIi:, f(x) непрерывнаfiCfiOД\ на сегменте [со ха] и Дffффере Щ ip\ieMa во ficex в }\iтреннихто'ш:а! :~TOГO сегмента.иукиI\Iеры.. Ha11Tffточ~f:шстремума функции(х)')та ФУНЮiИЯ диффереНЦИР\iIxl.ема всюду на (iесконечной ПРЯi:ЮЙ.Kpoi:,e ТО'lКИ Х =И непрерывнав TO'lKe х = О, причем производнаяf'(x) = 1 прих< О.1Teopei:,aхнеприменима,9.42.
На iти ТОЧii9.;-: она имеет(pffC. 9.4).ЭiiС"iреI\I\I\IаiЩff>Охаки равна:пойcorifac 10-1 прифуюсиитеоремеii'ИНИi:'Уi:' при Х =Оу = х 2 / 3 . Эта функциянепрерывна на всей бесконечной прямой и диф:jiеренцируеi:,авсюду на ',iТОЙ ПРЯМОЙ i за ИСКIIЮ'lениеi:, точки х = О. Производ~>KCTPiMYMAiPif:I:Ш1Я3U7Орав [а2 13iРfЩЫiУ ТIfOM ПрifМfOрfO прои :вод iая имел;: в ТОЧКfOрыв 1- го ро). н;: :~TOT ра; прои :водная1'1:\: fOfOт= О ра;в ТОЧКfO :г = Ора~рьш 21С) рода (\<беl:кuнетrный l:КС1ЧUК>1).
И:i ныражения дляiРОИЗВОДНС:Й следует,lTC: этаiроизводная отрицательна слеваот ТО'lКИ х = О и положительна справа от :~той точки. Ста:юБЫТ1', теорема 9.3 ЮЗВОЛl1е1 i'тверждю 1" что рассматриваемаl11!IУНКЦИЯ и:,:еет= о(: рафик;,: ини:,: у;,:в точке х=рассматр l! liаемойции изображен на рис. 9.5).3.Найти ТО'lКИ :~KCTpeMYMa функ-цииу ~ Лх) ~ { ~ +c'I"при#:гприхегковидеть,что:~Ta функцияHeiipepblBlfa на liсей бесконечно!1 iРЯ;,юй. В са;,юм деле, единственной 'сом 11fте,:lЫЮЙ»ТОЧ1iОl,]Рис.9.5Э'lОЙ точкеЯli, ;яеТСl1 ТОЧ1Ш хфункция непрерывна: ибоlil1l,1:-+0+11Уlil1l '.
УО.,1:-+0-:)Далее: О'lевидно, lTO раСCl:атривае;:ая фунюrия Диф1IlеренЦ lpl'eMa на Bcel,] бесконечно!1, роме точки хО. I3СЮдТкроме ',;той точки, производная определяется формулой=у'+ e 1 / J; + _e 1 / x= _ _ _ _--",T~+ e1/ X ) 2(1ЛеПlО lilце11" Ч1 о iредел,1:-+0f(,T) - f(O)lil1l11:Х-+О+1не Сi!ще-ствует так lTO функция У = f(x) неДИ1],ферен rируема в точкех = О.оскольку ПРОlfЗlюднаl1 у! полож lтеЛЫ1а и слеliа, и справа от ТО'lКИ х = О; раСCl::атривае;::ая функция; согласно теоре;::е9.3,не имее1 Э1lC1peMl!I\IaТОЧ1lе х =О. а ста'ю быть, и lюоб-[.е не и;::еет :~KCTpeMYMOB. (Гра1!ШК раСCl::атривае;:юй функцииlfзображен на рис.
9,13.)1) в том смысле, чт : эта произв щная х :ть и не существовала в точке ,т == О,НО нм:'Ш'этой тОЧ]ii' ]iOiie шЫi' HP ",ое[яе СОВШ.щаЮЩiН· м:'жд"' обой,леiюе Пl.Н.ще ii.iiЫi',начеНИ1i,обшей С:ХЕОIIIЕО {)Тысгточек л jj;;;л ,н )го Эj;С~юлоским, ЧТО функцияна Ш!~J(:T)ее проuзводн'(]'л Г (:г) су'ществуетръtв'l-ш, '1-ш, это ч uнтерва/ji всюду, 'КрО че 'Конечн[){)I1IЕОто;!РЕОд! юло,; !!м_{jOHCJJpeЧUС Ja точе'Кчтосл в НУ/iЪ нп интерв j.;jE (а, Ь) JШ/i;'ув 'Конечном чuсл;Ины!;!исловами_юлагае!;!,lTOточf'К!,!ынапрединтервале (а, Ь) имеется .'fИШЬ KO~хTO'leK.нечноечислоторых!роизводная J(x) невкосуществует и.' fИ обращаетсяв Нj'ЛЬ. {)бозначим эти точ~киРис.9.6ро lЗlюднаj!СИ!;!ВО.'lа!;!и<<хl. .(2 •...
,< ... <<(ахlх,-,хпВ силу сделанных предполо~сохранлеп; по! П;ОjjННЫЙ зна'К надом и:~ интервалов(Хl' Х2), ... ,. Ь . Ста! ю быть, воnрос О налu"t!!U Jn{'n;pe.NtYMa в na:.)/caoIl ifзх . х'-' .... ,х пMO:JICem бъtтъ решен (в утвер{)uтелъном UJШ отрU'цател!!номсчъtсле) nри nО.ЧОЩU тсор; .чъt !j.3.Здесь !,!ы не буде!;!РИВiДИТЬ !p:VI!;!epa. иллюстрирт"щеГi!общую схе!;!у отыскания точек локального ',;кстре!;!у!;!а.
Такой!р!!I1Iер будет !р !!!еден нами в § 6.§ 2.Напраплрние выпрклосттт- ГРjjфтт-каП: ,едпr, !;,жи!;!, что ф!'нкция J(x) диффереШfИi'уе!;!а вTO'lKe интервала (а. Ь . Тогда! как установлено в п.1;{,бойгл.5.су'ществует 'Кшател'Ьнал 'К графU'К1j ФУН'КjjU!! У =х), npoxoa.jjщал чере; .Jюбую точ'Ку ~M(x, J(x)! этого ?рш/iu'Ка (а < х < Ь)npif!jeM эта касате!!Ьная не парал!!ельна2)оси Оу.ОnРj/дj/ЛР/-/'Uj/. Будем говорить. чтоJ (х);/!ун'К'Ции У=U.Nteem на uнтервалеа. Ь) f;ЪtnУ?,лО! п;'ь. наnравлен~НУ?}) внuз (вверх; еслu гршj и'К этой !JУН'КЦUU в nр;делах y'Кa~зан ;0;/0 JJi;n;ep Jaла ле:J/Сjjт не HU:J/ce f не выше) лю, ю'и свое'и'Касательной.З а III е ч аи е. Терм!!Н «граф!! лески'! не(илине въtиe) своей касательной» имеет С!;!ысл, жiо касательная непараллельна оси Оу.На рис.
9.7 !!зображен граф!!фУНЮl fИ. име!"ш!!вале (а, Ь) выпуклость! направленную вни;Рместо;!;пер!!! ;а можно р;.;ссмат! НВ!!"ПРЯМУj{1 и другоенаа на рис.HTep~и:~ополу ;fiЯ;i;УЮ. бес iоне'ш,- юMHmj;eCTBo.2) Ибо УГЛОВО" коэффипиент ее равны" пр ;изводно" j' (х) сх;онечен.зшНА}2аЬРис.9.7Теорема 9.4. Еслиу = f(x) пмееП I на i!i!п!ереале(а, Ь) к:оне'Ч,ную вторую nроизводную и если эта nроизводна.янеотрицател'Ьна (неnОЛО:JIСi!.тел'Ьна) всюду на ;тО.fiЛле, то график: функ:ции=(а, Ь)fвыnук:лост'Ь,направленнуюilнизД о к а :~ а т е л ь с т в о.Сlучай, кС!гда втС!раяДля определенности рассмотримрС!извС!дная f(2) (х) ): о всюду на а.
Ь ).ОбознаЧl}I\I через с лю6ую ТОЧi;1 и пеРliала (а,)9.9). Тре(Iуется ДOKa:~aTЬ. 1ТО граfjшк функ ши у = f(x .'lежит не нижекасательной,pe:~точку}немрС!хС!дящейМ(с, f(c)).\/paB }eHl}e1е-За-ууказаннойкасательной. обошачая ее теi;\/ЩТ 1 ' ОРД1}через У.Поскольку угловой ко Iффиiil}eHTуказа iiЮЙ iшсатеШ/ноI.jравен f'(c1 ее уравнение I-E1eет В1Щ 1 )У-f(c) = f'(c1-с).РазЛОЖl}I\I фУНКЦИ!/'=.х(9.5f(x) вокрестности ТО'1КИ с по формулеnьР Ic.9.1)еЙлора. беря в :лойОJП/Ч}}I\IУ=f(x) = f(c)+ I'l(!Ci(9.61где остаточный "пен вшт в форме Лагранжа l ~ заКЛЮ'1ено межД\I с их.
ПОСО;О-1ЫО;\ по УС101iИ!/'х) l}меет ВТOf)\/Ю lРОИЗВОДН\/Юна интервале (а, Ь ), формулаHTepBa.'la (a,I?) (см. §Л.справедлива для любого х из1) в выпуске 8 наСТ/iЯJнего курса Д/iказаН/i, ЧТ/i уравнение прямо", ПР/iХОТО',К'- lvf(a, Ь)и;.;еющгЙЮВОЙ коэфil !!ЦЮ'Р' k, !!мегт ВИДу - ь = k(.I-ДIIЩГЙ ',ереСоп )ст;шшш(9.6)оН;l а. Ь),ОСКОЛJЖУ [;тор 1~} пр' 'f!:~f;C' Ш;l'·"ДШJ [;С('Х :г И1 а. Ь)то fравая Ч;lСТЬ (97) неон ПifцаПUliЬ j(l, т.У - У?И.llи У ? У.Последнее неравенство дока:ывает. lTO гра11 ,ик функ JИИ У =хв преде'fах HTepBa'fa (а.
ь )'fеж [т неIfaca~тельной.Аналогично доказывается теорема для СЛУ'lая f(2) (х) ~ о.а м е а н и е 2. Если всюду на интервалеЬ f(2)(xо. то.леП"iО i'бедитьс J, у =- Лf!ная ф('li'·т. е. график ее есть ПРЯ11lая .1ШНИЯ. В ··1ТО11) СЛУ'lае направлениеfi ' 1UIOC"Jl'[ыIIIЮf}{НОСЧf!таJЪРОИЗВОЛJ,НЫМ.9.5. Iycmb вторая nроuзводная функ:цшt у = f(x)непрерывнаnОЛО:JIСliтелъна (отрицателъна)точк:е с. То"Iа существует так:ая ок:рестностъ то'Ч,к:и с, в предела) к:oтo~график: фУН"К:!!Un у =в !l!3 ((1(1ерх).о к a:~ а т ека.1 (хU.Nteem выnук:лость, направленнуюь с т в о. По TeOpe!lle 8.i1 об устой'швости :~HaфУНЮIИИ на11дется такая окрестность точки С, впределах которой вторая производная f(21 (.У ПQ.
' южите.1fЬна (отР:Шlательна). По lредыдущей теоре!1!е график фУНЮIИИ уf(x)И!l!еет в пределах ·.lТОЙ окрестности выпуююсть, направленнуюfШИЗ (юерх).аким ооразом. направление въшук:лости грат! ик:а т/!унк:цииполностью харак: т!ерnзуе т!ся з!шк:омПри м е р.ФУНЮIИИтрива ' fИсследовать направление выпуклости гра1jfИка= х:з -зх 2 Эту функцию, мы уже paCCMa~= f(xlП.и 4реДЫДi'ще1О=f!Ида второйlTOlJ)ff= Хпро !3floaHoIl :ппоulаратрафа (см.9..
ИзBblTelfaeT.lРОИЗВОДНОЙхfjx):~Ta производная отрицательна при х1 и положительнах. Таю!м образом, [ыI li'lfЛОСТf рафffКа функцИf! у- зх 2 направлена вверх на у lacTKe (-х.l) и вниз на('чаС"Jl"ie<, ,Х§ 3.Точки перегиба графика функции1. ОпреЛ,еление ТО'lКИ перегиба. IIеО€')ХО,!l,имое условиеRlереlи€')а. Пусть а, Ь и с - некоторые три числа, свя:~анныенеравенствами асЬ.