El lema del tridente , también llamado lema del trébol y lema de Mansion , es un teorema en geometría triangular relacionado con las propiedades del incírculo , excírculo y circuncírculo de un triángulo .
El lema del tridente se utiliza como enunciado auxiliar para probar muchos teoremas, en particular la fórmula de Euler o probar la existencia del círculo de Euler .
El nombre "Lema de Mansion" se le dio en honor al matemático belga Paul Mansion . El nombre de “lema tridente” se le dio debido a la similitud con el arma del mismo nombre de la construcción clave para el lema (rojo en las figuras a continuación).
Sea el punto del triángulo el centro de la circunferencia inscrita , el punto el centro de la circunferencia excéntrica opuesto al vértice y el punto el punto de intersección del segmento con el arco de la circunferencia circunscrita (ver a la derecha). Entonces el punto es equidistante de , y .
Las versiones particulares de esta declaración tienen varios nombres.
Otra opción para especificar un punto es como el centro de un arco del círculo circunscrito que no contiene un punto [4] .
Por queremos decir ángulos, respectivamente. Si el rayo corta el círculo circunscrito en un punto , entonces es el punto medio del arco , el segmento es la bisectriz del ángulo . Dibujando un segmento de línea , notamos que
porque exterior al triángulo también
porque y son iguales, ya que se basan en el mismo arco .Esto significa que el triángulo es isósceles, es decir, la igualdad se sigue del hecho de que el mismo ángulo descansa en ambas cuerdas . Por lo tanto,
Eso lo hemos demostrado . Ahora demostremos que el "mango" del tridente es igual al mismo valor.
Extendemos el lado más allá de un punto y tomamos un punto en algún lugar de esta extensión . Por queremos decir por queremos decir el ángulo
Entonces necesitamos entender que el triángulo es isósceles, es decir, que .
Un lado,
y
desde el exterior en el triángulo: es decir,Mediante el lema del tridente se puede probar la existencia del círculo de Euler .
Considere un triángulo acutángulo ABC. Tenga en cuenta que los cuadriláteros , , están inscritos (Fig. 1). Por lo tanto, los ángulos son iguales (Fig. 2).
De esto se deduce que es la bisectriz del triángulo . Por razones completamente similares, y también bisectrices en este triángulo (Fig. 3). También puedes notar que son las bisectrices exteriores del triángulo (porque cada una de ellas es perpendicular a su bisectriz interior). Por tanto, podemos aplicar el lema del tridente tres veces, para cada uno de los lados (Figura 4).
De esto obtenemos que los puntos medios de los segmentos se encuentran en un círculo circunscrito alrededor de un ortotriángulo . Ahora aplicamos el lema del tridente exterior tres veces (Figura 5).
Obtenemos que los puntos medios de los lados se encuentran en un círculo circunscrito a un ortotriángulo.
Para probar la existencia del círculo de Euler para un triángulo obtuso con un ángulo obtuso , basta considerar un triángulo acutángulo con ortocentro y aplicarle el mismo razonamiento.