Русская Википедия:Вписанная и вневписанные в треугольник окружности

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Incircle and Excircles.svg
Треугольник (чёрный) с вписанной окружностью (синей), инцентр (I), вневписанными окружностями (оранжевые), эксцентры (JA,JB,JC), внутренние биссектрисы (красные) и внешние биссектрисы (зелёные)

Вписанная в треугольник окружность — окружность внутри треугольника, касающаяся всех его сторон; наибольшая окружность, которая может находиться внутри треугольника. Центр этой окружности является точкой пересечения биссектрис треугольника и называется инцентром треугольника.

Вневписанная окружность треугольника — окружность, лежащая вне треугольника и касающаяся одной стороны треугольника и Шаблон:Не переведено 5. Любой треугольник имеет три различные вневписанные окружности, каждая из которых касается своей стороны треугольника. Центром вневписанной окружности является пересечение биссектрисы одного Шаблон:Не переведено 5 и биссектрис двух других Шаблон:Не переведено 5. Поскольку биссектриса внутреннего угла перпендикулярна биссектрисе смежного внешнего угла, центр вписанной окружности вместе с тремя центрами вневписанных окружностей образуют Шаблон:Не переведено 5[1].

Не все многоугольники с числом сторон более трёх имеют вписанную окружность. Те, которые имеют, называются описанными.

Связь с площадью треугольника

Радиусы вписанных и вневписанных окружностей имеют тесную связь с площадью треугольника[2].

Вписанная окружность

Файл:Вики вписанная окружность7.png

Пусть <math> \triangle ABC </math> имеет вписанную окружность радиуса r с центром I. Пусть a — длина BC, b — длина AC, а c — длина AB. Пусть вписанная окружность касается AB в некоторой точке C′, тогда <math> \angle AC'I</math> является прямым. Тогда радиус C’I будет высотой треугольника <math>\triangle IAB </math>. Таким образом, <math>\triangle IAB </math> имеет основание длины c и высоту r, а следовательно, его площадь равна <math>\tfrac{1}{2}cr</math>. Подобным же образом <math> \triangle IAC </math> имеет площадь <math>\tfrac{1}{2}br</math> и <math>\triangle IBC</math> имеет площадь <math>\tfrac{1}{2}ar</math>. Поскольку эти три треугольника разбивают <math> \triangle ABC </math>, получаем, что

<math> \Delta = \frac{1}{2} (a+b+c) r = p r, </math>

где <math>\Delta</math> — площадь <math> \triangle ABC </math>, а <math>p= \frac{1}{2}(a+b+c)</math> — его полупериметр.

Чтобы получить альтернативную формулу, рассмотрим <math>\triangle IC'A </math>. Это прямоугольный треугольник, у которого один из катетов равен r, а другой равен <math>r\cdot\mathrm{ctg} \frac{\angle A}{2}</math>. То же самое верно для <math>\triangle IB'A </math>. Весь треугольник состоит из 6 таких треугольников, и общая площадь составляет:

<math> \Delta = r^2\cdot(\mathrm{ctg} \frac{\angle A}{2} + \mathrm{ctg} \frac{\angle B}{2} + \mathrm{ctg} \frac{\angle C}{2})</math>

Вневписанные окружности

Пусть вневписанная окружность, касающаяся стороны AB, касается продолжения стороны AC в точке G, и пусть радиус этой окружности равен <math>r_c</math>, а её центр — <math>I_c</math>. Тогда <math>I_c G </math> является высотой треугольника <math> \triangle ACI_c </math>, так что <math> \triangle ACI_c </math> имеет площадь <math>\tfrac{1}{2}br_c</math>. По тем же причинам <math> \triangle BCI_c </math> имеет площадь <math>\tfrac{1}{2}ar_c</math>, а <math> \triangle ABI_c </math> имеет площадь <math>\tfrac{1}{2}cr_c</math>. Тогда

<math> \Delta = \frac{1}{2}(a+b-c)r_c = (p-c)r_c </math>.

