Eylerlarning aylanish teoremasi - Eulers rotation theorem - Wikipedia

Eyler o'qi va burchagi bilan ifodalangan aylanish.

Yilda geometriya, Eylerning aylanish teoremasi ning ta'kidlashicha, yilda uch o'lchovli bo'shliq, a ning har qanday siljishi qattiq tanasi qattiq jismdagi nuqta sobit turishi uchun, ba'zi o'qlar atrofida bitta aylanishga teng bo'ladi sobit nuqta. Bundan tashqari, bu ikki aylanishning tarkibi ham aylanish ekanligini anglatadi. Shuning uchun aylanishlar to'plami a deb nomlanuvchi guruh tuzilishiga ega aylanish guruhi.

Teorema nomlangan Leonhard Eyler, buni 1775 yilda kim tomonidan isbotlangan sferik geometriya. Aylanish o'qi an deb nomlanadi Eyler o'qi, odatda a bilan ifodalanadi birlik vektori ê. Uning burilish burchagi bo'yicha mahsuloti an deb nomlanadi eksa-burchak vektori. Teoremaning kengaytirilganligi kinematik tushunchasini beradi lahzali aylanish o'qi, belgilangan nuqtalar chizig'i.

Lineer algebra atamalarida, teorema, 3D kosmosda istalgan ikkitasini ta'kidlaydi Dekart koordinata tizimlari umumiy kelib chiqishi bilan bir xil sobit o'q atrofida aylanish bilan bog'liq. Bu shuni anglatadiki, ikkita aylanma matritsaning ko'paytmasi yana aylanish matritsasi va noaniqlik uchun aylanish matritsasi bitta o'ziga xos qiymat $ 1 $, qolgan ikkitasi ham murakkab, yoki ikkalasi $ -1 $ ga teng. The xususiy vektor ushbu o'ziga xos qiymatga mos keladigan ikkita tizimni birlashtiruvchi aylanish o'qi.

Eyler teoremasi (1776)

Eyler teoremani quyidagicha bayon qiladi:[1]

Teorema.Quomodocunque sphaera circa centrum of conuertatur, diametri belgilanadigan diametri, to'g'ridan-to'g'ri in situ translato conueniat cum situ initialu.

yoki (ingliz tilida):

Sfera uning markazi atrofida harakatlanayotganda, har doim siljigan holatdagi yo'nalishi boshlang'ich pozitsiyasiga teng bo'lgan diametrni topish mumkin.

Shakl 1: Sfera ustidagi ko'k katta doira diametri bo'ylab aylanayotganda qizil katta doiraga aylanadi O.

Isbot

Evlerning asl isboti yordamida qilingan sferik geometriya va shuning uchun u uchburchaklar haqida gapirganda, ularni tushunish kerak sferik uchburchaklar.

Oldingi tahlil

