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.

Dos elipses y una familia de pentágonos.

Porismo de Poncelet para n = 3: conjunto de triángulos inscritos en una circunferencia dada y circunscritos en otra circunferencia dada.

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.

Planteamiento

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}

Demostración proyectiva

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 \tau }$  tiene la forma x → q - x para algunos q. Por lo tanto, la composición ${\displaystyle \tau \sigma }$  es una traslación en X. Si una potencia de ${\displaystyle \tau \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.

Variaciones y generalizaciones

Teorema de Cayley

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

${\displaystyle {\begin{vmatrix}c_{2}&\dots &c_{m+1}\\\vdots &&\vdots \\c_{m+1}&\dots &c_{2m}\end{vmatrix}}=0.}$ 

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]​

${\displaystyle {\begin{vmatrix}c_{3}&\dots &c_{m+1}\\\vdots &&\vdots \\c_{m+1}&\dots &c_{2m-1}\end{vmatrix}}=0.}$ 

Teorema de Schwarz

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}$ ,

1. Todos los puntos ${\displaystyle B_{i,i+k}}$  se encuentran en una sección cónica
2. Todos los puntos ${\displaystyle B_{i,k-i}}$  se encuentran en una sección cónica

Véase también

• Elipse de Hartshorne
• Cadena de Steiner
• Rectas tangentes a un círculo

Referencias

1. Weisstein, Eric W. "Poncelet's Porism." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/PonceletsPorism.html
2. King, Jonathan L. (1994). «Three problems in search of a measure». Amer. Math. Monthly 101: 609-628. doi:10.2307/2974690. 
3. Johnson, Roger A., Advanced Euclidean Geometry, Dover Publications, 2007 (orig. 1960).
4. Dragović, Vladimir, Radnović, Milena. (2011). «Poncelet Porisms and Beyond». Frontiers in Mathematics (Springer). p. 116. ISBN 3034800142. 

Bibliografía

• Bos, H. J. M.; Kers, C.; Oort, F.; Raven, D. W. "Poncelet's closure theorem". Expositiones Mathematicae 5 (1987), no. 4, 289–364.

Enlaces externos

• David Speyer sobre el Porismo de Poncelet
• RE. Fuchs, S. Tabachnikov, "Omnibus matemático: treinta conferencias sobre matemáticas clásicas"
• de Michael Borcherds que muestra los casos n = 3, 4, 5, 6, 7, 8 (incluidos los casos convexos para n = 7, 8) realizados utilizando GeoGebra.
• de Michael Borcherds mostrando el Porismo de Poncelet para una Elipse general y una Parábola realizadas usando GeoGebra.
• de Michael Borcherds que muestra el Porismo de Poncelet para 2 elipses generales (orden 3) realizadas utilizando GeoGebra.
• de Michael Borcherds mostrando el Porismo de Poncelet para 2 elipses generales (orden 5) realizadas usando GeoGebra.
• de Michael Borcherds mostrando el Porismo de Poncelet para 2 elipses generales (orden 6) realizadas usando GeoGebra.
• mostrando el caso exterior para n = 3 en la Universidad Nacional de Tsing Hua.
• Artículo sobre el Porísmo de Poncelet en Mathworld.

•   Datos: Q1785610