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

editar

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

editar

Considérense C y D como curvas en el plano proyectivo complejo P2. 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 CD 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 cCD y 2 de lo contrario. Por lo tanto, la proyección XCP1 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   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 xp - x para algunos p, por lo que   tiene esta forma. De forma similar, la proyección XD 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   tiene la forma xq - x para algunos q. Por lo tanto, la composición   es una traslación en X. Si una potencia de   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 cC (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

editar

Teorema de Cayley

editar

Sea   la circunferencia  , y   la elipse  . Luego, la condición del bucle en cadena se da en términos de la serie de Taylor de la función  . (Cada coeficiente   se calcula a través de   y  , por ejemplo,  ). Debe saberse que:

1) La cadena de Poncelet de los pares   y   se enlaza con los pasos   si y solo si

 

2) El bucle de Poncelet de los pares   y   se enlaza en los pasos   si y solo si[4]

 

Teorema de Schwarz

editar

Sea   una cadena de Poncelet. Denominando   a la línea  , considérense los puntos de intersección  . Luego, para cualquier número entero  ,

  1. Todos los puntos   se encuentran en una sección cónica
  2. Todos los puntos   se encuentran en una sección cónica

Véase también

editar

Referencias

editar
  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

editar
  • 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

editar