Окружность

Окру́жность — замкнутая плоская кривая, которая состоит из всех точек на плоскости, равноудалённых от заданной точки, лежащей в той же плоскости, что и кривая[1]: эта точка называется центром окружности. Отрезок, соединяющий центр с какой-либо точкой окружности, называется радиусом; радиусом называется также и длина этого отрезка. Окружность разбивает плоскость на две части[2] — конечную внутреннюю и бесконечную внешнюю. Внутренность окружности называется кругом; граничные точки (то есть саму окружность) в зависимости от подхода, круг может включать или не включать.

Окружность (C), её центр (O), радиус (R) и диаметр (D) Построение окружности циркулем

Практическое построение окружности возможно с помощью циркуля.

Окружность нулевого радиуса (вырожденная окружность) является точкой, далее этот случай исключается из рассмотрения, если не оговорено иное.

Окружность называется единичной, если её радиус равен единице. Единичная окружность является одним из основных объектов тригонометрии.

Далее всюду буква R{displaystyle R} обозначает радиус окружности.

Содержание

Хорды, дуги и касательные

Прямая может иметь с окружностью не более двух общих точек.

Прямая, пересекающая окружность в двух различных точках, называется секущей. Отрезок секущей, расположенный внутри окружности, называется хордой. Хорда, проходящая через центр окружности, называется диаметром; тот же термин используется для его длины. Диаметр вдвое больше радиуса: D=2R,{displaystyle D=2R,}

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

Хорда разбивает круг на две части, называемые сегментами круга. Два различных радиуса тоже разбивают круг на две части, называемые секторами круга (см. рисунки)[3].

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

Для заданной окружности имеют место следующие свойства[3].

  • Хорды, равноотстоящие от центра, равны. Обратно, если две хорды равны по длине, то они одинаково удалены от центра.
  • Равным хордам соответствуют равные дуги, и наоборот.

  Касательная к окружности

Прямая, имеющая с окружностью ровно одну общую точку, называется касательной к окружности, а их общая точка называется точкой касания прямой и окружности. Касательная к окружности всегда перпендикулярна её радиусу (и диаметру), проведенному в точке касания. То есть радиус является одновременно и нормалью к окружности[4].

Отрезки касательных к окружности, проведённых из одной точки, не лежащей на окружности, равны и составляют равные углы с прямой, проходящей через эту точку и центр окружности[5].

Углы

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

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

Из определения радиана следует, что длина L{displaystyle L}

  любой дуги окружности связана с центральным углом θ{displaystyle theta } , опирающимся на эту дугу, простым соотношением[6]: L=Rθ.{displaystyle L=Rtheta .}  (при этом длина хорды, стягивающей ту же дугу, равна 2Rsin⁡θ2<L{displaystyle 2Rsin {theta over 2}<L} ). Поскольку длина окружности равна 2πR{displaystyle 2pi R} , с ростом угла значение его радианной меры меняется от 0 до 2π.{displaystyle 2pi .} 

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

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

Свойства вписанных углов:

  • Вписанный угол либо равен половине центрального угла, опирающегося на его дугу, либо дополняет половину этого угла до 180°. Вписанный угол, опирающийся на дугу длиной в половину окружности, всегда прямой (равен 90°).
  • Вписанный угол не меняет своей величины при перемещении его вершины вдоль окружности.
  • Два вписанных угла, опирающиеся на одну и ту же дугу, равны.

Другие свойства:

  • Угол между двумя секущими, проведёнными из точки, лежащей вне окружности, равен полуразности мер дуг, лежащих между секущими.
  • Угол между пересекающимися хордами равен полусумме мер дуги, лежащей в угле, и дуги напротив неё.
  • Угол между касательной и хордой, имеющими общую точку, равен половине угловой меры дуги, стягиваемой хордой.

