Pereiti prie turinio

Matematika/Evoliutė ir evolventė

Iš Wikibooks.

Spindulys ir apskritimas kreivio. Centras kreivio. Evoliutė ir evolventė

[keisti]
Vaizdas:Kreivispav145.jpg
145 pav.
Apibrėžimas. Dydis R, priešingas kreiviui K linijos duotame taške M, vadinasi kreivio spinduliu šitos linijos nagrinėjamame taške:
arba
Nubrėžkime iš taško M normalę kreivės (145 pav.), nukreiptą į kreivės įlenkimo pusę, ir atidėsime ant šitos normalės atkarpą MC, lygią spinduliui R kreivio kreivės taške M. Taškas C vadinasi kreivio centru duotos kreivės taške M, apskritimas spindulio R su centru taške C (pereinantis per tašką M) vadinasi apskritimu kreivio duotos kreivės taške M.
Iš apibrėžimo apskritimo kreivio seka, kad duotame taške kreivis kreivės ir kreivis apskritimo lygūs tarpusavyje.
Įvesime formules, nustatančias centro koordinates kreivio.
Tegu kreivė užrašyta lygtimi
Vaizdas:Kreivispav146.jpg
146 pav.
Užfiksuosime ant kreivės tašką M(x; y) ir nustatysime koordinates ir kreivio centro, atitinkančias šitam taškui (146 pav.). Tam užrašysime lygtį normalės kreivės taške M:
(Čia X ir Y - dabartinės koordinatės normalės taško.)
(Paaiškinimui, paimkime, kreivės tašką tada kreivės normalės lygtis tame taške atrodys taip:
arba, kas visiškai tas pats (), taip:
toliau mums reikia tik tų kreivės normalės taškų, kurie yra kreivio centrai, tai yra , todėl kreivės normalės lygtį apribojame sąlyga ir , todėl užrašome:
ta sąlyga yra
toliau bus pažymėta, kad , ; .)
Kadangi taškas guli ant normalės, tai jo koordintės turi tenkinti lygčiai (4):
Toliau, taškas randasi nuo taško M(x; y) atstumu, lygiu kreivio spinduliui R:
Sprendžiant kartu lygtis (5) ir (6), nustatysime ir :
iš čia
()
o kadangi tai
Kad išspręsti klausimą apie tai, viršutinius ar apatinius ženklus reikia imti paskutiniuose formulėse, reikia panagrinėti atvėjį ir atvejį . Jeigu , tai šitame taške kreivė įgaubta ir, iš to seka, (146 pav.) ir todėl reikia imti apatinius ženklus. Atsižvelgiant, kad šituo atveju , formulės centro koordinačių bus:
Analogišku budu galima parodyti, kad formulės (7) bus teisingos ir atveju .
Jeigu kreivė užrašyta parametrinėmis lygtimis
tai centro koordinates lengva gauti iš formulių (7), įstačius į jas vietoje ir jų išraiškas per parametrą
Tada
Jeigu taške duotos linijos kreivis nėra nulis, tai šitam taškui atitinka tam tikras kreivio centras . Visuma visų kreivio centrų duotos linijos sudaro tam tikrą naują liniją, vadinama evoliute atžvilgiu pirmos.
Tokiu budu, geometrinė vieta koordinačių centrų duotos linijos vadinasi jos evoliute. Atžvilgiu savo evoliutės duota linija vadinasi evolvente arba involiute.
Jeigu duota kreivė tai lygtis (7) galima nagrinėti kaip parametrines lygtis evoliutės su parametru x. Eliminavę iš šitų lygčių parametrą x (jeigu tai įmanoma), gausime betarpišką priklausomybę tarp dabartinių koordinačių evoliutės ir . Jeigu gi kreivė užrašyta parametrinėmis lygtimis tai lygtys (7') duoda parametrines lygtis evoliutės (kadangi dydžiai , , , , , yra funkcijos nuo t).


Polinėse koordinatėse kreivio centro koordinatės arba kitaip evoliutės koordinatės, priklausančios nuo polinio kampo kai yra tokios:
Šios kreivio centro koordinatės atitinka kreivės tašką kuris savo ruožtu atitinka ir polines koordinates.
Šitos formulės gali būti užrašytos taip:
čia R apskaičiuojamas pagal (1) formulę (R=1/K). Pavyzdžiui, polinėse koordinatėse


Pavyzdžiai

[keisti]
Vaizdas:Kreivispav147.jpg
147 pav.
  • Nustatyti krevio centro koordinates parabolės
a) laisvai pasirenktame taške M(x; y); b) taške ; c) taške
Sprendimas. Įstatant reikšmes ir į formules (7), gausime (147 pav.):
a)
b) kai randame:
c) kai turime:
Vaizdas:Kreivispav148.jpg
148 pav.
  • Rasti lygtį evoliutės parabolės
Sprendimas. Pagrindu pirmo pavyzdžio turime bet kokiam taškui (x; y) parabolės:
Eliminuojant iš šitų lygčių parametrą x, gausime:
Tai - lygtis pusiaukubinės parabolės (148 pav.).


  • Rasti lygtį evoliutės elipsės, užrašytos parametrinėmis lygtimis:
