Definition
Eine poristische Aussage über aufeinanderfolgende tangente und eingeschriebene Vielecke: Existiert ein geschlossenes n-Eck, das zugleich in eine Kegelschnittkurve eingeschrieben und um eine andere herum tangential ist, dann schließt für dieses feste Paar von Kegelschnitten und dieses n die Konstruktion für jeden gewählten Anfangspunkt auf der inneren Kegelschnittkurve — es existiert also eine eindimensionale Familie solcher n-Ecke.
Prinzip
Prinzip
Der Abschluss unter einer iterativen projektiven Tangenten‑/Einschreibungs‑Konstruktion ist unabhängig vom Startpunkt: Die Existenz einer periodischen Umlaufbahn (geschlossenes n‑Eck) der zugehörigen Abbildung impliziert Periodizität für jeden Startpunkt auf der inneren Kegelschnittkurve.
Demonstration
Demonstration
Betrachte zwei nichtdegenerierte Kegelschnitte, einen innerhalb des anderen. Angenommen, man kann ein n‑seitiges Vieleck konstruieren, dessen Eckpunkte auf dem äußeren Kegelschnitt liegen und dessen Seiten die innere Kegelschnittkurve tangieren. Der Poncelet‑Porismus besagt, dass dann die Iteration der Tangenten‑Konstruktion für jeden Startkontakt auf der inneren Kegelschnittkurve zu einem geschlossenen n‑Eck führt. Im speziellen Fall konzentrischer Kreise ist dieses Verhalten leicht zu veranschaulichen: Existiert ein geschlossenes n‑Eck, so liefert die Drehung des Anfangskontaktpunkts eine stetige Familie geschlossener n‑Ecke.
Fehlanwendung
Fehlanwendung
Zu folgern, der Porismus garantiere Existenz für andere Seitenanzahlen n, für degenerierte Kegelschnitte oder dass er für beliebige innere/äußere Kurvenpaare gelte; der Satz benötigt zwei nichtdegenerierte Kegelschnitte und ein festes n und erstreckt sich nicht auf beliebige Kurven.
Konsequenz
Konsequenz
Gilt der Porismus, so erhält man eine stetige Familie geschlossener n‑Ecke, was starke algebraische und dynamische Beschränkungen an das Paar der Kegelschnitte stellt; dies verbindet den Sachverhalt mit integrierbaren Billarddynamiken und algebraischen Periodizitätsbedingungen an die projektiven Abbildungen.
Umkehrung
Umkehrung
Fehlt die poristische Bedingung, so kann es vorkommen, dass einige Startpunkte geschlossene Vielecke liefern, aber nicht alle; die Umkehrung (für jeden Startpunkt existiert ein geschlossenes n‑Eck impliziert Existenz von wenigstens einem) ist trivial, während der Porismus die nichttriviale Richtung ausdrückt, dass ein Beispiel Universalisierung erzwingt.
Abgrenzung
Abgrenzung
Gilt speziell für zwei nichtdegenerierte Kegelschnitte in der projektiven Ebene und für eine festgelegte Seitenzahl n; schließt beliebige Kurven, singuläre Kegelschnitte, variables n und Konfigurationen aus, die Tangenten erlauben, aber kein eingeschriebenes/cirzenschriebenes Arrangement.
Semantische Spannung
Semantische Spannung
Steht in enger Beziehung zu periodischen Bahnkurven beim Billard in Kegelschnitten und wird gelegentlich damit verwechselt: Beides beschreibt geschlossene polygonale Bahnen, doch der Poncelet‑Porismus ist eine projektive Aussage über Kegelschnittpaare und tangential/ eingeschriebene Vielecke, nicht primär eine metrische Reflexionsregel des Billards.
Synthese
Synthese
Der Poncelet‑Porismus besagt, dass für ein gegebenes Paar nichtdegenerierter Kegelschnitte die Existenz eines n‑Ecks, das zugleich eingeschrieben und cirkumskribt ist, die Existenz einer eindimensionalen Familie solcher geschlossenen n‑Ecke erzwingt: ein Existenzresultat, das klassische projektive Geometrie mit integrierbaren dynamischen Phänomenen verknüpft.