{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nWe argue directly from the definition of the angle.\n\n1. Let $u$ and $v$ be nonzero vectors in $\\R^n$, and let $\\theta$ be the [[angle between them|0ZEHZY85E6]].\n2. Since $u \\neq 0$, some coordinate $u_i$ is nonzero. So the [[length|0XKBKGTCPC]] $\\norm{u} = \\sqrt{u_1^2 + \\dots + u_n^2}$ is positive. In the same way $\\norm{v} \u003e 0$.\n3. By the definition of the angle, $\\theta$ is the number in $[0, \\pi]$ with $\\cos \\theta = \\dfrac{u \\cdot v}{\\norm{u} \\, \\norm{v}}$. Here $u \\cdot v$ is the [[dot product|0S52TNNTH9]].\n4. The denominator $\\norm{u} \\, \\norm{v}$ is positive by step 2. We multiply both sides of the equation in step 3 by it.\n5. This gives $u \\cdot v = \\norm{u} \\, \\norm{v} \\cos \\theta$, which is the statement.\n\n## Idea\n\nIn $\\R^n$ the angle between two vectors is defined through its cosine: the dot product divided by the product of the lengths. The formula is this definition with the denominator cleared. The geometric content is that this angle agrees with the angle of school geometry, which the law of cosines confirms.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "51N20"
    ],
    "name": "Proof of the geometric formula for the dot product",
    "proves": "070TXS9AXM",
    "sources": [
      {
        "locator": "Equivalence of the definitions",
        "url": "https://en.wikipedia.org/wiki/Dot_product"
      }
    ],
    "tag": "B8J28FSK1M",
    "uses": [
      "0ZEHZY85E6",
      "0XKBKGTCPC",
      "0S52TNNTH9"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/B8J28FSK1M/",
  "links": [
    {
      "field": "proves",
      "target": "070TXS9AXM"
    },
    {
      "field": "uses",
      "target": "0ZEHZY85E6"
    },
    {
      "field": "uses",
      "target": "0XKBKGTCPC"
    },
    {
      "field": "uses",
      "target": "0S52TNNTH9"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/B8J28FSK1M.md",
  "msc": [
    "51N20"
  ],
  "name": "Proof of the geometric formula for the dot product",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B8J/B8J28FSK1M.md",
  "status": null,
  "tag": "B8J28FSK1M",
  "uri": "m2://B8J28FSK1M",
  "url": "https://math2.tamnd.com/wiki/proof-of-the-geometric-formula-for-the-dot-product/",
  "writing": {
    "tag": "B8J28FSK1M",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}