Свойства

  • Изопериметрическое неравенство: Из всех замкнутых кривых данной длины окружность ограничивает область максимальной площади.
  • Через три точки, не лежащие на одной прямой, можно провести окружность, и притом только одну.
  • Говорят, что две окружности касаются, если они имеют единственную общую точку. Точка касания двух окружностей лежит на прямой, проходящей через их центры.
  • Теорема о секущих: Если через произвольную точку E{displaystyle E}  проведена секущая, то произведение расстояний от этой точки до точек пересечения секущей с окружностью не зависит от выбора секущей (и равно абсолютной величине степени точки относительно окружности). Если точка E{displaystyle E}  лежит вне окружности, то из нее к окружности можно провести касательную. Квадрат длины отрезка касательной до точки касания будет равен той же величине.
  • Как частный случай предыдущего, при пересечении двух хорд в произвольной точке E{displaystyle E}  получаются отрезки, произведение длин которых у одной хорды равно соответствующему произведению у другой (см. рисунок), т. е. AE⋅EB=CE⋅ED{displaystyle AEcdot EB=CEcdot ED} .

  AE⋅EB=CE⋅ED{displaystyle AEcdot EB=CEcdot ED} 

Формулы

  Если радиус круга равен 1, то его окружность равна 2π.

Длина окружности:

C=2πR=πD{displaystyle C=2pi R=pi D} 

Радиус окружности:

R=C2π=D2{displaystyle R={frac {C}{2pi }}={frac {D}{2}}} 

Диаметр окружности:

D=Cπ=2R{displaystyle D={frac {C}{pi }}=2R} 

Площадь круга радиуса R:

S=πR2=πD24{displaystyle S=pi R^{2}={frac {pi D^{2}}{4}}} 

Площадь сектора, ограниченного центральным углом α, измеряемым в градусах, радиусом R:

S=πR2α360∘{displaystyle S=pi R^{2}{frac {alpha }{360^{circ }}}} 

Площадь сегмента, ограниченного дугой окружности, центральным углом α, хордой:

S=πR2α360∘−R2sin⁡α2{displaystyle S=pi R^{2}{frac {alpha }{360^{circ }}}-{frac {R^{2}sin alpha }{2}}} 

История

Окружность, наряду с прямой, является самой распространённой кривой практически во всех областях человеческой деятельности. История её исследования и применения уходит в глубокую древность; особенную важность придало этой теме изобретение колеса. Античные учёные рассматривали прямые и окружности как единственный пример «совершенных» кривых, поэтому в геометрии считались допустимыми только построения с помощью циркуля и линейки, а движение планет моделировалось как наложение вращений по окружностям. Теории окружностей посвящена III книга «Начал» Евклида.

Также в древности было открыто, что отношение длины окружности к её диаметру (число π) одно и то же для всех окружностей. Исторически важной темой многовековых исследований было уточнение этого отношения, а также попытки решить проблему «квадратуры круга». В дальнейшем развитие теории окружностей привело к созданию тригонометрии, теории колебаний и многих других практически важных разделов науки и техники.

  Окружность получается как сечение конуса плоскостью, перпендикулярной его оси

Аналитическая геометрия окружностей

С точки зрения аналитической геометрии, окружность является простой плоской алгебраической кривой второго порядка. Окружность является частным случаем эллипса, у которого полуоси равны, и поэтому окружность относится к коническим сечениям.

Декартовы координаты

  Окружность радиуса r = 1, центр (a, b) = (1.2, −0.5)

Общее уравнение окружности записывается как:

x2+y2+Ax+By+C=0,{displaystyle x^{2}+y^{2}+Ax+By+C=0,} 

или

(x−x0)2+(y−y0)2=R2,{displaystyle left(x-x_{0}right)^{2}+left(y-y_{0}right)^{2}=R^{2},} 

где

2×0=−A,2y0=−B,2R=A2+B2−4C.{displaystyle 2x_{0}=-A,;2y_{0}=-B,;2R={sqrt {A^{2}+B^{2}-4C}}.} 

Точка (x0,y0){displaystyle left(x_{0},y_{0}right)}

  — центр окружности, R{displaystyle R}  — её радиус.

Уравнение окружности радиуса R{displaystyle R}

  с центром в начале координат:

x2+y2=R2.{displaystyle x^{2}+y^{2}=R^{2}.} 

Уравнение окружности, проходящей через точки (x1,y1),(x2,y2),(x3,y3),{displaystyle left(x_{1},y_{1}right),left(x_{2},y_{2}right),left(x_{3},y_{3}right),}

  не лежащие на одной прямой (с помощью определителя):

