{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nWe intersect the line with the circle and solve for the parameter.\n\n1. Let $v$ be a direction vector of the [[line|0MP9BCF6DP]] $\\ell$. Since $T \\in \\ell$, we have $\\ell = \\set{T + tv : t \\in \\mathbb{R}}$, and distinct values of $t$ give distinct points because $v \\neq 0$.\n2. The point $X = T + tv$ lies on the [[circle|060W5CBZP6]] $C$ if and only if $\\norm{T - O + tv}^2 = r^2$.\n3. Expanding with the [[dot product|0S52TNNTH9]] and using $\\norm{T - O} = r$, this is $r^2 + 2t\\, v \\cdot (T - O) + t^2\\norm{v}^2 = r^2$.\n4. So $X \\in C$ if and only if $t\\,(2\\, v \\cdot (T - O) + t\\norm{v}^2) = 0$, that is, $t = 0$ or $t = t_1$ with $t_1 = -\\frac{2\\, v \\cdot (T - O)}{\\norm{v}^2}$.\n5. By definition, $\\ell$ is [[tangent|0T7DX8NY1X]] to $C$ at $T$ if and only if $\\ell \\cap C = \\set{T}$. By steps 1 and 4, this holds if and only if $t_1 = 0$, that is, $v \\cdot (T - O) = 0$.\n6. Each point of $\\ell$ is $X = T + tv$, so $(X - T) \\cdot (T - O) = t\\, v \\cdot (T - O)$. This is zero for all $X \\in \\ell$ if and only if $v \\cdot (T - O) = 0$, taking $t = 1$ for one direction.\n7. By steps 5 and 6, $\\ell$ is tangent to $C$ at $T$ if and only if $(X - T) \\cdot (T - O) = 0$ for each point $X$ of $\\ell$.\n\n## Idea\n\nA line through a point of the circle meets the circle again at one more parameter value. That second value is zero exactly when the direction of the line is perpendicular to the radius. So the line touches the circle only at $T$ in exactly this case.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "51M04"
    ],
    "name": "Proof that a tangent is perpendicular to the radius",
    "proves": "031JV5S54D",
    "sources": [
      {
        "locator": "Secants theorem, chords theorem: common proof",
        "url": "https://en.wikipedia.org/wiki/Power_of_a_point"
      }
    ],
    "tag": "K6BZKT4FNV",
    "uses": [
      "0T7DX8NY1X",
      "060W5CBZP6",
      "0MP9BCF6DP",
      "0S52TNNTH9"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/K6BZKT4FNV/",
  "links": [
    {
      "field": "proves",
      "target": "031JV5S54D"
    },
    {
      "field": "uses",
      "target": "0T7DX8NY1X"
    },
    {
      "field": "uses",
      "target": "060W5CBZP6"
    },
    {
      "field": "uses",
      "target": "0MP9BCF6DP"
    },
    {
      "field": "uses",
      "target": "0S52TNNTH9"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/K6BZKT4FNV.md",
  "msc": [
    "51M04"
  ],
  "name": "Proof that a tangent is perpendicular to the radius",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/K6B/K6BZKT4FNV.md",
  "status": null,
  "tag": "K6BZKT4FNV",
  "uri": "m2://K6BZKT4FNV",
  "url": "https://math2.tamnd.com/wiki/proof-that-a-tangent-is-perpendicular-to-the-radius/",
  "writing": {
    "tag": "K6BZKT4FNV",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}