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

Вневпи́санная окружность треугольника — окружность, касающаяся одной из сторон треугольника и продолжений двух других его сторон. У любого треугольника существует три вневписанных окружности (в отличие от единственной вписанной).

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

Свойства

Здесь используются обозначения: <math>r_a, r_b, r_c</math> — радиусы вневписанных окружностей с центрами <math> J_A, J_B, J_C</math>, касающиеся соответственно сторон <math>a, b, c</math> треугольника; <math>p</math> — полупериметр треугольника; <math>r</math> — радиус вписанной окружности; <math>R</math> — радиус описанной окружности.

Длина отрезка касательной, проведенной к вневписанной окружности из противоположной вершины, равна полупериметру треугольника.
Площадь треугольника <math>S=r_a(p-a)=r_b(p-b)=r_c(p-c)=\frac{r_ar_br_c}{p}=\sqrt{rr_ar_br_c},</math> последнее равенство по формуле Герона.<ref>Pathan, Alex, and Tony Collyer, "Area properties of triangles revisited, " Mathematical Gazette 89, November 2005, 495—497.</ref>
<math>\frac{1}{r}=\frac{1}{r_a}+\frac{1}{r_b}+\frac{1}{r_c}</math>
<math>4R=r_a+r_b+r_c-r</math>
Исходный треугольник является ортотреугольником для треугольника <math>\Delta I_1I_2I_3</math>
Барицентрические координаты <math>J_A=(-a,b,c)</math>
Теорема Эйлера для вневписанных окружностей: <math>OI_i^2=R^2+2Rr_i</math>, где O — центр описанной окружности.
<math>r_ar_b=p(p-c); rr_a=(p-b)(p-c)</math>
Радикальный центр вневписанных окружностей — центр Шпикера (центр вписанной окружности срединного треугольника).
Центры вписанной и вневписанных окружностей — неподвижные точки изогонального сопряжения.
Центр окружности, проходящей через центры вневписанных окружностей — точка Бевэна.
Три центра трех вневписанных окружностей данного треугольника образуют треугольник трёх внешних биссектрис.
Три перпендикуляра к сторонам треугольника, проведенные в точках их пересечения с тремя вневписанными окружностями, пересекаются в одной точке (следствие Теорем о вершинах подерного треугольника<ref>Шаблон:Книга</ref>).
На прямой, проходящей через точки касания двух вневписанных окружностей треугольника с его сторонами, эти вневписанные окружности отсекают равные отрезки.
Последнее можно сформулировать так. Если 2 вневписанные окружности треугольника касаются 2 его разных сторон и 2 их продолжений в 4 точках касания, то образуемый 4 последними точками, как вершинами, четырехугольник есть равнобокая трапеция, у которой равны 2 боковые стороны, а также равны две диагонали (касательные к 2 окружностям).

Замечание

В англоязычной литературе 4 центра 4 окружностей: 1 вписанной и 3 вневписанных окружностей с центрами соответственно <math>I, J_A, J_B, J_C</math>, касающиеся соответственно 3 разных сторон <math>a, b, c</math> треугольника или их продолжений, - называют 4 трехкасательными центрами треугольника (the tritangent centers) <ref>College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. Mineola, New York: Dover Publication, Inc., 2012. - §b. The tritangent

centers. P.73-78// https://books.google.ru/books?id=VXDWIOvqeaoC&pg=PA291&lpg=PA291&dq=In+geometry,+the+orthopole&source=bl&ots=doCvrYOPtl&sig=ACfU3U1vm-WH5Tr4sGC9cE52DCRf9qBjcA&hl=ru&sa=X&ved=2ahUKEwjq1ZWdiJDqAhWRrIsKHZF7BsYQ6AEwBnoECAoQAQ#v=onepage&q=In%20geometry%2C%20the%20orthopole&f=false Шаблон:Wayback</ref>. О 4 трехкасательных центрах треугольника существует множество теорем:

4 трехкасательных центра треугольника образуют ортоцентрическую систему точек.
4 трехкасательных центра треугольника лежат на внутренних биссектрисах треугольника или на их продолжениях. При этом 2 трехкасательных центра делят гармонически ту биссектрису, на которой они расположены и на ее продолжении.<ref>College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. Mineola, New York: Dover Publication, Inc., 2012. - §120. Theorem (Fig. 51). P.74-75// https://books.google.ru/books?id=VXDWIOvqeaoC&pg=PA291&lpg=PA291&dq=In+geometry,+the+orthopole&source=bl&ots=doCvrYOPtl&sig=ACfU3U1vm-WH5Tr4sGC9cE52DCRf9qBjcA&hl=ru&sa=X&ved=2ahUKEwjq1ZWdiJDqAhWRrIsKHZF7BsYQ6AEwBnoECAoQAQ#v=onepage&q=In%20geometry%2C%20the%20orthopole&f=false Шаблон:Wayback</ref>. То есть гармоническую четвёрку образуют 4 точки: <math>A, I, A',J_A</math>, где <math>A'</math> - основание внутренней биссектрисы, проведенной из вершины угла <math>A</math> треугольника <math>ABC</math>.
Точка Фейербаха для данной вписанной или вневписанной окружности (трехкасательная окружность - по-английски "a tritangent circle ") является точкой пересечения 2 прямых Симсона, построенных для концов диаметра описанной онружности, проходящего через соответствующий центр вписанной или вневписанной окружности. Таким образом, точки Фейербаха могут быть построена без использования соответствующей вписанной или вневписанной окружности и касающейся ее окружности Эйлера<ref>College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. Mineola, New York: Dover Publication, Inc., 2012. - §648. Remark. P.273// https://books.google.ru/books?id=VXDWIOvqeaoC&pg=PA291&lpg=PA291&dq=In+geometry,+the+orthopole&source=bl&ots=doCvrYOPtl&sig=ACfU3U1vm-WH5Tr4sGC9cE52DCRf9qBjcA&hl=ru&sa=X&ved=2ahUKEwjq1ZWdiJDqAhWRrIsKHZF7BsYQ6AEwBnoECAoQAQ#v=onepage&q=In%20geometry%2C%20the%20orthopole&f=false Шаблон:Wayback</ref>.

Построение вневписанной окружности треугольника

Чтобы построить вневписанную окружность треугольника нужно<ref>Шаблон:Cite web</ref>:

Построить внешние углы для углов треугольника
Провести биссектрисы построенных внешних углов до точки их пересечения. Точка пересечения биссектрис будет центром вневписанной окружности.
Построить радиус окружности. Для этого провести перпендикуляр из точки пересечения биссектрис на продолжения одной из сторон.
Провести окружность с центром в точке пересечения биссектрис и радиусом, равным длине построенного перпендикуляра.