{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $k$ be an algebraically closed field, and let $\\mathbb{P}^2$ be the [[projective plane|ZT9A6JK8QF]] over $k$.\nLet $C_1$ and $C_2$ be [[plane curves|EWS4WFTA7W]] of degrees $d$ and $e$, defined by [[homogeneous polynomials|2C3PAQ7H50]] with no common factor.\nAssume that $C_1$ and $C_2$ meet in exactly $de$ distinct points.\nThen every plane curve of degree $d + e - 3$ that passes through all but one of these $de$ points also passes through the remaining point.\n\n## Remarks\n\nThe most quoted case is $d = e = 3$: if two plane cubics meet in nine distinct points, then every cubic through eight of them passes through the ninth.\nFor this case, the cubics through the eight points form a vector space of dimension $10 - 8 = 2$, because the eight points impose independent conditions on cubics.\nThe defining polynomials $F_1, F_2$ of $C_1, C_2$ are independent and lie in this space, so every cubic through the eight points is $\\lambda F_1 + \\mu F_2$ and vanishes at the ninth point.\nThe general case is usually proved with duality on the zero-dimensional complete intersection $C_1 \\cap C_2$.\nBy [[Bézout's theorem|KWNVF194D8]], two curves of degrees $d$ and $e$ without common component meet in $de$ points counted with multiplicity, so the hypothesis says that all intersections are transverse.\nThe cubic case gives a proof of the associativity of the group law on an elliptic curve, and of Pascal's theorem on six points of a conic.\n\n## Explanations\n\n### L1 human\n\nTwo curves in the plane cross in a predictable number of points, for two cubics nine.\nThe theorem says that these points are not independent of each other.\nA curve of the right degree that goes through all of them but one is forced to go through the last one as well.\nFor cubics, eight of the nine points already decide the ninth.\n\n### L2 human\n\nThe theorem says that the intersection points fail to impose independent conditions on curves of degree $d + e - 3$.\nThis is the degree that appears in the adjunction formula for the canonical divisor of a plane curve.\nIt is the source of many classical incidence theorems, such as Pappus's and Pascal's theorems, which come from degenerate cubics made of lines and conics.\nIn modern language it is a consequence of duality for the complete intersection $C_1 \\cap C_2$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "EWS4WFTA7W"
    ],
    "kind": "statement",
    "msc": [
      "14H50",
      "14C17"
    ],
    "name": "Cayley–Bacharach theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q4455043",
      "wikipedia": "Cayley–Bacharach theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Cayley%E2%80%93Bacharach_theorem"
      }
    ],
    "tag": "BZ2MM3CTNA",
    "uses": [
      "EWS4WFTA7W",
      "ZT9A6JK8QF",
      "2C3PAQ7H50",
      "KWNVF194D8"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/BZ2MM3CTNA/",
  "links": [
    {
      "field": "about",
      "target": "EWS4WFTA7W"
    },
    {
      "field": "uses",
      "target": "EWS4WFTA7W"
    },
    {
      "field": "uses",
      "target": "ZT9A6JK8QF"
    },
    {
      "field": "uses",
      "target": "2C3PAQ7H50"
    },
    {
      "field": "uses",
      "target": "KWNVF194D8"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/BZ2MM3CTNA.md",
  "msc": [
    "14H50",
    "14C17"
  ],
  "name": "Cayley–Bacharach theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BZ2/BZ2MM3CTNA.md",
  "status": null,
  "tag": "BZ2MM3CTNA",
  "uri": "m2://BZ2MM3CTNA",
  "url": "https://tamnd.github.io/math2/wiki/cayley-bacharach-theorem/",
  "writing": {
    "tag": "BZ2MM3CTNA",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}