Біцентричний чотирикутник

Біцентричний чотирикутник — це опуклий чотирикутник, який має як вписане коло, так і описане коло. З визначення випливає, що біцентричні чотирикутники мають всі властивості як описаних чотирикутників, так і вписаних чотирикутників. Інші назви цих чотирикутників: хордо-дотичний чотирикутник[1] і вписано-описаний чотирикутник.

Поризм Понселе для біцентричних чотирикутників ABCD і EFGH

Якщо два кола, одна усередині іншого, є вписаним колом і описаним колом деякого чотирикутника, то будь-яка точка на описаному колі є вершиною якогось (можливо, іншого) біцентричного чотирикутника, який має ті самі вписане та описане кола[2]. Це наслідок поризму Понселе, який довів французький математик Жан-Віктор Понселе (1788-1867).

Спеціальні випадки

Прямокутний дельтоїд[en]

Прикладами вписано-описаних чотирикутників є квадрати, прямокутні дельтоїди[en] і рівнобічні описані трапеції[en].

Опис

Біцентричний чотирикутник ABCD і його контактний чотирикутник WXYZ

Опуклий чотирикутник ABCD зі сторонами a, b, c, d є біцентричним тоді і тільки тоді, коли протилежні сторони задовольняють теоремі Піто для описаних чотирикутників і властивості вписаних чотирикутників, що протилежні кути в сумі дають 180 градусів, тобто,

Три інших описи стосуються точок, в яких вписане коло в описаному чотирикутнику дотикається до сторін. Якщо вписане коло дотикається сторін AB, BC, CD і DA в точках W, X, Y і Z відповідно, то описаний чотирикутник ABCD є також і описаним в тому і тільки в тому випадку, коли виконується будь-яка з таких трьох умов[3]:

  • Відрізок WY перпендикулярний до XZ

Перша з цих трьох умов означає, що контактний чотирикутник WXYZ є ортодіагональним чотирикутником.

Якщо E, F, G, H є серединами WX, XY, YZ, ZW відповідно, то описаний чотирикутник ABCD також є описаним тоді і тільки тоді, коли чотирикутник EFGH є прямокутником[3].

Відповідно до іншого опису, якщо I є центром вписаного кола описаного чотирикутника, у якого продовження протилежних сторін перетинаються в точках J і K, то чотирикутник є описаним тоді і тільки тоді, коли JIK є прямим кутом[3].

Ще однією необхідною і достатньою умовою є те, що описаний чотирикутник ABCD є описаним тоді і тільки тоді, коли його пряма Гаусса перпендикулярна до прямої Гаусса його контактного чотирикутника WXYZ. (Пряма Гаусса чотирикутника визначається середніми точками його діагоналей.)[3]

Побудова

Біцентричний чотирикутник ABCD з контактним чотирикутником WXYZ. Анімацію дивіться тут

Є простий метод побудови біцентричного чотирикутника:

Побудова починається зі вписаного кола Cr з центром I і радіусом r, потім малюємо дві перпендикулярні між собою хорди WY і XZ у вписаному колі Cr. На кінцях хорд проводимо дотичні a, b, c і d до вписаного кола. Вони перетинаються в точках A, B, C і D, які є вершинами біцентричного чотирикутника[4]. Щоб намалювати описане коло, малюємо два перпендикулярні бісектори[en][5] p1 і p2 на сторонах біцентричного чотирикутника a і b відповідно. Перпендикулярні бісектори p1 і p2 перетинаються в центрі O описаного кола CR на відстані x від центру I вписаного кола Cr. Описане коло може бути описане навколо центру O.

Правильність цієї побудови випливає з факту, що в описаному чотирикутнику ABCD контактний чотирикутник WXYZ має перпендикулярні діагоналі тоді і тільки тоді, коли описаний чотирикутник є також вписаним.

Площа

Формули в термінах чотирьох величин

Площу K біцентричного чотирикутника можна виразити в термінах чотирьох величин чотирикутника кількома способами. Якщо a, b, c і d є сторонами, то площа задається формулою[2][6][7][8][9]

Це окремий випадок формули Брамагупти. Формулу можна отримати і прямо з тригонометричної формули площі описаного чотирикутника. Зауважимо, що зворотне не виконується — деякі чотирикутники, які не є біцентричними також мають площу [10]. Прикладом такого чотирикутника є прямокутник (з різними сторонами, не квадрат).

