恒等式の証明は、高校数学から大学数学にわたって重要な問題形式のひとつであり、式変形の技術と論理的な思考力を同時に要求するテーマです。
「恒等式の証明ってどうやって書けばいいの？」「どのように式を変形すれば証明できるの？」という疑問を持つ方も多く、証明の手順と書き方を正確に理解することが求められます。
恒等式の証明とは、与えられた等式が変数のどんな値に対しても成り立つことを、式変形と論理によって示すことです。
本記事では、恒等式の証明の基本的な方針・手順・具体的な証明の書き方・よくある証明の誤りへの対策まで、丁寧に解説していきます。
数学的証明・論理・式変形・証明の書き方という四つの視点から体系的に学ぶことで、恒等式の証明問題を確実に解答できる力が身につくでしょう。
恒等式の証明の基本方針と論理的構造
それではまず、恒等式の証明における基本的な方針と、証明の論理的な構造について解説していきます。
恒等式の証明では「何を示すべきか」という目標を明確に把握した上で、適切な変形の方向性を選択することが重要です。
恒等式の証明で示すべきこと
恒等式 f(x)＝g(x) の証明で示すべきことは、変数xにどんな値を代入しても等式が成り立つこと、すなわち f(x) と g(x) が恒等的に等しいことです。
これを示す最も直接的な方法は、f(x) を変形して g(x) に一致させること（または g(x) を変形して f(x) に一致させること）です。
式変形によって左辺と右辺が同一の式であることを示すことが、多項式の恒等式の証明における基本的な手段となります。
恒等式の証明の核心は「両辺が恒等的に等しいこと」を式変形の論理的な連鎖によって示すことにあり、単なる数値の確認では証明にならないという点が重要です。
三つの基本方針
恒等式の証明における三つの基本方針
方針①：左辺を変形して右辺に一致させる（左辺→右辺）
→ 左辺が複雑で展開・整理の余地がある場合に有効
方針②：右辺を変形して左辺に一致させる（右辺→左辺）
→ 右辺が複雑で展開・整理の余地がある場合に有効
方針③：左辺と右辺をそれぞれ変形して共通の式を導く
→ 両辺ともに変形の余地があり、中間形を目標にできる場合に有効
どの方針を採用するかは、左辺と右辺の構造を比較して「どちらがより複雑か」「どちらを変形すれば目標に辿り着きやすいか」を判断して選択します。
一般的には、より複雑な側（項数が多い・分数を含む・積の形など）を変形していく方向を選ぶと証明が進みやすい傾向があります。
証明における禁止事項
恒等式の証明において絶対に避けなければならない誤りが、証明すべき等式そのものを証明の過程で使用する循環論法（循環推論）です。
たとえば「f(x)＝g(x) を証明せよ」という問題で、証明の冒頭に「f(x)＝g(x) と仮定すると…」という形で証明すべき等式を前提として使ってしまうことが循環論法の典型例です。
証明すべき等式の左辺と右辺を同時に変形して「左辺＝中間式＝右辺」という形で示すのは正当な方法ですが、「証明すべき等式を仮定して変形し証明すべき等式を導く」という循環した論理は証明として無効です。
常に「証明すべき等式を仮定せずに変形を進める」という意識を持つことが、正確な証明を書くための重要な原則です。
恒等式の証明の具体的な手順と書き方
続いては、恒等式の証明を実際に書く際の具体的な手順と、数学的証明として正確な書き方について確認していきます。
証明の書き方の基本形式
恒等式の証明を数学的に正確に書くための基本的な形式を確認しましょう。
恒等式の証明の基本書き方（方針①：左辺→右辺の場合）
（証明）
左辺 ＝ ○○ （最初の変形とその根拠）
＝ △△ （次の変形とその根拠）
＝ □□ （さらなる変形）
＝ 右辺
よって、[証明すべき等式] が成り立つ。 （証明終）
各変形ステップでは、使用した公式・定理・変形の根拠を明示することが数学的証明として重要です。
「＝」で繋いで縦に変形を積み重ねていく形式が、恒等式の証明において最も読みやすく論理が明確な書き方です。
代数的恒等式の証明例
証明例①：次の等式を証明せよ。
a³＋b³＋c³－3abc ＝ (a＋b＋c)(a²＋b²＋c²－ab－bc－ca)
（証明）右辺を展開する：
右辺 ＝ (a＋b＋c)(a²＋b²＋c²－ab－bc－ca)
＝ a(a²＋b²＋c²－ab－bc－ca)
＋b(a²＋b²＋c²－ab－bc－ca)
＋c(a²＋b²＋c²－ab－bc－ca)
＝ a³＋ab²＋ac²－a²b－abc－a²c
＋a²b＋b³＋bc²－ab²－b²c－abc
＋a²c＋b²c＋c³－abc－bc²－ac²
各項を整理すると：
a³：1個、b³：1個、c³：1個
abc：(－1－1－1)＝－3個
残りの項はすべて相殺されて消える
＝ a³＋b³＋c³－3abc
＝ 左辺 （証明終）
このような複雑な展開を伴う証明では、各項を整理して相殺される項を確認していく丁寧な計算が求められます。
分数式を含む恒等式の証明例
証明例②：次の等式を証明せよ（x≠0, x≠1）。
1/(x(x－1)) ＝ 1/(x－1)－1/x
（証明）右辺を通分する：
右辺 ＝ 1/(x－1)－1/x
＝ x/(x(x－1))－(x－1)/(x(x－1))
＝ (x－(x－1))/(x(x－1))
＝ (x－x＋1)/(x(x－1))
＝ 1/(x(x－1))
＝ 左辺 （証明終）
分数式の証明では、通分によって共通分母を作り分子の差・和を計算するという手順が標準的なアプローチです。
また、成立条件（x≠0かつx≠1）を問題文と証明の冒頭で明示することも、数学的に正確な証明の書き方として重要です。
式変形のテクニックと証明戦略
続いては、恒等式の証明において有効な式変形のテクニックと、難しい問題への対処戦略について確認していきます。
有効な式変形のテクニック
恒等式の証明でよく活用される式変形のテクニックには、因数分解・共通因数のくくり出し・通分・有理化・加法と乗法の交換・補助式の導入などがあります。
因数分解は複雑な多項式を積の形に分解することで、後の変形や相殺を容易にする有効なテクニックです。
共通因数のくくり出しは複数の項に共通する因数を前に出すことで、式の構造を整理して次の変形の見通しをよくします。
「目標とする右辺（または左辺）の形を見て、そこに辿り着くために逆算して変形の方向を決める」という逆算思考が、難しい証明問題への対処において特に有効です。
補助式を使った証明戦略
複雑な恒等式の証明において、補助式（中間的な等式）を利用することで証明の見通しが大きく改善する場合があります。
たとえば「A＝B かつ B＝C ならば A＝C」という推移的な等号の性質を利用して、左辺→補助式→右辺という三段階の証明を構成することができます。
補助式として既知の恒等式（ピタゴラスの恒等式・加法定理・因数分解公式など）を中間地点として設定することで、複雑な証明を二つの簡単な変形に分解することができます。
証明の各ステップで「どの既知の公式・恒等式を活用できるか」を意識的に探す習慣が、証明力向上において重要な思考スタイルです。
対称式・交代式の証明テクニック
変数a・b・cを含む対称式（変数の順序を入れ替えても変わらない式）の恒等式証明では、対称性を利用した効率的な変形が可能です。
対称式の性質を利用することで、全展開をすることなく証明を完成させることができる場合があります。
交代式（変数を入れ替えると符号が変わる式）の証明では、因数定理や行列式との関係を活用した証明アプローチが有効な場合があります。
三角・指数・対数恒等式の証明
続いては、三角関数・指数・対数を含む恒等式の証明における特有の手順と戦略を確認していきます。
三角恒等式の証明手順
三角恒等式の証明では、sin²θ＋cos²θ＝1 をはじめとする基本公式と加法定理を活用することが基本戦略です。
複雑な三角式の証明では、まず「すべてsinθとcosθで表す」という標準化を行ってから整理するアプローチが非常に効果的です。
三角恒等式の証明例：
sin³θ＋cos³θ ＝ (sinθ＋cosθ)(1－sinθcosθ) を証明せよ。
（証明）右辺を展開する：
右辺 ＝ (sinθ＋cosθ)(1－sinθcosθ)
＝ sinθ－sin²θcosθ＋cosθ－sinθcos²θ
＝ sinθ＋cosθ－sinθcosθ(sinθ＋cosθ)
左辺を因数分解する（a³＋b³＝(a＋b)(a²－ab＋b²)を使用）：
左辺 ＝ (sinθ＋cosθ)(sin²θ－sinθcosθ＋cos²θ)
＝ (sinθ＋cosθ)(1－sinθcosθ) （sin²θ＋cos²θ＝1を使用）
＝ 右辺 （証明終）
この証明では左辺の因数分解と sin²θ＋cos²θ＝1 の適用によって右辺に一致させるという手順が採用されており、基本公式の適切な活用が証明成功の鍵となっています。
対数恒等式の証明手順
対数を含む恒等式の証明では、対数の性質（積の対数・商の対数・累乗の対数）を活用した変形が基本戦略です。
log_a(MN)＝log_aM＋log_aN・log_a(M/N)＝log_aM－log_aN・log_a(Mⁿ)＝n・log_aM という三つの基本性質を確実に習得しておくことが、対数恒等式の証明において不可欠です。
証明の際には成立条件（底・真数の正の条件）を明示することが数学的に正確な証明の要件となります。
まとめ
恒等式の証明は、左辺または右辺を式変形して他方に一致させることによって「両辺が恒等的に等しい」ことを論理的に示す数学的作業です。
基本方針として左辺→右辺・右辺→左辺・両辺から共通式へという三つのアプローチがあり、問題の構造に応じて最適な方針を選択することが重要です。
循環論法（証明すべき等式を前提として使う誤り）を避け、一方向への変形の連鎖によって証明を構成するという原則を守ることが、正確な証明の書き方の基本です。
因数分解・通分・基本恒等式の活用・逆算思考などの式変形テクニックを駆使することで、複雑な恒等式の証明も体系的に解決できます。
数学的証明・論理・式変形・証明の書き方という四つの柱を意識しながら繰り返し演習することで、恒等式の証明問題を確実に解答できる力が育っていくでしょう。