Таким образом, ввиду симметрии,

<math> \Delta = pr = (p-a)r_a = (p-b)r_b = (p-c)r_c </math>.

По теореме косинусов получаем

<math> \cos A = \frac{b^2 + c^2 - a^2}{2bc} </math>

Комбинируя это с тождеством <math>\sin^2 A + \cos^2 A = 1</math>, получим

<math> \sin A = \frac{\sqrt{-a^4 - b^4 - c^4 + 2a^2b^2 + 2b^2 c^2 + 2 a^2 c^2}}{2bc} </math>

Но <math> \Delta = \tfrac{1}{2}bc \sin A </math>, так что

<math>

\begin{align} \Delta &= \frac{1}{4} \sqrt{-a^4 - b^4 - c^4 + 2a^2b^2 + 2b^2 c^2 + 2 a^2 c^2} \\

                      &= \frac{1}{4} \sqrt{ (a+b+c) (-a+b+c) (a-b+c) (a+b-c) }\\
                     & = \sqrt{p(p-a)(p-b)(p-c)},

\end{align}</math>

и это формула Герона вычисления площади треугольника по его сторонам.

Комбинируя формулу Герона с <math>pr=\Delta</math>, получим

<math> r^2 = \frac{\Delta^2}{p^2} = \frac{(p-a)(p-b)(p-c)}{p}</math>.

Аналогично, <math> (p-a)r_a = \Delta</math> даёт

<math> r_a^2 = \frac{p(p-b)(p-c)}{p-a}</math>.

Из этих формул видно, что вневписанные окружности всегда больше вписанной и наибольшая окружность соответствует самой длинной стороне, а самая наименьшая из вневписанных окружностей соответствует самой маленькой стороне. Дальнейшее комбинирование формул приводит к:[3]

<math>\Delta=\sqrt{rr_ar_br_c}.</math>

Отношение площади вписанной окружности к площади треугольника меньше или равно <math>\frac{\pi}{3\sqrt{3}}</math>, и равенство достигается только на правильных треугольниках[4].

Связанные построения

Окружность девяти точек и точка Фейербаха

Треугольник и точка Жергонна

Файл:Intouch Triangle and Gergonne Point.svg
Треугольник ΔABC с вписанной окружностью (синяя), и её центр (синий, I), треугольник точек касания (красный, ΔTaTbTc) и точка Жергонна (зелёная, Ge)

Треугольник Жергонна (для треугольника ABC) определяется тремя точками касания вписанной окружности на трёх сторонах. Эти вершины обозначим TA, и т. д.. Точка TA лежит напротив вершины A.

Этот треугольник Жергонна TATBTC известен также как треугольник касаний треугольника ABC.

Три прямые ATA, BTB и CTC пересекаются в одной точке — точке Жергонна и обозначается Ge — X(7). Точка Жергонна лежит внутри открытого Шаблон:Не переведено 5 с выколотым центром[6].

Интересно, что точка Жергонна треугольника является точкой пересечения симедиан треугольника Жергонна. Полный набор свойств точки Жергонна можно найти в статье Декова[7].

Трилинейные координаты вершин треугольника касаний задаются формулами

  • вершина <math>A= 0 : \sec^2 \left(\frac{B}{2}\right) :\sec^2\left(\frac{C}{2}\right)</math>
  • вершина <math>B= \sec^2 \left(\frac{A}{2}\right):0:\sec^2\left(\frac{C}{2}\right)</math>
  • вершина <math>C= \sec^2 \left(\frac{A}{2}\right) :\sec^2\left(\frac{B}{2}\right):0</math>

Трилинейные координаты точки Жергонна

<math>\sec^2\left(\frac{A}{2}\right) : \sec^2 \left(\frac{B}{2}\right) : \sec^2\left(\frac{C}{2}\right)</math>,

или, эквивалентно, по теореме синусов,

<math>\frac{bc}{b+ c - a} : \frac{ca}{c + a-b} : \frac{ab}{a+b-c}</math>.