Площа може бути виражена в термінах відрізків від вершини до точки дотику (для стислості будемо називати ці довжини дотичними довжинами) e, f, g, h[11]

Формула площі біцентричного чотирикутника ABCD з центром вписаного кола I[7]

Якщо біцентричний чотирикутник має дотичні хорди k, l і діагоналі p, q, тоді він має площу[12]

Якщо k, l є дотичними хордами і m, n є бімедіанами чотирикутника, тоді площа може бути обчислена за допомогою формули[7].

Формула не може бути використана, якщо чотирикутник є прямокутним дельтоїдом[en], оскільки в цьому випадку знаменник дорівнює нулю.

Якщо M і N є серединами діагоналей, а E і F є точками перетину продовження сторін, то площа біцентричного чотирикутника задається формулою

де I є центром вписаного кола[7].

Формули в термінах трьох величин

Площу біцентричного чотирикутника можна виразити в термінах двох протилежних сторін і кута θ між діагоналями згідно з формулою[7]

У термінах двох суміжних кутів і радіуса r вписаного кола площа задається формулою [7]

Площа задається в термінах радіуса R описаного кола і радіуса r вписаного кола як

де θ є будь-яким з кутів між діагоналями[13].

Якщо M і N є середніми точками діагоналей, а E і F є точками перетину продовжень протилежних сторін, площу можна виразити формулою

де Q є основою перпендикуляра на пряму EF з центра вписаного кола[7].

Нерівності

Якщо r і R є радіусом вписаного кола і радіусом описаного кола відповідно, тоді площа K задовольняє нерівності[14]

Рівність отримаємо тільки якщо чотирикутник є квадратом.

Іншою нерівністю для площі буде[15]:p.39,#1203

де r і R є радіусом вписаного кола і радіусом описаного кола відповідно.

Схожа нерівність, що дає точнішу верхню межу для площі, ніж попередня[13]

і рівність досягається тоді і тільки тоді, коли чотирикутник є прямокутним дельтоїдом[en].

Крім того, зі сторонами a, b, c, d і півпериметром s:

[15]:p.39,#1203
[15]:p.39,#1203
[15]:p.39,#1203

Формули кутів

Якщо a, b, c і d є довжинами сторін AB, BC, CD і DA відповідно у біцентричному чотирикутнику ABCD, то його кути у вершинах можна обчислити за допомогою тангенса[7]:

Якщо використати ті ж позначення, виконуються такі формули для синусів і косинусів[16]:

Кут θ між діагоналями можна обчислити за формулою[8].

Радіус вписаного кола і радіус описаного кола

Радіус вписаного кола r біцентричного чотирикутника визначається сторонами a, b, c, d за формулою[2]

Радіус описаного кола R є окремим випадком формули Парамешвари[2]

Радіус вписаного кола можна виразити також у термінах послідовних дотичних довжин e, f, g, h за формулою[17].

Ці дві формули, фактично, є необхідними і достатніми умовами для описаного чотирикутника з радіусом вписаного кола r бути вписаним.

Чотири сторони a, b, c, d біцентричного чотирикутника є розв'язками рівняння четвертого степеня[en]

де s є півпериметром, а r і R є радіусами вписаного і описаного кіл відповідно[18].

Якщо є біцентричний чотирикутник з радіусом вписаного кола r, дотичні довжини якого дорівнюють e, f, g, h, то існує біцентричний чотирикутник з радіусом вписаного кола rv, дотичні довжини якого дорівнюють , де v можуть бути будь-яким дійсним числом[19].

Біцентричний чотирикутник має більший радіус вписаного кола, ніж будь-який інший описаний чотирикутник, що має ті самі довжини сторін в тій самій послідовності[20].

Нерівності

Радіус описаного кола R і радіус вписаного кола r задовольняють нерівності

яку довів Л. Фейєш Тот у 1948[21]. Нерівність перетворюється на рівність тільки якщо два кола концентричні (центри збігаються). У цьому випадку чотирикутник є квадратом. Нерівність можна довести кількома різними шляхами, один з шляхів використовує подвійну нерівність для площі вище.

Узагальненням попередньої нерівності є[22][23].

де нерівність перетворюється на рівність тоді і тільки тоді, коли чотирикутник є квадратом[24].

