{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $S$ be a set of points in the Euclidean plane, and suppose that one [[circle|060W5CBZP6]] and its centre are drawn in the plane.\nEvery point that can be constructed from $S$ with [[straightedge and compass|0DAECMZVRT]] can also be constructed from $S$ and the given circle with straightedge alone.\n\n## Remarks\n\nAs for compass-only constructions, a circle counts as known when its centre and one of its points are known.\nThe proof shows how to find, with straightedge alone and the help of the fixed circle, the intersection points of a line and a circle, and of two circles.\nJean-Victor Poncelet stated the result in 1822, and Jakob Steiner proved it in 1833.\nThe centre is needed: with straightedge alone one cannot find the centre of a single given circle.\nWith straightedge alone and no circle, one obtains only points with coordinates in the field generated by the coordinates of $S$.\nFor example, $\\sqrt 2$ cannot be constructed from $0$ and $1$ in this way.\n\n## Explanations\n\n### L1 human\n\nA compass is needed only once.\nIf one circle and its centre are already on the page, a ruler alone can do every ruler-and-compass construction.\nThe single circle supplies all the square roots that the compass would otherwise give.\n\n### L2 human\n\nThe theorem and the [[Mohr–Mascheroni theorem|G9VT2J3ZVK]] show that the constructible points depend on the algebraic operations available, not on the tools themselves.\nRational operations come from the straightedge, and square roots need some circle.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "0DAECMZVRT"
    ],
    "kind": "statement",
    "msc": [
      "51M15"
    ],
    "name": "Poncelet–Steiner theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1186134",
      "wikipedia": "Poncelet–Steiner theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Poncelet%E2%80%93Steiner_theorem"
      }
    ],
    "tag": "2P0DP2TK6P",
    "uses": [
      "0DAECMZVRT",
      "060W5CBZP6"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/2P0DP2TK6P/",
  "links": [
    {
      "field": "about",
      "target": "0DAECMZVRT"
    },
    {
      "field": "uses",
      "target": "0DAECMZVRT"
    },
    {
      "field": "uses",
      "target": "060W5CBZP6"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/2P0DP2TK6P.md",
  "msc": [
    "51M15"
  ],
  "name": "Poncelet–Steiner theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/2P0/2P0DP2TK6P.md",
  "status": null,
  "tag": "2P0DP2TK6P",
  "uri": "m2://2P0DP2TK6P",
  "url": "https://tamnd.github.io/math2/wiki/poncelet-steiner-theorem/",
  "writing": {
    "tag": "2P0DP2TK6P",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}