Окружности, касающиеся всех трех сторон треугольника
В геометрии вписанная окружность треугольника — это самая большая окружность , которая может быть вписана в треугольник; она касается ( касается ) трех сторон. Центр вписанной окружности — это центр треугольника, называемый инцентром треугольника . [1]
Вневписанная окружность [ 2 ] треугольника — это окружность, лежащая вне треугольника, касающаяся одной из его сторон и касающаяся продолжений двух других . Каждый треугольник имеет три различных вневписанных окружности, каждая из которых касается одной из сторон треугольника. [3]
Центр вписанной окружности, называемый инцентром , можно найти как пересечение трех внутренних биссектрис угла . [3] [4] Центр вневписанной окружности является пересечением внутренней биссектрисы одного угла ( например, в вершине A ) и внешних биссектрис двух других. Центр этой вневписанной окружности называется вневписанным центром относительно вершины A или вневписанным центром A. [ 3] Поскольку внутренняя биссектриса угла перпендикулярна его внешней биссектрисе, то из этого следует , что центр вписанной окружности вместе с тремя центрами вневписанных окружностей образуют ортоцентрическую систему . [5]
Вписанная окружность и вписанный центр
Предположим, что имеет вписанную окружность с радиусом и центром . Пусть будет длиной , длиной и длиной . Также пусть , , и будут точками касания, где вписанная окружность касается , , и .
Инцентр
Инцентр — это точка пересечения биссектрис внутреннего угла .
Трилинейные координаты для точки в треугольнике — это отношение всех расстояний к сторонам треугольника. Поскольку инцентр находится на одинаковом расстоянии от всех сторон треугольника, трилинейные координаты для инцентра равны [6]
Барицентрические координаты
Барицентрические координаты для точки в треугольнике дают веса, такие что точка является средневзвешенным значением положений вершин треугольника. Барицентрические координаты для инцентра задаются как
где , , и - длины сторон треугольника, или, что эквивалентно (используя теорему синусов ),
где , , и — углы при трех вершинах.
Декартовы координаты
Декартовы координаты инцентра являются средневзвешенным значением координат трех вершин с использованием длин сторон треугольника относительно периметра (то есть с использованием барицентрических координат, приведенных выше, нормализованных для суммы к единице) в качестве весов. Веса положительны, поэтому инцентр лежит внутри треугольника, как указано выше. Если три вершины расположены в , , и , а стороны, противоположные этим вершинам, имеют соответствующие длины , , и , то инцентр находится в [ необходима цитата ]
Радиус
Радиус вписанной окружности в треугольнике со сторонами длиной , , определяется по формуле [7]
где полупериметр.
Точки касания вписанной окружности делят стороны на отрезки длиной от , от , и от . [8]
Совокупности центров треугольников можно придать структуру группы при покоординатном умножении трилинейных координат; в этой группе инцентр образует единичный элемент . [6]
Вписанная окружность и ее свойства радиуса
Расстояния между вершиной и ближайшими точками соприкосновения
Расстояния от вершины до двух ближайших точек касания равны, например: [11]
Другие свойства
Если высоты сторон с длинами , , и равны , , и , то радиус вписанной окружности равен одной трети гармонического среднего этих высот; то есть, [12]
Произведение радиуса вписанной окружности и радиуса описанной окружности треугольника со сторонами , и равно [13]
Вот некоторые соотношения между сторонами, радиусом вписанной окружности и радиусом описанной окружности: [14]
Любая линия, проходящая через треугольник, которая делит пополам и площадь треугольника, и его периметр, проходит через инцентр треугольника (центр его вписанной окружности). Для любого данного треугольника их может быть один, два или три. [15]
Обозначая центр вписанной окружности как , имеем [16]
и [17] : 121, #84
Радиус вписанной окружности не превышает одной девятой суммы высот. [18] : 289
Квадрат расстояния от инцентра до описанного центра определяется по формуле [19] : 232
а расстояние от инцентра до центра окружности с девятью точками равно [19] : 232
Инцентр лежит в срединном треугольнике (вершины которого являются серединами сторон). [19] : 233, Лемма 1
Отношение к площади треугольника
Радиус вписанной окружности связан с площадью треугольника. [20] Отношение площади вписанной окружности к площади треугольника меньше или равно , причем равенство справедливо только для равносторонних треугольников . [21]
Предположим, что
имеет вписанную окружность с радиусом и центром . Пусть будет длиной , длиной и длиной . Теперь вписанная окружность касается в некоторой точке , и поэтому
является прямой. Таким образом, радиус является высотой . Следовательно,
имеет длину основания и высоту , и поэтому имеет площадь . Аналогично,
имеет площадь
и
имеет площадь . Поскольку эти три треугольника разлагаются , мы видим, что площадь
равна: и
Для альтернативной формулы рассмотрим . Это прямоугольный треугольник, одна сторона которого равна , а другая — . То же самое верно для . Большой треугольник состоит из шести таких треугольников, а его общая площадь равна: [ необходима ссылка ]
Треугольник Жергонна и точка
Треугольник Жергонна (из ) определяется тремя точками касания вписанной окружности на трех сторонах. Противоположная точка касания обозначается , и т.д.
Этот треугольник Жергонна, , также известен как контактный треугольник или треугольник интокасания . Его площадь равна
где , , и — площадь, радиус вписанной окружности и полупериметр исходного треугольника, а , , и — длины сторон исходного треугольника. Это та же площадь, что и у треугольника соприкосновения . [22]
Три линии , и пересекаются в одной точке, называемой точкой Жергонна , обозначаемой как (или центр треугольника X 7 ). Точка Жергонна лежит в открытом ортоцентроидальном диске, проколотом в его собственном центре, и может быть любой точкой в нем. [23]
Точка Жергонна треугольника имеет ряд свойств, включая то, что она является точкой симедианы треугольника Жергонна. [24]
Вневписанная окружность [ 2 ] треугольника — это окружность, лежащая вне треугольника, касающаяся одной из его сторон и касающаяся продолжений двух других . Каждый треугольник имеет три различных вневписанных окружности, каждая из которых касается одной из сторон треугольника. [3]
Центр вневписанной окружности является пересечением внутренней биссектрисы одного угла ( например, вершины ) и внешних биссектрис двух других. Центр этой вневписанной окружности называется вневписанным центром относительно вершины , или вневписанным центром . [ 3] Поскольку внутренняя биссектриса угла перпендикулярна его внешней биссектрисе, то из этого следует, что центр вписанной окружности вместе с тремя центрами вневписанных окружностей образуют ортоцентрическую систему . [5]
Пусть вневписанная окружность со стороной касается стороны, продолженной в , и пусть радиус этой вневписанной окружности равен , а ее центр равен . Тогда — высота , поэтому имеет площадь . По аналогичным рассуждениям, имеет площадь и имеет площадь . Таким образом, площадь треугольника равна .
Итак, по симметрии, обозначим радиус вписанной окружности, .
Из приведенных выше формул видно, что вневписанные окружности всегда больше вписанной и что наибольшая вневписанная окружность касается самой длинной стороны, а наименьшая вневписанная окружность касается самой короткой стороны. Далее, объединение этих формул дает: [27]
Другие свойства excircle
Круговая оболочка вневписанных окружностей касается изнутри каждой из вневписанных окружностей и, таким образом, является окружностью Аполлония . [28] Радиус этой окружности Аполлония равен , где — радиус вписанной окружности, а — полупериметр треугольника. [29]
Следующие соотношения справедливы между радиусами вписанной окружности , описанной окружности , полупериметра и вневписанной окружности : [ 14]
Окружность, проходящая через центры трех вневписанных окружностей, имеет радиус . [14]
Треугольник Нагеля или треугольник касания обозначается вершинами , , и , которые являются тремя точками, в которых вневписанные окружности касаются опорной точки и где находится напротив , и т. д. Он также известен как треугольник касания . Описанная окружность касания называется окружностью Мандарта . [ требуется ссылка ]
Три отрезка и называются разделителями треугольника; каждый из них делит периметр треугольника пополам, [ необходима ссылка ]
В геометрии девятиточечная окружность — это окружность , которую можно построить для любого заданного треугольника . Она так названа, потому что проходит через девять важных конциклических точек, определяемых треугольником. Эти девять точек : [30] [31]
Середина отрезка прямой , соединяющего каждую вершину треугольника с ортоцентром (где пересекаются три высоты; эти отрезки прямой лежат на соответствующих им высотах).
В 1822 году Карл Фейербах открыл, что окружность любого треугольника, проходящая через девять точек, касается снаружи трех его вневписанных окружностей и изнутри его вписанной окружности ; этот результат известен как теорема Фейербаха . Он доказал, что: [32]
... окружность, проходящая через основания высот треугольника, касается всех четырех окружностей, которые в свою очередь касаются трех сторон треугольника ... (Фейербах 1822)
Центр треугольника , в котором вписанная окружность и окружность девяти точек соприкасаются, называется точкой Фейербаха .
Внутрицентральные и внецентральные треугольники
Точки пересечения биссектрис внутреннего угла с отрезками , , и являются вершинами вписанного треугольника . Трилинейные координаты вершин вписанного треугольника задаются как [ необходимая ссылка ]
Внецентральный треугольник исходного треугольника имеет вершины в центрах вневписанных окружностей исходного треугольника. Его стороны лежат на внешних биссектрисах углов исходного треугольника (см. рисунок вверху страницы). Трилинейные координаты вершин внецентрального треугольника задаются как [ необходима ссылка ]
Уравнения для четырех окружностей
Пусть будет переменной точкой в трилинейных координатах , и пусть , , . Четыре описанные выше окружности эквивалентно задаются любым из двух приведенных уравнений: [33] : 210–215
где и — радиус описанной и вписанной окружности соответственно, а — расстояние между центром описанной и вписанной окружностей.
Для вневписанных окружностей уравнение аналогично:
где — радиус одной из вневписанных окружностей, а — расстояние между центром описанной окружности и центром этой вневписанной окружности. [34] [35] [36]
Обобщение на другие многоугольники
Некоторые (но не все) четырехугольники имеют вписанную окружность. Они называются касательными четырехугольниками . Среди их многочисленных свойств, возможно, наиболее важным является то, что их две пары противоположных сторон имеют равные суммы. Это называется теоремой Пито . [37]
В более общем смысле, многоугольник с любым числом сторон, в который вписана окружность (то есть касательная к каждой стороне), называется касательным многоугольником . [ необходима ссылка ]
^ Аллер, Патрисия Р.; Чжоу, Цзюньминь; и Яо, Хайшэнь, «Доказательство тождества эллипса девятнадцатого века», Mathematical Gazette 96, март 2012 г., 161-165.
^ Альтшиллер-Корт, Натан. College Geometry , Dover Publications, 1980.
^ Посаментье, Альфред С. и Леманн, Ингмар. Секреты треугольников , Prometheus Books, 2012.
^ abc Franzsen, William N. (2011). «Расстояние от инцентра до линии Эйлера» (PDF) . Forum Geometricorum . 11 : 231–236. MR 2877263. Архивировано из оригинала (PDF) 2020-12-05 . Получено 2012-05-09 ..
↑ Минда, Д. и Фелпс, С., «Треугольники, эллипсы и кубические многочлены», American Mathematical Monthly 115, октябрь 2008 г., 679-689: Теорема 4.1.
^
Weisstein, Eric W. «Контактный треугольник». Из MathWorld — веб-ресурса Wolfram. http://mathworld.wolfram.com/ContactTriangle.html
↑ Кристофер Дж. Брэдли и Джефф К. Смит, «Расположение центров треугольников», Forum Geometricorum 6 (2006), 57–70. http://forumgeom.fau.edu/FG2006volume6/FG200607index.html
^ Деков, Деко (2009). "Математика, генерируемая компьютером: точка Жергонна" (PDF) . Журнал компьютерной евклидовой геометрии . 1 : 1–14. Архивировано из оригинала (PDF) 2010-11-05.
^ ab Altshiller-Court (1925, стр. 79)
^ Кей (1969, стр. 202)
↑ Бейкер, Маркус, «Сборник формул для площади плоского треугольника», Annals of Mathematics , часть 1 в т. 1(6), январь 1885 г., 134–138. (См. также часть 2 в т. 2(1), сентябрь 1885 г., 11–18.)
^ Гринберг, Дарий и Ю, Пол, «Круг Аполлония как круг Таккера», Forum Geometricorum 2, 2002: стр. 175-182.
^ Стеванович, Милорад Р., «Окружность Аполлония и связанные с ней треугольные центры», Forum Geometricorum 3, 2003, 187-195.
^ Альтшиллер-Корт (1925, стр. 103–110)
^ Кей (1969, стр. 18, 245)
^ Фейербах, Карл Вильгельм ; Бузенгейгер, Карл Гериберт Игнац (1822), Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks und mehrerer durch sie bestimmten Linien und Picturen. Eine analytisch-trigonometrische Abhandlung (изд. монографии), Нюрнберг: Wiessner.
^ Уитворт, Уильям Аллен. Трилинейные координаты и другие методы современной аналитической геометрии двух измерений , Forgotten Books, 2012 (оригинал Deighton, Bell, and Co., 1866). http://www.forgottenbooks.com/search?q=Trilinear+coordinates&t=books
^ Нельсон, Роджер, «Неравенство треугольника Эйлера с помощью доказательства без слов», Mathematics Magazine 81(1), февраль 2008 г., 58-61.
↑ Джонсон 1929, стр. 187.
↑ Емельянов, Лев, и Емельянова, Татьяна. «Формула Эйлера и поризм Понселе», Forum Geometricorum 1, 2001: стр. 137–140.