Окружность девяти точек

Окружность девяти точек — это окружность, проходящая через середины всех трёх сторон треугольника.

Она также называется окружностью Эйлера, окружностью Фейербаха, окружностью шести точек, окружностью
Теркема, окружностью n-точек, полуописанной окружностью.

Теорема-определение 

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

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

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

Доказательство теоремы 
 В статье Лемма о трезубце приведено доказательство существования окружности Эйлера при помощи данной леммы.

Свойства 
 Центр окружности девяти точек лежит на прямой Эйлера, точно в середине отрезка между ортоцентром и центром описанной окружности.
 Из девяти точек на окружности Эйлера три являются серединами отрезков, соединяющих вершины с ортоцентром (вершины треугольника Эйлера-Фейербаха). Эти три точки являются отражениями середин сторон треугольника относительно центра окружности девяти точек.
 Таким образом, центр девяти точек служит центром симметрии, переводящей серединный треугольник в треугольник Эйлера-Фейербаха (и наоборот)
 Диаметр окружности девяти точек равен радиусу описанной окружности.
 Описанная окружность есть образ окружности девяти точек относительно гомотетии с центром в ортоцентре и коэффициентом 2. 

 Последнее свойство гомотетичности (подобия) означает, что окружность девяти точек делит пополам любой отрезок, который соединяет ортоцентр с произвольной точкой, лежащей на описанной окружности.
 Теорема Фейербаха. Окружность девяти точек произвольного треугольника касается вписанной и всех трёх вневписанных окружностей этого треугольника.
 Теорема Мавло.: треугольник на своей окружности девяти точек отсекает внешним образом тремя своими сторонами три дуги таким образом, что длина наибольшей из них равна сумме длин двух оставшихся дуг. Например, на рисунке выше теорема Мавло дает равенство: дуга IF=дуга HE+дуга GD.
 В симметричном виде теорема Мавло может быть записана в виде:
 
 Это эквивалентно тому, что наибольшая из трех дуг равна сумме двух других.
 Последнее свойство — аналог свойств для расстояний ,  и  от вершин дополнительного треугольника (треугольника с вершинами в серединах сторон данного треугольника). до точки Фейербаха, а не для дуг. Аналогичное соотношение также встречается в теореме Помпею.
 Теорема Гамильтона. Три отрезка прямых, соединяющих ортоцентр с вершинами остроугольного треугольника, разбивают его на три треугольника, имеющих ту же самую окружность Эйлера (окружность девяти точек), что и исходный остроугольный треугольник. Точкой Фейербаха считается наиболее близкая к вершине A отмеченная жирно точка на окружности.

 На описанной окружности треугольника  существуют ровно три точки, таких что их прямая Симсона касается окружности Эйлера треугольника , причем эти точки образуют правильный треугольник. Стороны этого треугольника параллельны сторонам треугольника Морлея.
 Если описанная около треугольника гипербола проходит через точку пересечения высот, то она равнобочная (то есть её асимптоты перпендикулярны). Точка пересечения асимптот равносторонней гиперболы лежит на окружности девяти точек. Эта гипербола называется гиперболой Киперта, а её центр обозначен в энциклопедии центров треугольника как Х(115).
Если прямая ℓ ортополюса проходит через центр описанной окружности треугольника, то сам ортополюс лежит на окружности Эйлера этого треугольника.
Если прямая ℓ ортополюса P проходит через ортоцентр Q треугольника, то точка, расположенная на продолжении отрезка PQ, соединяющего ортополюс с ортоцентром, по другую сторону на расстоянии, равном PQ, лежит на окружности Эйлера (на окружности 9 точек) этого треугольника.

 Если ABCD — четырехугольник, вписанный в некоторую окружность. EFG — диагональный треугольник для четырехугольника ABCD. Тогда точка T пересечения бимедиан четырехугольника ABCD лежит на окружности девяти точек треугольника EFG.

В работе показано, что точка пересечения бимедиан четырехугольника, вписанного в некоторую окружность, принадлежит окружности Эйлера треугольника с одной вершиной в точке пересечения диагоналей четырехугольника и с двумя другими вершинами в точках пересечения продолжений его пар противоположных сторон.
 Для окружности девяти точек, которая — в числе прочих — носит и название «окружность Теркема», Теркем доказал теорему Теркема. Она утверждает, что если окружность девяти точек пересекает стороны треугольника или их продолжения в 3 парах точек (в 3 основаниях соответственно высот и медиан), являющихся основаниями 3 пар чевиан, то, если 3 чевианы для 3 из этих оснований пересекаются в 1 точке (например 3 медианы пересекаются в 1 точке), то 3 чевианы для 3 других оснований также пересекаются в 1 точке (то есть 3 высоты также обязаны пересечься в 1 точке).

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

История 
Эйлер в 1765 году доказал, что основания высот и середины сторон лежат на одной окружности (отсюда название «окружность шести точек»). Первое полное доказательство общего результата было, по-видимому, опубликовано Карлом Фейербахом в 1822 году (вместе с теоремой, носящей его имя), но есть указания на то, что оно было известно и ранее.

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

 Окружность девяти точек является частным случаем коники девяти точек. Если точка P — ортоцентр треугольника ABC, то коника девяти точек полного четырёхугольника PABC становится окружностью девяти точек.

 16 окружностей Фейербаха, которых касается окружность 9 точек. На рисунке справа зелёным цветом показаны 16 известных окружностей Фейербаха, которые касаются окружности 9 точек, показанной красным цветом (сам треугольник показан чёрным цветом)

См. также (статьи, где упоминается окружность девяти точек) 
 Геометрия треугольника
 Глоссарий планиметрии
 Замечательные точки треугольника
 Окружность
 Ортополюс
 Теорема Симсона
 Точка Понселе
 Отрезки и окружности, связанные с треугольником
 Список объектов, названных в честь Леонарда Эйлера
 Треугольник
 Центр девяти точек
 Четырёхугольник
 Энциклопедия центров треугольника

Примечания

Литература 
 
 Дм. Ефремов. Новая геометрия треугольника 1902 год
 
 
 Feuerbach, Karl (1822), Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks und mehrerer durch sie bestimmten Linien und Figuren
 Мавло Д. П. Красивые свойства замечательных тел//Математика в школi. № 3, 2004. с. 265—269.

Ссылки 
 Живой чертёж

Геометрия треугольника
Окружности
Теоремы планиметрии
Замечательные точки треугольника
Точки в Энциклопедии центров треугольника
Геометрические фигуры
Объекты, названные в честь Леонарда Эйлера