Un porismo clásico sobre dos círculos no intersecantes (un anillo) que afirma que si existe una cadena cerrada de n círculos mutuamente tangentes inscrita entre los dos círculos dados para una elección de círculo inicial, entonces tal cadena cerrada existe para cualquier elección de círculo inicial en el anillo.

Principio

Una invariancia de incidencia: la propiedad de cierre de una cadena de círculos tangentes entre dos círculos coaxiales fijos no depende del círculo inicial una vez que existe una cadena cerrada, reflejando una restricción geométrica integrable subyacente.

Demostración

Construir dos círculos concéntricos no intersecantes e inscribir alrededor del círculo interior una cadena de círculos tangentes iguales que tocan el círculo exterior; cuando una cadena cerrada de longitud n existe para una posición, puede rotarse continuamente para producir cadenas cerradas para todas las posiciones iniciales en el anillo.

Aplicación incorrecta

Suponer que el porismo vale cuando los círculos exterior e interior se intersectan, son tangentes, o cuando los círculos insertados no son contiguamente tangentes; o tratar el porismo como una afirmación sobre curvas anidadas arbitrarias en lugar de círculos coaxiales.

Consecuencia

Conduce a una familia uniparamétrica de cadenas tangentes cerradas y muestra que ciertas configuraciones de empaquetamiento circular son rígidas en su comportamiento de cierre; informa construcciones por inversión y se vincula con transformaciones de Möbius.

Inversión

La mirada inversa enfatiza el fallo de cierre: si ninguna cadena cerrada existe para ningún círculo inicial, entonces ninguna cadena se cierra; invertir el porismo destaca la dependencia en la posición relativa de los círculos más que en los datos iniciales arbitrarios.

Límite

Se aplica a configuraciones de dos círculos disjuntos en el plano euclidiano (o a sus imágenes por transformaciones de Möbius); quedan excluidos los círculos que se intersecan o coinciden, contornos no circulares y cadenas que no preservan el orden de tangencia.

Tensión semántica

Conceptos cercanos incluyen empaquetamientos apolonianos y porismos de Poncelet; la tensión está entre la invariancia de cierre de Steiner (cadenas de círculos tangentes) y el cierre poligonal de Poncelet, análogos pero distintos por los objetos y los invariantes involucrados.

Síntesis

El Porismo de Steiner resume una rigidez geométrica: cuando existe una cadena cerrada de círculos tangentes entre dos círculos disjuntos, el anillo admite una familia continua de tales cadenas cerradas, revelando una propiedad invariante de cierre al mover el círculo inicial.