Лемма о шестой окружности

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

Лемма о шестой окружности утверждает следующее. Шаблон:Рамка Во вписанном в (первую) окружность четырёхугольнике $ABCD$ через четыре пары вершин $A$ и $B$, $B$ и $C$, $C$ и $D$, $D$ и $A$ провели по одной окружности (еще четыре окружности) так, что точки их попарного пересечения $A_1,B_1,C_1,D_1$ лежат внутри первой окружности. Тогда $A_1,B_1,C_1,D_1$ лежат на одной (шестой) окружности. Шаблон:Конец рамки

Рисунок справа ниже будет соответствовать последней формулировке теоремы, если обозначить $Z=A_1,Y=B_1,X=C_1,W=D_1$.

Замечание

Сформулированную выше теорему также называют теоремой Микеля о шести окружностях без её привязки к конкретному четырёхугольнику (см. рис. ниже).) Пусть на окружности заданы 4 точки, «А», «B», «C» и «D», и 4 окружности попарно пересекаются в этих точках, а также ещё в 4 других точках W, X, Y и Z. Тогда последние 4 точки лежат на общей окружности. Эта теорема известна, как «теорема о шести окружностях»' (см. рис).

Японская теорема (Japanese theorem)

Следствия

• $ABCD$ — вписанный четырёхугольник. $A_1$ — основание перпендикуляра, опущенного из вершины $A$ на диагональ $BD$; аналогично определяются точки $B_1,C_1,D_1$. Тогда точки $A_1,B_1,C_1,D_1$ лежат на одной окружности. Доказательство вытекает из леммы о шестой окружности.
• $ABCD$ — вписанный четырёхугольник. $A_1$ — центр вписанной окружности треугольника BCD; аналогично определяются точки $B_1,C_1,D_1$. Тогда $A_1{B}_1{C}_1{D}_1$ — прямоугольник. Доказательство вытекает из леммы о шестой окружности. Это следствие иногда называют называют японской теоремой (Japanese theorem)(см. рис.).
• Пусть окружность, вписанная в произвольный треугольник $ABC$, касается стороны $AC$ в точке $X$, а вневписанная окружность касается стороны $AC$ в точке $Y$. Тогда точки $A_1,Y,C_1,X$ лежат на одной окружности. Доказательство вытекает из леммы о шестой окружности.
• В треугольнике $ABC$ $A_1,C_1$ — основания перпендикуляров, опущенных на биссектрису угла $B$ из вершин $A$ и $C$ соответственно; $B{B}_1$ — высота, $D_1$ — середина стороны $AC$. Тогда точки $A_1,B_1,C_1,D_1$ и $D_1$ лежат на одной окружности. Более того, центр окружности, проходящей через точки $A_1,B_1,C_1,D_1$, лежит на окружности девяти точек треугольника ABC. Доказательство вытекает из леммы о шестой окружности.

История

Теорема Микеля для пятиугольника

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

Уэллс ссылается на эту теорему как на «теорему Микеля»

Возможные вариации и обобщения

Интересно то, что дальнейшее обобщение этой теоремы до Леммы о седьмой окружности невозможно. На это указывает следующий контрпример в виде рисунка справа, взятого из раздела Точка Микеля (см. параграф «Теорема Микеля для пятиугольника (для пятиконечной звезды)»). На это указывает следующее очевидное утверждение:

«Если 5 окружностей (на рисунке они чёрного цвета) имеют 5 точек их попарного пересечения M, N, P, R, Q , лежащих на одной (синей) окружности (всего 6 окружностей), то из этого, в общем случае, вовсе не следует то, что 5 других (не упомянутых выше) точек их попарного пересечения A, B, C, D, E также будут лежать на одной окружности (на 7-й окружности)).» На рисунке это достаточно очевидно, так как пятиугольник ABCDE явно не вписан в окружность (7-ю по счету).

См. также

• Теорема о шести окружностях
• Теорема Микеля о шести окружностях
• Теорема о пяти кругах
• Теорема о вписанных окружностях

Литература

• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation