Теорема Харкорта

Теорема Харкорта — это формула в геометрии для площади треугольника как функции длин сторон и расстояний от вершин треугольника до произвольной прямой, касательной к вписанной в треугольник окружности.

Теорема Харкорта

Теорема названа именем Дж. Харкорта, ирландского профессора.

УтверждениеПравить

Пусть треугольник задан своими вершинами A, B и C, противоположные вершинам стороны имеют длины a, b и c, площадь равна K и прямая касается вписанной в треугольник окружности в произвольной точке. Обозначим расстояния от вершин треугольника до прямой через a ', b ' и c ', при этом, если вершина и центр окружности лежат по разные стороны от прямой, расстояние считается отрицательным. Тогда

$a{a}^{\mathrm{\prime <!--\; \prime \; -->}}+b{b}^{\mathrm{\prime <!--\; \prime \; -->}}+c{c}^{\mathrm{\prime <!--\; \prime \; -->}}=2K.$$aa^{\prime }+bb^{\prime }+cc^{\prime }=2K.$ 

Вырожденный случайПравить

Если касательная прямая содержит одну из сторон треугольника, то два расстояния равны нулю и формула упрощается до формулы треугольника — удвоенная площадь равна произведению основания на высоту.

ОбобщениеПравить

• Если прямая касается вневписанной окружности противоположной, скажем, вершине A треугольника, то

$-<!--\; -\; -->a{a}^{\mathrm{\prime <!--\; \prime \; -->}}+b{b}^{\mathrm{\prime <!--\; \prime \; -->}}+c{c}^{\mathrm{\prime <!--\; \prime \; -->}}=2K.$$-aa^{\prime }+bb^{\prime }+cc^{\prime }=2K.$ 

• Если на касательную к кругу радиуса x, концентрическому с вписанным кругом, опустить из вершин треугольника перпендикуляры $d_A,d_B,d_C$$d_{A},d_{B},d_{C}$ , то .

$a{d}_A+b{d}_B+c{d}_C=2px$$ad_{A}+bd_{B}+cd_{C}\ =2px$ .

• В частности, если x=r, где r -радиус вписанного круга, то мы имеем теорему Харкорта.

Свойство двойственностиПравить

Если a', b', c' вместо расстояния до произвольной касательной к вписанной окружности обозначают расстояния от сторон до произвольной точки, равенство

$a{a}^{\mathrm{\prime <!--\; \prime \; -->}}+b{b}^{\mathrm{\prime <!--\; \prime \; -->}}+c{c}^{\mathrm{\prime <!--\; \prime \; -->}}=2K$$aa^{\prime }+bb^{\prime }+cc^{\prime }=2K$ 

остаётся верным.

ЛитератураПравить

• Nikolaos Dergiades, Juan Carlos Salazar. Harcourt's theorem // Forum Geometricorum. — 2003. — Т. 3.
• F. G.-M. Exercises de géométrie: comprenant l'exposé des méthodes géométriques et 2000 questions résolues (неопр.). — edition=5th. — Maison A. Mame et fils (Tours) & J. de Gigord (Paris), 1912. — (Cours de mathématiques elementaires).
• William Allen Whitworth. Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions. — 2012. — (Forgotten Books (orig. Deighton, Bell, and Co., 1866).).