В геометрии центр девяти точек — это центр треугольника , точка, определенная из данного треугольника способом, который не зависит от размещения или масштаба треугольника. Он так называется, потому что является центром окружности девяти точек , окружности, которая проходит через девять важных точек треугольника: середины трех ребер, основания трех высот и точки на полпути между ортоцентром и каждой из трех вершин. Центр девяти точек указан как точка X(5) в Энциклопедии центров треугольников Кларка Кимберлинга . [ 1] [2]
Центр девяти точек N лежит на линии Эйлера своего треугольника, в средней точке между ортоцентром H и центром описанной окружности O. Центроид G также лежит на той же линии, на расстоянии 2/3 от ортоцентра до центра описанной окружности, [ 2] [3], поэтому
Таким образом, если известны любые два из этих четырех центров треугольников, то по ним можно определить положения двух других.
Эндрю Гинанд доказал в 1984 году в рамках того, что сейчас известно как проблема определения треугольника Эйлера , что если положения этих центров даны для неизвестного треугольника, то инцентр треугольника лежит внутри ортоцентроидальной окружности (окружности, имеющей отрезок от центроида до ортоцентра в качестве своего диаметра). Единственная точка внутри этой окружности, которая не может быть инцентром, — это центр девяти точек, а каждая другая внутренняя точка окружности является инцентром уникального треугольника. [4] [5] [6] [7]
Расстояние от центра девяти точек до инцентра I удовлетворяет условию
где R, r — радиус описанной и вписанной окружности соответственно.
Центр девяти точек — это центр описанной окружности срединного треугольника данного треугольника, центр описанной окружности ортотреугольника данного треугольника и центр описанной окружности треугольника Эйлера. [3] В более общем смысле это центр описанной окружности любого треугольника, определяемый тремя из девяти точек, определяющих окружность девяти точек.
Центр девяти точек лежит в центроиде четырех точек: трех вершин треугольника и его ортоцентра . [8]
Линии Эйлера четырех треугольников, образованных ортоцентрической системой (набор из четырех точек, каждая из которых является ортоцентром треугольника с вершинами в трех других точках), пересекаются в девятиточечном центре, общем для всех треугольников. [9] : стр.111
Из девяти точек, определяющих девятиточечную окружность, три середины отрезков прямых между вершинами и ортоцентром являются отражениями середин треугольника относительно его девятиточечного центра. Таким образом, девятиточечный центр образует центр точечного отражения , которое отображает срединный треугольник в треугольник Эйлера, и наоборот. [3]
Согласно теореме Лестера , центр девяти точек лежит на общей окружности с тремя другими точками: двумя точками Ферма и центром описанной окружности. [10]
Точка Кошниты треугольника, центр треугольника, связанный с теоремой Кошниты , является изогональным сопряжением центра девяти точек. [11]
Трилинейные координаты для центра девяти точек: [1] [2]
Барицентрические координаты центра девяти точек равны [2]
Таким образом, если и только если два угла при вершине отличаются друг от друга более чем на 90°, одна из барицентрических координат отрицательна, и поэтому центр девяти точек находится вне треугольника.