Ортоцентр

Ортоцентр (от  «прямой») — точка пересечения высот треугольника или их продолжений. Традиционно обозначается латинской буквой . В зависимости от вида треугольника ортоцентр может находиться внутри треугольника (в остроугольном), вне его (в тупоугольном) или совпадать с вершиной (в прямоугольном — совпадает с вершиной при прямом угле). Ортоцентр относится к замечательным точкам треугольника и перечислен в энциклопедии центров треугольника Кларка Кимберлинга как точка X(4).

== Свойства ==
 Если в четвёрке точек , , ,  точка  является точкой пересечения высот треугольника , то и любая из четырёх точек является ортоцентром треугольника, образованного тремя остальными точками. Такую четвёрку иногда называют ортоцентрической системой точек (см. рис.).
 Более того, при любом разбиении множества ортоцентрической системы точек  на две пары, например,  и  или при любом другом подобном разбиении, всегда перпендикулярны образующиеся два отрезка прямых с концами в данных точках множеств (в нашем случае  перпендикулярно ) независимо от выбора этих двух пар
 Радиусы окружностей, проходящих через любые три точки ортоцентрической системы, равны (следствие теоремы Гамильтона для окружности Эйлера). Их часто называют окружностями Джонсона.
 Последнее утверждение можно сформулировать так: Три отрезка прямых, соединяющих ортоцентр с вершинами остроугольного треугольника, разбивают его на три треугольника, имеющих равные радиусы описанных окружностей (следствие теоремы Гамильтона для окружности Эйлера). При этом одинаковый радиус этих трех окружностей равен радиусу окружности, описанной около исходного остроугольного треугольника.

 Ортоцентр лежит на одной прямой с центроидом, центром описанной окружности и центром окружности девяти точек (см. прямая Эйлера).
 Ортоцентр остроугольного треугольника является центром окружности, вписанной в его ортотреугольник.
 Центр описанной около треугольника окружности служит ортоцентром треугольника с вершинами в серединах сторон данного треугольника. Последний треугольник называют дополнительным треугольником по отношению к первому треугольнику.
 Последнее свойство можно сформулировать так: Центр описанной около треугольника окружности служит ортоцентром дополнительного треугольника.
 Точки, симметричные ортоцентру треугольника относительно его сторон, лежат на описанной окружности (см. рисунок).
 Точки, симметричные ортоцентру треугольника относительно середин сторон, также лежат на описанной окружности и совпадают с точками, диаметрально противоположными соответствующим вершинам.
 Если  — центр описанной окружности , то .
 , где  — радиус описанной окружности;  — длины сторон треугольника;  — внутренние углы треугольника.
 При изогональном сопряжении ортоцентр переходит в центр описанной окружности.
 Любой отрезок, проведенный из ортоцентра до пересечения с описанной окружностью, всегда делится окружностью Эйлера пополам. Это следует из того, что ортоцентр есть центр гомотетии этих двух окружностей с коэффициентом .
 Четыре попарно пересекающиеся прямые, никакие три из которых не проходят через одну точку (четырёхсторонник), при пересечении образуют четыре треугольника. Их ортоцентры лежат на одной прямой (на прямой Обера).
 Если считать, что ортоцентр треугольника делит первую высоту на части длиной  и , вторую высоту на части длиной  и , третью высоту на части длиной  и , тогда .
 Цепочка уравнений в последнем пункте:  по сути означает, что три пары отрезков, на которые ортоцентр разделяет три высоты остроугольного треугольника, подчиняются правилу хорд, пересекающихся внутри окружности, например: . Отсюда автоматически следует то, что через четыре конца любых двух высот остроугольного треугольника всегда можно провести окружность (высоты в ней будут пересекающимися хордами). Оказывается, это утверждение сохраняет силу и для тупоугольного, и прямоугольного треугольников.
 Расстояние от стороны до центра описанной окружности равно половине расстояния от противоположной ей вершины до ортоцентра.
 Сумма квадратов расстояний от вершин до ортоцентра плюс сумма квадратов сторон равна двенадцати квадратам радиуса описанной окружности.
 Три основания высот остроугольного треугольника или три проекции ортоцентра на стороны треугольника образуют ортотреугольник.

 Трилинейной полярой ортоцентра является ортоцентрическая ось  (Orthic axis) (см. рис.)

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

 Существует формула Карно:
 ,
 где , ,  — расстояния от центра описанной окружности соответственно до сторон , ,  треугольника, , ,  — расстояния от ортоцентра соответственно до вершин , ,  треугольника.

 

 Расстояние от центра описанной окружности до стороны  равно:
 ;

 расстояние от ортоцентра до вершины  равно:
 .

 Ортоцентрическая система. Здесь O1, O2, O3 и O4 — центры окружностей четырех возможных треугольников, образованных из ортоцентрических точек A1, A2, A3 и A4 (см. рис.). Три из них вершины исходного треугольника, а четвертая — его ортоцентр. Радиусы всех четырех окружностей равны. Центры трех из четырех окружностей (кроме описанной исходного треугольника) образуют вершины треугольника, равного исходному, со сторонами, попарно параллельными сторонам исходного треугольника.

 *Если прямая ℓ ортополюса P проходит через ортоцентр Q треугольника, то точка, расположенная на продолжении отрезка PQ, соединяющего ортополюс с ортоцентром, по другую сторону на расстоянии, равном PQ, лежит на окружности Эйлера этого треугольника.

История 
Утверждение: «Все 3 высоты треугольника пересекаются в одной точке», называемой теперь ортоцентром, в «Началах» Евклида отсутствует. Ортоцентр впервые в греческой математике использован в «Книге лемм» Архимеда, хотя явного доказательства существования ортоцентра Архимед не привёл.

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

В явном виде это утверждение («Все 3 высоты треугольника пересекаются в одной точке») встречается у Прокла (410—485) — комментатора Евклида.

Другие историки математики считают автором первого доказательства  (Miscellanea Curiosa Mathematica, 1749 год).

Термин ортоцентр впервые был использован  в работе «Конические сечения, исследованные геометрически (1869)» ().

См. также 
 Высота треугольника
 Высота (геометрия)
 Замечательные точки треугольника
 Центр вписанной окружности
 Ортотреугольник
 Ортоцентроидная окружность
 Центроид

Примечания

Литература

Ссылки 
 Живой чертёж
 
 Bernard Gibert Circumcubic K006
 Clark Kimberling, «Encyclopedia of triangle centers».
 Weisstein, Eric W. «Orthocentric System.» From MathWorld--A Wolfram Web Resource. 

Замечательные точки треугольника
Точки в Энциклопедии центров треугольника