El teorema de Miquel es un resultado en geometría , llamado así en honor a Auguste Miquel, [1] relativo a la intersección de tres círculos, cada uno de ellos dibujado a través de un vértice de un triángulo y dos puntos en sus lados adyacentes. Es uno de los varios resultados relativos a los círculos en la geometría euclidiana debido a Miquel, cuyo trabajo fue publicado en la revista recién fundada por Liouville, Journal de mathématiques pures et appliquées .
Formalmente, sea ABC un triángulo, con puntos arbitrarios A´ , B´ y C´ en los lados BC , AC y AB respectivamente (o sus extensiones ). Dibujemos tres circunferencias circunscritas ( círculos de Miquel ) a los triángulos AB´C´ , A´BC´ y A´B´C . El teorema de Miquel establece que estos círculos se cortan en un único punto M , llamado punto de Miquel . Además, los tres ángulos MA´B , MB´C y MC´A (verdes en el diagrama) son todos iguales, al igual que los tres ángulos suplementarios MA´C , MB´A y MC´B . [2] [3]
El teorema (y su corolario) se deduce de las propiedades de los cuadriláteros cíclicos . Supongamos que los círculos circunscritos de A'B'C y AB'C' se encuentran en . Por lo tanto, BA'MC' es cíclico como se desea.
Si en el enunciado del teorema de Miquel los puntos A´ , B´ y C´ forman un triángulo (es decir, no son colineales ) entonces el teorema fue denominado teorema del pivote en Forder (1960, p. 17). [4] (En el diagrama estos puntos están etiquetados como P , Q y R .)
Si A´ , B´ y C´ son colineales entonces el punto de Miquel está en el circuncírculo de ∆ABC y viceversa, si el punto de Miquel está en este circuncírculo, entonces A´ , B´ y C´ están en una línea. [5]
Si las distancias fraccionarias de A´ , B´ y C´ a lo largo de los lados BC ( a ), CA ( b ) y AB ( c ) son d a , d b y d c , respectivamente, el punto Miquel, en coordenadas trilineales ( x : y : z ), viene dado por:
donde d' a = 1 - d a , etc.
En el caso d a = d b = d c = ½ el punto de Miquel es el circuncentro (cos α : cos β : cos γ) .
El teorema se puede invertir para decir: para tres círculos que se intersecan en M , se puede trazar una línea desde cualquier punto A en un círculo, a través de su intersección C´ con otro para dar B (en la segunda intersección). B está entonces similarmente conectado, a través de la intersección en A´ del segundo y tercer círculos, dando el punto C . Los puntos C , A y el punto de intersección restante, B´ , serán entonces colineales, y el triángulo ABC siempre pasará por las intersecciones de los círculos A´ , B´ y C´ .
Si el triángulo inscrito XYZ es semejante al triángulo de referencia ABC , entonces el punto M de concurrencia de los tres círculos es fijo para todos los XYZ . [6] : p. 257
Los círculos circunscritos de los cuatro triángulos de un cuadrilátero completo se encuentran en un punto M. [7] En el diagrama anterior , estos son ∆ABF, ∆CDF, ∆ADE y ∆BCE.
Este resultado fue anunciado, en dos líneas, por Jakob Steiner en la edición de 1827/1828 de los Annales de Mathématiques de Gergonne , [8] pero Miquel dio una prueba detallada. [7]
Sea ABCDE un pentágono convexo. Prolongamos todos los lados hasta que se encuentren en cinco puntos F, G, H, I, K y trazamos los círculos circunscritos de los cinco triángulos CFD, DGE, EHA, AIB y BKC. Luego, los segundos puntos de intersección (distintos de A, B, C, D, E), es decir, los nuevos puntos M, N, P, R y Q, son concíclicos (se encuentran en un círculo). [9] Véase el diagrama.
El resultado inverso se conoce como el teorema de los cinco círculos .
Dados los puntos A , B , C y D de un círculo y los círculos que pasan por cada par de puntos adyacentes, las intersecciones alternadas de estos cuatro círculos en W , X , Y y Z se encuentran entonces en un círculo común. Esto se conoce como el teorema de los seis círculos . [10] También se lo conoce como el teorema de los cuatro círculos y, aunque generalmente se atribuye a Jakob Steiner, la única prueba publicada conocida fue dada por Miquel. [11] David G. Wells se refiere a esto como el teorema de Miquel . [12]
Existe también un análogo tridimensional, en el que las cuatro esferas que pasan por un punto de un tetraedro y puntos en los bordes del tetraedro se intersecan en un punto común. [3]
{{citation}}
: CS1 maint: nombres numéricos: lista de autores ( enlace )