Півпериметр s біцентричного чотирикутника задовольняє[25]

де r і R є радіусом вписаного кола і радіусом описаного кола відповідно.

Більше того,[15]:p.39,#1203

і

[15]:p.62,#1599

Відстань між центром вписаного кола і центром описаного кола

Біцентричний чотирикутник ABCD з центром вписаного кола I і центром описаного кола O

Теорема Фусса

Теорема Фусса дає зв'язок між радіусом вписаного кола r, радіусом описаного кола R і відстанню x між центром вписаного кола I і центром описаного кола O, для будь-якого біцентричного чотирикутника. Зв'язок задається формулою[1][9][26].

Або, еквівалентно,

Формулу вивів М.І.Фусс (1755-1826) у 1792 році. Розв'язуючи відносно x, отримаємо

Теорема Фусса для вписано-описаних чотирикутників, яка є аналогом теореми Ейлера для трикутників, стверджує, що якщо чотирикутник біцентричений, то його два асоційовані кола пов'язані наведеною вище формулою. Фактично, зворотне також виконується, якщо дано два кола (одне усередині іншого) з радіусами R і r і відстань x між їхніми центрами задовольняє умові теореми Фусса, існує опуклий чотирикутник вписаний в одне з кіл, а інше коло буде вписане в чотирикутник[27] (а тоді за теоремою Понселе, існує нескінченно багато таких чотирикутників).

Якщо скористатись фактом, що у виразі теореми Фусса, отримаємо іншим способом вже згадану нерівність Узагальненням нерівності буде [28]

Тотожність Карліца

Інша формула відстані x між центрами вписаного кола і описаного кола належить американському математику Леонарду Карліцу (1907-1999). Формула стверджує, що[29].

де r і R є радіусом вписаного кола і радіусом описаного кола відповідно, і

де a, b, c, d є сторонами біцентричного чотирикутника.

Нерівності для дотичних довжин і сторін

Для дотичних довжин e, f, g, h виконуються такі нерівності[30]:

і

де r є радіусом вписаного кола, R є радіусом описаного кола, а x є відстанню між центрами цих кіл. Сторони a, b, c, d задовольняють нерівностям[28]

і

Інші властивості центру вписаного кола

Центр описаного кола, центр вписаного кола і точка перетину діагоналей у біцентричному чотирикутнику колінеарні.[31]

Є така рівність щодо чотирьох відстаней між центром вписаного кола I і вершинами біцентричного чотирикутника ABCD:[32]

де r — радіус вписаного кола.

Якщо точка P є перетином діагоналей у біцентричному чотирикутнику ABCD з центром вписаного кола I, то[33]

Є нерівність для радіуса r вписаного кола і радіуса описаного кола R у біцентричному чотирикутнику ABCD[34]

де I є центром вписаного кола.

Властивості діагоналей

Довжини діагоналей у біцентричному чотирикутнику можна виразити в термінах сторін або дотичних довжин. Ці формули правильні для вписаних чотирикутників і описаних чотирикутників відповідно.

У біцентричному чотирикутнику з діагоналями p і q виконується тотожність[9]:

де r і R є радіусом вписаного кола і радіусом описаного кола відповідно. Цю тотожність можна переписати як[13]

або, розв'язавши її як квадратне рівняння відносно добутку діагоналей, отримаємо

Є нерівність для добутку діагоналей p, q у біцентричному чотирикутнику[14]

де a, b, c, d — сторони. Нерівність довів Мюррей С. Кламкін у 1967.

Див. також

  • Біцентричний багатокутник