Точка Жергонна является изотомическим сопряжением точки Нагеля.

Треугольник и точка Нагеля

Треугольник Нагеля (см. рис. выше) для треугольника ABC определяется вершинами TA, TB и TC, которые являются точками касания вневписанных окружностей треугольника ABC и точка XA противоположна стороне A, и т. д. Описанная вокруг треугольника TATBTC окружность называется окружностью Мандарта (частный случай эллипса Мандарта). Три прямые ATA, BTB и CTC делят периметр пополам и пересекаются в одной точке Нагеля Na — X(8).

Трилинейные координаты точек касания треугольника вневписанными окружностями задаются формулами

  • вершина <math> A = 0 : \csc^2\left(\frac{B}{2}\right) : \csc^2\left(\frac{C}{2}\right)</math>
  • вершина <math> B= \csc^2\left(\frac{A}{2}\right) : 0 : \csc^2\left(\frac{C}{2}\right)</math>
  • вершина <math> C = \csc^2\left(\frac{A}{2}\right) : \csc^2\left(\frac{B}{2}\right) : 0</math>

Трилинейные координаты точки Нагеля задаются формулами

<math>\csc^2\left(\frac{A}{2}\right) : \csc^2 \left(\frac{B}{2}\right) : \csc^2\left(\frac{C}{2}\right)</math>,

или, эквивалентно, по теореме синусов,

<math>\frac{b+ c - a}{a} : \frac{c + a-b}{b} : \frac{a+b-c}{c}</math>.

Точка Нагеля является изотомическим сопряжением точки Жергонна.

Трилинейные координаты вписанных треугольников

Трилинейные координаты вершин треугольника, образованного основаниями биссектрис, задаются формулами

  • вершина <math>A= 0 : 1 : 1</math>
  • вершина <math>B= 1 : 0 : 1</math>
  • вершина <math>C= 1 : 1 : 0</math>

Трилинейные координаты треугольника, образованного точками касания сторон внеописанными окружностями, задаются формулами

  • вершина <math>A= -1 : 1 : 1</math>
  • вершина <math>B= 1 : -1 : 1</math>
  • вершина <math>C= 1 : -1 : -1</math>

Уравнения окружностей

Пусть x : y : z — координаты точки в трилинейных координатах, и пусть u = cos2(A/2), v = cos2(B/2), w = cos2(C/2). Четыре окружности, описанные выше, можно задать любым из двух указанных способов[8]:

  • Вписанная окружность:
<math>\ u^2x^2+v^2y^2+w^2z^2-2vwyz-2wuzx-2uvxy=0</math>
<math>\pm \sqrt{x}\cos \frac{A}{2}\pm \sqrt{y}\cos \frac{B}{2}\pm\sqrt{z}\cos \frac{C}{2}=0</math>
  • A-внешневписанная:
<math>\ u^2x^2+v^2y^2+w^2z^2-2vwyz+2wuzx+2uvxy=0</math>
<math>\pm \sqrt{-x}\cos \frac{A}{2}\pm \sqrt{y}\cos \frac{B}{2}\pm\sqrt{z}\cos \frac{C}{2}=0</math>
  • B-внешневписанная:
<math>\ u^2x^2+v^2y^2+w^2z^2+2vwyz-2wuzx+2uvxy=0</math>
<math>\pm \sqrt{x}\cos \frac{A}{2}\pm \sqrt{-y}\cos \frac{B}{2}\pm\sqrt{z}\cos \frac{C}{2}=0</math>
  • C-внешневписанная:
<math>\ u^2x^2+v^2y^2+w^2z^2+2vwyz+2wuzx-2uvxy=0</math>
<math>\pm \sqrt{x}\cos \frac{A}{2}\pm \sqrt{y}\cos \frac{B}{2}\pm\sqrt{-z}\cos \frac{C}{2}=0</math>

Другие свойства вписанной окружности

