{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "HYE5FT4M34"
    },
    {
      "field": "uses",
      "target": "NPNNXWMVCC"
    }
  ],
  "body": "\n## Example\n\nThe points of the *Moulton plane* are the points of $\\R^2$.\nIts lines are of three kinds:\n\n1. the vertical lines $x = c$;\n2. the lines $y = m x + b$ with slope $m \\ge 0$;\n3. for each slope $m \u003c 0$ and each $b \\in \\R$, the bent line made of the points $(x, m x + b)$ with $x \\le 0$ and the points $(x, 2 m x + b)$ with $x \\ge 0$.\n\nSo lines of negative slope are bent where they cross the $y$-axis, and their slope doubles on the right.\nWith these lines it is an [[affine plane|EC7XT2ZM5S]]: any two points lie on exactly one line.\nFor a fixed $m \u003c 0$, the bent lines with parameter $m$ are pairwise parallel, as are the lines of each other slope.\nSome authors use another factor than $2$; any positive factor other than $1$ gives a plane with the same properties.\n\nThe Moulton plane does not satisfy the affine form of [[Desargues's theorem|5Z19Y02MME]].\nLet $O = (-10, -10)$, $A = (-8, -6)$, $B = (-6, 2)$, $C = (-2, -2)$, and $A' = (-7, -4)$, $B' = (-4, 8)$, $C' = (2, 2)$.\nCheck:\n\n- $A' = O + \\tfrac{3}{2}(A - O)$, and likewise for $B'$ and $C'$.\n- The lines $OA$, $OB$, $OC$ have slopes $2$, $3$, $1$, so they are ordinary lines; they contain $A'$, $B'$, $C'$.\n- $AB$ and $A'B'$ both have slope $4$, and $AC$ and $A'C'$ both have slope $2/3$; these are ordinary distinct lines, so $AB \\parallel A'B'$ and $AC \\parallel A'C'$.\n- $B$ and $C$ lie in $x \u003c 0$ on $y = -x - 4$, so $BC$ is the bent line with $m = -1$, $b = -4$.\n- The line through $B'$ and $C'$ is bent with $8 = -4m + b$ and $2 = 4m + b$, so $m = -3/4$ and $b = 5$.\n\nSince $-3/4 \\ne -1$, the line $B'C'$ is not parallel to $BC$.\nIn the Euclidean plane the same data would force $BC \\parallel B'C'$.\n\n## Remarks\n\nAdd a line at infinity, with one point for each class of parallel lines, to get a [[projective plane|DANFNN8C4Y]].\nIn it the triangles $ABC$ and $A'B'C'$ are in perspective from $O$, the points $AB \\cap A'B'$ and $AC \\cap A'C'$ lie on the line at infinity, but $BC \\cap B'C'$ is a finite point.\nSo the three points are not collinear, and the projective completion is a [[non-Desarguesian plane|HYE5FT4M34]].\n\n## Explanations\n\n### L1 human\n\nThe Moulton plane is the ordinary plane with a strange rule for lines: lines going downhill bend as they cross the vertical axis, like light entering water.\nUphill and vertical lines stay straight.\nThrough two points there is still exactly one line, and parallels behave as usual.\nBut Desargues's theorem, which always works in the ordinary plane, fails here, which shows that this theorem is not a consequence of the incidence axioms alone.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "EC7XT2ZM5S"
    ],
    "kind": "example",
    "msc": [
      "51A35",
      "51A15"
    ],
    "name": "Moulton plane",
    "same_as": {
      "wikidata": "Q650995",
      "wikipedia": "Moulton plane"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Moulton_plane"
      }
    ],
    "tag": "3V9GYYXM1H",
    "uses": [
      "5Z19Y02MME",
      "DANFNN8C4Y"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/3V9GYYXM1H/",
  "links": [
    {
      "field": "instance_of",
      "target": "EC7XT2ZM5S"
    },
    {
      "field": "uses",
      "target": "5Z19Y02MME"
    },
    {
      "field": "uses",
      "target": "DANFNN8C4Y"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/3V9GYYXM1H.md",
  "msc": [
    "51A35",
    "51A15"
  ],
  "name": "Moulton plane",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/3V9/3V9GYYXM1H.md",
  "status": null,
  "tag": "3V9GYYXM1H",
  "uri": "m2://3V9GYYXM1H",
  "url": "https://tamnd.github.io/math2/wiki/moulton-plane/",
  "writing": {
    "tag": "3V9GYYXM1H",
    "kind": "example",
    "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
      }
    ]
  }
}