Примітки

  1. Dörrie, 1965, с. 188–193.
  2. Eric Weisstein, Bicentric Quadrilateral at MathWorld, , Accessed on 2011-08-13.
  3. Josefsson, 2010, с. 165–173.
  4. Alsina, Nelsen, 2011, с. 125–126.
  5. Бисектор відрізка — це пряма, що проходить через його середину
  6. Josefsson, 2010, с. 129.
  7. Josefsson, 2011, с. 155–164.
  8. Durell, Robson, 2003, с. 28, 30.
  9. Yiu, 1998, с. 158-164.
  10. Lord, 2012, с. 345-347.
  11. Josefsson, 2010, с. 128.
  12. Josefsson, 2010a, с. 129.
  13. Josefsson, 2012, с. 237–241.
  14. Alsina, Nelsen, 2009, с. 64–66.
  15. Inequalities proposed in Crux Mathematicorum, 2007.
  16. Josefsson, 2012, с. 79–82.
  17. Radic, Kaliman, Kadum, 2007, с. 41.
  18. Pop, 2009, с. 754.
  19. Radic, 2005, с. 9-10.
  20. Hess, 2014, с. 392–393.
  21. Radic, 2005.
  22. Yun, 2008, с. 119-121.
  23. Shattuck, 2018, с. 141.
  24. Josefsson, 2012, с. 81.
  25. Radic, 2005, с. 13.
  26. Salazar, 2006, с. 306–307.
  27. Byerly, 1909, с. 123–128.
  28. Radic, 2005, с. 5.
  29. Calin, 2010, с. 153–158.
  30. Radic, 2005, с. 3.
  31. Bogomolny, Alex, Collinearity in Bicentric Чотирикутники , 2004.
  32. Juan Carlos Salazar, Fuss Theorem for Bicentric Quadrilateral, 2003, .
  33. Crux Mathematicorum 34 (2008) no 4, p. 242.
  34. Post at Art of Problem Solving, 2009

Література

  • Heinrich Dörrie. 100 Great Problems of Elementary Mathematics: Their History and Solutions. — New York : Dover, 1965. — С. 188–193. — ISBN 978-0-486-61348-2.
  • Eric W. Weisstein. Poncelet Transverse // MathWorld – A Wolfram Web Resource,.
  • Martin Josefsson. Characterizations of Bicentric Quadrilaterals // Forum Geometricorum.  2010. Т. 10. С. 165–173.
  • Martin Josefsson. Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral // Forum Geometricorum.  2010a. Т. 10. С. 119–130.
  • Martin Josefsson. The Area of a Bicentric Quadrilateral // Forum Geometricorum.  2011. Т. 11. С. 155–164.
  • Martin Josefsson. A New Proof of Yun’s Inequality for Bicentric Quadrilaterals // Forum Geometricorum.  2012. Т. 12. С. 79–82.
  • Claudi Alsina, Roger Nelsen. Icons of Mathematics. An exploration of twenty key images. — Mathematical Association of America, 2011. — С. 125–126. — ISBN 978-0-88385-352-8.
  • Nick Lord. Quadrilaterals with area formula  // Mathematical Gazette.  2012. Т. 96 (Липень).
  • Martin Josefsson. Maximal Area of a Bicentric Quadrilateral // Forum Geometricorum.  2012. Т. 12. С. 237–241.
  • Claudi Alsina, Roger Nelsen. When less is more: visualizing basic inequalities. — Mathematical Association of America, 2009. — С. 64–66. — ISBN 978-0-88385-342-9.
  • Durell C. V., Robson A. Advanced Trigonometry. — Dover, 2003.
  • Radic M., Kaliman Z., Kadum V. A condition that a tangential quadrilateral is also a chordal one. — Mathematical Communications, 2007. — Т. 12. — С. 33–52.
  • Ovidiu T. Pop. Identities and inequalities in a quadrilateral // Octogon Mathematical Magazine.  2009. Т. 17, № 2 (Жовтень). С. 754-763.
  • Mirko Radic. Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons // Journal of Inequalities in Pure and Applied Mathematics.  2005. Т. 6.
  • Zhang Yun. Euler's Inequality Revisited // Mathematical Spectrum.  2008. Т. 40, № 3 (Травень). С. 119-121.
  • Mark Shattuck. A Geometric Inequality for Cyclic Quadrilaterals // Forum Geometricorum.  2018. Т. 18. С. 141-154.
  • Paul Yiu. Euclidean Geometry. — 1998. — С. 158-164.
  • Juan Carlos Salazar. Fuss's Theorem // Mathematical Gazette.  2006. Т. 90 (Липень). С. 306–307.
  • Byerly W. E. The In- and-Circumscribed Quadrilateral // The Annals of Mathematics.  1909. Т. 10. С. 123–128. DOI:10.2307/1967103.
  • Ovidiu Calin. Euclidean and Non-Euclidean Geometry a metric approach. — 2nd ed.. — Wiley Custom Publishing, 2010. — С. 153–158.
  • Albrecht Hess. On a circle containing the incenters of tangential quadrilaterals // Forum Geometricorum.  2014. Т. 14. С. 389–396.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.