## [Porismo de Poncelet](/es/node/62778) Definición Afirmación porística sobre polígonos consecutivos tangentes e inscritos: si existe un n-ágono cerrado que está simultáneamente inscrito en una cónica y circunscrito alrededor de otra, entonces para ese par fijo de cónicas y ese n la construcción se cierra para cualquier elección del vértice inicial en la cónica interior — existe, por tanto, una familia uniparamétrica de tales n-ágonos. ## Principio Principio El cierre bajo una construcción iterativa proyectiva de tangencia–inscripción es independiente del vértice inicial: la existencia de una órbita periódica (n-ágono cerrado) de la aplicación asociada implica periodicidad para cada punto de partida en la cónica interior. ## Demostración Demostración Considere dos cónicas no degeneradas, una dentro de la otra. Suponga que se puede trazar un polígono de n lados cuyos vértices yacen en la cónica exterior y cuyos lados son tangentes a la cónica interior. El porismo de Poncelet afirma que entonces, escogiendo cualquier punto de la cónica interior como contacto inicial e iterando la construcción por tangentes, se obtiene un n-ágono cerrado. En el caso particular de círculos concéntricos este fenómeno es sencillo de visualizar: si existe un n-ágono cerrado, rotando el punto de inicio se obtiene una familia continua de n-ángulos cerrados congruentes. ## Aplicación incorrecta Aplicación incorrecta Concluir que el porismo de Poncelet garantiza existencia para otros números de lados n, para cónicas degeneradas, o que se extiende a pares de curvas arbitrarias; el teorema exige dos cónicas no degeneradas y un n fijo y no se aplica a curvas arbitrarias. ## Consecuencia Consecuencia Cuando se cumple el porismo se obtiene una familia continua de n-ángulos cerrados, lo que impone fuertes restricciones algebraicas y dinámicas sobre el par de cónicas; esto conecta con dinámicas integrables del billar y con condiciones algebraicas (periodicidad) sobre las aplicaciones proyectivas asociadas. ## Inversión Inversión La ausencia de la condición porística significa que pueden existir algunos puntos de partida que produzcan polígonos cerrados pero no todos; la inversión formal (si para todo punto de partida existe un n-ágono cerrado entonces existe al menos uno) es trivial, pero el porismo afirma la dirección no trivial de que un ejemplo implica universalidad. ## Límite Límite Se aplica específicamente a dos cónicas no degeneradas en el plano proyectivo y a un número de lados n fijado; excluye curvas arbitrarias, cónicas singulares, n variable y configuraciones que permitan tangencia sin el arreglo inscrito/circunscrito. ## Tensión semántica Tensión semántica Estrechamente relacionado con, y a veces confundido con, órbitas periódicas de billar dentro de cónicas: ambos describen órbitas poligonales cerradas, pero el porismo de Poncelet es una afirmación proyectiva sobre pares de cónicas y polígonos tangentes/inscritos más que una ley de reflexión métrica del billar. ## Síntesis Síntesis El porismo de Poncelet afirma que para un par dado de cónicas no degeneradas la existencia de un n-ágono simultáneamente inscrito y circunscrito obliga a la existencia de una familia uniparamétrica de tales n-ángulos cerrados: un resultado de existencia rígido que enlaza la geometría proyectiva clásica con fenómenos dinámicos integrables.