Вписаний чотирикутник
В Евклідовій геометрії вписаний чотирикутник — це чотирикутник, вершини якого лежать на одному колі. Це коло називається описаним колом, а вершини, як кажуть, є конциклічними. Центр кола та його радіус називають центром окружності та окружністю. Інші назви цих чотирикутників — це конциклічні чотирикутники та хордальні чотирикутники, оскільки сторони чотирикутника — це хорди вписаного кола. Зазвичай чотирикутник вважається опуклим, але є і перехрещені вписані чотирикутники. Формули та властивості, наведені нижче, виконуються за умови, що чотирикутник опуклий.
Усі трикутники можна вписати в коло, але не кожен чотирикутник можна вписати в коло. Прикладом чотирикутника, який не можна вписати, є не квадратний ромб. У розділі характеристики наведено необхідні та достатні умови, щоб чотирикутник був вписаним.
Особливі випадки
Будь-який квадрат, прямокутник, рівнобедрена трапеція або антипаралелограм можна вписати. Дельтоїд можна вписати, тоді і лише тоді, якщо він має два прямих кута. Біцентричний чотирикутник — це вписаний чотирикутник, який також є вписаним, а зовнішньо-описаний — чотирикутник, у якого прямі, на яких лежать його сторони, є дотичними до певного кола. Гармонійний чотирикутник — це чотирикутник, у якого добутки довжин протилежних сторін рівні.
Характеристики
Опуклий чотирикутник можна вписати тоді й лише тоді, коли чотири перпендикуляри до середин сторін є конкурентними, тобто, перетинаються в одній точці. Ця спільна точка є центром описаного кола[1].
Опуклий чотирикутник ABCD можна вписати тоді і лише тоді, коли його протилежні кути є суміжними, тобто[1][2]
Ця теорема є положенням 22 в трактаті Евкліда «Начала»[3].
Окрім того, опуклий чотирикутник можна вписати тоді і тільки тоді, коли кожен його зовнішній кут дорівнює протилежному внутрішньому куту.
Ще одна необхідна і достатня умова, щоб опуклий чотирикутник ABCD був вписаним — кут між стороною та діагоналлю повинен дорівнювати куту між протилежною стороною та іншою діагоналлю[4]. Тобто, наприклад,
Теорема Птолемея виражає добуток довжин двох діагоналей e і f вписаного чотирикутника, як суму добутків протилежних сторін[5][2]:
Має місце обернена теорема. Тобто, якщо це рівняння виконується для опуклого чотирикутника, тоді він буде вписаним.
У опуклому чотирикутнику ABCD нехай EFG є діагональним трикутником ABCD і нехай — коло дев'яти точок EFG. ABCD можна вписати тоді і лише тоді, коли точка перетину бімедіанів ABCD належить колу дев'яти точок [6][7][2].
Якщо дві прямі, одна, що містить відрізок AC, а інша, що містить відрізок BD, перетинаються в точці P, то чотири точки A, B, C, D є конциклічними (тобто, є вершинами вписаного чотирикутника, без урахування порядку вершин), тоді й лише тоді, коли[8]
Точка перетину P може бути як зовні так і всередині кола. У першому випадку описаний чотирикутник — ABCD, а в другому випадку вписаний чотирикутник — ABDC. Коли перетин є внутрішнім, рівність зазначає, що добуток відрізка довжини, на який P ділить одну діагональ, дорівнює іншій діагоналі. Це відомо як теорема про перетин хорд, оскільки діагоналі вписаного чотирикутника є хордами.
Ще одна характеристика полягає в тому, що опуклий чотирикутник ABCD є вписаним тоді і лише тоді[9], коли
Площа
Площа K вписаного чотирикутника зі сторонами a, b, c, d обчислюється за формулою Брахмагупти[5]
де півпериметр s = 12(a + b + c + d). Формула є наслідком формули Бретшнайдера для довільного чотирикутника, оскільки протилежні кути є суміжними для вписаного чотирикутника. Якщо d = 0, то вписаний чотирикутник стає трикутником, а формула зводиться до формули Герона.
Вписаний чотирикутник має максимальну площу серед усіх чотирикутників, що мають однакову послідовність довжин сторін. Це ще один наслідок формули Бретшнайдера. Також це можна довести за допомогою математичного аналізу[10].
Якщо є чотири неоднакові довжини, кожна менша від суми трьох інших, то вони будуть сторонами для трьох неконгруентних вписаних чотирикутників[11], які за формулою Брахмагупти мають однакову площу. Зокрема, для сторін a, b, c і d сторона a може бути протилежною будь-якій зі сторін b, c або d.
Площу вписаного чотирикутника з послідовними сторонами a, b, c, d та кутом B між сторонами a і b можна виразити як[5]
або[5]
- ,
де θ — будь-який кут між діагоналями. За умови, що A не є прямим кутом, площа також може бути виражена як[5]
Інша формула така[12]
де R — радіус описаного кола. Як прямий наслідок цієї формули[13],
де рівність буде, тоді і тільки тоді, коли чотирикутник є квадратом.
Діагоналі
У вписаному чотирикутнику з послідовними вершинами A, B, C, D і сторонами a = AB, b = BC, c = CD і d = DA, довжини діагоналей p = AC і q = BD можна виразити через довжини сторін як[5][14][15]
- and
тому доводить теорему Птолемея
Відповідно до другої теореми Птолемея[5][14]
- ,
в тих же позначеннях, що і вище.
Для суми діагоналей маємо нерівність[16]
Рівність справедлива тоді й лише тоді, коли діагоналі мають однакову довжину, що можна довести за допомогою нерівності середнього арифметичного та геометричного.
Більше того[16] ,
У будь-якому опуклому чотирикутнику дві діагоналі розділяють чотирикутник на чотири трикутники; у вписаному чотирикутнику протилежні пари цих чотирьох трикутників подібні між собою.
Якщо M і N — середини діагоналей AC і BD, то[17]
де E і F — точки перетину прямих, на яких лежать протилежні сторони.
Якщо ABCD — вписаний чотирикутник, де AC перетинається з BD у точці E, то[18]
Множина сторін, які можуть утворювати вписаний чотирикутник, може бути впорядкована у будь-якій з трьох різних послідовностей, кожна з яких може утворювати вписаний чотирикутник тієї самої площі в одному і тому ж колі (їх площа буде однакова за формулою площі Брахмагупти). Будь-які з цих вписаних чотирикутників мають одну спільну довжину діагоналі[15] .
Формули кута
Для вписаного чотирикутника із послідовними сторонами a, b, c, d, півпериметром s та кутом A між сторонами a та d тригонометричні функції від A задаються формулами[19]
Кут θ між діагоналями задовольняє рівнянню[5]
Якщо продовження протилежних сторін a і c перетинаються під кутом φ, то
де s — півпериметр[5] .
Формула описаного кола Парамешвара
Вписаний чотирикутник з послідовними сторонами a, b, c, d і півпериметром s має описане коло радіуса[14][20]
Цю формулу отримав індійський математик Ватассері Парамешвара у 15 столітті.
Якщо скористатися формулою Брахмагупти, формулу Парамешвари можна отримати в наступному вигляді:
де K — площа вписаного чотирикутника.
Антицентр та колінеарність
Для кожної сторони вписаного чотирикутника можна провести пряму, яка буде перпендикулярна цій стороні і проходити через середину протилежної сторони. Таких прямих буде чотири і вони є конкурентними прямими[21][22]. Відрізки цих прямих між сторонами називають бівисотами[23]. Спільна точка називається антицентром. Він має властивість бути відображенням описаного кола у «центроїд» (перетин бімедіан). Таким чином, у вписаному чотирикутнику центр описаного кола, «центроїд» та антицентр є колінеарними[22], тобто, лежать на одній прямій.
Якщо діагоналі вписаного чотирикутника перетинаються в P, а середні точки діагоналей позначено як M і N, то антицентр чотирикутника є ортоцентром трикутника MNP.
Інші властивості
- У вписаному чотирикутнику ABCD інцентри M1, M2, M3, M4 (див. рисунок праворуч) у трикутниках DAB, ABC, BCD, та CDA є вершинами прямокутника. Це одна з теорем, відома як японська теорема. Ортоцентри цих же чотирьох трикутників є вершинами чотирикутника конгруентного ABCD, а центроїди в цих чотирьох трикутниках — вершини іншого вписаного чотирикутника[4].
- У вписаному чотирикутнику ABCD з центром описаного кола — O, через P позначимо точку, в якій перетинаються діагоналі AC і BD. Тоді кут APB — це середнє арифметичне кутів AOB і COD. Це прямий наслідок теореми про вписаний кут та теореми про зовнішній кут.
- Не існує вписаних чотирикутників площа яких є раціональним числом, а сторони є нерівними раціональними числами або в арифметичній, або в геометричній прогресії[24].
- Якщо вписаний чотирикутник має довжини сторін, які утворюють арифметичну прогресію, чотирикутник також є зовнішньо-описаним.
- Якщо прямі на яких лежать протилежні сторони вписаного чотирикутника перетинаються в точках E та F, то внутрішні бісектриси кутів на E і F — перпендикулярні[11].
Чотирикутники Брахмагупти
Чотирикутник Брахмагупти[25] — це вписаний чотирикутник з цілими довжинами сторонами, цілими довжинами діагоналей та цілою площею. Усі чотирикутники Брахмагупти зі сторонами a, b, c, d, діагоналями e, f, площею K і радіусом описаного кола R можна отримати, якщо позбутися знаменників в наступних виразах, що містять раціональні параметри t, u і v:
Ортодіагональний випадок
Описане коло і площа
Для вписаного чотирикутника, який також є ортодіагональним (має перпендикулярні діагоналі), припустимо, що перетин діагоналей ділить одну діагональ на відрізки довжини p1 та p2, а іншу діагональ ділить на відрізки довжиною q1 та q2. Тоді[26] (перша рівність — це твердження 11 у «Книзі лем» Архімеда)
де D — діаметр описаного кола. Це справедливо, оскільки діагоналі — це перпендикулярні хорди кола. З цих рівнянь випливає, що радіус описаного кола R може бути виражений як
або, через сторони чотирикутника, як[21]
З цього також випливає[21]
Таким чином, згідно з теоремою Ейлера про чотирикутник, радіус описаного кола може бути виражений через діагоналі p і q та відстань x між серединами діагоналей як
Формула для площі K вписаного ортодіагонального чотирикутника через довжини сторін отримується безпосередньо при поєднанні теореми Птолемея і формули площі ортодіагонального чотирикутника. Результат[27] :
Інші властивості
- У вписаному чотирикутнику антицентр збігається з точкою, де перетинаються діагоналі[21].
- Теорема Брамагупти стверджує, що для вписаного чотирикутника, який також є ортодіагональним, перпендикуляр до будь-якої сторони, що проходить через точку перетину діагоналей, ділить протилежну сторону навпіл[21].
- Якщо вписаний чотирикутник також є ортодіагональним, відстань від центру описаного кола до будь-якої сторони дорівнює половині довжини протилежної сторони[21].
- У вписаному ортодіагональному чотирикутнику відстань між серединами діагоналей дорівнює відстані між центром описаного кола та точкою перетину діагоналей[21].
Вписані сферичні чотирикутники
У сферичній геометрії сферичний чотирикутник, утворений при перетині чотирьох великих кіл, буде вписаним тоді, і лише тоді, коли суми протилежних кутів однакові, тобто α + γ = β + δ для послідовних кутів α, β, γ, δ чотирикутника[28]. В одному напрямку ця теорема була доведена І. А. Лекселем у 1786 році[29]. Лексель показав, що у сферичному чотирикутнику, вписаному в мале коло сфери, суми протилежних кутів рівні, і що в описаному чотирикутнику суми протилежних сторін рівні. Перша з цих теорем — сферичний аналог плоскої теореми, а друга теорема — їй дуально, тобто, вона є результатом заміни великих кіл та їх полюсів[30]. Кіпер та ін.[31] довели обернену теорему: «Якщо суми протилежних сторін рівні в сферичному чотирикутнику, то для цього чотирикутника існує вписане коло».
Див. також
- Вписаний кут
- Описаний чотирикутник
- Японська теорема про вписаний в коло чотирикутник
- Теорема про метелика
- Описане коло
- Степінь точки відносно кола
- Таблиця акордів Птолемея
- П'ятикутник Роббінса
Примітки
- Usiskin, Zalman; Griffin, Jennifer; Witonsky, David; Willmore, Edwin (2008). 10. Cyclic quadrilaterals. The Classification of Quadrilaterals: A Study of Definition. Research in mathematics education. IAP. с. 63–65. ISBN 978-1-59311-695-8.
- Fraivert, David; Sigler, Avi; Stupel, Moshe (2019). Necessary and sufficient properties for a cyclic quadrilateral. International Journal of Mathematical Education in Science and Technology.
- Joyce, D. E. (June 1997). Book 3, Proposition 22. Euclid's Elements. Clark University. Проігноровано невідомий параметр
|title-link=
(довідка) - Andreescu, Titu; Enescu, Bogdan (2004). 2.3 Cyclic quads. Mathematical Olympiad Treasures. Springer. с. 44–46, 50. ISBN 978-0-8176-4305-8. MR 2025063.
- Durell, C. V.; Robson, A. (2003) [1930]. Advanced Trigonometry. Courier Dover. ISBN 978-0-486-43229-8.
- Fraivert, David (July 2019). New points that belong to the nine-point circle. The Mathematical Gazette 103 (557): 222–232. doi:10.1017/mag.2019.53.
- Fraivert, David (2018). New applications of method of complex numbers in the geometry of cyclic quadrilaterals. International Journal of Geometry 7 (1): 5–16.
- Bradley, Christopher J. (2007). The Algebra of Geometry: Cartesian, Areal and Projective Co-Ordinates. Highperception. с. 179. ISBN 978-1906338008. OCLC 213434422.
- Hajja, Mowaffaq (2008). A condition for a circumscriptible quadrilateral to be cyclic. Forum Geometricorum 8: 103–6.
- Peter, Thomas (September 2003). Maximizing the area of a quadrilateral. The College Mathematics Journal 34 (4): 315–6. JSTOR 3595770. doi:10.2307/3595770.
- Coxeter, Harold Scott MacDonald; Greitzer, Samuel L. (1967). 3.2 Cyclic Quadrangles; Brahmagupta's formula. Geometry Revisited. Mathematical Association of America. с. 57, 60. ISBN 978-0-88385-619-2.
- Prasolov, Viktor. Problems in plane and solid geometry: v.1 Plane Geometry. Архів оригіналу за 21 вересня 2018. Процитовано 6 листопада 2011.
- Alsina, Claudi; Nelsen, Roger (2009). 4.3 Cyclic, tangential, and bicentric quadrilaterals. When Less is More: Visualizing Basic Inequalities. Mathematical Association of America. с. 64. ISBN 978-0-88385-342-9.
- Alsina, Claudi; Nelsen, Roger B. (2007). On the diagonals of a cyclic quadrilateral. Forum Geometricorum 7: 147–9.
- Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ., 2007 (orig. 1929).
- Inequalities proposed in «Crux Mathematicorum», 2007, .
- ABCD is a cyclic quadrilateral. Let M, N be midpoints of diagonals AC, BD respectively.... Art of Problem Solving. 2010.
- Олександр Богомольний, An Identity in (Cyclic) Quadrilaterals, Interactive Mathematics Miscellany and Puzzles, , Accessed 18 March 2014.
- Siddons, A. W.; Hughes, R. T. (1929). Trigonometry. Cambridge University Press. с. 202. OCLC 429528983.
- Hoehn, Larry (March 2000). Circumradius of a cyclic quadrilateral. Mathematical Gazette 84 (499): 69–70. JSTOR 3621477. doi:10.2307/3621477.
- Altshiller-Court, Nathan (2007) [1952]. College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (вид. 2nd). Courier Dover. с. 131, 137–8. ISBN 978-0-486-45805-2. OCLC 78063045.
- Honsberger, Ross (1995). 4.2 Cyclic quadrilaterals. Episodes in Nineteenth and Twentieth Century Euclidean Geometry. New Mathematical Library 37. Cambridge University Press. с. 35–39. ISBN 978-0-88385-639-0.
- Weisstein, Eric W. Maltitude(англ.) на сайті Wolfram MathWorld.
- Buchholz, R. H.; MacDougall, J. A. (1999). Heron quadrilaterals with sides in arithmetic or geometric progression. Bulletin of the Australian Mathematical Society 59 (2): 263–9. MR 1680787. doi:10.1017/S0004972700032883.
- Sastry, K.R.S. (2002). Brahmagupta quadrilaterals. Forum Geometricorum 2: 167–173.
- Posamentier, Alfred S.; Salkind, Charles T. (1970). Solutions: 4-23 Prove that the sum of the squares of the measures of the segments made by two perpendicular chords is equal to the square of the measure of the diameter of the given circle.. Challenging Problems in Geometry (вид. 2nd). Courier Dover. с. 104–5. ISBN 978-0-486-69154-1.
- Josefsson, Martin (2016). Properties of Pythagorean quadrilaterals. Математичний вісник 100 (July): 213–224. doi:10.1017/mag.2016.57..
- Wimmer, Lienhard (2011). Cyclic polygons in non-Euclidean geometry. Elemente der Mathematik 66 (2): 74–82.
- Lexell, A. J. (1786). De proprietatibus circulorum in superficie sphaerica descriptorum. Acta Acad. Sci. Petropol. 6 (1): 58–103.
- Rosenfeld, B. A. (1988). A History of Non-Euclidean Geometry - Springer. Studies in the History of Mathematics and Physical Sciences 12. ISBN 978-1-4612-6449-1. doi:10.1007/978-1-4419-8680-1.
- Kiper, Gökhan; Söylemez, Eres (1 травня 2012). Homothetic Jitterbug-like linkages. Mechanism and Machine Theory 51: 145–158. doi:10.1016/j.mechmachtheory.2011.11.014.
Подальше читання
Посилання
- Derivation of Formula for the Area of Cyclic Quadrilateral
- Incenters in Cyclic Quadrilateral в cut-the-knot
- Four Concurrent Lines in a Cyclic Quadrilateral в cut-the-knot
- Weisstein, Eric W. Cyclic quadrilateral(англ.) на сайті Wolfram MathWorld.
- Euler centre and maltitudes of cyclic quadrilateral в Dynamic Geometry Sketches, інтерактивне геометричне креслення.