"三角関数の加法定理" meaning in 日本語

{
  "categories": [
    {
      "kind": "other",
      "name": "日本語",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 名詞",
      "parents": [],
      "source": "w"
    }
  ],
  "forms": [
    {
      "form": "さんかくかんすうのかほうていり"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "日本語 三角関数",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "（語呂：咲いたコスモスコスモス咲いた）",
          "text": "sin (α±β)= sin α cos β± cos α sin β"
        },
        {
          "ref": "（語呂：コスモスコスモス咲いた咲いた）",
          "text": "cos (α±β)= cos α cos β∓ sin α sin β"
        },
        {
          "ref": "（語呂：いちまいたんたんたんぷらたん/いちぷらたんたんたんまいたん）",
          "text": "tan (α±β)=(tan α± tan β)/(1∓ tan α tan β)"
        }
      ],
      "glosses": [
        "三角関数に関する加法定理。"
      ],
      "id": "ja-三角関数の加法定理-ja-noun-t0hHgjbz",
      "raw_tags": [
        "三角関数"
      ]
    }
  ],
  "word": "三角関数の加法定理"
}

{
  "categories": [
    "日本語",
    "日本語 名詞"
  ],
  "forms": [
    {
      "form": "さんかくかんすうのかほうていり"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "senses": [
    {
      "categories": [
        "日本語 三角関数"
      ],
      "examples": [
        {
          "ref": "（語呂：咲いたコスモスコスモス咲いた）",
          "text": "sin (α±β)= sin α cos β± cos α sin β"
        },
        {
          "ref": "（語呂：コスモスコスモス咲いた咲いた）",
          "text": "cos (α±β)= cos α cos β∓ sin α sin β"
        },
        {
          "ref": "（語呂：いちまいたんたんたんぷらたん/いちぷらたんたんたんまいたん）",
          "text": "tan (α±β)=(tan α± tan β)/(1∓ tan α tan β)"
        }
      ],
      "glosses": [
        "三角関数に関する加法定理。"
      ],
      "raw_tags": [
        "三角関数"
      ]
    }
  ],
  "word": "三角関数の加法定理"
}