三角形の内角における和積公式

三角形の内角における和積・積和公式

A+B+C=πA+B+C=\pi のとき以下が成立する:

  • sin⁡\sin 和積:
    sin⁡A+sin⁡B+sin⁡C=4cos⁡A2cos⁡B2cos⁡C2\sin A+\sin B+\sin C=4\cos \dfrac{A}{2}\cos \dfrac{B}{2}\cos \dfrac{C}{2}

  • sin⁡\sin 積和:
    sin⁡Asin⁡Bsin⁡C=14(sin⁡2A+sin⁡2B+sin⁡2C)\sin A\sin B\sin C=\dfrac{1}{4}(\sin 2A+\sin 2B+\sin 2C)

  • cos⁡\cos 和積:
    cos⁡A+cos⁡B+cos⁡C=4sin⁡A2sin⁡B2sin⁡C2+1\cos A+\cos B+\cos C=4\sin \dfrac{A}{2}\sin \dfrac{B}{2}\sin \dfrac{C}{2}+1

  • cos⁡\cos 積和:
    cos⁡Acos⁡Bcos⁡C=−14(cos⁡2A+cos⁡2B+cos⁡2C+1)\cos A\cos B\cos C=-\dfrac{1}{4}(\cos 2A+\cos 2B+\cos 2C+1)

公式の意味

  • 重要なのは,この公式を丸々覚えることではなく, 三角形の内角の三角関数の和は積に,積は和に変換できるという事実を覚えておき,その場で導出できるようにしておくことです。ちなみに,A+B+C=πA+B+C=\pi でなくて A+B+C=2πA+B+C=2\pi のときなども同様な手法で和積,積和変換ができます。

  • これらの式は,三角形の性質を証明するときの 三角関数の煩雑な計算の見通しを良くしてくれます。この公式は左辺も右辺も対称式なので,対称性を崩すことなく計算できるからです(通常の和積・積和公式は2つの項にしか適用できないので,三角形の性質を議論する際に用いると一度対称性を崩すことになり泥沼にハマりやすいです)。

  • 例えば,sin⁡\sin 和積の利用例として,有名な公式 r=4Rsin⁡A2sin⁡B2sin⁡C2r=4R\sin\dfrac{A}{2}\sin\dfrac{B}{2}\sin\dfrac{C}{2} を実に自然に証明できます。 →外接円の半径と内接円の半径の関係

公式の証明

通常の和積・積和公式を用いて証明していきます。通常の和積・積和公式は以下で解説しています:

証明では一度対称性を崩すことになり煩雑な計算をすることになります。

sin和積の証明

sin⁡A+sin⁡B+sin⁡C=2sin⁡(A+B)2cos⁡(A−B)2+(2sin⁡C2cos⁡C2)=2cos⁡C2cos⁡(A−B)2+2sin⁡C2cos⁡C2=2cos⁡C2(cos⁡A−B2+sin⁡C2)=2cos⁡C2(cos⁡A−B2+cos⁡A+B2)=2cos⁡C2⋅2cos⁡A2cos⁡B2=4cos⁡A2cos⁡B2cos⁡C2\begin{aligned} &\sin A +\sin B+\sin C\\ &=2\sin \dfrac{(A+B)}{2} \cos\dfrac{(A-B)}{2} + (2 \sin\dfrac{C}{2}\cos\dfrac{C}{2})\\ &=2\cos \dfrac{C}{2} \cos\dfrac{(A-B)}{2}+2 \sin\dfrac{C}{2}\cos\dfrac{C}{2} \\ &=2\cos \dfrac{C}{2} (\cos \dfrac{A-B}{2}+\sin \dfrac{C}{2})\\ &=2\cos \dfrac{C}{2} (\cos \dfrac{A-B}{2}+\cos \dfrac{A+B}{2} )\\ &=2\cos \dfrac{C}{2} \cdot 2\cos \dfrac{A}{2} \cos \dfrac{B}{2}\\ &=4\cos \dfrac{A}{2} \cos \dfrac{B}{2} \cos \dfrac{C}{2} \end{aligned}

