В геометрії теорема про два вуха стверджує, що кожен простий багатокутник більш ніж з трьома вершинами має щонайменше два (вуха), вершини, які можна вилучити з багатокутника без використання перетинів. Теорема про два вуха еквівалентна існуванню тріангуляції багатокутника. Її часто приписують Гері Х. Мейстерсу, але вона була доведена раніше Максом Деном.
Твердження теореми
Вухо багатокутника визначається як вершина v така, що відрізок лінії між двома вершинами, які суміжні (з'єднані ребром) v, повністю лежить у внутрішній частині багатокутника. Теорема про два вуха стверджує, що кожен простий багатокутник має щонайменше два вуха.
Вуха та тріангуляція
Вухо та дві його суміжні вершини утворюють трикутник у межах багатокутника, який не перетинається жодною іншою частиною багатокутника. Якщо вилучити трикутник такого типу, утворюється багатокутник з меншою кількістю сторін, а багаторазове видалення вух дозволяє тріангулювати будь-який простий багатокутник.
І навпаки, якщо багатокутник трикутний, слабко двоїстий граф тріангуляції (граф в якому одна вершина відповідає одному трикутнику, а одне ребро — парі суміжних трикутників) буде деревом і кожен лист дерева відповідатиме вуху. Оскільки кожне дерево більш ніж з однією вершиною має щонайменше два листки, кожен тріангульований багатокутник, в якому більш ніж один трикутник, має принаймні два вуха. Таким чином, теорема про два вуха рівносильна тому, що кожен простий багатокутник має тріангуляцію.
Суміжні типи вершин
Вухо називають оголеним, коли воно утворює вершину опуклої оболонки багатокутника. Однак багатокутник може й не мати оголених вух.
Вуха є окремим випадком (головної вершини), а саме такою, що відрізок лінії, який з'єднує суміжні вершини, не перетинає багатокутник і не торкається будь-якої іншої його вершини. Основна вершина, для якої цей відрізок не належить багатокутнику, називається ротом. Аналогічно теоремі про два вуха, кожен не опуклий простий багатокутник має щонайменше один рота. Багатокутники з мінімальною кількістю головних вершин обох типів, а саме, рівно з двома вухами та одним ротом, називаються антропоморфними багатокутниками.
Історія та докази
Теорему про два вуха часто пов'язують зі статтею Гарі Х. Мейстерса 1975 року, з якого і походить термінологія «вуха». Однак теорема була доведена раніше Максом Деном (близько 1899 року) як частина доказу теореми Жордана. Для доведення теореми, Ден зауважує, що кожен багатокутник має щонайменше три опуклі вершини. Якщо одна з цих вершин, v, не є вухом, то вона може бути з'єднана по діагоналі з іншою вершиною x всередині трикутника uvw утвореної v і двома його суміжними; x може бути вершиною у цьому трикутнику, та буде найвіддаленішою від лінії uw. Ця діагональ ділить багатокутник на два менші багатокутники, і повторний поділ на вуха та діагоналі призводить до тріангуляції всього многокутника, з якого вухо може бути знайдено як лист двоїстого дерева.
Примітки
- (1987), Art Gallery Theorems and Algorithms, International Series of Monographs on Computer Science, Oxford University Press, ISBN , MR 0921437
- Meisters, G. H. (1980), Principal vertices, exposed points, and ears, American Mathematical Monthly, 87 (4): 284—285, doi:10.2307/2321563, MR 0567710.
- (1991), Anthropomorphic polygons, American Mathematical Monthly, 98 (1): 31—35, doi:10.2307/2324033, MR 1083611.
- Meisters, G. H. (1975), Polygons have ears, American Mathematical Monthly, 82: 648—651, doi:10.2307/2319703, MR 0367792.
- (1977), (PDF), , 17 (2): 193—200, doi:10.1007/BF02464980, JSTOR 41133486, MR 0532231, архів оригіналу (PDF) за 19 лютого 2018, процитовано 17 жовтня 2019.
Джерела
- Meisters' Two Ears Theorem [ 22 жовтня 2019 у Wayback Machine.], Cut-the-Knot (англ.)
- The Two-Ears Theorem [ 23 травня 2016 у Wayback Machine.], [en] (англ.)
- Weisstein, Eric W. Two-Ears Theorem(англ.) на сайті Wolfram MathWorld.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
V geometriyi teorema pro dva vuha stverdzhuye sho kozhen prostij bagatokutnik bilsh nizh z troma vershinami maye shonajmenshe dva vuha vershini yaki mozhna viluchiti z bagatokutnika bez vikoristannya peretiniv Teorema pro dva vuha ekvivalentna isnuvannyu triangulyaciyi bagatokutnika Yiyi chasto pripisuyut Geri H Mejstersu ale vona bula dovedena ranishe Maksom Denom Triangulovanij bagatokutnik Dvi vershini na kincyah lancyuga trikutnikiv utvoryuyut vuha Odnak u cogo bagatokutnika ye j inshi vuha yaki ochevidni pri takij triangulyaciyi Tverdzhennya teoremiVuho bagatokutnika viznachayetsya yak vershina v taka sho vidrizok liniyi mizh dvoma vershinami yaki sumizhni z yednani rebrom v povnistyu lezhit u vnutrishnij chastini bagatokutnika Teorema pro dva vuha stverdzhuye sho kozhen prostij bagatokutnik maye shonajmenshe dva vuha Vuha ta triangulyaciyaVuho ta dvi jogo sumizhni vershini utvoryuyut trikutnik u mezhah bagatokutnika yakij ne peretinayetsya zhodnoyu inshoyu chastinoyu bagatokutnika Yaksho viluchiti trikutnik takogo tipu utvoryuyetsya bagatokutnik z menshoyu kilkistyu storin a bagatorazove vidalennya vuh dozvolyaye triangulyuvati bud yakij prostij bagatokutnik I navpaki yaksho bagatokutnik trikutnij slabko dvoyistij graf triangulyaciyi graf v yakomu odna vershina vidpovidaye odnomu trikutniku a odne rebro pari sumizhnih trikutnikiv bude derevom i kozhen list dereva vidpovidatime vuhu Oskilki kozhne derevo bilsh nizh z odniyeyu vershinoyu maye shonajmenshe dva listki kozhen triangulovanij bagatokutnik v yakomu bilsh nizh odin trikutnik maye prinajmni dva vuha Takim chinom teorema pro dva vuha rivnosilna tomu sho kozhen prostij bagatokutnik maye triangulyaciyu Sumizhni tipi vershinVuho nazivayut ogolenim koli vono utvoryuye vershinu opukloyi obolonki bagatokutnika Odnak bagatokutnik mozhe j ne mati ogolenih vuh Vuha ye okremim vipadkom golovnoyi vershini a same takoyu sho vidrizok liniyi yakij z yednuye sumizhni vershini ne peretinaye bagatokutnik i ne torkayetsya bud yakoyi inshoyi jogo vershini Osnovna vershina dlya yakoyi cej vidrizok ne nalezhit bagatokutniku nazivayetsya rotom Analogichno teoremi pro dva vuha kozhen ne opuklij prostij bagatokutnik maye shonajmenshe odin rota Bagatokutniki z minimalnoyu kilkistyu golovnih vershin oboh tipiv a same rivno z dvoma vuhami ta odnim rotom nazivayutsya antropomorfnimi bagatokutnikami Istoriya ta dokaziTeoremu pro dva vuha chasto pov yazuyut zi statteyu Gari H Mejstersa 1975 roku z yakogo i pohodit terminologiya vuha Odnak teorema bula dovedena ranishe Maksom Denom blizko 1899 roku yak chastina dokazu teoremi Zhordana Dlya dovedennya teoremi Den zauvazhuye sho kozhen bagatokutnik maye shonajmenshe tri opukli vershini Yaksho odna z cih vershin v ne ye vuhom to vona mozhe buti z yednana po diagonali z inshoyu vershinoyu x vseredini trikutnika uvw utvorenoyi v i dvoma jogo sumizhnimi x mozhe buti vershinoyu u comu trikutniku ta bude najviddalenishoyu vid liniyi uw Cya diagonal dilit bagatokutnik na dva menshi bagatokutniki i povtornij podil na vuha ta diagonali prizvodit do triangulyaciyi vsogo mnogokutnika z yakogo vuho mozhe buti znajdeno yak list dvoyistogo dereva Primitki 1987 Art Gallery Theorems and Algorithms International Series of Monographs on Computer Science Oxford University Press ISBN 0 19 503965 3 MR 0921437 Meisters G H 1980 Principal vertices exposed points and ears American Mathematical Monthly 87 4 284 285 doi 10 2307 2321563 MR 0567710 1991 Anthropomorphic polygons American Mathematical Monthly 98 1 31 35 doi 10 2307 2324033 MR 1083611 Meisters G H 1975 Polygons have ears American Mathematical Monthly 82 648 651 doi 10 2307 2319703 MR 0367792 1977 PDF 17 2 193 200 doi 10 1007 BF02464980 JSTOR 41133486 MR 0532231 arhiv originalu PDF za 19 lyutogo 2018 procitovano 17 zhovtnya 2019 DzherelaMeisters Two Ears Theorem 22 zhovtnya 2019 u Wayback Machine Cut the Knot angl The Two Ears Theorem 23 travnya 2016 u Wayback Machine en angl Weisstein Eric W Two Ears Theorem angl na sajti Wolfram MathWorld