{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\n*Synthetic geometry* is the study of geometry from axioms whose primitive notions are geometric objects and relations, such as points, lines, incidence, betweenness and congruence.\nIts proofs derive theorems from the axioms directly, without coordinates in a field or a ring.\n\n## Remarks\n\nExample: [[Hilbert's axioms|KM1FB8XZ2R]] give a synthetic geometry, and a proof of the congruence criterion side-side-side from them is a synthetic proof.\nNon-example: write the vertices of a parallelogram as vectors $0$, $u$, $v$, $u + v$, and check that both diagonals have midpoint $(u + v)/2$.\nThis proof that the diagonals bisect each other is analytic, not synthetic.\nCoordinates may come back as a result: for example, Desargues's theorem in a projective plane allows one to build a division ring of coordinates from the axioms.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "VY6ZCZY8DA",
    "kind": "definition",
    "msc": [
      "51-01",
      "51M05",
      "51A05"
    ],
    "name": "Synthetic geometry",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Synthetic_geometry"
      }
    ],
    "tag": "YH5PGKNZKD",
    "uses": [
      "KM1FB8XZ2R"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/YH5PGKNZKD/",
  "links": [
    {
      "field": "defines",
      "target": "VY6ZCZY8DA"
    },
    {
      "field": "uses",
      "target": "KM1FB8XZ2R"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YH5PGKNZKD.md",
  "msc": [
    "51-01",
    "51M05",
    "51A05"
  ],
  "name": "Synthetic geometry",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YH5/YH5PGKNZKD.md",
  "status": null,
  "tag": "YH5PGKNZKD",
  "uri": "m2://YH5PGKNZKD",
  "url": "https://tamnd.github.io/math2/wiki/synthetic-geometry-definition/",
  "writing": {
    "tag": "YH5PGKNZKD",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}