Oyoq kiyimining formulasi - Shoelace formula

The poyabzal formulasi yoki poyabzal taqish algoritmi (shuningdek, nomi bilan tanilgan Gauss maydoni formulasi va o'lchovchi formulasi^[1]) matematik algoritm ni aniqlash uchun maydon a oddiy ko'pburchak ularning tepalari ular tomonidan tasvirlangan Dekart koordinatalari samolyotda.^[2] Foydalanuvchi o'zaro ko'paytiriladi ko'pburchakni qamrab oluvchi maydonni topish uchun mos koordinatalar va uni ichidagi ko'pburchakning maydonini topish uchun uni atrofdagi ko'pburchakdan chiqarib tashlaydi. U ko'pburchakni tashkil etuvchi koordinatalar uchun doimiy o'zaro faoliyat ko'paytirilishidan, masalan, poyabzal bog'lash kabi, bu poyabzal formulasi deb ataladi.^[2] Ba'zan uni poyabzal usuli. Unda geodeziya va o'rmon xo'jaligida dasturlar mavjud^[3] boshqa sohalar qatorida.

Formulani Mayster (1724–1788) 1769 yilda tasvirlab bergan^[4] va tomonidan Gauss 1795 yilda.^{[to'liq iqtibos kerak ]} Uni ko'pburchakni uchburchaklarga bo'lish orqali tekshirish mumkin va buni alohida holat deb hisoblash mumkin Yashil teorema.

Maydon formulasi har bir chekkani olish orqali olinadi ABva uchburchakning maydonini hisoblash ABO kelib chiqishi bilan tepalik bilan O, o'zaro faoliyat mahsulotni olib (parallelogramma maydonini beradi) va 2 ga bo'linib, ko'pburchakni o'rab olganda, musbat va manfiy maydonga ega bo'lgan bu uchburchaklar bir-birining ustiga chiqadi va bosh va ko'pburchak orasidagi maydonlar bekor qilinadi. chiqib, 0 ga yig'ing, faqat mos yozuvlar uchburchagi ichidagi maydon qoladi. Shuning uchun formulani "o'lchovchi" formulasi deb atashadi, chunki "o'lchovchi" kelib chiqishda; agar soat sohasi farqli o'laroq, chapdan o'ngga o'tishda ijobiy maydon va kelib chiqish nuqtai nazaridan o'ngdan chapga, salbiy maydon qo'shiladi.^{[iqtibos kerak ]}

Maydon formulasi o'z-o'zidan ustma-ust keladigan ko'pburchaklarga ham qo'llanilishi mumkin, chunki maydonning ma'nosi hali ham aniq, garchi o'zaro o'xshash ko'pburchaklar odatda oddiy emas.^[5] Bundan tashqari, o'zaro to'qnashgan ko'pburchakda bir nechta "talqinlar" bo'lishi mumkin, ammo Shoelace formulasi yordamida ko'pburchak maydoni talqin qilinishidan qat'iy nazar bir xil ekanligini ko'rsatishi mumkin.^[6]

Bayonot

Formulani ifoda bilan ifodalash mumkin

{displaystyle {egin {aligned} mathbf {A} & = {1 dan 2} gacha | sum _ {i = 1} ^ {n-1} x_ {i} y_ {i + 1} + x_ {n} y_ { 1} -sum _ {i = 1} ^ {n-1} x_ {i + 1} y_ {i} -x_ {1} y_ {n} ight | [4pt] & = {1 dan 2} gacha | x_ {1} y_ {2} + x_ {2} y_ {3} + cdots + x_ {n-1} y_ {n} + x_ {n} y_ {1} -x_ {2} y_ {1} -x_ { 3} y_ {2} -cdots -x_ {n} y_ {n-1} -x_ {1} y_ {n} | oxiri {hizalanmış}}}

qayerda

A ko'pburchakning maydoni,
n ko'pburchak tomonlarining soni va
(x_men, y_men), men = 1, 2,..., n ko'pburchakning tartiblangan tepalari (yoki "burchaklari").

Shu bilan bir qatorda^[3]^[7]^[8]

{displaystyle {egin {aligned} mathbf {A} & = {1 dan 2} gacha | sum _ {i = 1} ^ {n} x_ {i} (y_ {i + 1} -y_ {i-1}) ight | = {1 dan 2} gacha chap | sum _ {i = 1} ^ {n} y_ {i} (x_ {i + 1} -x_ {i-1}) ight | = {1 dan 2} gacha | sum _ {i = 1} ^ {n} (x_ {i} y_ {i + 1} -x_ {i + 1} y_ {i}) ight | [5pt] & = {1 dan ortiq 2} chap | sum _ {i = 1} ^ {n} (x_ {i + 1} + x_ {i}) (y_ {i + 1} -y_ {i}) ight | = {1 dan 2} gacha chap | sum _ {i = 1} ^ {n} det {egin {pmatrix} x_ {i} & x_ {i + 1} y_ {i} & y_ {i + 1} end {pmatrix}} ight | end {hizalangan}}}

qayerdax_n+1 = x₁ va x₀ = x_n,shu qatorda; shu bilan birgay_n+1 = y₁ va y₀ = y_n.

Agar ochkolar soat sohasi farqli o'laroq ketma-ket belgilanadigan bo'lsa, u holda yuqoridagilar yig'indisi determinantlar ijobiy va mutlaq qiymat belgilarini tashlab yuborish mumkin;^[1] agar ular soat yo'nalishi bo'yicha belgilanadigan bo'lsa, determinantlarning yig'indisi salbiy bo'ladi. Buning sababi shundaki, formulani maxsus holat sifatida ko'rib chiqish mumkin Yashil teoremasi.

Formulaning ayniqsa ixcham bayonoti tashqi algebra. Agar ${displaystyle v_ {1}, nuqta, v_ {n}}$ u holda ko'pburchakning ketma-ket vertikallari (dekartiya tekisligida vektor sifatida qaraladi)

{displaystyle A = {frac {1} {2}} cdot left | sum _ {i = 1} ^ {n} v_ {i} wedge v_ {i + 1} ight |.}

Isbot

Uchburchakning isboti

Uchburchakning koordinatalarini hisobga olgan holda uning maydonini toping

{displaystyle mathbf {A}}

.

Shaklga murojaat qilib, ruxsat bering ${displaystyle mathbf {A}}$ uchlari koordinatalar bilan berilgan uchburchakning maydoni ${displaystyle (x_ {1}, y_ {1}), (x_ {2}, y_ {2}),}$ va ${displaystyle (x_ {3}, y_ {3}).}$ Uchburchak atrofiga minimal tomoni to'rtburchakni torting, shunda uning yon tomonlari ga parallel bo'ladi ${displaystyle x}$ yoki ${displaystyle y}$ o'qlar. Uchburchakning kamida bitta tepasi to'rtburchakning burchagida bo'ladi. Rasmda atrofdagi uchta uchburchakning maydonlari ko'rsatilgan ${displaystyle mathbf {C}, mathbf {D},}$ va ${displaystyle mathbf {E}.}$ Shubhasiz ${displaystyle mathbf {A}}$ to'rtburchakning maydoniga teng (uni chaqiring) ${displaystyle mathbf {R}}$ ) qolgan uchta uchburchakning maydonlarini minus. Ushbu munosabatni tavsiflovchi tenglama

{displaystyle mathbf {A} = mathbf {R} -mathbf {C} -mathbf {D} -mathbf {E}}

Shaklni tekshirish orqali maydonlar tomonidan berilganligini ko'rish mumkin

{displaystyle mathbf {R} = (x_ {3} -x_ {2}) (y_ {1} -y_ {3}) = (x_ {3} y_ {1} + x_ {2} y_ {3}) - (x_ {3} y_ {3} + x_ {2} y_ {1})}

{displaystyle -mathbf {C} = - {frac {1} {2}} (x_ {3} -x_ {2}) (y_ {2} -y_ {3}) = {frac {1} {2}} (-x_ {3} y_ {2} -x_ {2} y_ {3}) + {frac {1} {2}} (x_ {3} y_ {3} + x_ {2} y_ {2})}

{displaystyle -mathbf {D} = - {frac {1} {2}} (x_ {3} -x_ {1}) (y_ {1} -y_ {3}) = {frac {1} {2}} (-x_ {3} y_ {1} -x_ {1} y_ {3}) + {frac {1} {2}} (x_ {3} y_ {3} + x_ {1} y_ {1})}

{displaystyle -mathbf {E} = - {frac {1} {2}} (x_ {1} -x_ {2}) (y_ {1} -y_ {2}) = {frac {1} {2}} (-x_ {1} y_ {1} -x_ {2} y_ {2}) + {frac {1} {2}} (x_ {1} y_ {2} + x_ {2} y_ {1})}

Shartlarni yig'ish va hosildorlikni qayta tartibga solish

{displaystyle mathbf {A} = {frac {1} {2}} ((x_ {2} y_ {3} -x_ {3} y_ {2}) - (x_ {1} y_ {3} -x_ {3) } y_ {1}) + (x_ {1} y_ {2} -x_ {2} y_ {1}))}

aniqlovchi sifatida yozilishi mumkin

{displaystyle mathbf {A} = {frac {1} {2}} {egin {vmatrix} 1 & 1 & 1 x_ {1} & x_ {2} & x_ {3} y_ {1} & y_ {2} & y_ {3} end { vmatrix}}}

Agar koordinatalar soat yo'nalishi bo'yicha yozilsa, determinantning qiymati bo'ladi ${displaystyle -mathbf {A}.}$

Boshqa yo'lni tartibga solish

{displaystyle mathbf {A} = {frac {1} {2}} | x_ {1} y_ {2} + x_ {2} y_ {3} + x_ {3} y_ {1} -x_ {2} y_ { 1} -x_ {3} y_ {2} -x_ {1} y_ {3} |}

bu poyabzal formulasining shakli. Ushbu formulani istalgan ko'pburchakning maydonini topish uchun kengaytirish mumkin, chunki oddiy ko'pburchakni uchburchaklarga bo'lish mumkin.

To'rtburchakning koordinatalarini hisobga olgan holda, uning maydonini toping

{displaystyle mathbf {A} _ {ext {quad.}}}

.

To'rtburchak va umumiy ko'pburchak uchun isbot

To'rtburchakning maydonini topish, poyabzal formulasi ko'pburchakni uchburchaklarga bo'lish orqali har qanday ko'pburchakka qanday umumlashtirilishini namoyish etadi. Koordinatalari soat yo'nalishi bo'yicha teskari tartibda etiketlangan to'rtburchak shaklini ko'rib chiqing. To'rtburchak maydonlari bo'lgan ikkita uchburchakka bo'lingan ${displaystyle mathbf {A}}$ va ${displaystyle mathbf {B}.}$ Har bir uchburchakda uchburchak formulasidan foydalanib biz olamiz

{displaystyle mathbf {A} = {frac {1} {2}} (x_ {1} y_ {2} + x_ {2} y_ {3} + x_ {3} y_ {1} -x_ {2} y_ { 1} -x_ {3} y_ {2} -x_ {1} y_ {3})}

{displaystyle mathbf {B} = {frac {1} {2}} (x_ {1} y_ {3} + x_ {3} y_ {4} + x_ {4} y_ {1} -x_ {3} y_ { 1} -x_ {4} y_ {3} -x_ {1} y_ {4})}

Ikkala uchburchak ham soat sohasi farqli o'laroq kuzatilganligi sababli ikkala maydon ham musbat va ikkala maydonni qo'shib to'rtburchakning maydonini olamiz. Ning oxirgi ijobiy atamasi va oxirgi salbiy atamasi ${displaystyle mathbf {A}}$ birinchi ijobiy muddat va birinchi salbiy muddat bilan bekor qilish ${displaystyle mathbf {B}}$ berib

{displaystyle mathbf {A} _ {ext {quad.}} = {frac {1} {2}} (x_ {1} y_ {2} + x_ {2} y_ {3} + x_ {3} y_ {4 } + x_ {4} y_ {1} -x_ {2} y_ {1} -x_ {3} y_ {2} -x_ {4} y_ {3} -x_ {1} y_ {4})}

Misollar

Foydalanuvchi dekartiya tekisligidagi ko'pburchakning nuqtalarini bilishi kerak. Masalan, uchburchak koordinatalari bilan {(2, 1), (4, 5), (7, 8)}. Birinchisini oling x-koordinatsiya qiling va uni soniyasiga ko'paytiring y-value, keyin ikkinchisini oling x-koordinatsiya qilish va uni uchinchisiga ko'paytirish y-value va kerakli nuqtalar uchun bajarilguncha shuncha marta takrorlang. Buni quyidagi formula bilan aniqlash mumkin:^[9]

{displaystyle mathbf {A} _ {ext {tri.}} = {1 dan 2} gacha | x_ {1} y_ {2} + x_ {2} y_ {3} + x_ {3} y_ {1} -x_ { 2} y_ {1} -x_ {3} y_ {2} -x_ {1} y_ {3} |}

uchun x_men va y_men har bir tegishli koordinatani ifodalaydi. Ushbu formula faqat yuqoridagi n = 3 holat uchun berilganlarning kengayishidir. Undan foydalanib, uchburchakning maydoni yarmining yarmiga teng ekanligini topish mumkin mutlaq qiymat 10 ga teng + 32 + 7 - 4 - 35 - 16, bu 3 ga teng. O'zgaruvchilar soni tomonlarning soniga bog'liq ko'pburchak. Masalan, a beshburchak gacha aniqlanadi x₅ va y₅:

{displaystyle mathbf {A} _ {ext {pent.}} = {1 dan 2} gacha | x_ {1} y_ {2} + x_ {2} y_ {3} + x_ {3} y_ {4} + x_ { 4} y_ {5} + x_ {5} y_ {1} -x_ {2} y_ {1} -x_ {3} y_ {2} -x_ {4} y_ {3} -x_ {5} y_ {4 } -x_ {1} y_ {5} |}

A to'rtburchak gacha aniqlanadi x₄ va y₄:

{displaystyle mathbf {A} _ {ext {quad.}} = {1 dan 2} gacha | x_ {1} y_ {2} + x_ {2} y_ {3} + x_ {3} y_ {4} + x_ { 4} y_ {1} -x_ {2} y_ {1} -x_ {3} y_ {2} -x_ {4} y_ {3} -x_ {1} y_ {4} |}

Keyinchalik murakkab misol

(3,4), (5,11), (12,8), (9,5) va (5,6) nuqtalar bilan aniqlangan va quyidagi diagrammada tasvirlangan ko'pburchakni ko'rib chiqing:

Ushbu misolning shakli

Ushbu ko'pburchakning maydoni:

{displaystyle {egin {aligned} mathbf {A} & = {1 over 2}, {ig |} 3 imes 11 + 5 imes 8 + 12 imes 5 + 9 imes 6 + 5 imes 4 & {} qquad {} - 4 ta imes 5-11 imes 12-8 imes 9-5 imes 5-6 imes 3 {ig |} [10pt] & = {60 ustidan 2} = 30end {hizalanmış}}}

Etimologiya

Ushbu formulaning poyabzal formulasi deb nomlanishining sababi, uni baholashda ishlatiladigan keng tarqalgan usul. Ushbu usul foydalanadi matritsalar. Misol tariqasida (2,4), (3, -8) va (1,2) uchlari bo'lgan uchburchakni tanlang. Keyin uchburchakni "aylanib" va dastlabki nuqta bilan tugatib quyidagi matritsani tuzing.^[10]

{displaystyle {egin {bmatrix} 2 & 4 3 & -8 1 & 2 2 & 4end {bmatrix}}}

Birinchidan, diagonalni pastga va o'ngga egib oling (quyida ko'rsatilganidek),

va har bir chiziq bilan bog'langan ikkita raqamni ko'paytiring, so'ngra barcha mahsulotlarni qo'shing: (2 × -8) + (3 × 2) + (1 × 4) = -6. Xuddi shu narsani diagonal pastga va chapga qiyalik bilan bajaring (quyida pastga egilgan chiziqlar bilan ko'rsatilgan):

(4 × 3) + (-8 × 1) + (2 × 2) = 8. Keyin ushbu ikkita sonning farqini oling: | (-6) - (8) | = 14. Buni yarimga qisqartirish uchburchakning maydonini beradi: 7. Bunday sonlarni tartibga solish formulani eslab qolish va baholashni osonlashtiradi. Barcha chiziqlar chizilgan holda, matritsa bo'shashgan holda poyabzalga o'xshash bo'lib, algoritm nomini keltirib chiqaradi.

Shuningdek qarang

Tashqi havolalar

Matologning Gaussning poyabzal formulasi haqidagi videosi

Adabiyotlar

^ ^a ^b Bart Breden (1986). "Surveyerning maydon formulasi" (PDF). Kollej matematikasi jurnali. 17 (4): 326–337. doi:10.2307/2686282. JSTOR 2686282.
^ ^a ^b Dahlke, Karl. "Shoelace formulasi". Olingan 9 iyun 2008.
^ ^a ^b Xans Pretsz, O'rmon dinamikasi, o'sishi va hosildorligi: o'lchovdan modelgacha, Springer, 2009 yil, ISBN 3-540-88306-1, p. 232.
^ Meister, A. L. F. (1769), "Generalia de genesi figurarum planarum va inde pendentibus earum affectionibus", Noyabr Com. Gött. (lotin tilida), 1: 144.
^ P.W. Shor; C.J. Van Vayk (1992), "O'zaro to'qnashgan egri chiziqlarni aniqlash va parchalash", Hisoblash. Geom. Nazariya dasturi., 2 (1): 31–50, doi:10.1016 / 0925-7721 (92) 90019-O
^ Ralf P. Boland; Xorxe Urrutiya (2000). Ko'pburchak sohasidagi muammolar. Hisoblash geometriyasi bo'yicha 12-konferentsiya. 159–162 betlar.
^ Poyafzal teoremasi, Muammoni hal qilish san'ati Wiki.
^ Vayshteyn, Erik V. "Ko'pburchak zonasi". Wolfram MathWorld. Olingan 24 iyul 2012.
^ Richard Rhoad; Jorj Milauskas; Robert Uipl (1991). Lazzatlanish va da'vo uchun geometriya (yangi tahr.). McDougal Littell. pp.717–718. ISBN 0-86609-965-4.
^ IMSA JHMC qo'llanmasi, Sahifa. 10 Sindi Si tomonidan yozilgan "Shoelace"

[Braden-1] Bart Breden (1986). "Surveyerning maydon formulasi" (PDF). Kollej matematikasi jurnali. 17 (4): 326–337. doi:10.2307/2686282. JSTOR 2686282.

[mathreference-2] Dahlke, Karl. "Shoelace formulasi". Olingan 9 iyun 2008.

[Pretzsch-3] Xans Pretsz, O'rmon dinamikasi, o'sishi va hosildorligi: o'lchovdan modelgacha, Springer, 2009 yil, ISBN 3-540-88306-1, p. 232.

[4] Meister, A. L. F. (1769), "Generalia de genesi figurarum planarum va inde pendentibus earum affectionibus", Noyabr Com. Gött. (lotin tilida), 1: 144.

[5] P.W. Shor; C.J. Van Vayk (1992), "O'zaro to'qnashgan egri chiziqlarni aniqlash va parchalash", Hisoblash. Geom. Nazariya dasturi., 2 (1): 31–50, doi:10.1016 / 0925-7721 (92) 90019-O

[6] Ralf P. Boland; Xorxe Urrutiya (2000). Ko'pburchak sohasidagi muammolar. Hisoblash geometriyasi bo'yicha 12-konferentsiya. 159–162 betlar.

[AoPSWiki-7] Poyafzal teoremasi, Muammoni hal qilish san'ati Wiki.

[Wolfram_MathWorld-8] Vayshteyn, Erik V. "Ko'pburchak zonasi". Wolfram MathWorld. Olingan 24 iyul 2012.

[9] Richard Rhoad; Jorj Milauskas; Robert Uipl (1991). Lazzatlanish va da'vo uchun geometriya (yangi tahr.). McDougal Littell. pp.717–718. ISBN 0-86609-965-4.

[10] IMSA JHMC qo'llanmasi, Sahifa. 10 Sindi Si tomonidan yozilgan "Shoelace"

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]