Точка Фейербаха
Точка Фейербаха (Теорема Фейербаха) — точка касания вписанной окружности к окружности девяти точек треугольника. Точка Фейербаха является касательной точкой треугольника, что означает то, что её определение не зависит от расположения и размеров треугольника. Точка внесена с кодом X(11) в энциклопедию центров треугольника Кларка Кимберлинга и названа именем Карла Вильгельма Фейербаха[1][2].
Теорема Фейербаха утверждает, что окружность девяти точек касается трёх вневписанных окружностей треугольника, а также его вписанной окружности[3]. Опубликована Фейербахом в 1822 году[4]. Очень короткое доказательство данной теоремы базируется на теореме Кейси о внешних касательных к четырём окружностям, которые не пересекаются друг с другом и касаются пятой окружности, находясь внутри неё[5]. Теорема Фейербаха использовалась также как тестовый случай для автоматического доказательства[6]. Три точки касания вневписанных окружностей образуют так называемый треугольник Фейербаха данного треугольника.
Построение
Вписанная окружность треугольника ABC — это окружность, касающаяся всех трёх сторон треугольника. Её центр — точка пересечения трёх биссектрис треугольника.
Окружность девяти точек определяется для треугольника и называется так, поскольку проходит через девять примечательных точек треугольника, среди которых наиболее простыми по построению являются середины сторон треугольника. Окружность девяти точек проходит через эти три середины сторон. Таким образом, это описанная окружность серединного треугольника.
Эти две окружности встречаются в одной точке, где касаются друг друга. Эта точка касания является точкой Фейербаха треугольника.
Кроме вписанной окружности треугольника с ним связаны три другие, вневписанные окружности. Это окружности, которые касаются трёх продолжений сторон треугольника. Каждая вневписанная окружность касается одной стороны треугольника с внешней стороны и двух продолжений других сторон. Подобно вписанной окружности, вневписанные окружности касаются окружности девяти точек. Их точки касания с окружностью девяти точек образует треугольник Фейербаха.
Свойства
Точка Фейербаха лежит на прямой, проходящей через центры окружностей, которые и определяют эту точку. Этими центрами являются центр вписанной окружности и центр окружности девяти точек треугольника[1][2].
Пусть , и будут тремя расстояниями от точки Фейербаха до вершин серединного треугольника (середины сторон BC=a, CA=b и AB=c исходного треугольника). Тогда:[7][8]
или, что эквивалентно, наибольшее из трёх расстояний равно сумме двух других.
В частности, мы имеем
где O является центром описанной окружности треугольника, а I является его центром вписанной окружности[9].
Последнее свойство также верно для точек касания любых вневписанных окружностей с окружностью девяти точек: наибольшее расстояние от этой точки касания до середины стороны исходного треугольника равно сумме расстояний до двух других середин сторон[8].
Если вписанная в треугольник ABC окружность касается сторон BC, CA, AB в точках X, Y и Z соответственно, а серединами этих сторон являются точки P, Q и R, то с точкой Фейербаха F треугольники FPX, FQY и FRZ подобны треугольникам AOI, BOI, COI соответственно[10].
Из теоремы Фейербаха следует, что точка Фейербаха лежит на окружностях описанных около:
- середин сторон треугольника;
- оснований высот;
- точек касания вписанной окружности, — но из теоремы Емельяновых следует также, что эта точка лежит на;
- окружности, описанной около оснований биссектрис;
- окружности описанной около точек касания вневписанных окружностей со сторонами треугольника[11].
Точка Фейербаха и прямые Симсона
Точка Фейербаха для данной вписанной или вневписанной окружности (трёхкасательная окружность от англ. A tritangent circle) является точкой пересечения 2 прямых Симсона, построенных для концов диаметра описанной окружности, проходящего через соответствующий центр вписанной или вневписанной окружности. Таким образом, точка Фейербаха может быть построена без использования соответствующей вписанной или вневписанной окружности и касающейся ее окружности Эйлера[12].
Точки Фейербаха как ортополюсы
В англоязычной литературе 4 центра 4 окружностей: 1 вписанной и 3 вневписанных окружностей с центрами соответственно , касающиеся соответственно 3 разных сторон треугольника или их продолжений, - называют 4 трёхкасательными центрами треугольника (англ. the tritangent centers)[13].
Это замечание важно для следующего утверждения: "Точки Фейербаха треугольника являются ортополюсами данного треугольника, если в качестве прямых ℓ для этих ортополюсов взяты диаметры описанной окружности, проходящие через соответствующие трёхкасательные центры"[14].
Координаты
Трилинейные координаты точки Фейербаха равны:[2]
Её барицентрические координаты равны:[8]
где s — полупериметр (a+b+c)/2 треугольника.
Комплексные координаты точки Фейербаха равны:[2]
- ,
за единичную окружность принимается вписанная окружность треугольника, а p, q, r - точки касания её со сторонами.
Три прямые из вершин исходного треугольника через соответствующие вершины треугольника Фейербаха пересекаются в другой замечательной точке треугольника, перечисленной под номером X(12) в энциклопедии замечательных точек треугольника.
Её трилинейные координаты равны[2]:
Примечания
- ↑ 1 2 Kimberling, 1994, с. 163–187.
- ↑ 1 2 3 4 5 6 Энциклопедия замечательных точек треугольника Архивировано 19 апреля 2012 года., accessed 2014-10-24.
- ↑ Scheer, 2011, с. 205–210.
- ↑ Feuerbach, Buzengeiger, 1822.
- ↑ Casey, 1866, с. 396–423.
- ↑ Chou, 1988, с. 237–267.
- ↑ Эрик ВайсстайнFeuerbach Point Архивная копия от 27 декабря 2019 на Wayback Machine
- ↑ 1 2 3 Kiss, 2016, с. 283–290.
- ↑ Kiss, 2016, с. 283–290 Propos. 3.
- ↑ Kiss, 2016, с. 283–290 Propos. 4.
- ↑ Емельяновы, 2002, с. 78.
- ↑ College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. Mineola, New York: Dover Publication, Inc., 2012. - §648. Remark. P.273
- ↑ College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. Mineola, New York: Dover Publication, Inc., 2012. - §b. The tritangent centers. P.73-78
- ↑ College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Nathan Altshiller-Court. Mineola, New York: Dover Publication, Inc., 2012. - §698. Corollary. P.290
Литература
- Clark Kimberling. Central Points and Central Lines in the Plane of a Triangle // Mathematics Magazine. — 1994. — Т. 67, вып. 3. — С. 163–187. — .
- Karl Wilhelm Feuerbach, Carl Heribert Ignatz Buzengeiger. Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks und mehrerer durch sie bestimmten Linien und Figuren. Eine analytisch-trigonometrische Abhandlung. — Monograph. — Nürnberg: Wiessner, 1822.
- Michael J. G. Scheer. A simple vector proof of Feuerbach's theorem // Forum Geometricorum. — 2011. — Т. 11. — С. 205–210.
- John Casey. On the Equations and Properties: (1) of the System of Circles Touching Three Circles in a Plane; (2) of the System of Spheres Touching Four Spheres in Space; (3) of the System of Circles Touching Three Circles on a Sphere; (4) of the System of Conics Inscribed to a Conic, and Touching Three Inscribed Conics in a Plane // Proceedings of the Royal Irish Academy. — 1866. — Т. 9. — С. 396–423. — . См., в частности, стр. 411.
- Shang-Ching Chou. An introduction to Wu's method for mechanical theorem proving in geometry // Journal of Automated Reasoning. — 1988. — Т. 4, вып. 3. — С. 237–267. — doi:10.1007/BF00244942.
- Sa ́ndor Nagydobai Kiss. A Distance Property of the Feuerbach Point and Its Extension // Forum Geometricorum. — 2016. — Т. 16.
- Кожевников П.А. Еще раз о точке Фейербаха // Математическое просвещение (треья серия). — М.: МЦНМО, 2012. — С. 165-171. — ISBN 978-5-94057-988-5.
- Емельянов Л.А., Емельянова Т.Л. Семейство Фейербаха // Математическое просвещение (треья серия). — М.: МЦНМО, 2002. — ISBN 5-94057-018-6.
Литература для дальнейшего чтения
- Victor Thébault. On the Feuerbach points // American Mathematical Monthly. — 1949. — Т. 56. — С. 546–547. — doi:10.2307/2305531..
- Lev Emelyanov, Tatiana Emelyanova. A note on the Feuerbach point // Forum Geometricorum. — 2001. — Т. 1. — С. 121–124 (electronic)..
- Bogdan Suceavă, Paul Yiu. The Feuerbach point and Euler lines // Forum Geometricorum. — 2006. — Т. 6. — С. 191–197..
- Jan Vonk. The Feuerbach point and reflections of the Euler line // Forum Geometricorum. — 2009. — Т. 9. — С. 47–55..
- Minh Ha Nguyen, Pham Dat Nguyen. Synthetic proofs of two theorems related to the Feuerbach point // Forum Geometricorum. — 2012. — Т. 12. — С. 39–46..