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

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

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

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

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

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

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

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

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.