{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $S$ be a set of points in the Euclidean plane.\nEvery point that can be constructed from $S$ with [[straightedge and compass|0DAECMZVRT]] can also be constructed from $S$ with compass alone.\n\n## Remarks\n\nA line counts as known in a compass-only construction when two of its points are known; the line itself is never drawn.\nThe proof shows how to find with compass alone the intersection points of a [[circle|060W5CBZP6]] and a line given by two points.\nIt also shows how to find the intersection point of two lines given by two points each.\nA standard tool is inversion in a circle, which can be done with compass alone and turns lines that miss the centre into circles through the centre.\nGeorg Mohr published the result in 1672, and Lorenzo Mascheroni found it again independently in 1797.\nFor example, the midpoint of a segment $AB$ can be found with compass alone, although no line through $A$ and $B$ is ever drawn.\n\n## Explanations\n\n### L1 human\n\nThe ruler is not needed in classical constructions.\nAnything one can construct with ruler and compass, one can also construct with a compass alone, as long as a line is described by two of its points.\nSo the field of constructible points is the same for both kinds of tools.\n\n### L2 human\n\nAlgebraically, ruler and compass constructions from $0$ and $1$ give exactly the [[constructible numbers|0QNFRBJF4Q]], the smallest subfield of $\\C$ closed under square roots and complex conjugation.\nThe theorem says that compass constructions already give all of them.\nThe [[Poncelet–Steiner theorem|2P0DP2TK6P]] is the companion result that keeps the ruler and replaces the compass by a single fixed circle.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "0DAECMZVRT"
    ],
    "kind": "statement",
    "msc": [
      "51M15"
    ],
    "name": "Mohr–Mascheroni theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1152521",
      "wikipedia": "Mohr–Mascheroni theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Mohr%E2%80%93Mascheroni_theorem"
      }
    ],
    "tag": "G9VT2J3ZVK",
    "uses": [
      "0DAECMZVRT",
      "060W5CBZP6"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/G9VT2J3ZVK/",
  "links": [
    {
      "field": "about",
      "target": "0DAECMZVRT"
    },
    {
      "field": "uses",
      "target": "0DAECMZVRT"
    },
    {
      "field": "uses",
      "target": "060W5CBZP6"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/G9VT2J3ZVK.md",
  "msc": [
    "51M15"
  ],
  "name": "Mohr–Mascheroni theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/G9V/G9VT2J3ZVK.md",
  "status": null,
  "tag": "G9VT2J3ZVK",
  "uri": "m2://G9VT2J3ZVK",
  "url": "https://tamnd.github.io/math2/wiki/mohr-mascheroni-theorem/",
  "writing": {
    "tag": "G9VT2J3ZVK",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}