三角恒等式は、三角関数を学ぶ上で避けて通ることのできない重要な概念であり、数学の多くの分野で活用される基礎的な知識です。
「三角恒等式ってどんなものがあるの？」「加法定理や倍角公式はどうやって証明するの？」という疑問を持つ方も多いでしょう。
三角恒等式とは、三角関数（sin・cos・tan など）を含む等式のうち、変数（角度θなど）にどんな値を代入しても常に成り立つものを指します。
本記事では、三角恒等式の基本的な概念から、最重要の基本公式・加法定理・倍角公式・半角公式・積和公式まで、公式の証明方法と活用法を丁寧に解説していきます。
三角恒等式をしっかりと理解・習得することで、三角方程式・三角不等式・積分計算など数学の広い分野での応用力が大きく高まるでしょう。
三角恒等式の基本と最重要公式
それではまず、三角恒等式の基本的な概念と、すべての三角恒等式の基礎となる最重要公式について解説していきます。
三角恒等式の中で最も基本的かつ重要なものが「ピタゴラスの恒等式」と呼ばれる sin²θ＋cos²θ＝1 です。
この公式はすべての実数θに対して成り立つ恒等式であり、他の多くの三角恒等式を導出する際の出発点となります。
ピタゴラスの恒等式とその導出
sin²θ＋cos²θ＝1 というピタゴラスの恒等式は、単位円の定義から直接導くことができます。
半径1の単位円上の点P(cosθ, sinθ)において、原点からPまでの距離は常に1（半径）です。
距離の公式より、cosθ² ＋ sinθ² ＝ 1² ＝ 1 が成り立つことがわかります。
これがすべての角度θに対して成り立つことが、単位円の定義から自明に導かれます。
sin²θ＋cos²θ＝1 はすべての三角恒等式の中で最も基本的な公式であり、これを変形することで1＋tan²θ＝1/cos²θ などの派生公式も導出できるという重要性を持ちます。
ピタゴラスの恒等式からの派生公式
①sin²θ＋cos²θ ＝ 1 （基本形）
②sin²θ ＝ 1－cos²θ （sinについて解く）
③cos²θ ＝ 1－sin²θ （cosについて解く）
④1＋tan²θ ＝ 1/cos²θ （①の両辺をcos²θで割る）
⑤1＋1/tan²θ ＝ 1/sin²θ （①の両辺をsin²θで割る）
三角関数の相互関係式
三角関数の相互関係式も重要な三角恒等式のひとつであり、sin・cos・tanの相互変換に頻繁に使用されます。
tanθ ＝ sinθ/cosθ という定義式は、sinとcosをtanで表す（またはその逆）際の基本恒等式です。
これらの相互関係式を使いこなすことで、複雑な三角式をより扱いやすい形に変形することができます。
三角恒等式の証明問題では、この相互関係式とピタゴラスの恒等式を組み合わせることで多くの証明が可能になります。
三角関数の対称性と周期性
三角恒等式には、三角関数の対称性・周期性に基づく重要な公式群も含まれます。
対称性・周期性に基づく恒等式
sin(－θ) ＝ －sinθ （sinは奇関数）
cos(－θ) ＝ cosθ （cosは偶関数）
sin(π－θ) ＝ sinθ
cos(π－θ) ＝ －cosθ
sin(θ＋2π) ＝ sinθ （周期2π）
cos(θ＋2π) ＝ cosθ （周期2π）
これらの公式は三角関数のグラフの対称性と周期性を代数的に表したものであり、角度変換や値の計算において非常に頻繁に利用されます。
加法定理とその証明
続いては、三角恒等式の中でも特に重要な加法定理の公式とその証明方法について確認していきます。
加法定理は三角恒等式の体系において中核的な役割を果たし、倍角公式・半角公式・積和公式など多くの重要公式の導出の基礎となります。
加法定理の公式
加法定理（最重要公式）
sin(α＋β) ＝ sinαcosβ＋cosαsinβ
sin(α－β) ＝ sinαcosβ－cosαsinβ
cos(α＋β) ＝ cosαcosβ－sinαsinβ
cos(α－β) ＝ cosαcosβ＋sinαsinβ
tan(α＋β) ＝ (tanα＋tanβ)/(1－tanαtanβ)
tan(α－β) ＝ (tanα－tanβ)/(1＋tanαtanβ)
加法定理の各公式は、α・βにどんな実数を代入しても成り立つ三角恒等式であり、二角の和・差の三角関数を各角の三角関数で表す基本公式です。
加法定理の証明方法
cos(α－β) ＝ cosαcosβ＋sinαsinβ の証明を例として、加法定理の証明方法を確認しましょう。
cos(α－β) の証明
単位円上の点A(cosα, sinα)、B(cosβ, sinβ)を考える。
AB² ＝ (cosα－cosβ)²＋(sinα－sinβ)²
＝ cos²α－2cosαcosβ＋cos²β＋sin²α－2sinαsinβ＋sin²β
＝ (sin²α＋cos²α)＋(sin²β＋cos²β)－2(cosαcosβ＋sinαsinβ)
＝ 2－2(cosαcosβ＋sinαsinβ)
一方、ABとなす角が(α－β)であることから余弦定理を用いると：
AB² ＝ 2－2cos(α－β)
両式を比較して：cos(α－β) ＝ cosαcosβ＋sinαsinβ （証明終）
この証明ではピタゴラスの恒等式（sin²θ＋cos²θ＝1）が重要な役割を果たしており、基本恒等式から加法定理という重要公式が導かれる美しい構造が確認できます。
加法定理からの公式展開
cos(α＋β)の公式は、cos(α－β) においてβを－βに置き換えることで、cos(α＋β) ＝ cos(α－(－β)) ＝ cosαcos(－β)＋sinαsin(－β) ＝ cosαcosβ－sinαsinβ と導出できます。
sin の加法定理は cos の加法定理を活用して、sin(α＋β) ＝ cos(π/2－(α＋β)) ＝ cos((π/2－α)－β) という変換から導出することができます。
tan の加法定理は sin・cos の加法定理と tanθ＝sinθ/cosθ という定義から導出されます。
倍角公式・半角公式の導出と活用
続いては、加法定理から導出される倍角公式・半角公式について確認していきます。
倍角公式は加法定理においてβ＝αと置くことで導出でき、半角公式は倍角公式から導くことができます。
倍角公式の導出
倍角公式の導出
【sinの倍角公式】
sin(α＋β)においてβ＝αと置く：
sin2α ＝ sinαcosα＋cosαsinα ＝ 2sinαcosα
【cosの倍角公式】
cos(α＋β)においてβ＝αと置く：
cos2α ＝ cosαcosα－sinαsinα ＝ cos²α－sin²α
＝ 1－2sin²α （sin²α＝1－cos²αを代入）
＝ 2cos²α－1 （cos²α＝1－sin²αを代入）
倍角公式一覧
sin2α ＝ 2sinαcosα
cos2α ＝ cos²α－sin²α ＝ 1－2sin²α ＝ 2cos²α－1
tan2α ＝ 2tanα/(1－tan²α)
cos2αの三つの表現形式は、それぞれ異なる状況での変形に適しており、問題に応じて使い分けることが重要です。
半角公式の導出
半角公式の導出
cos2α ＝ 1－2sin²α を変形する：
2sin²α ＝ 1－cos2α
sin²α ＝ (1－cos2α)/2
αをα/2に置き換えると：
sin²(α/2) ＝ (1－cosα)/2
同様に cos2α ＝ 2cos²α－1 を変形：
cos²(α/2) ＝ (1＋cosα)/2
半角公式は積分計算において特に重要な公式であり、sin²θ や cos²θ を含む積分を計算する際に被積分関数を変換するために頻繁に活用されます。
sin²(α/2) ＝ (1－cosα)/2 および cos²(α/2) ＝ (1＋cosα)/2 という半角公式は、微積分学においても必須の恒等式といえます。
積和公式と和積公式
積和公式は、三角関数の積を和・差の形に変換する恒等式であり、積分計算や信号処理において重要な役割を果たします。
積和公式
sinαcosβ ＝ (1/2){sin(α＋β)＋sin(α－β)}
cosαsinβ ＝ (1/2){sin(α＋β)－sin(α－β)}
cosαcosβ ＝ (1/2){cos(α－β)＋cos(α＋β)}
sinαsinβ ＝ (1/2){cos(α－β)－cos(α＋β)}
和積公式は積和公式の逆変換であり、三角関数の和・差を積の形に変換するものです。
これらはいずれも加法定理から導出できる恒等式であり、加法定理の理解があれば導出できることを把握しておくと試験でも安心できます。
三角恒等式の証明問題の解法
続いては、三角恒等式の証明問題における具体的な解法手順と例題を確認していきます。
証明の基本方針と手順
三角恒等式の証明問題では、左辺を変形して右辺に一致させる（または右辺を変形して左辺に一致させる）という一方向の変形が基本方針です。
証明の手順として、まず左辺と右辺を比較して「どちらをどちらに変形するか」を判断します。
一般的に、より複雑な側（項数が多い・分数を含む・積の形など）を変形していく方向を選ぶと見通しがよくなることが多いです。
三角恒等式の証明で特に有効な戦略として、「すべてsinとcosで表してから整理する」というアプローチがあります。
三角恒等式の証明例
証明例：次の等式を証明せよ。
(sinθ＋cosθ)² ＝ 1＋2sinθcosθ
【証明】左辺を展開する：
（sinθ＋cosθ)²
＝ sin²θ＋2sinθcosθ＋cos²θ
＝ (sin²θ＋cos²θ)＋2sinθcosθ
＝ 1＋2sinθcosθ （sin²θ＋cos²θ＝1を使用）
＝ 右辺 （証明終）
証明例②：cos⁴θ－sin⁴θ ＝ cos2θ を証明せよ。
【証明】左辺を因数分解する：
cos⁴θ－sin⁴θ
＝ (cos²θ)²－(sin²θ)²
＝ (cos²θ＋sin²θ)(cos²θ－sin²θ)
＝ 1×(cos²θ－sin²θ) （ピタゴラスの恒等式を使用）
＝ cos2θ （cos倍角公式 cos2θ＝cos²θ－sin²θ を使用）
＝ 右辺 （証明終）
この例では因数分解の公式（a²－b²＝(a＋b)(a－b)）とピタゴラスの恒等式・倍角公式を組み合わせて証明が完成しており、複数の恒等式を連携させる証明の典型的なスタイルです。
複雑な三角恒等式の証明戦略
より複雑な三角恒等式の証明では、分数を含む場合や複数の加法定理の組み合わせが必要な場合など、一見して変形の方針が見えにくいケースもあります。
そのような場合の有効な戦略として、まず「目標となる右辺（または左辺）の構造」を分析して、何を使えば辿り着けるかを逆算する「逆算思考」が役立ちます。
分数を含む場合は、通分によって分子をまとめてからピタゴラスの恒等式や倍角公式を適用するという手順が標準的です。
証明の各ステップで「なぜこの変形を行ったのか」を明確にする記述習慣が、論理的な証明文の作成において非常に重要です。
まとめ
三角恒等式は、三角関数に関するすべての角度θで成り立つ等式の総称であり、数学の多くの分野で不可欠な基礎知識です。
最も基本的なピタゴラスの恒等式（sin²θ＋cos²θ＝1）から出発し、加法定理・倍角公式・半角公式・積和公式へと体系的に導出できる構造を持っています。
加法定理はすべての三角恒等式の体系において中核的な役割を果たし、この公式を確実に習得することが三角恒等式全体の理解の鍵です。
証明問題では左辺か右辺の一方向への変形を基本とし、ピタゴラスの恒等式・倍角公式・因数分解などを組み合わせた論理的な式変形によって等式を証明します。
三角関数・加法定理・倍角公式・半角公式という体系を丁寧に学ぶことで、微積分・物理・工学など広い分野での応用力が大きく向上するでしょう。
