{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nWe compare the two sides coordinate by coordinate.\n\n1. Let $a = (a_1, a_2, a_3)$, $b = (b_1, b_2, b_3)$ and $c = (c_1, c_2, c_3)$. Let $w = b \\times c$.\n2. By the definition of the [[cross product|0N5N15HWZ7]], $w_1 = b_2 c_3 - b_3 c_2$, $w_2 = b_3 c_1 - b_1 c_3$ and $w_3 = b_1 c_2 - b_2 c_1$.\n3. By the same definition, $a \\times w = (a_2 w_3 - a_3 w_2, \\; a_3 w_1 - a_1 w_3, \\; a_1 w_2 - a_2 w_1)$.\n4. Let $a \\cdot b$ and $a \\cdot c$ be the [[dot products|0S52TNNTH9]]. Then $a_2 b_2 + a_3 b_3 = a \\cdot b - a_1 b_1$ and $a_2 c_2 + a_3 c_3 = a \\cdot c - a_1 c_1$.\n5. The first coordinate of $a \\times w$ is $a_2 (b_1 c_2 - b_2 c_1) - a_3 (b_3 c_1 - b_1 c_3)$. Grouping by $b_1$ and $c_1$, it is $b_1 (a_2 c_2 + a_3 c_3) - c_1 (a_2 b_2 + a_3 b_3)$.\n6. By step 4 this is $b_1 (a \\cdot c) - a_1 b_1 c_1 - c_1 (a \\cdot b) + a_1 b_1 c_1 = (a \\cdot c) b_1 - (a \\cdot b) c_1$.\n7. The second coordinate of $a \\times w$ is $a_3 (b_2 c_3 - b_3 c_2) - a_1 (b_1 c_2 - b_2 c_1)$. Grouping by $b_2$ and $c_2$, it is $b_2 (a_1 c_1 + a_3 c_3) - c_2 (a_1 b_1 + a_3 b_3)$.\n8. Since $a_1 c_1 + a_3 c_3 = a \\cdot c - a_2 c_2$ and $a_1 b_1 + a_3 b_3 = a \\cdot b - a_2 b_2$, the terms $\\pm a_2 b_2 c_2$ cancel. So the second coordinate is $(a \\cdot c) b_2 - (a \\cdot b) c_2$.\n9. The third coordinate of $a \\times w$ is $a_1 (b_3 c_1 - b_1 c_3) - a_2 (b_2 c_3 - b_3 c_2)$. Grouping by $b_3$ and $c_3$, it is $b_3 (a_1 c_1 + a_2 c_2) - c_3 (a_1 b_1 + a_2 b_2)$.\n10. Since $a_1 c_1 + a_2 c_2 = a \\cdot c - a_3 c_3$ and $a_1 b_1 + a_2 b_2 = a \\cdot b - a_3 b_3$, the terms $\\pm a_3 b_3 c_3$ cancel. So the third coordinate is $(a \\cdot c) b_3 - (a \\cdot b) c_3$.\n11. Steps 6, 8 and 10 say that each coordinate of $a \\times (b \\times c)$ equals the same coordinate of $(a \\cdot c) b - (a \\cdot b) c$. So the two vectors are equal.\n\n## Idea\n\nIn each coordinate, two of the three terms of a dot product appear after grouping. Adding and subtracting the missing term completes both dot products, and the two added terms cancel each other.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "15A72"
    ],
    "name": "Proof of the vector triple product formula by coordinates",
    "proves": "03FTB26QYD",
    "sources": [
      {
        "locator": "Vector triple product, Proof",
        "url": "https://en.wikipedia.org/wiki/Triple_product"
      }
    ],
    "tag": "ES42SRNM4F",
    "uses": [
      "0N5N15HWZ7",
      "0S52TNNTH9"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/ES42SRNM4F/",
  "links": [
    {
      "field": "proves",
      "target": "03FTB26QYD"
    },
    {
      "field": "uses",
      "target": "0N5N15HWZ7"
    },
    {
      "field": "uses",
      "target": "0S52TNNTH9"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/ES42SRNM4F.md",
  "msc": [
    "15A72"
  ],
  "name": "Proof of the vector triple product formula by coordinates",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ES4/ES42SRNM4F.md",
  "status": null,
  "tag": "ES42SRNM4F",
  "uri": "m2://ES42SRNM4F",
  "url": "https://math2.tamnd.com/wiki/proof-of-the-vector-triple-product-formula-by-coordinates/",
  "writing": {
    "tag": "ES42SRNM4F",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}