Русская Википедия:Теорема Лестера

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Lester theorem.svg
Точки Ферма <math>X_{13},X_{14}</math>, центр <math>X_5</math> окружности девяти точек (светло-голубой), и центр описанной окружности <math>X_3</math> зелёного треугольника лежат на окружности Лестера (чёрная).

Теорема Лестера — утверждение в геометрии треугольника, согласно которому в любом разностороннем треугольнике две точки Ферма, центр девяти точек и центр описанной окружности лежат на одной окружности (окружности Лестера). Названа именем канадского математика Джун Лестер (June Lester).

Доказательства

Доказательство Гиберта с помощью гиперболы Киперта

Теорема об окружности Лестера вытекает из более общего утверждения Б. Гиберта (2000), а именно, что любая окружность, диаметр которой является хордой гиперболы Киперта треугольника и перпендикулярен его прямой Эйлера, проходит через точки Ферма[1][2].

Лемма Дао на прямоугольной гиперболе

Файл:A generalization Lester theorem1.svg
Теорема Дао о прямоугольной гиперболе

В 2014 году Дао Танх Оай (Đào Thanh Oai) показал, что результат Гиберта следует из свойств прямоугольных гипербол. А именно, пусть точки <math>H</math> и <math>G</math> лежат на одной ветви прямоугольной гиперболы <math>S</math>, а <math>F_+</math> и <math>F_-</math> — две точки на <math>S</math>, симметричные относительно её центра (точки-антиподы), в которых касательные прямые к <math>S</math> параллельны прямой <math>HG</math>.

Пусть <math>K_+</math> и <math>K_-</math> — две точки на гиперболе, касательные прямые в которых пересекаются в точке <math>E</math> на прямой <math>HG</math>. Если прямая <math>K_+K_-</math> пересекает <math>HG</math> в точке <math>D</math>, и перпендикуляр в середине отрезка <math>DE</math> пересекает гиперболу в точках <math>G_+</math> и <math>G_-</math>, то шесть точек <math>F_+,F_-,E,D,G_+,G_-</math> лежат на одной окружности[3].

Чтобы получить теорему Лестера из этого результата, необходимо взять в качестве <math>S</math> гиперболу Киперта треугольника, в качестве точек <math>F_+,F_-</math> — точки Ферма, точками <math>K_+,K_-</math> будут внутренняя и внешняя точки Вектена, точками <math>H,G</math> будут ортоцентр и центроид треугольника[3].

См. также

Примечания

Шаблон:Примечания

Литература

Ссылки

Шаблон:Rq

  1. B. Gibert (2000): [ Message 1270]. Entry in the Hyacinthos online forum, 2000-08-22. Accessed on 2014-10-09.
  2. Paul Yiu (2010), The circles of Lester, Evans, Parry, and their generalizations Шаблон:Wayback. Forum Geometricorum, volume 10, pages 175—209. Шаблон:MR
  3. 3,0 3,1 Đào Thanh Oai (2014), A Simple Proof of Gibert’s Generalization of the Lester Circle Theorem Шаблон:Wayback Forum Geometricorum, volume 14, pages 201—202. Шаблон:MR