{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $ABC$ be a [[triangle|0CTNFGYMM2]] in the Euclidean plane.\nTrisect each of its interior [[angles|0GJAJC6TNZ]], that is, divide it into three equal angles by two rays from the vertex.\nFor each side, the two trisectors nearest to that side, one from each endpoint of the side, meet at a point.\nThen the three points so obtained are the vertices of an equilateral triangle.\n\n## Remarks\n\nLet $R$ be the circumradius and write $A$, $B$, $C$ also for the angles.\nThe side of the Morley triangle is $8R \\sin \\frac{A}{3} \\sin \\frac{B}{3} \\sin \\frac{C}{3}$, which is symmetric in the angles; this length is one route to a trigonometric proof.\nA well-known proof runs backwards: start from an equilateral triangle, attach suitable triangles with angles built from $\\frac{A}{3}$, $\\frac{B}{3}$, $\\frac{C}{3}$, and check that the result is similar to $ABC$.\n\nExample: in an equilateral triangle all angles are $\\pi/3$, and the figure is symmetric under rotation by $2\\pi/3$ about the centre, so the three points form an equilateral triangle.\nThe theorem says that this equilateral pattern survives for every triangle, with no symmetry.\n\n## Explanations\n\n### L1 human\n\nSplit each corner of any triangle into three equal parts.\nNear each side, two of the dividing lines meet.\nThe three meeting points always form a perfectly equilateral triangle, whatever the shape of the triangle you started with.\nThe result was found by Frank Morley in 1899.\n\n### L2 human\n\nThe theorem is surprising because angle trisection is not a ruler-and-compass operation, see [[trisecting the angle|00J3DCCEK5]], so classical synthetic geometry did not study trisectors.\nProofs use trigonometry or a reverse construction, and Alain Connes gave an algebraic proof using the affine group of a field.\nIt is a standard example of a deep-looking fact of triangle geometry with an elementary proof.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "0CTNFGYMM2"
    ],
    "kind": "statement",
    "msc": [
      "51M04"
    ],
    "name": "Morley's trisector theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q913447",
      "wikipedia": "Morley's trisector theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Morley%27s_trisector_theorem"
      }
    ],
    "tag": "ZT97FC11VA",
    "uses": [
      "0CTNFGYMM2",
      "0GJAJC6TNZ"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/ZT97FC11VA/",
  "links": [
    {
      "field": "about",
      "target": "0CTNFGYMM2"
    },
    {
      "field": "uses",
      "target": "0CTNFGYMM2"
    },
    {
      "field": "uses",
      "target": "0GJAJC6TNZ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/ZT97FC11VA.md",
  "msc": [
    "51M04"
  ],
  "name": "Morley's trisector theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZT9/ZT97FC11VA.md",
  "status": null,
  "tag": "ZT97FC11VA",
  "uri": "m2://ZT97FC11VA",
  "url": "https://tamnd.github.io/math2/wiki/morleys-trisector-theorem/",
  "writing": {
    "tag": "ZT97FC11VA",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}