Теорема Эйлера о треугольнике
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/97/%D0%9B%D0%B5%D0%BC%D0%BC%D0%B0_%D0%BE_%D1%82%D1%80%D0%B5%D0%B7%D1%83%D0%B1%D1%86%D0%B5_%D0%B2%D0%B8%D0%BA%D0%B87.png/220px-%D0%9B%D0%B5%D0%BC%D0%BC%D0%B0_%D0%BE_%D1%82%D1%80%D0%B5%D0%B7%D1%83%D0%B1%D1%86%D0%B5_%D0%B2%D0%B8%D0%BA%D0%B87.png)
Формула Эйлера — теорема планиметрии, связывает расстояние между центрами вписанной и описанной окружностей и их радиусами.
Теорема названа в честь Леонарда Эйлера, который опубликовал её в 1765 году.[1] Однако тот же результат был получен ранее Уильямом Чапплом[англ.] в 1746 году[2].
Формулировка
[править | править код]Расстояние между центрами вписанной и описанной окружностей треугольника может быть определено по формуле
где — радиус описанной, — радиус вписанной окружности.
В 1969 году Георгий Александров дал развернутую формулу:
-
- где — стороны треугольника.
Замечания
[править | править код]- Приведённую формулу можно переписать следующим образом
- .
- или
- Из теоремы следует так называемое неравенство Эйлера
- .
- Существует более сильная форма этого неравенства[3]:с. 198, а именно:
- где — стороны треугольника.
- Для сферического треугольника отношение радиуса описанной окружности к радиусу вписанной может быть меньше 2. Более того, для любого числа между 1 и 2 существует правильный сферический треугольник с отношением радиуса описанной к радиусу вписанной окружности, равным этому числу.
Доказательство
[править | править код]![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e9/%D0%92%D0%B8%D0%BA%D0%B8_.png/296px-%D0%92%D0%B8%D0%BA%D0%B8_.png)
Пусть — центр описанной окружности треугольника , а — центр вписанной окружности. Если луч пересекает описанную окружность в точке , то является средней точкой дуги . Проведём луч и обозначим его точку пересечения с описанной окружностью как . Тогда будет диаметром описанной окружности. Из точки опустим перпендикуляр на Тогда Запишем формулу Эйлера немного в другом виде
Можно заметить, что слева стоит степень точки относительно описанной окружности (если быть точным, то минус степень точки). То есть, достаточно доказать равенство . По лемме о трезубце значит, достаточно доказать, что . Теперь заметим, что и то есть, требуемое равенство можно переписать в виде Перепишем его ещё немного: . Это равенство следует из подобия треугольников и . В самом деле, углы и у этих треугольников прямые, а углы и равны, потому что оба опираются на дугу (более того, отношение равно синусу угла ).
Вариации и обобщения
[править | править код]Для центра вневписанной окружности
[править | править код]Для вневписанных окружностей уравнение выглядит похоже:
где — радиус одной из вневписанных окружностей, а — расстояние от центра описанной окружности до центра этой вневписанной окружности[4][5][6].
Для многоугольников
[править | править код]![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/27/Fuss_theorem2.svg/220px-Fuss_theorem2.svg.png)
- Для радиусов и соответственно описанной и вписанной окружностей данного вписанно-описанного четырёхугольника (см. рис.) и расстояния между центрами этих окружностей выполняется соотношение:
- ,
- или эквивалентно,
- Это соотношение называют Теоремой Фусса[англ.]. Оно получено Николаем Ивановичем Фуссом[7] в 1792 году.
- Теорема Кэли о цепи Понселе обобщает теорему Эйлера на вписанно-описанные -угольники[1].
См. также
[править | править код]Примечания
[править | править код]- ↑ 1 2 Авксентьев, Е. А. Инвариантные меры и теоремы о замыкании типа Понселе Архивная копия от 14 августа 2016 на Wayback Machine
- ↑ Chapple, William [in английский] (1746), "An essay on the properties of triangles inscribed in and circumscribed about two given circles", Miscellanea Curiosa Mathematica, 4: 117—124. The formula for the distance is near the bottom of p.123.
- ↑ Svrtan, Dragutin; Veljan, Darko (2012), "Non-Euclidean versions of some classical triangle inequalities", Forum Geometricorum, 12: 197—209 Архивная копия от 28 октября 2019 на Wayback Machine.
- ↑ Roger Nelson. Euler's triangle inequality via proof without words // Mathematics Magazine. — February 2008. — Вып. 81(1). — С. 58—61.
- ↑ R. A. Johnson. Modern Geometry. — Boston: Houghton Mifflin, 1929. — С. 187.
- ↑ Lev Emelyanov, Tatiana Emelyanova. Euler’s formula and Poncelet’s porism // Forum Geometricorum. — 2001. — Вып. 1. — С. 137–140..
- ↑ Nicolas Fuss// https://en.wikipedia.org/wiki/Nicolas_Fuss Архивная копия от 17 февраля 2020 на Wayback Machine
Ссылки
[править | править код]- Weisstein, Eric W. Euler Triangle Formula (англ.) на сайте Wolfram MathWorld.
Для улучшения этой статьи по математике желательно:
|