Некоторые формулы с радиусом вписанной окружности

  • <math>r= \frac{p-a}{\operatorname{ctg}(\alpha/2)} = \frac{p-b}{\operatorname{ctg}(\beta/2)} = \frac{p-c}{\operatorname{ctg}(\gamma/2)} </math>, <math>p</math> — полупериметр треугольника (Теорема котангенсов).
  • Радиус вписанной окружности не больше одной девятой суммы высот треугольника[9].
  • Неравенство Эйлера: радиус вписанной окружности не превосходит половины радиуса описанной окружности и равенство имеет место лишь для равностороннего треугольника[10].
  • Предположим, что точки касания вписанной окружности делят стороны на отрезки длиной x и y, y и z, z и x. Тогда вписанная окружность имеет радиус[11]
<math> r = \sqrt{\frac{xyz}{x+y+z}}</math>

и площадь треугольника равна

<math>K=\sqrt{xyz(x+y+z)}.</math>
  • Если высоты, опущенные на стороны a, b и c есть ha, hb и hc, то радиус вписанной окружности r равен одной трети гармонического среднего этих высот, то есть
<math> r = \frac{1}{h_a^{-1}+h_b^{-1}+h_c^{-1}}.</math>
  • Произведение радиуса вписанной окружности r и радиуса описанной окружности R треугольника со сторонами a, b и c равен[1]
<math>rR=\frac{abc}{2(a+b+c)}.</math>
  • Некоторые связи сторон, радиусов вписанной окружности и описанной окружностей[12]:
<math>ab+bc+ca=s^2+(4R+r)r,</math>
<math>a^2+b^2+c^2=2s^2-2(4R+r)r.</math>
  • Любая прямая, проходящая через треугольник и делящая площадь треугольника и периметр пополам, проходит через центр вписанной окружности. Таких прямых может существовать три, две или одна[13].
  • Перпендикуляры, восставленные к сторонам треугольника в точках касания вневписанных окружностей, пересекаются в одной точке. Эта точка симметрична центру вписанной окружности относительно центра описанной окружностиШаблон:Sfn.

Формулы для расстояний до центра вписанной или вневписанной окружностей

Теорема Эйлера

Теорема Эйлера утверждает, что в треугольнике[10]:

<math>(R-r_{in})^2=d^2+r_{in}^2,</math>

где R и rin являются радиусами описанной и вписанной окружностей соответственно, а d — расстояние между центрами этих окружностей.

Для вневписанных окружностей уравнение выглядит похоже:

<math>(R+r_{ex})^2=d^2+r_{ex}^2,</math>

где rex — радиус одной из вневписанных окружностей, а d — расстояние между центрами описанной и вневписанной окружностей[14][15][16]

  • Возводя в квадрат и приводя подобные из первой формулы Эйлера выше имеем:

Квадрат расстояния от центра вписанной окружности I до центра описанной O задаётся уравнением[17]

<math>OI^2=d^2=R(R-2r_{in}),</math>
<math>OI^2= \frac{abc\,}{a+b+c}\left [\frac{abc\,}{(a+b-c)\,(a-b+c)\,(-a+b+c)}-1 \right ]</math>

Аналогично для второй формулы:

<math>d^2=R(R+2r_{ex}).</math>

Другие формулы для расстояний до центра вписанной или вневписанной окружностей

<math>IN=\frac{1}{2}(R-2r) < \frac{1}{2}R.</math>
  • Расстояние от вершины до точек касания вписанной окружности на прилегающих сторонах равно полусумме длин прилегающих сторон минус половина противолежащей стороны[18]. Так, для вершины B и прилежащих точек касания TA и TC,
<math>BT_A=BT_C=\frac{BC+AB-AC}{2}.</math>


  • Если обозначить центр вписанной окружности треугольника ABC буквой I, мы получим[19]
<math>\frac{IA\cdot IA}{CA \cdot AB}+ \frac{IB \cdot IB}{AB\cdot BC} + \frac{IC \cdot IC}{BC\cdot CA} = 1</math>

и[20]