|x2+y2xy1x12+y12x1y11x22+y22x2y21x32+y32x3y31|=0.{displaystyle {begin{vmatrix}x^{2}+y^{2}&x&y&1x_{1}^{2}+y_{1}^{2}&x_{1}&y_{1}&1x_{2}^{2}+y_{2}^{2}&x_{2}&y_{2}&1x_{3}^{2}+y_{3}^{2}&x_{3}&y_{3}&1end{vmatrix}}=0.} 

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

x0=−12y1(x22+y22−x32−y32)+y2(x32+y32−x12−y12)+y3(x12+y12−x22−y22)x1(y2−y3)+x2(y3−y1)+x3(y1−y2){displaystyle x_{0}=-{frac {1}{2}}{frac {y_{1}(x_{2}^{2}+y_{2}^{2}-x_{3}^{2}-y_{3}^{2})+y_{2}(x_{3}^{2}+y_{3}^{2}-x_{1}^{2}-y_{1}^{2})+y_{3}(x_{1}^{2}+y_{1}^{2}-x_{2}^{2}-y_{2}^{2})}{x_{1}(y_{2}-y_{3})+x_{2}(y_{3}-y_{1})+x_{3}(y_{1}-y_{2})}}} 
y0=12×1(x22+y22−x32−y32)+x2(x32+y32−x12−y12)+x3(x12+y12−x22−y22)x1(y2−y3)+x2(y3−y1)+x3(y1−y2){displaystyle y_{0}={frac {1}{2}}{frac {x_{1}(x_{2}^{2}+y_{2}^{2}-x_{3}^{2}-y_{3}^{2})+x_{2}(x_{3}^{2}+y_{3}^{2}-x_{1}^{2}-y_{1}^{2})+x_{3}(x_{1}^{2}+y_{1}^{2}-x_{2}^{2}-y_{2}^{2})}{x_{1}(y_{2}-y_{3})+x_{2}(y_{3}-y_{1})+x_{3}(y_{1}-y_{2})}}} 

Окружность также можно описать с помощью параметрического уравнения:

