{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $ABC$ be a [[triangle|0CTNFGYMM2]] in the Euclidean space $\\mathbb{R}^n$. The three [[lines|0MP9BCF6DP]] that contain the [[altitudes|0C9MZY2RNA]] of $ABC$ meet in exactly one point $H$.\nThis point $H$ is the orthocentre of $ABC$.\n\n## Remarks\n\nThe orthocentre is inside the triangle if the triangle is acute. In a right triangle, it is the vertex at the right angle. In an obtuse triangle, it is outside.\nIn an equilateral triangle, the orthocentre is the same point as the centroid, the circumcentre and the incentre.\nThe Book of Lemmas, attributed to Archimedes, uses the fact that the three altitudes meet. Al-Nasawi stated and proved it explicitly in the 11th century.\nMathlib's `Affine.Triangle.orthocenter` defines it as the Monge point of the triangle.\n\n## Explanations\n\n### L1 human\n\nDraw the three altitudes of a triangle, each from a corner at a right angle to the opposite side. The three lines always pass through one common point. For the right triangle with the vertices $(0, 0)$, $(3, 0)$ and $(0, 4)$, this point is the corner $(0, 0)$.\n",
  "commit": "6ac761d40018146541484a9e8b9eafd6ecc303dc",
  "front": {
    "defines": "0WB619CA0V",
    "kind": "definition",
    "msc": [
      "51M04"
    ],
    "name": "Orthocentre",
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/Orthocenter"
      },
      {
        "locator": "History",
        "url": "https://en.wikipedia.org/wiki/Orthocenter"
      }
    ],
    "tag": "0QMYQ1X03H",
    "uses": [
      "0CTNFGYMM2",
      "0C9MZY2RNA",
      "0MP9BCF6DP"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/0QMYQ1X03H/",
  "links": [
    {
      "field": "defines",
      "target": "0WB619CA0V"
    },
    {
      "field": "uses",
      "target": "0CTNFGYMM2"
    },
    {
      "field": "uses",
      "target": "0C9MZY2RNA"
    },
    {
      "field": "uses",
      "target": "0MP9BCF6DP"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0QMYQ1X03H.md",
  "msc": [
    "51M04"
  ],
  "name": "Orthocentre",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0QM/0QMYQ1X03H.md",
  "status": null,
  "tag": "0QMYQ1X03H",
  "uri": "m2://0QMYQ1X03H",
  "url": "https://math2.tamnd.com/wiki/orthocentre-definition/",
  "writing": {
    "tag": "0QMYQ1X03H",
    "kind": "definition",
    "level": "W1",
    "next": [
      {
        "what": "edge instance_of in",
        "note": "one example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge not_instance_of in",
        "note": "one non-example that fails one clause",
        "have": 0,
        "want": 1
      }
    ]
  }
}