Dalilga erishish uchun Eyler, agar teorema to'g'ri bo'lsa, vaziyat qanday bo'lishini tahlil qiladi. Shu maqsadda, sariq chiziq ichkariga kirdi deylik Shakl 1 sharning markazidan o'tadi va biz qidirayotgan aylanish o'qi va ishora qiladi O bu o'qning shar bilan kesishgan ikkita nuqtasidan biridir. Keyin u o'z ichiga olmaydi o'zboshimchalik bilan katta doirani ko'rib chiqadi O (ko'k doira) va uning aylanishidan keyingi tasvir (qizil doira), bu boshqa katta doirani o'z ichiga olmaydi O. U kesishgan nuqtani nuqta sifatida belgilaydi A. (Agar doiralar bir-biriga to'g'ri keladigan bo'lsa, unda A ikkala tomonning har qanday nuqtasi sifatida qabul qilinishi mumkin; aks holda A kesishgan ikkita nuqtadan biridir.)

Shakl 2: Oldindan tasvirni bog'laydigan yoylar a va tasvir a ning A bisektor bilan AO ning burchagi A.

Endi A boshlang'ich doirada (ko'k doirada), shuning uchun uning tasviri ko'chirilgan doirada (qizil) bo'ladi. U ushbu tasvirni nuqta sifatida belgilaydi a. Beri A ko'chirilgan aylanada ham (qizil), bu boshlang'ich aylanada joylashgan boshqa bir nuqta tasviri (ko'k) va u quyidagi belgini qo'yadi a (qarang Shakl 2). Keyin u ikkita yoyni birlashishini ko'rib chiqadi a va a ga A. Ushbu yoylarning uzunligi bir xil, chunki yoy aA kamon ustiga tushirilgan Aa. Bundan tashqari, beri O bu sobit nuqta, uchburchak aOA uchburchakda tasvirlangan AOa, shuning uchun bu uchburchaklar tengsiz va yoydir AO ikkiga bo'linish burchagi aAa.

Shakl 3: O boradi O ′, lekin O ′ bilan mos kelishi kerak O.

Eng yaxshi nomzodlar punktini qurish

Oldingi mulohazalar yordamida o'zgarmas bo'lishi mumkin bo'lgan nuqta tuzamiz. Biz ko'k rangdagi katta doiradan va uning o'zgarishi ostidagi tasviridan boshlaymiz, ya'ni qizil kabi katta doira Shakl 1. Ishora qilaylik A ushbu doiralarning kesishish nuqtasi bo'ling. Agar ATransformatsiya ostidagi tasvir o'sha nuqtani anglatadi A bu transformatsiyaning sobit nuqtasidir va markaz ham sobit nuqta bo'lgani uchun sharning diametri ham o'z ichiga oladi A aylanish o'qi va teorema isbotlangan.

Aks holda biz etiketlaymiz ANing tasviri a va uning ustunligi ava ushbu ikkita nuqtani ulang A yoy bilan aA va Aa. Ushbu yoylarning uzunligi bir xil. Parchalanadigan katta doirani yarating aAa va nuqtani toping O bu katta doirada shunday yoylar AO va aO bir xil uzunlikka ega va o'z ichiga olgan shar mintaqasini chaqiring O va ichki qismi ko'k va qizil katta doiralar bilan chegaralangan aAa. (Ya'ni, sariq mintaqa Shakl 3.) Keyin aA = Aa va O ning bissektrisasida joylashgan aAa, bizda ham bor aO = aO.

Uning o'zgarishi ostida o'zgarmasligini isbotlash

Keling, buni taxmin qilaylik O ′ ning tasviri O. Keyin bilamiz aAO = ∠AaO ′ va yo'nalish saqlanib qoladi,[a] shunday O ′ ichki bo'lishi kerak aAa. Endi AO ga aylantirildi aO ′, shuning uchun AO = aO ′. Beri AO uzunligi ham bir xil aO, AaO = ∠aAO. Ammo aAO = ∠AaO ′, shuning uchun AaO = ∠AaO ′ va shuning uchun O ′ bilan bir xil nuqta O. Boshqa so'zlar bilan aytganda, O bu transformatsiyaning sobit nuqtasidir va markaz sobit nuqta bo'lgani uchun sharning diametri ham o'z ichiga oladi O aylanish o'qi.

Qurilish haqida yakuniy eslatmalar

Eylerning asl chizmasi

Eyler ham buni ta'kidlamoqda O ning perpendikulyar bissektrisasini kesishgan holda topish mumkin Aa ning burchak bissektrisasi bilan aAO, Amalda osonroq bo'lishi mumkin bo'lgan qurilish. Shuningdek, u ikkita samolyotning kesishishini taklif qildi:

  • burchakning simmetriya tekisligi aAa (bu markazdan o'tadi C sohaning), va
  • yoyning simmetriya tekisligi Aa (u ham o'tadi C).
Taklif. Ushbu ikkita samolyot diametri bo'yicha kesishadi. Ushbu diametr biz qidirayotgan diametrdir.
Isbot. Qo'ng'iroq qilaylik O sharning yuzasida ushbu diametrning so'nggi nuqtalaridan ikkitasi (ikkitasi bor). Beri aA xaritada joylashgan Aa va uchburchaklar bir xil burchakka ega, demak, uchburchak OAA uchburchakka ko'chiriladi OAa. Shuning uchun nuqta O harakat ostida sobit turishi kerak.
Xulosa. Bu shuningdek, sharning aylanishini yuqorida tavsiflangan ikkita tekislik haqida ketma-ket ikkita aks ettirish sifatida ko'rish mumkinligini ko'rsatadi. Oyna tekisligidagi nuqtalar aks ettirishda o'zgarmasdir va shuning uchun ularning kesishish nuqtalari (chiziq: aylanish o'qi) ikkala ko'zgu ostida o'zgarmas va shuning uchun aylanish ostida.

Aylanish o'qini topishning yana bir oddiy usuli - bu nuqta joylashgan tekislikni ko'rib chiqish a, A, a yolg'on. Aylanish o'qi bu tekislikka nisbatan aniq va markazdan o'tadi C sohaning

Qattiq jism uchun o'qni o'zgarmas qoldiradigan har qanday harakat aylanish ekanligini hisobga olsak, bu har qanday o'zboshimchalik bilan aylanish tarkibi yangi o'q atrofida bitta aylanishga teng ekanligini isbotlaydi.

Matritsali isbot

Fazoviy aylanish - bu a bilan bittadan yozishmalardagi chiziqli xarita 3 × 3 aylanish matritsasi R bu koordinatani o'zgartiradi vektor x ichiga X, anavi Rx = X. Shuning uchun Eyler teoremasining yana bir versiyasi - har bir aylanish uchun R, nolga teng bo'lmagan vektor mavjud n buning uchun Rn = n; bu aynan shu da'vo n bu xususiy vektor ning R bilan bog'liq o'ziga xos qiymat 1. Demak, 1 ning o'ziga xos qiymati ekanligini isbotlash kifoya R; ning aylanish o'qi R chiziq bo'ladi mn, qayerda n o'ziga xos vektor bo'lib, uning qiymati 1 ga teng.

Aylanish matritsasi asosiy xususiyatga ega, uning teskari tomoni uning transpozitsiyasidir, ya'ni

qayerda Men bo'ladi 3 × 3 identifikatsiya matritsasi va yuqori satr T ko'chirilgan matritsani bildiradi.

Aylanish matritsasi borligini aniqlash uchun ushbu munosabat determinantini hisoblang aniqlovchi ± 1. Jumladan,

+1 determinantli aylanish matritsasi to'g'ri aylanish, salbiy manfiy determinant bilan 1 esa an bo'ladi noto'g'ri aylanish, bu to'g'ri aylanish bilan birlashtirilgan aks.

Endi to'g'ri aylanish matritsasi ko'rsatiladi R kamida bitta o'zgarmas vektorga ega n, ya'ni, Rn = n. Chunki bu shuni talab qiladi (RMen)n = 0, biz vektorni ko'rayapmiz n bo'lishi kerak xususiy vektor matritsaning R o'ziga xos qiymat bilan λ = 1. Shunday qilib, bu shuni ko'rsatishga tengdir det (RMen) = 0.

Ikki aloqadan foydalaning

har qanday kishi uchun 3 × 3 matritsa A va

(beri det (R) = 1) hisoblash

Bu shuni ko'rsatadiki λ = 1 ning ildizi (eritmasi) xarakterli tenglama, anavi,

Boshqacha qilib aytganda, matritsa RMen birlik va nolga teng emas yadro, ya'ni hech bo'lmaganda bitta nolga teng bo'lmagan vektor mavjud n, buning uchun

Chiziq mn haqiqatdan m ostida o'zgarmasdir R, ya'ni, mn aylanish o'qi. Bu Eyler teoremasini tasdiqlaydi.

Ortogonal matritsaning aylanish matritsasiga ekvivalenti

Ikkita matritsa (chiziqli xaritalarni ifodalovchi) agar mavjud bo'lsa, ularga teng deyiladi asosning o'zgarishi bu birini boshqasiga tenglashtiradi. To'g'ri ortogonal matritsa har doim quyidagi matritsaga yoki uning vertikal aksiga teng (shu ma'noda):

Keyinchalik, har qanday ortogonal matritsa yoki aylanish yoki an bo'ladi noto'g'ri aylanish. Umumiy ortogonal matritsa faqat bitta haqiqiy qiymatga ega, yoki +1 yoki -1. +1 bo'lsa, matritsa aylanish bo'ladi. $ -1 $ bo'lsa, matritsa noto'g'ri aylanishdir.

Agar R unda bir nechta o'zgarmas vektor mavjud φ = 0 va R = Men. Har qanday vektor - ning o'zgarmas vektori Men.

Matritsa nazariyasiga ekskursiya

Oldingi tenglamani isbotlash uchun matritsa nazariyasidagi ba'zi faktlarni esga olish kerak.

An m × m matritsa A bor m ortogonal xos vektorlar va agar shunday bo'lsa A bu normal, agar bo'lsa AA = AA.[b] Ushbu natija odatdagi matritsalarni diagonali shaklga unitar o'xshashlik konvertatsiyasi orqali olib kelishini aytishga tengdir:

va U unitar, ya'ni

O'ziga xos qiymatlar a1, ..., am xarakterli tenglamaning ildizlari. Agar matritsa A keyin unitar bo'ladi (va unitar matritsalar normal ekanligini unutmang), keyin

va unitar matritsaning o'ziga xos qiymatlari murakkab tekislikdagi birlik doirada ekanligi kelib chiqadi:

Shuningdek, ortogonal (haqiqiy unitar) matritsa kompleks tekislikdagi birlik aylanasida o'ziga xos qiymatlarga ega. Bundan tashqari, uning xarakterli tenglamasidan beri (an mtartibda polinom λ) haqiqiy koeffitsientlarga ega, demak uning ildizlari murakkab konjugat juftlarida paydo bo'ladi, ya'ni agar a bu ildizdir, demak shunday bo'ladi a. 3 ta ildiz mavjud, shuning uchun ulardan kamida bittasi haqiqiy bo'lishi kerak (+1 yoki -1).

Ushbu umumiy faktlarni matritsa nazariyasidan eslab bo'lgach, biz aylanish matritsasiga qaytamiz R. Uning haqiqiyligi va ortogonalligidan kelib chiqadiki, biz a U shu kabi:

Agar matritsa U topilishi mumkin, bu yuqoridagi shaklni beradi va faqat bitta haqiqiy komponent mavjud va u $ -1 $ bo'lsa, biz $ R $ noto'g'ri aylanish deb belgilaymiz. Keling, faqat to'g'ri aylanishlar bo'lgan matritsalar R ning holatini ko'rib chiqamiz (uchinchi shaxsiy qiymat atigi 1 ga teng). Uchinchi ustun 3 × 3 matritsa U keyin o'zgarmas vektorga teng bo'ladi n. Yozish siz1 va siz2 ning dastlabki ikki ustuni uchun U, bu tenglama beradi

Agar siz1 o'z qiymatiga ega 1, keyin φ = 0 va siz2 shuningdek, o'ziga xos qiymat 1 ga ega, bu esa buni anglatadi R = E.

Va nihoyat, matritsa tenglamasi unitar matritsa yordamida o'zgartiriladi,

qaysi beradi

Ning ustunlari U ortonormal. Uchinchi ustun hali ham n, qolgan ikkita ustun perpendikulyar n. Noto'g'ri aylanish haqidagi ta'rifimiz geometrik talqin bilan qanday mos kelishini endi ko'rishimiz mumkin: noto'g'ri aylanish - bu o'q atrofida aylanish (bu erda, uchinchi koordinataga to'g'ri keladigan o'q) va shu o'qga perpendikulyar bo'lgan tekislikdagi aks. Agar biz o'zimizni faqat 1 determinantli matritsalar bilan cheklasak, shunda ularning to'g'ri aylanishi kerakligini ko'rishimiz mumkin. Ushbu natija har qanday ortogonal matritsani nazarda tutadi R to'g'ri burilishga mos keladigan, burchak ostida burilishga tengdir φ eksa atrofida n.

Ekvivalentlik darslari

The iz Yuqorida keltirilgan haqiqiy aylanish matritsasining (diagonal elementlarning yig'indisi) 1 + 2 cos φ. Ortogonal matritsaning o'xshashligi o'zgarishi ostida iz o'zgarmas bo'lgani uchun,

shunga teng keladigan barcha matritsalar kelib chiqadi R Bunday ortogonal matritsali transformatsiyalar bir xil izga ega: iz a sinf funktsiyasi. Ushbu matritsaning o'zgarishi aniq an ekvivalentlik munosabati, ya'ni barcha shunga o'xshash matritsalar ekvivalentlik sinfini tashkil qiladi.

Aslida, barcha to'g'ri aylanish 3 × 3 aylanish matritsalari a hosil qiladi guruh, odatda SO (3) bilan belgilanadi (3 o'lchamdagi maxsus ortogonal guruh) va izlari bir xil bo'lgan barcha matritsalar ushbu guruhda ekvivalentlik sinfini tashkil qiladi. Bunday ekvivalentlik sinfining barcha elementlari ularning burilish burchagini baham ko'ring, lekin barcha aylanishlar turli xil o'qlar atrofida. Agar n ning xususiy vektoridir R 1-qiymat bilan, keyin An ning o'ziga xos vektoridir ARAT, shuningdek, o'ziga xos qiymat bilan 1. Magar A = Men, n va An boshqacha.

Ilovalar

Qaytish generatorlari

Aytish o'qini birlik vektori bilan belgilaymiz deylik [x, y, z], va bizda bor deylik cheksiz kichik aylanish burchak Δθ bu vektor haqida. Aylanish matritsasini cheksiz qo'shimcha sifatida kengaytirish va birinchi tartibli yondashuvni aylantirish matritsasini olish ΔR quyidagicha ifodalanadi:

Burchak orqali cheklangan aylanish θ ushbu o'q atrofida bir xil o'q atrofida kichik aylanishlarning ketma-ketligi sifatida qaralishi mumkin. Yaqinlashmoqda Δθ kabi θ/N qayerda N katta raqam, ning aylanishi θ o'qi quyidagicha ifodalanishi mumkin:

Ko'rinib turibdiki, Eyler teoremasi asosan buni ta'kidlaydi barchasi rotatsiyalar ushbu shaklda ifodalanishi mumkin. Mahsulot Aθ vektor bo'lib, ma'lum bir aylanishning "generatori" dir (x,y,z) matritsa bilan bog'liq A. Bu aylanish matritsasi va eksa - burchak format eksponent funktsiya bilan bog'liq.

Jenerator uchun oddiy iborani olish mumkin G. U perpendikulyar birlik vektorlari jufti tomonidan aniqlangan o'zboshimchalik tekisligidan boshlanadi (Evklid fazosida). a va b. Ushbu tekislikda ixtiyoriy vektorni tanlash mumkin x perpendikulyar bilan y. Ulardan biri hal qiladi y xususida x va tekislikdagi aylanish uchun ifodani almashtirish aylanish matritsasini beradi R generatorni o'z ichiga oladi G = baTabT.


Samolyotdan tashqaridagi vektorlarni aylanishga kiritish uchun yuqoridagi ifodani o'zgartirish kerak R ikkitasini qo'shish orqali proektsion operatorlar bu bo'shliqni ajratish. Ushbu o'zgartirilgan aylanish matritsasini an shaklida qayta yozish mumkin eksponent funktsiya.

To'liq aylanish matritsasidan ko'ra, ushbu generatorlar nuqtai nazaridan tahlil qilish ko'pincha osonroq bo'ladi. Jeneratorlar nuqtai nazaridan tahlil qilish deb nomlanadi Yolg'on algebra aylanish guruhining.

Kvaternionlar

Eyler teoremasidan kelib chiqadiki, har qanday juft koordinata tizimining nisbiy yo'nalishi uchta mustaqil sonlar to'plami bilan belgilanishi mumkin. Ba'zan kvaternion algebra bilan operatsiyalarni soddalashtirish uchun ortiqcha to'rtinchi raqam qo'shiladi. Ushbu sonlarning uchtasi xususiy vektorni yo'naltiruvchi kosinuslardir. To'rtinchisi, ikkita vektor koordinatalarini ajratib turadigan xususiy vektorga nisbatan burchak. Bunday to'rtta raqamlar to'plami a deb nomlanadi kvaternion.

Yuqorida tavsiflangan kvaternion o'z ichiga olmaydi murakkab sonlar, agar ketma-ket ikkita aylanishni tavsiflash uchun quaternionlardan foydalanilsa, ularni kommutativ bo'lmagan yordamida birlashtirish kerak kvaternion tomonidan olingan algebra Uilyam Rovan Xemilton xayoliy raqamlardan foydalanish orqali.

Quaternions orqali rotatsiyani hisoblash, foydalanish o'rniga kelgan yo'nalish kosinuslari kerakli hisob-kitoblarni qisqartirish va ularni minimallashtirish qobiliyatlari orqali aerokosmik dasturlarda yumaloq xatolar. Shuningdek, kompyuter grafikasi quaternionlar orasidagi sferik interpolatsiyani nisbatan osonlik bilan bajarish qobiliyati juda muhimdir.

Umumlashtirish

Yuqori o'lchamlarda, o'lchamdagi nuqtani saqlaydigan har qanday qattiq harakat 2n yoki 2n + 1 eng ko'p tarkib topgan n ortogonal ravishda aylanishlar aylanish tekisliklari, ammo bu samolyotlarni noyob tarzda aniqlash kerak emas va qat'iy harakat bir nechta o'qlarni tuzatishi mumkin.

Vida harakati.

Nuqtani to'g'rilamaydigan uchta o'lchamdagi qattiq harakat "vida harakati" dir. Buning sababi shundaki, eksa perpendikulyar tarjima bilan aylanishning tarkibi parallel o'q atrofida aylanishdir, aksincha tarjima bilan o'qqa parallel ravishda burama harakat hosil bo'ladi; qarang vida o'qi. Bu sabab bo'ladi vida nazariyasi.

Shuningdek qarang

Izohlar

  1. ^ Yo'nalish shu ma'noda saqlanib qoladi, agar aA atrofida aylantiriladi A bilan tekislash uchun soat sohasi farqli o'laroq Oa, keyin Aa atrofida aylantirilishi kerak a bilan tekislash uchun soat sohasi farqli o'laroq O′a. Xuddi shunday aylantirishlar soat yo'nalishi bo'yicha bo'lsa.
  2. ^ Xanjar belgisi degan ma'noni anglatadi murakkab konjugatsiya keyin transpozitsiya. Haqiqiy matritsalar uchun murakkab konjugatsiya hech narsa qilmaydi va haqiqiy matritsani xanjar qilish uni ko'chirish bilan bir xildir.

Adabiyotlar

  1. ^ Novi Commentarii academiae Scientificiarum Petropolitanae 20, 1776, 189–207 betlar (E478)
Ushbu maqola quyidagi materiallarni o'z ichiga oladi Citizenium maqola "Eyler teoremasi (aylanish) "ostida litsenziyalangan Creative Commons Attribution-ShareAlike 3.0 Import qilinmagan litsenziyasi lekin ostida emas GFDL.
  • Eyler teoremasi va uning isboti ilovaning 24–26-bandlarida keltirilgan (Additamentum. 201-203-betlar) L. Eyleroning (Leonhard Eyler), Quacunque corporum rigidorum tomonidan tarjima qilingan formulalar (O'zboshimchalik bilan qattiq jismlarni tarjima qilishning umumiy formulalari), 1775 yil 9 oktyabrda Sankt-Peterburg akademiyasida taqdim etilgan va birinchi bo'lib nashr etilgan Novi Commentarii academiae Scientificiarum Petropolitanae 20, 1776, 189-207-betlar (E478) va qayta nashr etilgan Theoria motus corporum rigidorum, tahrir. nova, 1790, 449–460-betlar (E478a) va keyinchalik uning to'plangan asarlarida Opera Omnia, 2-seriya, jild 9, 84-98-betlar.
  • Palais, Bob; Palais, Richard; Rodi, Stiven (2009). "Aylanish o'qidagi Eyler teoremasiga yo'naltirilgan nuqtai nazar". Amerika matematik oyligi. 116 (10): 892–909. doi:10.4169 / 000298909x477014.

Tashqi havolalar