Пусть четыре прямые расположены так (в общем положении), что при их пересечении образуется четыре треугольника. Тогда описанные вокруг этих треугольников окружности имеют общую точку, которая называется точкой Микеля этой конфигурации прямых.
Замечание
Утверждение, что эти четыре окружности пересекаются в одной точке, называется теоремой Микеля — Штейнера о четырёхсторонникеШаблон:Sfnp.
Свойства
Центры описанных окружностей указанных выше четырёх треугольников (синие точки на рисунке) лежат на одной (красной) окружности, проходящей через точку Микеля (зелёная на рис. выше).
Четырёхугольник <math>ABCD</math>, образованный четырьмя данными прямыми <math>BE</math>, <math>BF</math>, <math>CE</math> и <math>AF</math>, вписан тогда и только тогда, когда точка Микеля лежит на прямой, соединяющей две из шести точек пересечения прямых (те, которые не являются вершинами четырёхугольника), то есть когда <math>M</math> лежит на <math>EF</math>.
Теорема Микеля для пятиугольника (для пятиконечной звезды)
Пусть дан выпуклый пятиугольник <math>ABCDE</math>. Продолжим все его пять сторон до тех пор, пока они не пересекутся в пяти точках <math>F</math>, <math>G</math>, <math>H</math>, <math>I</math>, <math>K</math> (образовав пятиконечную звезду). Опишем пять окружностей около пяти треугольников <math>CFD</math>, <math>DGE</math>, <math>EHA</math>, <math>AIB</math> и <math>BKC</math>. Тогда другие их точки взаимного пересечения (кроме <math>A</math>, <math>B</math>, <math>C</math>, <math>D</math>, <math>E</math>), а именно новые точки: <math>M</math>, <math>N</math>, <math>P</math>, <math>R</math> и <math>Q</math> лежат на одной окружности (принадлежат одной окружности)[2] (см. рис.).
Обратный результат известен как теорема о пяти кругах.
Файл:Miquel's Theorem 2.svgТеорема Микеля о шести окружностях утверждает то, что если пять окружностей имеют четыре тройные точки пересечения, то оставшиеся четыре точки пересечения лежат на шестой окружности
Пусть на окружности заданы четыре точки <math>A</math>, <math>B</math>, <math>C</math> и <math>D</math>, и четыре окружности попарно пересекаются в этих точках, а также ещё в четырёх других точках <math>W</math>, <math>X</math>, <math>Y</math> и <math>Z</math>. Тогда последние четыре точки также лежат на общей окружности. Эта теорема известна как «теорема о шести окружностях»[3] (см. рис.).
Эту теорему иногда называют теоремой о четырёх окружностях и приписывают Якобу Штейнеру, хотя единственное известное опубликованное доказательство было дано Микелем[4].
Уэллс ссылается на эту теорему как на «теорему Микеля»[5].
Файл:Pivot theorem 3d.pngТрёхмерный случай: четыре сферы пересекаются попарно по шести чёрным окружностям, которые, в свою очередь, пересекаются в одной общей точке <math>M</math>
Трёхмерный аналог теоремы Микеля
Есть также трёхмерный аналог, в котором четыре сферы, проходящие через точки тетраэдра и точки на рёбрах тетраэдра, пересекаются в одной общей точке <math>M</math>.
Уэлс, упоминая Микеля, ссылается на эту теорему как на теорему Пиво́.[6]
