{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $M$ be a [[metric space|0VKD1TP7F3]] that is homeomorphic to the sphere $S^2$.\nAssume that the distance between two points of $M$ is the infimum of the lengths of paths joining them.\nSuppose that there is a finite set $S \\subseteq M$ such that:\n\n1. each point of $M \\setminus S$ has a neighbourhood isometric to an open subset of the Euclidean plane;\n2. each point $s \\in S$ has a neighbourhood isometric to a neighbourhood of the apex of a Euclidean cone with total angle $\\theta_s \u003c 2\\pi$.\n\nThen there is a three-dimensional [[convex polytope|300K6CB1KH]] $P \\subseteq \\R^3$, or a doubly covered convex polygon $P$ in a plane, with the following property.\nThe surface of $P$, with its intrinsic path metric, is isometric to $M$.\nThis $P$ is unique up to an isometry of $\\R^3$, and its vertices are exactly the points of $S$.\n\n## Remarks\n\nUniqueness follows from a variant of [[Cauchy's rigidity theorem|CJ7KCDDF31]], applied to the two polytopes cut into matching triangles.\nAlexandrov proved existence by a continuity argument.\nPolytopes with $k$ vertices and metrics with $k$ cone points form spaces of the same dimension.\nThe map that sends a polytope to its surface metric is injective by the uniqueness part.\nAn invariance of domain argument then shows that it reaches every metric.\nBobenko and Izmestiev later gave a proof that is closer to a construction, but finding the edges of $P$ from $M$ is not easy in general.\n\nExample: glue two copies of a unit square along their boundaries.\nThe result is a sphere with four cone points of angle $\\pi$, and the theorem returns the doubly covered square itself.\n\nThe total angle condition is needed.\nBy [[Descartes's theorem on total angular defect|PT67C5ANSD]], the defects $2\\pi - \\theta_s$ of a convex polytope are positive and add up to $4\\pi$.\nSo a metric with a cone point of angle larger than $2\\pi$ cannot come from a convex polytope.\n\n## Explanations\n\n### L1 human\n\nCut out flat polygons and tape them together along their edges into a closed bag.\nAt each corner the paper angles must add up to less than a full turn.\nAlexandrov's theorem says that the bag can be blown up into exactly one convex solid.\nThe creases of that solid need not be along the tape lines, which is the surprising part.\n\n### L2 human\n\nThe theorem characterises the intrinsic metrics of convex polyhedral surfaces: they are exactly the polyhedral metrics on the sphere with positive curvature at every cone point.\nIt complements [[Cauchy's rigidity theorem|CJ7KCDDF31]], which gives uniqueness when the faces are known.\nIt has a smooth analogue, the Weyl problem, and it is used in computational geometry to fold a given net into a convex polyhedron.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "300K6CB1KH"
    ],
    "kind": "statement",
    "msc": [
      "52B10",
      "53C45",
      "52C25"
    ],
    "name": "Alexandrov's theorem on polyhedra",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q17003552",
      "wikipedia": "Alexandrov's theorem on polyhedra"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Alexandrov%27s_theorem_on_polyhedra"
      }
    ],
    "tag": "ZCDWXVMDFN",
    "uses": [
      "0VKD1TP7F3",
      "300K6CB1KH",
      "0325SGSJAR"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/ZCDWXVMDFN/",
  "links": [
    {
      "field": "about",
      "target": "300K6CB1KH"
    },
    {
      "field": "uses",
      "target": "0VKD1TP7F3"
    },
    {
      "field": "uses",
      "target": "300K6CB1KH"
    },
    {
      "field": "uses",
      "target": "0325SGSJAR"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/ZCDWXVMDFN.md",
  "msc": [
    "52B10",
    "53C45",
    "52C25"
  ],
  "name": "Alexandrov's theorem on polyhedra",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZCD/ZCDWXVMDFN.md",
  "status": null,
  "tag": "ZCDWXVMDFN",
  "uri": "m2://ZCDWXVMDFN",
  "url": "https://tamnd.github.io/math2/wiki/alexandrovs-theorem-on-polyhedra/",
  "writing": {
    "tag": "ZCDWXVMDFN",
    "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
      }
    ]
  }
}