{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $P$ be a [[Platonic solid|017E5PRS1Q]] whose faces have $p$ sides each, with $q$ faces at each vertex. Then $\\{p, q\\}$ is one of\n$$\\{3, 3\\}, \\quad \\{4, 3\\}, \\quad \\{3, 4\\}, \\quad \\{5, 3\\}, \\quad \\{3, 5\\}.$$\nEach of these five cases occurs, by the regular tetrahedron, the cube, the regular octahedron, the regular dodecahedron and the regular icosahedron. Up to similarity, there is exactly one Platonic solid for each case.\n\n## Remarks\n\nA proof: let $V$, $E$ and $F$ be the numbers of vertices, edges and faces. Then $pF = 2E = qV$, and [[Euler's formula|09HT3P35YP]] $V - E + F = 2$ gives $\\frac{1}{p} + \\frac{1}{q} = \\frac{1}{2} + \\frac{1}{E} \u003e \\frac{1}{2}$.\nWith $p, q \\geq 3$, this inequality has exactly the five solutions above.\nA geometric proof uses the angles: at each vertex, the $q$ face angles $\\frac{(p - 2)\\pi}{p}$ must add up to less than $2\\pi$.\n\n## History\n\nTheaetetus, a contemporary of Plato, described all five solids. He may have given the first proof that no other convex regular polyhedra exist. Euclid's Elements contains a geometric proof.\n\n## Explanations\n\n### L1 human\n\nOnly five perfectly regular convex solids exist. At each corner, at least three faces meet, and their angles must add up to less than a full turn. This leaves room only for three, four or five triangles, three squares or three pentagons.\n",
  "commit": "f591989ed15704e9d8755a7a5a6426d73de7a3ae",
  "front": {
    "kind": "statement",
    "msc": [
      "51M20"
    ],
    "name": "Classification of the Platonic solids",
    "role": "theorem",
    "sources": [
      {
        "locator": "Classification",
        "url": "https://en.wikipedia.org/wiki/Platonic_solid"
      },
      {
        "locator": "Topological proof",
        "url": "https://en.wikipedia.org/wiki/Platonic_solid"
      },
      {
        "locator": "History",
        "url": "https://en.wikipedia.org/wiki/Platonic_solid"
      }
    ],
    "tag": "0M4TCS0RRG",
    "uses": [
      "017E5PRS1Q",
      "09HT3P35YP"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/0M4TCS0RRG/",
  "links": [
    {
      "field": "uses",
      "target": "017E5PRS1Q"
    },
    {
      "field": "uses",
      "target": "09HT3P35YP"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0M4TCS0RRG.md",
  "msc": [
    "51M20"
  ],
  "name": "Classification of the Platonic solids",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0M4/0M4TCS0RRG.md",
  "status": null,
  "tag": "0M4TCS0RRG",
  "uri": "m2://0M4TCS0RRG",
  "url": "https://math2.tamnd.com/wiki/classification-of-the-platonic-solids/",
  "writing": {
    "tag": "0M4TCS0RRG",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}