El teorema de Harcourt es una fórmula geométrica para el área de un triángulo , en función de las longitudes de sus lados y las distancias perpendiculares de sus vértices desde una línea arbitraria tangente a su círculo inscrito . [1]
El teorema recibe su nombre en honor a J. Harcourt, un profesor irlandés. [2]
Sea un triángulo con vértices A , B y C , lados opuestos de longitudes a , b y c , área K y una línea que es tangente al incentro del triángulo en cualquier punto de ese círculo. Denotemos las distancias perpendiculares con signo de los vértices desde la línea como a ', b ' y c ', donde una distancia es negativa si y solo si el vértice está en el lado opuesto de la línea desde el incentro. Entonces
Si la línea tangente contiene uno de los lados del triángulo, entonces dos de las distancias son cero y la fórmula se reduce a la conocida fórmula de que el doble del área de un triángulo es una base (el lado coincidente del triángulo) multiplicado por la altitud desde esa base.
Si la línea es en cambio tangente al círculo extraído opuesto, digamos, al vértice A del triángulo, entonces [1] : Teo.3
Si en lugar de a', b', c' se refieren a distancias desde un vértice hasta una línea tangente incircular arbitraria, se refieren en cambio a distancias desde una línea lateral hasta un punto arbitrario, entonces la ecuación
sigue siendo cierto. [3] : p. 11