Окружность называют вписанной в угол, если она лежит внутри угла и касается его сторон. Центр окружности, вписанной в угол, лежит на биссектрисе этого угла.
Если в данный выпуклый многоугольник можно вписать окружность, то биссектрисы всех внутренних углов данного многоугольника пересекаются в одной точке, которая является центром вписанной окружности.
Радиус вписанной в многоугольник окружности равен отношению его площади <math>S</math> к его полупериметру <math>p</math>:
Если <math>AB</math> — основание равнобедренного треугольника <math>\triangle ABC</math>, то окружность, касающаяся сторон угла <math>\angle ACB</math> в точках <math>A</math> и <math>B</math>, проходит через центр вписанной окружности треугольника <math>\triangle ABC</math>.
Теорема Эйлера: <math>R^2-2Rr=|OI|^2</math>, где <math>R</math> — радиус описанной вокруг треугольника окружности, <math>r</math> — радиус вписанной в него окружности, <math>O</math> — центр описанной окружности, <math>I</math> — центр вписанной окружности.
Если прямая, проходящая через точку I параллельно стороне <math>AB</math>, пересекает стороны <math>BC</math> и <math>CA</math> в точках <math>A_1</math> и <math>B_1</math>, то <math>A_1B_1=A_1B+AB_1</math>.
Если точки касания вписанной в треугольник <math>T</math> окружности соединить отрезками с его сторонами, то получится треугольник <math>T_1</math> со свойствами:
Пусть T4 — ортотреугольник T3, тогда биссектрисы T являются биссектрисами T4.
Радиус вписанной в прямоугольный треугольник с катетами a, b и гипотенузой c окружности равен <math>\frac{a+b-c}{2}=\frac{ab}{a+b+c}</math>.
Расстояние от вершины С треугольника до точки, в которой вписанная окружность касается стороны, равно <math>d=\frac{a+b-c}{2}=p-c</math>.
Расстояние от вершины C до центра вписанной окружности равно <math>l_c=\frac{r}{\sin(\frac{\gamma}{2})}</math>, где <math>r</math> — радиус вписанной окружности, а γ — угол вершины C.
Расстояние от вершины C до центра вписанной окружности может также быть найдено по формулам <math>l_c = \sqrt{(p-c)^2 + r^2}</math> и <math>l_c = \sqrt{ab - 4Rr}</math>
Теорема о трезубце или теорема трилистника: Если D — точка пересечения биссектрисы угла A с описанной окружностью треугольника ABC, I и J — соответственно центры вписанной и вневписанной окружности, касающейся стороны BC, тогда <math>|DI|=|DB|=|DC|=|DJ|</math>.
Файл:Вики полувписанная окружность.pngПолувписанная окружность и центр гомотетии G для вписанной и описанной окружностей с радиусами соответственно r и R. Лемма Веррьера: Центр вписанной окружности лежит на отрезке, соединяющем точки касания сторон треугольника и окружности Веррьера (полувписанной окружности)
Лемма Веррьера[1][2]: пусть окружность <math>V</math> касается сторон <math>AB</math>, <math>AC</math> и дуги <math>BC</math> описанной окружности треугольника <math>ABC</math>. Тогда точки касания окружности <math>V</math> со сторонами и центр вписанной окружности треугольника <math>ABC</math> лежат на одной прямой.
Формула Эйлера: Если <math>d</math> — расстояние между центрами вписанной и описанной окружностей, а их радиусы равны <math>r</math> и <math>R</math> соответственно, то <math>d^2 = R^2 - 2Rr</math>.
где <math>p</math> — полупериметр треугольника, <math>S</math> — его площадь.
Перпендикуляры, восставленные к сторонам треугольника в точках касания вневписанных окружностей, пересекаются в одной точке. Эта точка симметрична центру вписанной окружности относительно центра описанной окружности[4].
Для треугольника можно построить полувписанную окружность, или окружность Варьера. Это окружность, касающаяся двух сторон треугольника и его описанной окружности внутренним образом. Отрезки, соединяющие вершины треугольника и соответствующие точки касания окружностей Веррьера с описанной окружностью, пересекаются в одной точке. Эта точка служит центром гомотетии с положительным коэффициентом, переводящей описанную окружность во вписанную.
Центр вписанной окружности лежит на отрезке, соединяющем точки касания сторон треугольника и полувписанной окружности.
Файл:Вики полувписанная окружность.pngПолувписанная окружность и центр гомотетии G для вписанной и описанной окружностей с радиусами соответственно r и R
Связь центра вписанной окружности и середин высот треугольника
Теорема Ригби. Если к любой стороне остроугольного треугольника провести высоту и касающуюся ее с другой стороны вневписанную окружность, то точка касания последней с этой стороной, середина упомянутой высоты, а также инцентр лежат на одной прямой.[5].
Из теоремы Ригби следует, что 3 отрезка, соединяющих середину каждой из 3 высот треугольника с точкой касания вневписанной окружности, проведенной к той же стороне, что и высота, пересекаются в инцентре.
В четырёхугольнике
Описанный четырёхугольник, если у него нет самопересечений («простой»), должен быть выпуклым.
Некоторые (но не все) четырёхугольники имеют вписанную окружность. Они называются описанными четырёхугольниками. Среди свойств этих четырёхугольников наиболее важным является то, что суммы противоположных сторон равны. Это утверждение называется теоремой Пито.
Иными словами, в выпуклый четырёхугольник ABCD можно вписать окружность тогда и только тогда, когда суммы его противоположных сторон равны: <math>AB + CD = BC + AD</math>.
Во всяком описанном четырёхугольнике две середины диагоналей и центр вписанной окружности лежат на одной прямой (теорема Ньютона). На ней же лежит середина отрезка с концами в точках пересечения продолжений противоположных сторон четырёхугольника (если они не параллельны). Эта прямая называется прямой Ньютона. На рисунке она зелёная, диагонали красные, отрезок с концами в точках пересечения продолжений противоположных сторон четырёхугольника тоже красный.
Центр описанной около четырёхугольника окружности — точка пересечения высот треугольника с вершинами в точке пересечения диагоналей и точках пересечения противоположных сторон (теорема Брокара).
Вписанная в сферический треугольник окружность принадлежит сфере. Радиус, проведенный из центра сферы через центр вписанной окружности пересечет сферу в точке пересечения биссектрис углов (дуг больших кругов сферы, делящих углы пополам) сферического треугольника[7]Шаблон:Rp.
↑Longuet-Higgins, Michael S., «On the ratio of the inradius to the circumradius of a triangle», Mathematical Gazette 87, March 2003, 119—120.
↑Мякишев А. Г. Элементы геометрии треугольника. Серия: «Библиотека „Математическое просвещение“». М.: МЦНМО, 2002. c. 11, п. 5
↑Ross Honsberger. Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Washington, DC: The Mathematical Association of America, 1996, Шаблон:ISBN. p. 30, Figure 34, §3. An Unlikely Collinearity.
↑Здесь радиус окружности измеряется по сфере, то есть представляет собой градусную меру дуги большого круга, соединяющей точку пересечения радиуса сферы, проведенного из центра сферы через центр окружности, со сферой и точку касания окружностью стороны треугольника.
