Точка Фейербаха

Точка Фейербаха (Теорема Фейербаха) — точка касания вписанной окружности к окружности девяти точек треугольника. Точка Фейербаха является касательной точкой треугольника, что означает то, что её определение не зависит от расположения и размеров треугольника. Точка внесена с кодом 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].

Из теоремы Фейербаха следует, что точка Фейербаха лежит на окружностях описанных около:

1. середин сторон треугольника;
2. оснований высот;
3. точек касания вписанной окружности, — но из теоремы Емельяновых следует также, что эта точка лежит на;
4. окружности, описанной около оснований биссектрис;
5. окружности описанной около точек касания вневписанных окружностей со сторонами треугольника^[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]:

 ^[2]

• 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..