В.А. Ильин, Э.Г. Позняк - Основы математического анализа (DJVU) (1108889), страница 130
Текст из файла (страница 130)
Лопут:тим также, тто функции ту1т) и т)л1т), фигурирунтщие в соотношениях (16А1), имеют непрерывные третьи производные на интервале (О, 1). При этих предположениях справедлива следунлттая тео1тттма. Теорема л 6.4. Пусть во всех точках крттвой 1 се к1шхнтзни Л и пуотлзводтлтля к1лтлвивньл ') не. ривны нулкл. Тозди срцествует эволнипа кривой, 1. пртлчсм тта1ктметп1ттлчссктле у1клвненпя эволтотът иметот вид ел+ ~ 2 Х = тр —,та т,т)л'. (16тА6) у ~ 'Р ер л =ут, е ету —,,Чаа Д о к а з а т е л ь с т в о. Ъ1ьт определилтл эволюту как огибанзтцую однопараметрического т:емсйства норкта.лтттй кривой Л.
Это семейство задается уравнением (16.45). Тттттттьт образом, функция г'1Х. 1. 1), задантщая семейт:тво, опрелеляетт:я соотношением Е(Х, У, Е) = ту'(Х вЂ” ту) + ул'(У вЂ” тэ), (16.47) причем 1 играет роль параметра. Применим теперь выводы ~ 1 этой главы о существовании отнбанпцей для выяснения вопроса о существовании эволюты (т. е. огибаняцей семейства (16.45)). т1ьт должны проверить выполнение условий,леммы и.
3 'З 1 этой главы и условий теорт. мы 16.1. Перейдем к проверке указанных утсювнй. Остановимся сначала на проверке условий леммы. Очевидно, при сформулировюпп,тх требованиях на функции ~р и ттт функции Г(Х., 1;1) и Ртт(Х. У,1) диффеРенциРУемы. Уоелттттсн тепеРь, что Якобиан В(Е',Е~) отличен от нуля. Используя выражение (16.40) для ьритз1х,т ) визны к: кривой 1, можно представить этот якобиан в с,ндуюпттй фо1тмтс 1ЗЖГт) 1„т ьг р ~,лг)З1г лз1х.у) = с р ) При утсювиях, на.юженных на функции З и т", кривизна у пре,ттавзяет собой лпфференцируемукт функцию параметра т.
630 н1'н:1Оження ДИФФе!'енЦнлльнОГО нсчис."1ення 1 л. 1в По усповик! теоремы кривизна ь, отли !Иа от нуля. Кроме того, так как все точки кривой А обыкновенные. то <р'в + ф'з ф О. 1'аким образом, указанный якобиан отличен от нуля, н стало быть, все у<.ловия леммы выполнены.
Проверим теперь условия теоремы 16.1. Очевидно, что при сформулированных требованиях на функпии <«и <1< производные Р~-, Р~!., Г!'<, Р<~1., Р<< непрерывны. Остается лишь убедиться в справедливости соотношения Р~<< у'= 0 для всех значений 1 из интерват!а (О, 1) и для характеристи 1еских точек на нормалях к кривой Л. Так как Гц' — — <ра'(Х вЂ” <<!) + фа'(У вЂ” <1<) -- 3(р'<рл + <<1'~!") (16.48) и согласно и. 2 3 1 этой главы и формулам (16.13), характеристич<<ские точки;<ля рассхштрива<<мого <с! ! п<я определяк<т<я соотношениями р'(Х вЂ” <<!) +. ф'(У вЂ” ф) = О.
(16.49) р" (Х вЂ” р) + 4"'(У вЂ” ) ) — М" + 1<!") = О: то значение прон:!водной г<! в характеристических точках в силу (16.48) и (16.49) равно Обратимся к выражению (16АО) для кривизны а кривой Л. С учетом обозначешлй (16.41) из формулы (16.40) путем днфференпировапия получаем С помощью этого соотношения и вырагкения (16.40) для кривизны придадих| выражении! (16.50) следуклпук! форму: й«в ( <2+,~,<2) Так как по условию теоремы 1 и !<У не равны нуля! и, кроме того, у~э + <1<<в ф О, то из <и!следнего выражения для Г<< счедует, что для всех значений 1 из ин!ерва;!а (О, 1) и для характеристических точек на нормалях к Л Р<! ф О, Тп<им образом, условия тео1юыы 16.1 также Вьп!Ол<п:ны.
Найдем теперь параметрические уравнения эвола!ты. Так как при сформулированных у<шовиях;эволюта <<сть геометриче<кое место характери<'тических точек семейства нормалей, то координаты Х и У точек эвола!ты определи!Ит<'я из <х<отнонп;ний эво;потга и эвольвинтоа (16.49).
Находя из этих соотношений Х и У, мы и получим параметрические уравнения (16.46). Теорема док лана. 3 а и 17 «а н и 11. В Геомс.т1нси ~~с~~ исполвзусотся нопятия радиуса кривизны и центра кривизны. Радссдсола Л кривизны кривой Т называется величина 17А, где Й кривизна 1, а 11енГпролс крвв7ляны та точка нормали к кривой.
котора» отстоит от данной точки кривой Е в направлении вс~ нутосги Л на расстояние Л. Отметим, что радиус кригизпы кривой равен радиусу соприкасак1- щейся окружности, а центр кривизны совпадает с центром соприкасак1щейсс;я окр1 жности. Ъ'Ое'.диме», что ояолюсла 71171.*с)с7пс1- ялаеш собой геомесарссческое место ссессш11ов сйоонснны к11аоой.
В с:ямом деле. Из соотношений (16.46) получаем )в + ~1:,),)Я т. е. точка эволк1ты с координатюпл Рис 7616 (Х, У) отстоит от точки кривой Т с к011рдинатаыи 1177, 71) на расс;тоянии Л. Из ГссомеГ1)ическОГО с;мыссла эволюты (см. рис. 16.15) ясно, сто точка (Х. У) рас положена, на нормали в сторону вогнутости кривой Л. П р и м е р. Найдем уравнения эволюты эллипса 4ВСР (рис. 16.16), опрссделяемого парахсетричсскпми уравнениями л = <р(1) = ос:ояко. йс = 7Г(с) = 661п1. Так как ср' = — аяша, ~У = бсов1, сро = — асов1, 717о = — Ьяш то у~т + я7~т = аз явяв+ бя соня 1.
а с77~7р~~ — сс7оссу = а11. Поэтому. ссп;ласно (16.46), параметрическне уравнения звал»1ты эллипса Ивпскн ВИД 2 72 72 2 Х = 11ов~1. У = вшв с,. а Ь Таким образом, овал»17оа эллипса представляет собой так называеъсую удлтсессндт 11сса11оссс)у (см. рисх 16.16).
Отметим, сто в то сках А, Л, С, Р эллипса 1Т. е. в его вершинах) производная кривизны равна нулю. Поэтому в этих точках не выполнены уссн1вия теоремы 16.4. В ссютветствующих точках А', В', С', Р' зволн1та эллипса имеет особенности так называС1МЬ11; ТС!ЧКИ ВОЗВРКТа. П Р И Л О «К Е Н И Е ДАЛЬНЕЙШЕЕ РАЗВИТИЕ ТЕОРИИ ВЕЩЕСТВЕННЫХ ЧИСЕЛ В г„(. 2 д.(я вв((денни В(1(пественных Еис(а;1 мы испо.п зевали множество бесконечных десятичных дробей. Определив для хшожества этих дробей правила сравнения, (Епоженпя и умнолюния, мы ус:тановили. что эгнзменты этого множества обладшот 13 осноннв(мп сно(1ствсзли( 1перече(св(енными в и.
1 Ц 1 гл. 2 для рациональных чисел). Описанный метод введения вещественных чисел, хотя и обладает несомненными эвристическими и методическими достоинствахш, не является единственно возможным. ."11озкно было бы ввести вещественные числа с помощькз оесконечпых двоичных дробей, с помощью так называемых дедекиндовых сечений в области рациональных чисел ), с помощью последовательностей рациональных чисел ) и другими методамп.
Чтобы выяснить взаимосвязь между рнз.плчными методами введения вещественных чисел, привлечем некоторые новые попя1ия и ус1анОВим ('.Епе Оде10 Важное сВОЙстВО зп!оже('ТВВ из('- ченных нами вещественных чисел. 1. Полнота множества вещественнь(х чисел. Д(за ме(ожес:тва, для элементов каждого из которых определены правила сравнения, сложения и умножения, мы будем называть изол(ор()зч ны«ни друг другу отиос нтельно отпл(ж пИзнпл,, если между элезнзнтймп этих хплО:к('.с1В хивино зч;тае10Вить ВзиимнО ОлнОзначнОО соответствие ) так, что ес пл элементам а, и 6 первого множества ' ) Способ введения веслественных чисел с помо(пью се (епий принадлежит пемепкому хсвтематику 1'.
(едекинду 11831 — 1916). Этот способ изложен, например, в гч. 1 книги Ф. Франклина «Математический анализ» или в гл. 1 кшлги Г.М. Фихтенгольпа «Основы математического анализа». ) Этот способ введения веппствеппых паол пропадлежит Г. Кантору. Его изложение можно найти в книге В.В. 11емыцког(Ь )(1.И. Слудской и А.Н. Чоркасова «Курс математич( ского анализа», том 1. гл. 2. з) По ново;(у взаимно однозначного соответствия ме>кс(у злементами:(вух множеств гм. Сноску ) на с.
91. 1( длльвкйшкк вязвитик ткокии вкщкотвкинык чискл йЗЗ сооз в()тств) к)т э. 1(()тенты а' и Ь' второго множества, то: 1) э)н м(титы а' и Ь' связаны тем >ке знаком (). ( или =), что и элементы а и Ь: 2) элементу а+ 6 соответствует элемент а.' + Ь', 3) элементу а.. Ь соответствует элемент а'. Ь'. Аналогично можно было бы говорить пе о правилах сравнс.
ння, сложения н умно>кения, а о каких-.либо других правилах, характеризующих соотношения между элем(тнтаыи, и ввести понятие множеств, изоморфных друг другу относительно указанных правил. Примером двух множеств. Изоморфных друг другу относительно правил ('.равнения, сложения и умногкнния. могут смужить многксство рациональных чисел. введенных в виде отношения целых чисел. с правилами сравнения, сею>кения и умножения, указанными в сносках на с.
38. и мно>ке(ггво рациональных чисел, записанных в виде бесконе шых десятичных дробей., с Обычныхти правилами сравнения, (тожепия и )мтп)>кения в()в ПСС)СТВС',ННЫХ ЧИСЕЛ. Рассмотрим более внимательно двя множества: множество всех рациональных чисел и множество всех ветцественных чисел.
Для каждого пз этих множеств определены прави.ла сравнения, сложения и умно>кения и справедливы 13 основных свойств. ВЫ('СТЕ С Т('.Ы ЯСНО, '1ТО МНО>КС',СТВО Вс(!Х ВЕПСССТВЕНПЫХ 'ПИ:С'.Л ЯВ- ляется более «широкимтз чем множество всех рациональных чисел, ибо в т(елолс множество всех: вет()естпвенньсса чисел не изомо1)(1)на отпносинсельна П1жгисл, С1х)анен(слз сложЕнил, тс Улсножетсия лпикжестпву всех рацио)гальньсх чисел ), тсо в лтожсстве ветиестпвенттьсх чисел, лсожно вт>сс)елтсть састть т)ломо1я))нун) отп; ностгтельно укизситньсх правил.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
