{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $C$ and $D$ be [[ellipses|0VKCCEXBJ1]] in the Euclidean plane with $D$ in the interior of $C$.\nFor $P_0 \\in C$, build a sequence $P_0, P_1, P_2, \\ldots$ on $C$ as follows.\nFrom $P_k$ there are two [[tangent lines|01R1HW3Y42]] to $D$.\nFor $k \\ge 1$, take the one other than the line $P_{k-1} P_k$; for $k = 0$, take either one.\nLet $P_{k+1}$ be the second point where this tangent line meets $C$.\nSuppose that for one starting point $P_0$ the sequence satisfies $P_n = P_0$ for some $n \\ge 3$.\nThen $P_n = P_0$ holds for every starting point $P_0 \\in C$.\n\n## Remarks\n\nThe polygon $P_0 P_1 \\cdots P_{n-1}$ is inscribed in $C$ and circumscribed about $D$.\nA modern proof considers the curve of pairs $(P, \\ell)$ with $P \\in C$ and $\\ell$ a tangent line of $D$ through $P$.\nOver the complex numbers this curve is an [[elliptic curve|427N6S6QQW]], and one step of the construction is a translation on it.\nA translation that has a point of period $n$ has every point of period $n$.\nExample: for two concentric circles with radii $R$ and $R/2$, every inscribed equilateral triangle is circumscribed about the inner circle, so every start closes after $3$ steps.\nFor a triangle and two circles, closure happens exactly when [[Euler's theorem|RFCQT6TKZF]] $d^2 = R(R - 2r)$ holds between the radii and the distance $d$ of the centres.\n\n## Explanations\n\n### L1 human\n\nDraw an oval with a smaller oval inside it.\nStart at a point of the outer oval and walk along straight lines that just graze the inner oval, bouncing from the outer one each time.\nIf, from one starting point, the path closes after some number of steps, then it closes after the same number of steps from every starting point.\n\n### L2 human\n\nPoncelet's theorem is a porism: the closing property is all or nothing.\nIt holds more generally for two smooth conics in general position in the complex projective plane.\nIts proof through elliptic curves is a standard illustration of how the group law of a cubic curve solves a problem of elementary geometry.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "0VKCCEXBJ1"
    ],
    "kind": "statement",
    "msc": [
      "51M04",
      "14H52"
    ],
    "name": "Poncelet's closure theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1785610",
      "wikipedia": "Poncelet's closure theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Poncelet%27s_closure_theorem"
      }
    ],
    "tag": "XWYXSRM5YS",
    "uses": [
      "0VKCCEXBJ1",
      "01R1HW3Y42"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/XWYXSRM5YS/",
  "links": [
    {
      "field": "about",
      "target": "0VKCCEXBJ1"
    },
    {
      "field": "uses",
      "target": "0VKCCEXBJ1"
    },
    {
      "field": "uses",
      "target": "01R1HW3Y42"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/XWYXSRM5YS.md",
  "msc": [
    "51M04",
    "14H52"
  ],
  "name": "Poncelet's closure theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/XWY/XWYXSRM5YS.md",
  "status": null,
  "tag": "XWYXSRM5YS",
  "uri": "m2://XWYXSRM5YS",
  "url": "https://tamnd.github.io/math2/wiki/poncelets-closure-theorem/",
  "writing": {
    "tag": "XWYXSRM5YS",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}