Ёй узунлиги. Эгрилик ва уни ҳисоблаш - Geometriya - Referatlar

Ёй узунлиги. Эгрилик ва уни ҳисоблаш

Yuklangan vaqt:

20.09.2019

Ko'chirishlar soni:

0

Hajmi:

519.5 KB

Ko'chirib olish

Ёй узунлиги. Эгрилик ва уни ҳисоблаш Агар cd a b , ( ,)  ва c d бўлса,  M нинг c d,  нуқталарга мос келувчи нуқталари билан чегараланган ёйи узунлиги тушунчасини киритамиз. Бунинг учун [ , ] a b кесмани n та қисмга ажратувчи 1 2 1     nt t t  нуқталарни олиб, уларнинг  M чизиқдаги образларини 1 2 1 , , nA A A  билан белгилайлик. Учлари 1 2 1 , , nA A A  нуқталарда бўлган синиқ чизиқни  M чизиққа ички чизилган синиқ чизиқ деб атаймиз. Агар M ни ўз ичига олувчи бирорта ёй учун унга ички чизилган синиқ чизиқлар узунликлари юқоридан текис чегараланган бўлса, γ эгри чизиқ M нуқта атрофида тўғриланувчи дейилади. Чизма-9 Теорема-11. Регуляр эгри чизиқ ўзига тегишли ҳар қандай нуқта атрофида тўғриланувчидир. Исбот. Элементар M  эгри чизиқ, tr r , b t a   тенглама билан берилган бўлсин ва параметрнинг M га мос келувчи қиймати 0 t учун    b a dc t , , 0   муносабат бажарилсин. Бу ерда, c d , M  га ички чизилган синиқ чизиқ Г нинг учлари 1 2 1     nt t t  нуқталарнинг образлари бўлиб, d t t t с n      1 2 1  бўлсин, қулайлик учун d t c t n  , 0 белгилашлар ни қабул қилиб, Г нинг узунлигини юқоридан баҳолайлик. Синиқ чизиқнинг 1 , i i t t нуқталарга мос келувчи кесмаси узун лиги    i i tr tr  1 тенг, синиқ чизиқ узунлиги          1 0 1 n i i i tr tr га тенг бўла ди, агар  C t r   бўлса,f(b)

           1 1 i i t t i i td t r tr tr ни ҳисобга олиб              1 0 1 1 0 1 ) ( ) ( ) ( ) ( n i i i n i i i c d C t t C tr tr ни ҳосил қиламиз. Бу ерда  C t r   тенгсизлик t r функциянинг  d c, да узлуксиз лигидан келиб чиқади. Демак, параметрнинг c ва d қийматларга мос келувчи нуқталар билан чегараланган ёйга ички чизилган ихтиёрий синиқ чизиқ узунлиги  c d C  сон билан чегараланган.  Энди эгри чизиқ ёйи узунлигини ҳисоблаш формуласини келтириб чиқарамиз.  M нинг c d,  нуқталарга мос келувчи нуқталарини M 1, 2 M билан белгилаб, 2 1М М  ёйнинг узунлиги сифатида бу ёйга ички чизилган синиқ чизиқлар узунликларининг юқори чегарасини қабул қиламиз . Юқоридаги теоремага кўра 2 1М М  ёй узунлиги чегараланган. Энди 0 ,0   бўлиб, Ã синиқ чизиқнинг узунлиги 2 1М М  ёй узунлигидан  га фарқ қилсин. Агар Ã нинг учлари d t t t с n      10 нуқталарнинг образлари бўлса,     i i t t 1 шарт бажарилсин деб талаб қиламиз. Лекин бу шарт бажарилмаса, Ã ни шундай синиқ чизиқ Г билан алмаштирамизки, Г нинг учлари ичида Ã нинг учлари ҳам бор, лекин Г учлари прообразлари учун     i i t t 1 тенгсизлик бажарилади. Г нинг узунлиги Ã узунлигидан кичик бўлмаганлиги учун унинг узунлиги ҳам 2 1М М  узунлигидан  дан кичик сонга фарқ қилади. Демак, берилган 0 ,0   сонлар учун Ã узунлиги 2 1М М  ёй узунлигидан  дан кичик сонга фарқ қилади ва     i i t t 1 муносабат бажарилади деб фараз қилишимиз умумийликни чегараламайди. Энди Ã узунлигининг          1 0 1 n i i i tr tr га тенглигини ҳисобга олиб,                                     d c n i i i i d c n i i i t d t r t r t t t d t r t r t r 1 0 1 1 0 1                         1 0 1 1 0 1 n i i i i n i i i t r t t tr tr тенгликни ёзиб, унинг ҳадларини 0  да баҳолаймиз. Бу тенгликнинг ўнг тарафидаги иккинчи ҳад интеграл таърифига кўра 0  да нолга интилади. Учинчи ҳад учун эса                                      1 0 1 0 1 0 1 1 0 1 1 1 n i i t t n i t t n i i i i n i i i dt t r dtt r t r t t tr tr i i i i тенгликни ҳисобга олсак,

                            1 0 1 0 1 1 0 1 1 ) ( ) ( n i t t i n i i i i n i i i i i dt t r t r t r t t t r t rтенгсизликни ҳосил қиламиз. Бу тенгсизликнинг ўнг тарафи t r узлуксиз бўлганлиги учун 0  да нолга интилади. Шундай қилиб,     d c dt t r интеграл синиқ чизиқ Ã узунлигидан берилган ихтиёрий сондан кичик сонга фарқ қилади. Ã узунлиги эса 2 1М М  ёй узунликдан  дан кичик сонга фарқ қилади. Берилган  нинг ихтиёрий танланганлигидан 2 1М М  ёй узунлиги    d c dt t r интегралга тенглиги келиб чиқади. Шундай қилиб, агар  M эгри чизиқ,           t z z b t a t y y t x x параметрик тенгламалар ёрдамида берилса, 2 1М М  ёй узунлиги     d c td z y x 2 2 2 формула бўйича ҳисобланади. Агар  M эгри чизиқ OXY текисликда  x f y функциянинг графиги бўлса, 2 1М М  ёй узунлиги     d c xd x f2 1 га тенгдир. Ёй узунлигини эгри чизиқни параметрлаш учун ҳам ишлатиш мумкин. Агар  b a t t , ,0  бўлса, M   нинг t0 ва t га мос келувчи нуқталари билан чегараланган ёй узунлигини ) (t s билан белгилаб, . ,0 )( , ),( )( , ),( )( 0 0 0 t t t t t ts t t t ts t          қоида бўйича t  функциясини аниқласак, бу функция монотон ўсувчи функция бўлади. Чунки унинг ҳосиласи t r га тенг ва демак, ҳар доим нолдан катта. Агар t  га тескари функцияни   t t билан белгиласак ва tr r да t ўрнига қўйсак,          tr r тенгликни оламиз. Ҳосил бўлган тенглама  M нинг табиий параметр ёрдамида аниқланган тенгламаси,  эса табиий параметр дейилади.

Табиий параметрнинг муҳимлиги шундан иборатки, уринма вектор узунлиги ҳар доим бирга тенгдир. Ҳақиқатдан ҳам,, )( 1 ) ( . .              r r t r t r    ва    ( ) .1 Бундан кейин,  . белги   нинг табиий параметр бўйича ҳосиласини билдиради. Табиий параметрини эса s билан белгилаймиз. Эгри чизиқ эгрилиги ва уни ҳисоблаш Бизга регуляр  –эгри чизиқ ва M унга тегишли нуқта берилган бўлсин. Берилган M нуқтадаги эгрилик тушунчасини киритиб, уни ҳисоблаш формуласини келтириб чиқарамиз. Бунинг учун  – эгри чизиқда M га яқин бўлган N нуқтани олиб, бу нуқталардан ўтувчи уринмалар орасидаги бурчакни  билан, MN  ёй узунлигини S билан белгилайлик. Равшанки, N нуқта M га интилганда   ва S миқдорлар нолга интилади. Аммо    S ифода нимага интили шини олдиндан айта олмаймиз. Таъриф. Чизиқдаги N нуқта M га интилганда s  ифоданинг лимити мавжуд бўлса, у  чизиқнинг M нуқтадаги эгрилиги деб аталади. Теорема-12: Икки марта дифференциалланувчи регуляр эгри чизиқ учун S k N M      lim мавжуд. Агар  чизиқ sr r тенглама билан табиий параметр ёрдамида берилган бўлса, ) (0s r k    тенглик ўринлидир. Бу ерда 0s табиий параметрнинг M га мос келувчи кийматдир.

Чизма-10 Чизма-11 Исбот. Фараз қилайлик,  эгри чизиқ sr r тенглама билан табиий параметр ёрдамида берилган,  sr ,  s sr  векторлар мос равишда M ва N нуқталарнинг радиус векторлари бўлсин. Шунда  бурчак    s r ва  s s r   векторлар орасидаги бурчакка тенг. Шунинг учун     2 2 . .     Sin s r s s r     . Бу тенгликдан,     s Sin s Sin s sr s sr                2 2 2 2 . .     келиб чиқади. Бу тенгликда 0  s да лимитга ўтсак,   s r k ..  ни ҳосил қиламиз.  Энди ихтиёрий параметр учун эгриликни ҳисоблаш формуласини келтириб чиқарамиз. Бунинг учун s r r   тенгликда s ни t нинг функцияси сифатида қараб, иккала томонини t бўйича дифференциал лайлик. Шунда sr r    ни ҳосил қиламиз. Демак, r r r      . . Энди бу тенгликни t бўйича дифференциаллай миз ва   2 ) ,( , r r r r r rr sr               ни ҳосил қиламиз. Бу тенгликни иккала томонини s га бўлиб   r r r r r r r               , ни оламиз. Энди иккала томонини квадратга ошириб,   6 2 2 2 2 , r r r r r k            тенгликни ҳосил қиламиз. Бундан эса   3 , r r r k     келиб чиқади.   2 , r r r r       ни ҳисобга олиб ва   232 , r r r k     кўринишда ёзиб ихтиёрий параметр учун эгриликни ҳисоблаш формуласини оламиз. Агар      , , , tz ty tx tr  бўлса, формула

 232 2 2 2 2 2 z y x y x y x x z x z z y z y k            кўринишига келади. Агар  эгри чизиқ y f x  ( ) функцияни графиги бўлса, эгрилик формуласи  232 1 f f k     кўринишга келади. Энди, ҳамма нуқталарида эгрилиги нолга тенг бўладиган чизиқларни топайлик. Икки марта дифференциалланувчи эгри чизиқ табиий пара метр ёрдамида ) (s r r тенглама ёрдамида берилган бўлса, унинг эгрили ги формула s r k   бўйича ҳисобланади. Агар k 0 бўлса,   0  s r бўлади. Демак,   0  s r ва  b sa sr   бўлиб, b a, –ўзгар мас вектор лардир. Демак, эгри чизиқнинг ҳамма нуқталарида эгрилиги нолга тенг бўлса, у ёки тўғри чизиқ, ёки тўғри чизиқнинг очиқ кесмасидир. Албатта, бу тасдиқнинг тескариси ҳам тўғридир (исботланг).

O'xshashlar

Буралиш ва уни ҳисоблаш формулалари. Френе формулалари

Нормал эгрилик ва Менье теоремаси

Геодезик чизиқлар. Гаусс-Бонне теоремаси

Сиртнинг биринчи квадратик формаси

Сиртларни ёйиш