{x=x0+Rcos⁡φy=y0+Rsin⁡φ,0⩽φ<2π.{displaystyle {begin{cases}x=x_{0}+Rcos varphi y=y_{0}+Rsin varphi end{cases}},;;;0leqslant varphi <2pi .} 

В декартовой системе координат окружность не является графиком функции, но она может быть описана как объединение графиков двух следующих функций:

y=y0±R2−(x−x0)2.{displaystyle y=y_{0}pm {sqrt {R^{2}-(x-x_{0})^{2}}}.} 

Если центр окружности совпадает с началом координат, функции принимают вид:

y=±R2−x2.{displaystyle y=pm {sqrt {R^{2}-x^{2}}}.} 

Полярные координаты

Окружность радиуса R{displaystyle R}

  с центром в точке (ρ0,ϕ0){displaystyle left(rho _{0},phi _{0}right)} :

ρ2−2ρρ0cos⁡(ϕ−ϕ0)+ρ02=R2.{displaystyle rho ^{2}-2rho ,rho _{0}cos left(phi -phi _{0}right)+rho _{0}^{2}=R^{2}.} 

Если полярные координаты центра окружности ρ0=R,ϕ0=α,{displaystyle rho _{0}=R,;phi _{0}=alpha ,}

  то проходящая через начало координат окружность описывается уравнением:

ρ(φ)=2Rcos(φ−α),α−π2⩽φ⩽α+π2.{displaystyle rho (varphi )=2Rcos ,(varphi -alpha ),;;;alpha -{frac {pi }{2}}leqslant varphi leqslant alpha +{frac {pi }{2}}.} 

Если же центр является началом координат, то уравнение будет иметь вид

ρ=R.{displaystyle rho =R.} 

Комплексная плоскость

На комплексной плоскости окружность задаётся формулой:

|z−z0|=R{displaystyle left|z-z_{0}right|=R} 

или в параметрическом виде

z=z0+Reit,t∈R.{displaystyle z=z_{0}+Re^{it},,tin mathbb {R} .} 

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

В пространстве окружность радиуса R{displaystyle R}

  с центром в точке M0(x0,y0,z0){displaystyle M_{0}(x_{0},y_{0},z_{0})}  можно определить как контур диаметрального сечения сферы

(x−x0)2+(y−y0)2+(z−z0)2=R2{displaystyle (x-x_{0})^{2}+(y-y_{0})^{2}+(z-z_{0})^{2}=R^{2}} 

плоскостью

a⋅(x−x0)+b⋅(y−y0)+c⋅(z−z0)=0{displaystyle acdot (x-x_{0})+bcdot (y-y_{0})+ccdot (z-z_{0})=0} ,

где a,b,c{displaystyle a,b,c}

  — параметры, не равные одновременно нулю; то есть все точки, лежащие на данной окружности, есть решения системы

{(x−x0)2+(y−y0)2+(z−z0)2=R2,a⋅(x−x0)+b⋅(y−y0)+c⋅(z−z0)=0.{displaystyle {begin{cases}(x-x_{0})^{2}+(y-y_{0})^{2}+(z-z_{0})^{2}=R^{2},a{cdot }(x-x_{0})+b{cdot }(y-y_{0})+c{cdot }(z-z_{0})=0.end{cases}}} 

Например, при a=c≠0{displaystyle a=cneq 0}

  решения этой системы можно задать параметрически следующим образом:

{x=x0+Ra2+c2⋅(c⋅cos⁡t−a⋅b⋅sin⁡ta2+b2+c2),y=y0+R⋅a2+c2a2+b2+c2⋅sin⁡t,z=z0−Ra2+c2⋅(a⋅cos⁡t+b⋅c⋅sin⁡ta2+b2+c2),t∈[0;2π).{displaystyle {begin{cases}x=x_{0}+{dfrac {R}{sqrt {a^{2}+c^{2}}}}cdot !left(ccdot cos t-{dfrac {acdot bcdot sin t}{sqrt {a^{2}+b^{2}+c^{2}}}}right)!,[10pt]y=y_{0}+{dfrac {Rcdot {sqrt {a^{2}+c^{2}}}}{sqrt {a^{2}+b^{2}+c^{2}}}}cdot sin t,[10pt]z=z_{0}-{dfrac {R}{sqrt {a^{2}+c^{2}}}}cdot !left(acdot cos t+{dfrac {bcdot ccdot sin t}{sqrt {a^{2}+b^{2}+c^{2}}}}right)!,end{cases}}tin [0;2pi ).} 

Касательные и нормали

Уравнение касательной к окружности в точке (x1,y1){displaystyle left(x_{1},y_{1}right)}

  определяется уравнением

(A2+x1)x+(B2+y1)y+(A2x1+B2y1+C)=0.{displaystyle left({frac {A}{2}}+x_{1}right)x+left({frac {B}{2}}+y_{1}right)y+left({frac {A}{2}}x_{1}+{frac {B}{2}}y_{1}+Cright)=0.} 

Уравнение нормали в той же точке можно записать как

x−x12x1+A=y−y12y1+B.{displaystyle {frac {x-x_{1}}{2x_{1}+A}}={frac {y-y_{1}}{2y_{1}+B}}.} 

Концентрические и ортогональные окружности

  Концентрические окружности

Окружности с общим центром, но разными радиусами, называются концентрическими. Две окружности, заданные уравнениями:

x2+y2+A1x+B1y+C1=0,x2+y2+A2x+B2y+C2=0{displaystyle x^{2}+y^{2}+A_{1}x+B_{1}y+C_{1}=0,;;;x^{2}+y^{2}+A_{2}x+B_{2}y+C_{2}=0} 

являются концентрическими в том и только в том случае, когда A1=A2{displaystyle A_{1}=A_{2}}

  и B1=B2.{displaystyle B_{1}=B_{2}.} 

Две окружности являются ортогональными (то есть пересекающиеся под прямым углом) тогда и только тогда, когда выполняется условие

A1A2+B1B2=2(C1+C2).{displaystyle A_{1}A_{2}+B_{1}B_{2}=2left(C_{1}+C_{2}right).} 

Дополнительные сведения

Определение треугольников для одной окружности

  Через вершину треугольника проведена касательная к описанной окружности

  • Треугольник ABC называется вписанным в окружность (A,B,C), если все три его вершины A, B и C лежат на этой окружности. При этом окружность называется описанной окружностью треугольника ABC (См. Описанная окружность).
  • Касательная к окружности, проведенная через любую вершину вписанного в неё треугольника, антипараллельна стороне треугольника, противоположной данной вершине.
  • Треугольник ABC называется описанным около окружности (A’,B’,C’), если все три его стороны AB, BC и CA касаются этой окружности в некоторых точках соответственно C’ , A’ и B’ . При этом окружность называется вписанной окружностью треугольника ABC (См. Вписанная окружность).
  • Треугольник ABC называется внеописанным для окружности (A’,B’,C’), если все 3 его стороны AB, BC и CA касаются этой окружности в некоторых точках соответственно C’ , A’ и B’ , а именно: одной из 2 сторон касается непосредственно, а также продолжений 2 других сторон за пределы треугольника. При этом окружность называется вневписанной окружностью треугольника ABC (См. Вневписанная окружность).

Варианты определения окружности

  • Окружность диаметра AB — это фигура, состоящая из точек A, B и всех точек плоскости, из которых отрезок AB виден под прямым углом (Определение через угол, опирающийся на диаметр окружности).
  • Окружность с хордой AB — это фигура, состоящая из точек A, B и всех точек плоскости, из которых отрезок AB виден под постоянным углом с одной стороны, равным вписанному углу дуги AB, и под другим постоянным углом с другой стороны, равным 180 градусов минус вписанный угол дуги AB, указанный выше (Определение через вписанный угол).
  • Фигура состоящая из таких точек X,{displaystyle X,}  что отношение длин отрезков AX и BX постоянно: AXBX=c≠1,{displaystyle {frac {AX}{BX}}=cneq 1,}  является окружностью (Определение через окружность Аполлония).
  • Фигура, состоящая из всех таких точек, для каждой из которых сумма квадратов расстояний до двух данных точек равна заданной величине, большей половины квадрата расстояния между данными точками, также является окружностью (Определение через теорему Пифагора для произвольного прямоугольного треугольника, вписанного в окружность, с гипотенузой, являющейся диаметром окружности).
  • Окружность — замкнутая, самонепересекающаяся фигура, обладающая следующим свойством. Если через произвольную точку E внутри неё провести любые хорды AB, CD, GF и т. д., тогда справедливы равенства: AE⋅EB=CE⋅ED=GE⋅EF{displaystyle AEcdot EB=CEcdot ED=GEcdot EF}  (см. рис.). Равенства всегда будут выполняться независимо от выбора точки E и направлений проведенных через неё хорд (Определение через пересекающиеся хорды).

  AE⋅EB=CE⋅ED{displaystyle AEcdot EB=CEcdot ED} 

Связанные определения для двух окружностей

  • Две окружности, имеющие общий центр, называются концентрическими.
  • Две окружности, имеющие лишь одну общую точку, называются касающимися внешним образом, если их круги не имеют других общих точек, и внутренним образом, если их круги лежат один внутри другого.
  • Две окружности, имеющие две общие точки, называются пересекающимися. Их круги (ими ограниченные) пересекаются по области, называемой двойным круговым сегментом.
  • Углом между двумя пересекающимися (или касающимися) окружностями называется угол между их касательными, проведенными в общей точке пересечения (или касания).
  • Также углом между двумя пересекающимися (или касающимися) окружностями можно считать угол между их радиусами (диаметрами), проведенными в общей точке пересечения (или касания).
  • Поскольку для любой окружности её радиус (или диаметр) и касательная, проведенные через любую точку окружности, взаимно перпендикулярны, то радиус (или диаметр) можно считать нормалью к окружности, построенной в данной её точке. Следовательно, два типа углов, определенных в двух предыдущих двух пунктах, всегда будут равны между собой, как углы со взаимно перпендикуярными сторонами.
  • Две окружности, пересекающиеся под прямым углом, называются ортогональными. Окружности можно считать ортогональными, если они образуют прямой угол друг с другом.
  • Радикальная ось двух окружностейгеометрическое место точек, степени которых относительно двух заданных окружностей равны. Иными словами, равны длины четырех касательных, проведенных к двум данным окружностям из любой точки M данного геометрического места точек.

Определения углов для двух окружностей

  • Угол между двумя пересекающимися окружностямиугол между касательными к окружностям в точке пересечения этих окружностей. Оба угла между двумя пересекающимися окружностями равны.
  • Угол между двумя непересекающимися окружностямиугол между двумя общимикасательными к двум окружностям, образуемый в точке пересечения этих двух касательных. Точка пересечения этих двух касательных должна лежать между двумя окружностями, а не со стороны одной из них (этот угол не рассматривается). Оба вертикальных угла между двумя непересекающимися окружностями равны.

Ортогональность (перпендикулярность)

  • Две окружности, пересекающиеся под прямым углом, называются ортогональными (перпендикулярными). Окружности можно считать ортогональными, если они образуют прямой угол друг с другом.
  • Две пересекающиеся в точках A и B окружности с центрами O и O’ называются ортогональными, если являются прямыми углы OAO’ и OBO’ . Именно это условие гарантирует прямой угол между окружностями. В этом случае перпендикулярны радиусы (нормали) двух окружностей, проведенные в точку их пересечения. Следовательно, перпендикулярны и касательные двух окружностей, проведенные в точку их пересечения. Касательная окружности перпендикулярна радиусу (нормали), проведенному в точку касания. Обычно угол между кривыми — это угол между их касательными, проведенными в точке их пересечения.
  • Возможно другое дополнительное условие. Пусть две пересекающиеся в точках A и B окружности имеют середины пресекающихся дуг в точках C и D, то есть дуга AС равна дуге СB, дуга AD равна дуге DB. Тогда эти окружности называются ортогональными, если являются прямыми углы СAD и СBD.
  • В теории инверсии вводятся: окружность или прямая, перпендикулярные к окружности Γ{displaystyle Gamma } . При этом перпендикулярность определяется также, как и выше.
  • В теории инверсии прямая перпендикулярна к окружности Γ{displaystyle Gamma } , если она проходит через центр последней.

Связанные определения для трех окружностей

  • Три окружности называются взаимно касающимися (пресекающимися), если любые две из них касаются (пресекаются) друг друга.
  • В геометрии радикальный центр трёх окружностей — это точка пересечения трёх радикальных осей пар окружностей. Если радикальный центр лежит вне всех трёх окружностей, то он является центром единственной окружности (радикальной окружности), которая пересекает три данные окружности ортогонально.

Лемма Архимеда

Лемма Архимеда. Если окружность вписана в сегмент окружности, стягиваемый хордой BC{displaystyle BC}

 , и касается дуги в точке A1{displaystyle A_{1}} , а хорды — в точке A2{displaystyle A_{2}} , то прямая A1A2{displaystyle A_{1}A_{2}}  является биссектрисой угла BA1C{displaystyle BA_{1}C} .Лемма Архимеда играет важную роль при построении изоциркулярного преобразования.

Доказательство

Пусть G{displaystyle G}

  — гомотетия, переводящая малую окружность в большую. Тогда ясно, что A1{displaystyle A_{1}}  является центром этой гомотетии. Тогда прямая BC{displaystyle BC}  перейдет в какую-то прямую a{displaystyle a} , касающуюся большой окружности, а A2{displaystyle A_{2}}  перейдет в точку на этой прямой и принадлежащей большой окружности. Вспомнив, что гомотетия переводит прямые в параллельные им прямые, понимаем, что a∥BC{displaystyle aparallel BC} . Пусть G(A2)=A3{displaystyle G(A_{2})=A_{3}}  и D{displaystyle D}  — точка на прямой a{displaystyle a} , такая, что ∠CA3D{displaystyle angle CA_{3}D}  — острый, а E{displaystyle E}  — такая точка на прямой a{displaystyle a} , что ∠BA3E{displaystyle angle BA_{3}E}  — острый. Тогда, так как a{displaystyle a}  — касательная к большой окружности ∠CA3D{displaystyle angle CA_{3}D} ={displaystyle =} ∠CBA3{displaystyle angle CBA_{3}} =∠BA3E=∠BCA3{displaystyle =angle BA_{3}E=angle BCA_{3}} . Следовательно △BCA3{displaystyle bigtriangleup BCA_{3}}  — равнобедренный, а значит ∠BA1A3=∠CA1A3{displaystyle angle BA_{1}A_{3}=angle CA_{1}A_{3}} , то есть A1A2{displaystyle A_{1}A_{2}}  — биссектриса угла ∠BA1C{displaystyle angle BA_{1}C} .

Теорема Декарта для радиусов четырех попарно касающихся окружностей

Основная статья: Теорема Декарта (геометрия)

Теорема Декарта утверждает, что радиусы любых четырёх взаимно касающихся окружностей удовлетворяют некоторому квадратному уравнению.Их иногда называют окружностями Содди.

Многомерное обобщение

Обобщённую окружность можно определить для любой математической структуры, где задано понятие расстояния. В частности, обобщением для многомерного евклидова пространства является гиперсфера; в трёхмерном пространстве это обычная сфера. В сферической геометрии важную роль играют окружности на сфере, центр которых совпадает с центром сферы («большие круги»).

В культуре и мистике

Окружность, наряду с кругом и сферой, с глубокой древности считалась божественным символом законченного совершенства, символом красоты и равенства. Античные астрономы были убеждены, что небесные светила размещены на вращающихся сферах и, таким образом, движутся по окружностям. Рыцари короля Артура сидели за круглым столом, что подчёркивало их равноправие[7].

В египетской мифологии бог-творец Хнум вылепил людей на гончарном круге. В Книге Притчей Соломоновых говорится, что при сотворении мира Бог «проводил круговую черту по лицу бездны» (Прит. 8:27). Для защиты от «нечистой силы» полагалось очертить круг. На изображениях христианских святых их лица окружены круглым нимбом[7].

В различных мистических доктринах окружность часто символизирует бесконечность и цикличность существования, равновесие (инь/ян), стабильность и др. (уроборос, колесо Дхармы[8].

См. также

Примечания

  1. Математическая энциклопедия, 1984, с. 15—16.
  2. Элементарная математика, 1976, с. 408—409.
  3. 1 2 3 Элементарная математика, 1976, с. 410—411.
  4. Элементарная математика, 1976, с. 409—410.
  5. Л. С. Атанасян, В. Ф. Бутузов, С. Б. Кадомцев, Э. Г. Позняк, И. И. Юдина. Геометрия. 7—9 классы: учебник для общеобразовательных учреждений. — 19-е изд. — М.: Просвещение, 2009. — С. 167. — 384 с. — ISBN 978-5-09-021136-9.
  6. Элементарная математика, 1976, с. 510.
  7. 1 2 Яковлева Т. С., Деменок С. Л. Структуры и символы (Абстракция — эмпирический факт). — СПб.: Страта, 2020. — С. 65—69. — 232 с. — (Просто). — ISBN 978-5-907314-11-5.
  8. Abdullahi, Yahya (October 29, 2019), The Circle from East to West, in Charnier, Jean-François, The Louvre Abu Dhabi: A World Vision of Art, Rizzoli International Publications, Incorporated, ISBN 9782370741004

Литература

  • Атанасян Л. С., Бутузов В. Ф.. и др. Дополнительные главы к учебнику 8 класса // Геометрия. — 3-е издание. — М.: Вита-Пресс, 2003.
  • Зайцев В. В., Рыжков В. В., Сканави М. И. Элементарная математика. Повторительный курс. — Издание третье, стереотипное. — М.: Наука, 1976. — 591 с.
  • Корн Г., Корн Т. Свойства окружностей, эллипсов, гипербол и парабол // Справочник по математике. — 4-е издание. — М.: Наука, 1978. — С. 70.
  • Маркушевич А. И. Замечательные кривые, выпуск 4. — М.: Гостехиздат, 1952. — 32 с. Архивная копия от 14 сентября 2008 на Wayback Machine
  • Окружность // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1984. — Т. 4.

Ссылки