{
  "aliases": [
    "sine-rule"
  ],
  "backlinks": null,
  "body": "\n## Statement\n\nLet $ABC$ be a [[triangle|0CTNFGYMM2]] in the Euclidean space $\\mathbb{R}^n$. Let $a = d(B, C)$, $b = d(C, A)$ and $c = d(A, B)$ be its side lengths, where $d$ is the [[Euclidean distance|0NPPGHQNXQ]]. Let $\\alpha = \\angle BAC$, $\\beta = \\angle CBA$ and $\\gamma = \\angle ACB$ be its [[angles|0GJAJC6TNZ]].\nThen\n$$\\frac{a}{\\sin \\alpha} = \\frac{b}{\\sin \\beta} = \\frac{c}{\\sin \\gamma}.$$\n\n## Remarks\n\nThe common value of the three quotients is $2R$, where $R$ is the radius of the [[circumcircle|03VZJE6C8C]] of the triangle.\nThe angles of a triangle are in $(0, \\pi)$, so their sines are positive and the quotients exist.\nFrom two angles and one side, the law of sines gives the other sides. From two sides and an angle that is not between them, it can give two different triangles. This is the ambiguous case.\n\n## History\n\nPtolemy knew an equivalent form, with chords in place of sines, in the 2nd century.\n\n## Explanations\n\n### L1 human\n\nIn a triangle, a larger angle sits opposite a longer side. The law of sines makes this exact: each side divided by the sine of the opposite angle gives the same number. For an equilateral triangle with side $1$, each quotient is $1 / \\sin(\\pi/3) = 2/\\sqrt{3}$.\n",
  "commit": "f591989ed15704e9d8755a7a5a6426d73de7a3ae",
  "front": {
    "aliases": [
      "sine-rule"
    ],
    "kind": "statement",
    "msc": [
      "51M04"
    ],
    "name": "Law of sines",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q170181",
      "wikipedia": "Law of sines"
    },
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/Law_of_sines"
      }
    ],
    "tag": "0PASQ34GHG",
    "uses": [
      "0CTNFGYMM2",
      "0GJAJC6TNZ",
      "0NPPGHQNXQ"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/0PASQ34GHG/",
  "links": [
    {
      "field": "uses",
      "target": "0CTNFGYMM2"
    },
    {
      "field": "uses",
      "target": "0GJAJC6TNZ"
    },
    {
      "field": "uses",
      "target": "0NPPGHQNXQ"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0PASQ34GHG.md",
  "msc": [
    "51M04"
  ],
  "name": "Law of sines",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0PA/0PASQ34GHG.md",
  "status": null,
  "tag": "0PASQ34GHG",
  "uri": "m2://0PASQ34GHG",
  "url": "https://math2.tamnd.com/wiki/law-of-sines/",
  "writing": {
    "tag": "0PASQ34GHG",
    "kind": "statement",
    "level": "W1",
    "next": [
      {
        "what": "edge about out",
        "note": "the concepts that the statement is about",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge proves in",
        "note": "at least one proof node",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of or illustrates in",
        "note": "one example that shows the statement at work",
        "have": 0,
        "want": 1
      },
      {
        "what": "explanation L2",
        "have": 0,
        "want": 1
      }
    ]
  }
}