Cevas teoremasi - Cevas theorem - Wikipedia

Ceva teoremasi, 1-holat: uchta chiziq ABC ichidagi O nuqtada bir vaqtda joylashgan
Ceva teoremasi, 2-holat: uchta chiziq ABC tashqarisidagi O nuqtada bir vaqtda joylashgan

Ceva teoremasi haqidagi teorema uchburchaklar yilda tekislik geometriyasi. Uchburchak berilgan ABC, chiziqlarga ruxsat bering AO, BO va CO tepaliklardan umumiy nuqtaga tortilishi kerak O (tomonlarning birida emas ABC), qarama-qarshi tomonlarni uchratish uchun D., E va F navbati bilan. (Segmentlar AD, BE, va CF sifatida tanilgan cevians.) So'ngra, segmentlarning imzolangan uzunliklaridan foydalanib,

Boshqacha qilib aytganda, uzunlik XY ga qarab ijobiy yoki salbiy deb qabul qilinadi X chapga yoki o'ngga Y chiziqning ba'zi bir yo'naltirilgan yo'nalishlarida. Masalan, AF/FB qachon ijobiy qiymatga ega ekanligi aniqlanadi F o'rtasida A va B aks holda salbiy.

Ceva teoremasi - bu teorema afin geometriyasi, u burchak, maydon va uzunlik tushunchalarini ishlatmasdan bayon qilinishi va isbotlanishi mumkin degan ma'noda (ikkala uzunlik nisbati bundan mustasno) chiziq segmentlari bu kollinear ). Shuning uchun har qanday uchburchaklar uchun to'g'ri keladi afin tekisligi har qanday narsadan maydon.

Biroz moslashtirilgan suhbatlashish ham to'g'ri: Agar ochkolar bo'lsa D., E va F tanlangan Miloddan avvalgi, AC va AB navbati bilan shunday

keyin Mil, BO'LING va CF bor bir vaqtda yoki uchalasi ham parallel. Aksincha, aksariyat hollarda teorema tarkibiga kiradi.

Teorema ko'pincha bog'liqdir Jovanni Ceva, uni 1678 yilda nashr etgan De lineis rektis. Ammo bu ancha oldin isbotlangan Yusuf al-Mu'taman ibn Hud, XI asr shohi Saragoza.[1]

Bu raqamlar bilan Ceva nomidan kelib chiqqan bir nechta atama mavjud: cevian (AD, BE, CF satrlari O ning javobidir), cevian uchburchagi (DEF uchburchagi - O ning cevian uchburchagi); cevian uyasi, antitsian uchburchagi, Ceva konjugati. (Ceva Chay'va deb talaffuz qilinadi; cevian chev'ian deb talaffuz qilinadi.)

Teorema juda o'xshash Menelaus teoremasi ularning tenglamalari faqat belgi bo'yicha farqlanishida.

Isbot

Teoremaning bir qancha dalillari keltirilgan.[2][3] Quyidagi ikkita dalil keltirilgan.

Birinchisi, juda oddiy, uchburchak maydonlarining faqat asosiy xususiyatlaridan foydalaniladi.[2] Biroq, nuqta pozitsiyasiga qarab, bir nechta holatlarni ko'rib chiqish kerak O.

Ikkinchi dalil foydalanadi baritsentrik koordinatalar va vektorlar, lekin biron bir tarzda tabiiyroq va vaziyatga bog'liq emas. Bundan tashqari, u har qandayida ishlaydi afin tekisligi har qanday narsadan maydon.

Uchburchak maydonlaridan foydalanish