sin積和の証明

sin⁡2A+sin⁡2B+sin⁡2C=2sin⁡(A+B)cos⁡(A−B)+2sin⁡Ccos⁡C=2sin⁡Ccos⁡(A−B)+2sin⁡Ccos⁡C=2sin⁡C(cos⁡(A−B)+cos⁡C)=2sin⁡C(cos⁡(A−B)−cos⁡(A+B))=2sin⁡C⋅2sin⁡Asin⁡B=4sin⁡Asin⁡Bsin⁡C\begin{aligned} &\sin 2A +\sin 2B +\sin 2C \\ &=2\sin (A+B) \cos(A-B) + 2\sin C \cos C\\ &=2\sin C \cos(A-B)+2\sin C \cos C \\ &=2\sin C(\cos(A-B) + \cos C) \\ &=2\sin C(\cos(A-B) - \cos(A+B) )\\ &=2\sin C \cdot 2\sin A \sin B \\ &=4 \sin A \sin B \sin C \end{aligned}

cos和積の証明

sin⁡\sin 和積と同様の手順で証明できる:

cos⁡A+cos⁡B+cos⁡C=2cos⁡(A+B)2cos⁡(A−B)2+(1−2sin⁡2C2)=2sin⁡C2cos⁡(A−B)2+1−2sin⁡2C2=2sin⁡C2(cos⁡A−B2−sin⁡C2)+1=2sin⁡C2(cos⁡A−B2−cos⁡A+B2)+1=2sin⁡C2⋅2sin⁡A2sin⁡B2+1=4sin⁡A2sin⁡B2sin⁡C2+1\begin{aligned} &\cos A +\cos B+\cos C\\ &=2\cos \dfrac{(A+B)}{2} \cos\dfrac{(A-B)}{2}+ (1-2 \sin^2 \dfrac{C}{2})\\ &=2\sin \dfrac{C}{2} \cos\dfrac{(A-B)}{2}+1-2\sin^2\dfrac{C}{2} \\ &=2\sin \dfrac{C}{2} (\cos \dfrac{A-B}{2} -\sin \dfrac{C}{2})+1\\ &=2\sin \dfrac{C}{2} (\cos \dfrac{A-B}{2} -\cos \dfrac{A+B}{2} )+1\\ &=2\sin \dfrac{C}{2} \cdot 2\sin \dfrac{A}{2} \sin \dfrac{B}{2}+1\\ &=4\sin \dfrac{A}{2} \sin \dfrac{B}{2} \sin \dfrac{C}{2}+1 \end{aligned}

cos積和の証明

sin⁡\sin 積和と同様の手順で証明できる:

cos⁡2A+cos⁡2B+cos⁡2C=2cos⁡(A+B)cos⁡(A−B)+(2cos⁡2C−1)=−2cos⁡Ccos⁡(A−B)+2cos⁡2C−1=−2cos⁡C(cos⁡(A−B)−cos⁡C)−1=−2cos⁡C(cos⁡(A−B)+cos⁡(A+B))−1=−2cos⁡C⋅2cos⁡Acos⁡B−1=−4cos⁡Acos⁡Bcos⁡C−1\begin{aligned} &\cos 2A +\cos 2B +\cos 2C \\ &=2\cos (A+B) \cos(A-B) + (2\cos^2 C-1)\\ &=-2\cos C \cos(A-B)+2\cos^2 C -1 \\ &=-2\cos C(\cos(A-B) - \cos C)-1 \\ &=-2\cos C(\cos(A-B) + \cos(A+B) )-1\\ &=-2\cos C \cdot 2\cos A \cos B-1 \\ &=-4 \cos A \cos B \cos C-1 \end{aligned}

Tag:三角関数の基本公式一覧