Gran teorema de Poncelet

En geometría, el gran teorema de Poncelet (también conocido como "porisma de Poncelet" o "teorema de cierre de Poncelet") establece que siempre que un polígono está inscrito en una sección cónica y circunscrito en otra, el polígono debe ser parte de una familia infinita de polígonos que están todos inscritos y circunscriben a las mismas dos cónicas.^[1]​^[2]​ Lleva el nombre del ingeniero y matemático francés Jean-Victor Poncelet.

El porismo de Poncelet puede ser probado mediante un argumento que usa una curva elíptica, cuyos puntos representan una combinación de una línea tangente a una cónica y un punto de cruce de esa línea con la otra cónica.

Sean C y D dos cónicas en un mismo plano. Si es posible encontrar para un n  > 2, un polígono de n lados que simultáneamente se inscribe en C (lo que significa que todos sus vértices se encuentran en C) y circunscrito alrededor de D (lo que significa que todos sus bordes son tangentes a D), entonces es posible encontrar un número infinito de ellos. Cada punto de C o D es un vértice o una tangencia (respectivamente) de uno de dichos polígonos.

Si las cónicas son circunferencias, los polígonos que están inscritos en un círculo y circunscritos sobre el otro se llaman polígonos bicéntricos, por lo que este caso especial del porismo de Poncelet se puede expresar de manera más concisa al decir que cada polígono bicéntrico es parte de una familia infinita de polígonos bicéntricos con respecto a los mismos dos círculos.^[3]​^{: p. 94}

Considérense C y D como curvas en el plano proyectivo complejo P². Para simplificar, supóngase que C y D se cruzan (lo que significa que cada punto de intersección entre ambas es un cruce simple). En consecuencia, mediante el teorema de Bézout, la intersección C ∩ D de las dos curvas consta de cuatro puntos complejos. Para un punto arbitrario d en D, se define ℓ_d, la recta tangente a D en d. Sea X la subvariedad de C × D que consta de (c, d) tal que ℓ_d pasa a través de c. Dado c, el número de d con (c, d) ∈ X es 1 si c ∈ C ∩ D y 2 de lo contrario. Por lo tanto, la proyección X → C ≃ P¹ representa X como un recubrimiento de grado 2 ramificado sobre 4 puntos, por lo que X es una curva elíptica (una vez que se fija un punto base en X). Sea ${displaystyle sigma }$ la involución de X haciendo corresponder un punto general (c, d) al otro punto (c, d' ) con la misma primera coordenada. Cualquier involución de una curva elíptica con un punto fijo, cuando se expresa en la ley del grupo, tiene la forma x → p - x para algunos p, por lo que ${displaystyle sigma }$ tiene esta forma. De forma similar, la proyección X → D es un morfismo de grado 2 ramificado sobre los puntos de contacto en D de las cuatro rectas tangentes a ambos C y D, y la involución correspondiente ${displaystyle au }$ tiene la forma x → q - x para algunos q. Por lo tanto, la composición ${displaystyle au sigma }$ es una traslación en X. Si una potencia de ${displaystyle au sigma }$ tiene un punto fijo, esa potencia debe ser la identidad. Trasladado de nuevo al lenguaje de C y D, esto significa que si un punto c ∈ C (relacionado con un correspondiente d) da lugar a una órbita que se cierra (es decir, da un ene-ágono), entonces también lo hace cada punto. Los casos degenerados en los que C y D no son transversales se contemplan como un caso límite.

Sea ${displaystyle f}$ la circunferencia ${displaystyle x^{2}+y^{2}=1}$, y ${displaystyle g}$ la elipse ${displaystyle ax^{2}+by^{2}=1}$. Luego, la condición del bucle en cadena se da en términos de la serie de Taylor de la función ${displaystyle {sqrt {(a^{2}+t)(b^{2}+t)(1+t)}}=c_{0}+c_{1}t+c_{2}t^{2}+dots }$. (Cada coeficiente ${displaystyle c_{i}}$ se calcula a través de ${displaystyle a}$ y ${displaystyle b}$, por ejemplo, ${displaystyle c_{0}=ab}$). Debe saberse que:

1) La cadena de Poncelet de los pares ${displaystyle f}$ y ${displaystyle g}$ se enlaza con los pasos ${displaystyle 2m+1}$ si y solo si

2) El bucle de Poncelet de los pares ${displaystyle f}$ y ${displaystyle g}$ se enlaza en los pasos ${displaystyle 2m}$ si y solo si^[4]​

Sea ${displaystyle A_{0}A_{1}dots }$ una cadena de Poncelet. Denominando ${displaystyle ell _{i}}$ a la línea ${displaystyle A_{i}A_{i+1}}$, considérense los puntos de intersección ${displaystyle B_{i,j}=ell _{i}cap ell _{j}}$. Luego, para cualquier número entero ${displaystyle k}$,