Birinchidan, belgisi chap tomon ijobiy, chunki har uchala nisbat ham ijobiy, bu holda O uchburchak ichida joylashgan (yuqori diagramma), yoki bittasi musbat, qolgan ikkitasi esa manfiydir O uchburchakdan tashqarida (pastki diagrammada bitta holat ko'rsatilgan).

Kattaligini tekshirish uchun berilgan balandlikdagi uchburchakning maydoni uning asosiga mutanosib ekanligini unutmang. Shunday qilib

Shuning uchun,

(Agar minusni ortiqcha bilan almashtiring A va O ning qarama-qarshi tomonlarida joylashgan Miloddan avvalgi.) Xuddi shunday,

va

Ushbu uchta tenglamani ko'paytirish beradi

kerak bo'lganda.

Teorema Menelaus teoremasi yordamida osongina isbotlanishi mumkin.[4] Transversaldan BOE uchburchak ACF,

va transversaldan AOD uchburchak BCF,

Teorema quyidagi ikkita tenglamani ajratishdan iborat.

Buning teskari xulosasi quyidagicha.[2] Ruxsat bering D., E va F satrlarda berilgan Miloddan avvalgi, AC va AB shuning uchun tenglama bajariladi. Ruxsat bering Mil va BO'LING uchrashish O va ruxsat bering FWhere bu erda nuqta CO xochlar AB. Keyin teorema bo'yicha tenglama ham bajariladi D., E va F′. Ikkalasini taqqoslab,

Ammo ko'pi bilan bitta nuqta segmentni berilgan nisbatda kesishi mumkin F=F′.

Baritsentrik koordinatalardan foydalanish

Uch ochko berilgan A, B, C, bu emas kollinear va nuqta O, xuddi shu narsaga tegishli samolyot, baritsentrik koordinatalar ning O hurmat bilan A, B, C noyob uchta raqam shu kabi

va

har bir nuqta uchun X (ushbu o'q yozuvining ta'rifi va qo'shimcha tafsilotlar uchun qarang Affin maydoni ).

Ceva teoremasi uchun gap O uchburchakning ikkita tepasidan o'tgan har qanday chiziqqa tegishli emasligi taxmin qilinadi. Bu shuni anglatadiki

Agar kimdir qabul qilsa X kesishish F chiziqlar AB va OC (rasmlarga qarang), oxirgi tenglama qayta tuzilishi mumkin

Ushbu tenglamaning chap tomoni chiziq bilan bir xil yo'nalishga ega bo'lgan vektor CFva o'ng tomon chiziq bilan bir xil yo'nalishga ega AB. O'shandan beri ushbu chiziqlar turli yo'nalishlarga ega A, Bva C kollinear emas. Bundan kelib chiqadiki, tenglamaning ikki a'zosi nol vektorga teng, va

Bundan kelib chiqadiki

bu erda chap tomonning fraktsiyasi - bu chiziqli uzunliklarning imzolangan nisbati chiziq segmentlari AF va FB.

Xuddi shu mulohaza ham ko'rsatmoqda

Ceva teoremasi darhol uchta so'nggi tenglamaning hosilasini olish bilan hosil bo'ladi.

Umumlashtirish

Teorema umumlashtirilib, yuqori o'lchovli bo'lishi mumkin simplekslar foydalanish baritsentrik koordinatalar. An ning cevianini aniqlang n- har bir tepadan qarama-qarshi nuqtaga nur sifatida oddiy (n-1) - yuz (yuz ). Keyin cevians bir vaqtning o'zida, agar a bo'lsa ommaviy tarqatish vertikallarga shunday belgilanishi mumkinki, har bir cevian o'zaro qarama-qarshi tomonni kesib o'tadi massa markazi. Bundan tashqari, cevianlarning kesishish nuqtasi oddiy massa markazidir.[5][6]

Routh teoremasi uchta jevian tomonidan hosil bo'lgan uchburchakning maydonini ular bir-biriga mos kelmasa beradi. Ceva teoremasini undan maydonni nolga tenglashtirib va ​​yechish orqali olish mumkin.

Umumiy uchun teoremaning analogi ko'pburchaklar samolyotda o'n to'qqizinchi asrning boshlaridan beri ma'lum bo'lgan.[7]Teorema boshqa yuzalaridagi uchburchaklar uchun ham umumlashtirildi doimiy egrilik.[8]

Teorema sharsimon va giperbolik geometriyada ham ma'lum bo'lgan umumiylikka ega bo'lib, nisbatlardagi uzunliklarni mos ravishda ularning sinuslari va giperbolik sinuslari bilan almashtiradi.

Shuningdek qarang

Adabiyotlar

  1. ^ Holme, Audun (2010). Geometriya: Bizning madaniy merosimiz. Springer. p.210. ISBN  3-642-14440-3.
  2. ^ a b v Rassel, Jon Uelsli (1905). "Ch. 1 §7 Ceva teoremasi". Sof geometriya. Clarendon Press.
  3. ^ Alfred S. Posamentier va Charlz T. Salkind (1996), Geometriyadagi qiyin muammolar, 177–180-betlar, Dover Publishing Co., ikkinchi qayta ishlangan nashr.
  4. ^ Kuzatmoqda Xopkins, Jorj Irving (1902). "986-modda". Induktiv tekislik geometriyasi. DC Heath & Co.
  5. ^ Landi, Stiven (1988 yil dekabr). "Ceva teoremasini yuqori o'lchamlarga umumlashtirish". The Amerika matematik oyligi. 95 (10): 936–939. doi:10.2307/2322390. JSTOR  2322390.
  6. ^ Vernik, Pol (1927 yil noyabr). "Ceva va Menelaus teoremalari va ularning kengayishi". Amerika matematikasi oyligi. 34 (9): 468–472. doi:10.2307/2300222. JSTOR  2300222.
  7. ^ Grünbaum, Branko; Shephard, G. C. (1995). "Ceva, Menelaus va mintaqa printsipi". Matematika jurnali. 68 (4): 254–268. doi:10.2307/2690569. JSTOR  2690569.
  8. ^ Masal'tsev, L. A. (1994). "Doimiy egrilik bo'shliqlarida insidans teoremalari". Matematika fanlari jurnali. 72 (4): 3201–3206. doi:10.1007 / BF01249519.

Qo'shimcha o'qish

  • Hogendijk, J. B. (1995). "Al-Mutaman ibn Had, Saragossa 11-asr shohi va ajoyib matematik". Tarix matematikasi. 22: 1–18. doi:10.1006 / hmat.1995.1001.

Tashqi havolalar