Ортоцентр
Ортоцентр (от др.-греч. ὀρθός «прямой») — точка пересечения высот треугольника или их продолжений. Традиционно обозначается латинской буквой . В зависимости от вида треугольника ортоцентр может находиться внутри треугольника (в остроугольном), вне его (в тупоугольном) или совпадать с вершиной (в прямоугольном — совпадает с вершиной при прямом угле). Ортоцентр относится к замечательным точкам треугольника и перечислен в энциклопедии центров треугольника Кларка Кимберлинга как точка X(4).
Ортоцентр | |
---|---|
| |
Барицентрические координаты | |
Трилинейные координаты | |
Код ЭЦТ | X(4) |
Связанные точки | |
Изогонально сопряженная | центр описанной окружности |
Изотомически сопряженная | центроид |
Дополнительная | центр описанной окружности |
Антидополнительная | точка де Лоншама |
Свойства
- Если в четвёрке точек , , , точка является точкой пересечения высот треугольника , то и любая из четырёх точек является ортоцентром треугольника, образованного тремя остальными точками. Такую четвёрку иногда называют ортоцентрической системой точек (см. рис.).
- Более того, при любом разбиении множества ортоцентрической системы точек на две пары, например, и или при любом другом подобном разбиении, всегда перпендикулярны образующиеся два отрезка прямых с концами в данных точках множеств (в нашем случае перпендикулярно ) независимо от выбора этих двух пар
- Радиусы окружностей, проходящих через любые три точки ортоцентрической системы, равны (следствие теоремы Гамильтона для окружности Эйлера). Их часто называют окружностями Джонсона.
- Последнее утверждение можно сформулировать так: Три отрезка прямых, соединяющих ортоцентр с вершинами остроугольного треугольника, разбивают его на три треугольника, имеющих равные радиусы описанных окружностей (следствие теоремы Гамильтона для окружности Эйлера). При этом одинаковый радиус этих трех окружностей равен радиусу окружности, описанной около исходного остроугольного треугольника.
- Ортоцентр лежит на одной прямой с центроидом, центром описанной окружности и центром окружности девяти точек (см. прямая Эйлера).
- Ортоцентр остроугольного треугольника является центром окружности, вписанной в его ортотреугольник.
- Центр описанной около треугольника окружности служит ортоцентром треугольника с вершинами в серединах сторон данного треугольника. Последний треугольник называют дополнительным треугольником по отношению к первому треугольнику.
- Последнее свойство можно сформулировать так: Центр описанной около треугольника окружности служит ортоцентром дополнительного треугольника.
- Точки, симметричные ортоцентру треугольника относительно его сторон, лежат на описанной окружности (см. рисунок)[1].
- Точки, симметричные ортоцентру треугольника относительно середин сторон, также лежат на описанной окружности и совпадают с точками, диаметрально противоположными соответствующим вершинам.
- Если — центр описанной окружности , то .
- [2][3]:p. 449, где — радиус описанной окружности; — длины сторон треугольника; — внутренние углы треугольника.
- При изогональном сопряжении ортоцентр переходит в центр описанной окружности.
- Любой отрезок, проведенный из ортоцентра до пересечения с описанной окружностью, всегда делится окружностью Эйлера пополам. Это следует из того, что ортоцентр есть центр гомотетии этих двух окружностей с коэффициентом .
- Четыре попарно пересекающиеся прямые, никакие три из которых не проходят через одну точку (четырёхсторонник), при пересечении образуют четыре треугольника. Их ортоцентры лежат на одной прямой (на прямой Обера).
- Если считать, что ортоцентр треугольника делит первую высоту на части длиной и , вторую высоту на части длиной и , третью высоту на части длиной и , тогда [4][5].
- Цепочка уравнений в последнем пункте: по сути означает, что три пары отрезков, на которые ортоцентр разделяет три высоты остроугольного треугольника, подчиняются правилу хорд, пересекающихся внутри окружности, например: . Отсюда автоматически следует то, что через четыре конца любых двух высот остроугольного треугольника всегда можно провести окружность (высоты в ней будут пересекающимися хордами). Оказывается, это утверждение сохраняет силу и для тупоугольного, и прямоугольного треугольников.
- Расстояние от стороны до центра описанной окружности равно половине расстояния от противоположной ей вершины до ортоцентра[6][7].
- Сумма квадратов расстояний от вершин до ортоцентра плюс сумма квадратов сторон равна двенадцати квадратам радиуса описанной окружности[8].
- Три основания высот остроугольного треугольника или три проекции ортоцентра на стороны треугольника образуют ортотреугольник.
- Трилинейной полярой ортоцентра является ортоцентрическая ось (Orthic axis) (см. рис.)
- Четыре ортоцентра четырёх треугольников, образованных четырьмя попарно пересекающимися прямыми, никакие три из которых не проходят через одну точку, лежат на одной прямой (Прямая Обера четырёхугольника). Здесь используются те же четыре треугольника, что и при построении точки Микеля.
- Существует формула Карно[9]:
- ,
- где , , — расстояния от центра описанной окружности соответственно до сторон , , треугольника, , , — расстояния от ортоцентра соответственно до вершин , , треугольника.
- Расстояние от центра описанной окружности до стороны равно:
- ;
- расстояние от ортоцентра до вершины равно:
- .
- Ортоцентрическая система. Здесь O1, O2, O3 и O4 — центры окружностей четырех возможных треугольников, образованных из ортоцентрических точек A1, A2, A3 и A4 (см. рис.). Три из них вершины исходного треугольника, а четвертая — его ортоцентр. Радиусы всех четырех окружностей равны. Центры трех из четырех окружностей (кроме описанной исходного треугольника) образуют вершины треугольника, равного исходному, со сторонами, попарно параллельными сторонам исходного треугольника.
- *Если прямая ℓ ортополюса P проходит через ортоцентр Q треугольника, то точка, расположенная на продолжении отрезка PQ, соединяющего ортополюс с ортоцентром, по другую сторону на расстоянии, равном PQ, лежит на окружности Эйлера этого треугольника.[10]
История
Утверждение: «Все 3 высоты треугольника пересекаются в одной точке», называемой теперь ортоцентром, в «Началах» Евклида отсутствует. Ортоцентр впервые в греческой математике использован в «Книге лемм» Архимеда, хотя явного доказательства существования ортоцентра Архимед не привёл.
Часть историков приписывает это утверждение Архимеду и называют его теоремой Архимеда[11]. До середины девятнадцатого века, ортоцентр нередко называли архимедовой точкой[12].
В явном виде это утверждение («Все 3 высоты треугольника пересекаются в одной точке») встречается у Прокла (410—485) — комментатора Евклида[13].
Другие историки математики считают автором первого доказательства Уильяма Чеппла (Miscellanea Curiosa Mathematica, 1749 год)[14].
Термин ортоцентр впервые был использован У. Х. Безантом в работе «Конические сечения, исследованные геометрически (1869)» ([15])[16].
См. также
Примечания
- Honsberger, 1995, p. 18.
- Marie-Nicole Gras, «Distances between the circumcenter of the extouch triangle and the classical centers», Forum Geometricorum 14 (2014), 51-61. http://forumgeom.fau.edu/FG2014volume14/FG201405index.html
- Smith, Geoff, and Leversha, Gerry, «Euler and triangle geometry», Mathematical Gazette 91, November 2007, 436—452.
- Altshiller-Court, 2007, p. 94.
- Honsberger, 1995, p. 20.
- Altshiller-Court, 2007, p. 99.
- Honsberger, 1995, p. 17, 23.
- Altshiller-Court, 2007, p. 102.
- Зетель С. И. Новая геометрия треугольника. Пособие для учителей . — 2-е изд. — М.: Учпедгиз, 1962. — С. 120—125 (задача), параграф 57, с. 73.
- College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. (Параграф: G. The Orthopole. Пункт. 699. Теорема. Fig. 156. С.290-291). Mineola, New York: Dover Publication, Inc., 2012. 292 p.
- Ефремов Д. Новая геометрия треугольника. Одесса, 1902. С. 9, п. 16. Высоты треугольника. Теорема Архимеда.
- Maureen T. Carroll, Elyn Rykken. Geometry: The Line and the Circle . Дата обращения: 10 апреля 2020.
- Nathan Altshiller-Court. «College Geometry. An Introduction to the Modern Geometry of the Triangle and the Circle». Second Edition. Mineola, New York: Dover Publications, Inc. 2007. P. 298, § 175.
- Bogomolny, Alexander, A Possibly First Proof of the Concurrence of Altitudes, <https://www.cut-the-knot.org/triangle/Chapple.shtml>. Проверено 17 ноября 2019.
- Conic Sections Treated Geometrically, 1869. Ссылка: 1895: Conic sections treated geometrically from Cornell University Historical Math Monographs.
- Nathan Altshiller-Court. «College Geometry. An Introduction to the Modern Geometry of the Triangle and the Circle». Second Edition. Mineola, New York: Dover Publications, Inc. 2007. § 176, p. 94; § 176, p. 298
Литература
- Понарин Я. П. Элементарная геометрия. В 2 т. — М.: МЦНМО, 2004. — С. 37—39. — ISBN 5-94057-170-0.
- Nathan Altshiller-Court. College geometry : an introduction to the modern geometry of the triangle and the circle. — Dover Publications, Inc., 2007. — ISBN 0-486-45805-9.
- Ross Honsberger. Episodes in Nineteenth and Twentieth Century Euclidean Geometry. — Mathematical Association of America, 1995. — Vol. 37. — P. 17—26. — (New Mathematical Library). — ISBN 0-88385-639-5 (Vol. 37). — ISBN 0-88385-600-X (complete set).
Ссылки
- Живой чертёж
- Weisstein, Eric W. Orthocenter (англ.) на сайте Wolfram MathWorld.
- Bernard Gibert Circumcubic K006 (недоступная ссылка)
- Clark Kimberling, «Encyclopedia of triangle centers».
- Weisstein, Eric W. «Orthocentric System.» From MathWorld--A Wolfram Web Resource.