Sprendimas. Apskaičiuojame išvestines nuo x ir y per t:
Įstatant išraiškas išvestinių į formules (7'), gausime:
Vaizdas:Kreivispav149.jpg
149 pav.
Eliminavę parametrą t, gauname lygtį evoliutės elipsės pavidalu
arba
Čia ir - dabartinės koordinatės evoliutės (149 pav.). ( yra x kordinatė, yra y koordinatė; yra funkcija nuo ).
Vaizdas:Kreivispav150.jpg
150 pav.
  • Rasti parametrines lygtis evoliutės cikloidės
Sprendimas.
Įstačius gautas išraiškas į formulę (7'), randame:
Padarysime perdarymus kintamųjų, nustatę
tada lygtys evoliutės atrodys taip
jos nustato koordinatėse , cikloidę su tuo pačiu išvestu apskritimu spindulio a. Tokiu budu, evoliute cikloidės yra tokia pati cikloidė, bet perstumta per ašį Ox dydžiu - ir per ašį Oy dydžiu - (150 pav.).

Evoliutės savybės

[keisti]
Teorema 1. Duotosios kreivės normalė yra jos evoliutės liestinė.
Įrodymas. Kampinis koeficientas liestinės evoliutės, nustatytos parametrinėmis lygtimis (7') praeito skyriaus, lygus
Pastebėsime, kad [pagrindu tų pačių lygčių (7')]
gauname santykį
Bet yra kampinis koeficientas kreivės liestinės atitinamame taške, todėl iš gauto santykio seka, kad kreivės liestinė ir jos evoliutės liestinė atitinkamame taške tarpusavyje statmenos, t. y. kreivės normalė yra evoliutės liestinė.
Teorema 2. Jeigu kai kurioje srityje kreivės spindulys kreivio kinta monotoniškai (t. y. arba tik didėja, arba tik mažėja), tai evoliutės lanko ilgio prieaugis šitoje srityje kreivės lygus (absoliučiu dydžiu) atitinkančiam prieaugiui kreivio spindulio duotosios kreivės.
Įrodymas. Pagrindu formulės [] (2') turime:
kur ds - diferencialas evoliutės lanko ilgio; iš čia
Įstatant čia išraiškas (1) ir (2), gausime:
Rasime, toliau, Kadangi
tai
Diferencijuodami per x abi dalis šitos lygybės, gausime po to atitinkančius virsmus
arba
Dalindami abi lygybės dalis iš gausime:
Pakėlę kvadratu, gausime:
Lygyndami lygybes (3) ir (4), randame:
iš kur
Vaizdas:Kreivispav151deltas.jpg
151 pav.
Pagal sąlyga nekeičia ženklo (R tiktai didėja arba tiktai mažėja), todėl, ir nekeičia ženklo. Priimsime nustatymui (kas atitinka 151 pav.). Todėl,

Tegu taškas turi abscisę , o taškas - abscisę . Pritaikysime teoremą Koši funkcijoms s(x) ir R(x) atkarpoje :
kur - skaičius, esantis tarp ir ().
Įvesime reikšmes (151 pav.):
Tada
arba Bet tai reiškia, kad
Visiškai taip pat įrodoma šita lygybė ir didėjant kreivio spinduliui.
Mes įrodėme teorėmas 1 ir 2 tam atvejui, kada kreivė užrašyta lygtimi pavidalu
Jeigu kreivė užrašyta parametrinėmis lygtimis, tai šitos teoremos galioja, be to jų įrodymas vyksta visiškai analogiškai.
Vaizdas:Kreivispav152.jpg
152 pav.
Pastaba. Nurodysime sekantį paprastą mechaninį būdą sudarymo kreivės (evolventės) pagal jos evoliutę.
Tegu lanksti liniuotė sulenkta pagal formą evoliutės (152 pav.). Tarsime, kad neištempiamas siūlas, vienu galu pritvirtintas taške , gaubia šitą liniuotę. Jeigu mes šitą siulą dislokuosime, jį palikdami visą laiką įtemptu, tai galas (pabaiga) siulo apibūdins kreivę - evolventę. Iš čia ir išeina pavadinimas "evolventė" - išklotinė. Įrodymas to, kad gauta kreivė tikrai yra evolventė, gali būti įvykdytas remiantis nustatytomis aukščiau savybėmis evoliutės.
Pažymėsime, kad vienai evoliutei atitinka nesuskaičiuojama daugybė skirtingų evolvenčių (152 pav.).


Pavyzdžiai

[keisti]
Vaizdas:Kreivispav153.jpg
153 pav.
  • Tegu turime apskritimą spindulio a (153 pav.). Paimsime tą iš evolvenčių šito apskritimo, kuri pereina per tašką
Atsižvelgiant, kad lengva gauti lygtį evolventės apskritimo:
Pažymėsime, kad profilis danties dantuoto rato turi dažniausiai formą apskritimo evolventės.
Sprendimas.
Duotasis apskritimas su spinduliu a yra evoliutė, ieškomos evolventės. Apskritimo parametrinės lygtys:
Randame apskritimo liestinę taške :
Toliau randame apskritimo normalės lygtį:
Tokiu budu gavome apskritimo evolventės lygtį, kuri yra analogiška parametrinėms lygtims
Pavyzdžiui, kai , , turime:
Dėl tam tikrų priežasčių (galbūt x ir y laikymas kaip viena funkcija nuo kitos, o ne atvirkščiai):