<math>IA \cdot IB \cdot IC=4Rr^2.</math>
  • Если обозначить за I центр вписанной окружности треугольника ABC, AD — биссектриса угла A, то <math>\frac{AI}{DI} = \frac{AB + AC}{BC}</math>
  • Центр вписанной окружности лежит в треугольнике, вершины которого являются серединами сторон треугольника[17].
  • Теорема о трезубце или теорема трилистника, или теорема Клайнэра: Если D — точка пересечения биссектрисы угла A с описанной окружностью треугольника ABC, I и J — соответственно центры вписанной и вневписанной окружности, касающейся стороны BC, тогда <math>|DI|=|DB|=|DC|=|DJ|</math>.
  • Теорема Мансиона (составная часть Теоремы о трезубце). Середины трёх отрезков, соединяющих центр вписанной окружности с центрами вневписанных окружностей лежат на описанной окружности[10].
Файл:Harcourt theorem.svg
Теорема Харкорта
<math>a a ^\prime + b b^\prime + c c^\prime = 2K.</math>.

Другие свойства вневписанных окружностей

  • Следующее отношение выполняется для радиуса r вписанной окружности, радиуса R описанной окружности, полупериметра s и радиусов вневписанных окружностей ra, rb, rc[12]:
<math>r_a+r_b+r_c=4R+r,</math>
<math>r_a r_b+r_br_c+r_cr_a = s^2,</math>
<math>r_a^2 + r_b^2 + r_c^2 = (4R+r)^2 -2s^2,</math>
  • Окружность, проходящая через центры вневписанных окружностей, имеет радиус 2R[12].
<math>r_a+r_b+r_c+r=AH+BH+CH+2R,</math>
<math>r_a^2+r_b^2+r_c^2+r^2=AH^2+BH^2+CH^2+(2R)^2.</math>
  • Вершины A, B и C треугольника ABC являются основаниями высот треугольника JAJB,JC,

где JAJB,JC — центры вневписанных окружностей[10].

  • Перпендикуляры, восставленные к сторонам треугольника в точках касания вневписанных окружностей, пересекаются в одной точке. Эта точка симметрична центру вписанной окружности относительно центра описанной окружностиШаблон:Sfn.
  • Центр Шпикера треугольника является радикальным центром его вневписанных окружностейШаблон:Sfn. Если из центра Шпикера треугольника провести 6 касательных к 3 вневписанным окружностям треугольника, то все их длины будут равны между собой.

Окружность Аполлония

Определение окружности Аполлония

Файл:Apollonius point.svg
Точка Аполлония и окружность Аполлония

Пусть дан треугольник ABC. Пусть вневписанные окружности треугольника ABC, противоположные вершинам A, B и C, есть соответственно EA, EB, EC (см. рисунок). Тогда окружность Аполлония E (на рис. справа показана зеленым цветом) касается внутренним образом сразу трех вневписанных окружностей треугольника ABC в точках соответственно EA, EB и EC (см. рисунок)[21].

Радиус окружности Аполлония

Радиус окружности Аполлония равен <math>\frac{r^2+s^2}{4r}</math>, где r — радиус вписанной окружности и s — полупериметр треугольника[22].

Определение точки Аполлония Ap

Пусть A' , B' и C' есть точки касания окружности Аполлония E с соответствтвующими вневписанными окружностями. Тогда прямые AA' , BB' и CC' пересекаются в одной точке Ap, которую называют точкой Аполлония треугольника ABC.

Изогональное сопряжение

Изогональное сопряжение имеет ровно четыре неподвижные точки (то есть точки, которые сопряжены самим себе): центр вписанной окружности и центры вневписанных окружностей треугольника[23].

Ортоцентр треугольника изогонально сопряжён центру описанной окружности этого треугольника[23].

Обобщение на другие многоугольники

<math>AB+BC=AD+DC\quad\Leftrightarrow\quad AE+EC=AF+FC.</math>

См. также

Примечания

Шаблон:Примечания

Литература

Ссылки

Сайты с интерактивным содержанием

Шаблон:Rq