恒等式の意味・方程式との違い・関連する問題

更新 2022/01/29

混同しがちな恒等式と方程式について，具体例を使いながらわかりやすく解説します。恒等式に関する簡単な例題も紹介します。

方程式と恒等式の意味

恒等式

恒等式とは「変数がどのような値のときにも成立する等式」のことです。

方程式

ある変数についての等式に対して，「変数がどの値のときに成り立つか？」を求めることを「方程式を解く」と言います。「方程式を解く」対象の等式のことを方程式と呼びます。

これだけでは分かりにくいので，たくさんの例を見ながら違いを理解していきましょう。

恒等式の例

恒等式は「変数がどのような値のときにも成立する等式」でした。「公式」と呼ばれる以下のような等式は恒等式と考える場合が多いです。
展開公式：(a+b)2=a2+2ab+b2(a+b)^2=a^2+2ab+b^2(a+b)2=a2+2ab+b2
（a, ba,\:ba,b がどのような値のときにも成立します。）
因数分解公式：x3−y3=(x−y)(x2+xy+y2)x^3-y^3=(x-y)(x^2+xy+y^2)x3−y3=(x−y)(x2+xy+y2)
三角関数の関係式：sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1sin2θ+cos2θ=1
対数の公式：log⁡xy=log⁡x+log⁡y\log xy=\log x+\log ylogxy=logx+logy
オイラーの公式（発展）：eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\thetaeiθ=cosθ+isinθ→オイラーの公式と複素指数関数
有名な公式がたくさん並んでいます。このように，恒等式は「公式，解法の道具」とみなすこともできます。
ちなみに「どのような値のときにも」というのは，「考えている範囲内でどのようなときにも」という意味です。例えば「実数全体で」「0≤θ≤2π0\leq\theta\leq 2\pi0≤θ≤2π
 で」常に成立する等式，という感じです。
条件式があるもとで必ず成立する等式も「考えている範囲内でどんなときにも成立する等式」なので恒等式の仲間になります。
例
a+b+c=1a+b+c=1a+b+c=1
 のもとで，a3+b3+c3−3abc=a2+b2+c2−ab−bc−caa^3+b^3+c^3-3abc=a^2+b^2+c^2-ab-bc-caa3+b3+c3−3abc=a2+b2+c2−ab−bc−ca

方程式の例

「変数がどの値のときに成り立つか？」を求めることを「方程式を解く」と言います。
1次方程式：2x−1=x2x-1=x2x−1=x

「xxx がどの値のときに成り立つか？」を求めることを「方程式を解く」と言います。この方程式を解くと，x=1x=1x=1 となります。
解のない1次方程式：x+1=xx+1=xx+1=x

この方程式を解くと，「解無し」となります。解がなくても「xxx がどの値のときに成り立つか？」を求めることを「方程式を解く」と言います。
5次方程式 x5+3x+1=0x^5+3x+1=0x5+3x+1=0

解くことができなくても方程式です。
関数方程式（発展）：f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)

条件を満たす関数を求める，つまり「解く」問題です。→コーシーの関数方程式の解法と応用
このように
方程式は「解く」ことのできる（または解きたい）等式と言うこともできます。

恒等式と方程式の分類について

「すべての等式は，恒等式か方程式かのどちらかに分類できる」というのは間違いです。例えば，

$2x+x=3x$ という等式は，「どのような $x$ についても成り立つ式」なので恒等式と言えます。一方「 $x$ がどの値のときに成り立つか？」を求める対象とみなした場合は方程式です。（実際，そのような見方をするケースは無い気もしますが，「方程式では無く恒等式だ！」と言い切ることはできません。）
「恒等式の例」で紹介した等式についても同様です。絶対に恒等式だと言い切ることはできません。
（解釈が分かれますが）「 $1+2+3=6$ 」などの変数が現れない等式は恒等式とも方程式とも言わないと思います（どちらかというと恒等式っぽいですが）。

恒等式に関する問題の解き方

恒等式に関連する問題として，

恒等式の証明問題
恒等式になるように数を決める問題

が挙げられます。ここでは2の例題を見てみましょう。

例題

以下の等式が $x$ についての恒等式になるように，実数 $a,b,c$ を決めよ。

$ax(x-1) + b(x-1) + c = x^2 + x - 5$

このように恒等式になるように数を決める問題では，「数値代入法」と「係数比較法」の二種類の解き方があります。

数値代入法

数値代入法による解答

左辺が計算しやすいような値を $x$ に代入する。

$x = 1$ を代入すると， $c = 1 + 1 - 5 = -3$

$x = 0$ を代入すると， $-b - 3 = - 5$

$\therefore b = 2$

$x = 2$ を代入すると， $2a +2 - 3 = 1$

$\therefore a = 1$

実際に， $a = 1, b = 2, c = -3$ を与式の左辺に代入すると，右辺と一致する。よって $a = 1, b = 2, c = -3$ とすればよい。

注：数値代入法では，答えの十分性を確認しておきましょう。詳しくは数値代入法による恒等式の解法と十分性の確認を読んでください。

係数比較法

係数比較法による解答

与式の左辺は

$ax(x-1) + b(x-1) + c\\ = ax^2 + (-a + b)x + (-b + c)$

と変形できる。これが $x^2+x-5$ と等しいので係数を比較して，

$a = 1\\ -a + b = 1\\ -b + c = -5$

これを解いて， $a = 1, b = 2, c = -3$

恒等式に関連するより発展的な問題については，恒等式に関する入試問題のパターンと背景をご覧ください。

よくある間違い

方程式は「解く」のがメインテーマです。恒等式は変数がどんな値でも成立する等式なので「恒等式を解く」というのは意味不明な表現です。恒等式は「証明する」「恒等式になるように数を決める」のがメインテーマになります。

「恒等式の証明問題」と「方程式を解く問題」を混同してしまう人がいるのでご注意ください。

不等式に関しても同様なことが言えます。つまり，「絶対不等式（常に成り立つ不等式）」と「解くべき不等式」を区別して考える必要があります。

絶対不等式の証明問題でその不等式を「解く」というのは意味のないことです。

当サイトでは「不等式を解く問題」よりも「絶対不等式を証明する問題」のテクニックをたくさん取り扱っております。

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！