n次式\ f(x)=g(x)\ がxについての恒等式}}${xにどんな値を代入しても\dot{恒}(つね)に\dot{等}式が成立する}(\textcolor{blue}{恒等式の定義}){f(x)とg(x)の次数が等しく,\ 同じ次数の項の係数も等しい}}$ \}{異なるn+1個のxの値に対して成立する}(\textcolor{blue}{整式の一致の定理})}$ \\\\[.5zh] まず,\ \text{(\,I\,)}の意味合いを確認する.\ \bm{恒等式と方程式との対比}で理解するとよい. \\[1zh] 恒等式の例 x^2-2x=x(x-2) (変形しただけなので,\ 任意のxについて成立) \\[.2zh] \sin^2\theta+\cos^2\theta=1 \ \ \,(任意の\,\theta\,について成立) \\[1zh] 方程式の例 x^2-3x=0 (等号成立はx=0,\ 3のときのみ) \\[1zh] 次に,\ (\text{I\hspace{-.1em}I})の意味合いを2次の整式を例に確認する. \\[.2zh] \bm{ax^2+bx+c=a’x^2+b’x+c’\ がxについての恒等式\ \Longleftrightarrow\ a=a’,\ b=b’,\ c=c’} \\[.2zh] 特に \bm{ax^2+bx+c=0 \ \ \,\ がxについての恒等式\ \Longleftrightarrow\ a=0,\ b=0,\ c=0} \\[1zh] 恒等式については,\ \textbf{(\,I\,)\,～\,(I\hspace{-.1em}I\hspace{-.1em}I)が同値}であることが重要である.\ 証明を示す.}さえ示せば,\ 3つが同値であることが示される. \\[1zh] n次式f(x),\ g(x)に対してf(x)-g(x)=h(x)とすると,\ h(x)はn次以下の式である. \\[.2zh] ここで,\ 相異なるn+1個のxの値を\,\alpha_1,\ \alpha_2,\ \cdots,\ \alpha_n,\ \alpha_{n+1}\ とする. \\[.2zh] h(x)=0が相異なるn個のxの値\,\alpha_1,\ \alpha_2,\ \cdots,\ \alpha_n\ に対して成立するとする. \\[.2zh] 因数定理(後に学習)により,\ h(x)=a(x-\alpha_1)(x-\alpha_2)\cdot\,\cdots\,\cdot(x-\alpha_n)\ \ (a:定数)\ と表せる. \\[.2zh] (\,\rei\ \ h(1)=0,\ h(2)=0のとき,\ h(x)=a(x-1)(x-2)\ と表せる) \\[.2zh] さらに\,\alpha_{n+1}\,でも成立するとき h(\alpha_{n+1})=a(\alpha_{n+1}-\alpha_1)(\alpha_{n+1}-\alpha_2)\cdot\,\cdots\,\cdot(\alpha_{n+1}-\alpha_n)=0 \\[.2zh] ここで,\ \alpha_{n+1}\neqq\alpha_1,\ \alpha_{n+1}\neqq\alpha_2,\ \cdots,\ \alpha_{n+1}\neqq\alpha_n\ であるから a=0 \\[.2zh] よって,\ xの値によらずh(x)=0である. \therefore\ \ 恒等的に\ f(x)=g(x) $次の等式がxについての恒等式となるように定数a,\ b,\ cの値を定めよ.$ \\[.5zh] \hspace{.5zw} $x^3-x^2-5x+12=(x-1)^3+a(x-1)^2+b(x-1)+c$ \\ 恒等式の未定係数の決定}}}} \\\\[.5zh] $[1]$\ \ \textbf{\textcolor{blue}{係数比較法} \textcolor{red}{両辺の同じ次数の項の係数が等しい}}ことを利用する. \\[.5zh] $[2]$\ \ \textbf{\textcolor{blue}{数値代入法} \textcolor{red}{どんな値を代入しても常に成り立つ}}ことを利用する. {係数比較法}}\,] \\[1zh] {\,係数比較法\,I\hspace{-.1em}I\,(置換の利用)\,}}] \\[1zh] \,数値代入法\,I\hspace{-.1em}I\,(整式の一致の定理の利用)}}\,] \\[1zh] $両辺に\textcolor{cyan}{x=1}\ \ \ を代入すると 7=c$ \\[.2zh] $両辺に\textcolor{cyan}{x=0}\ \ \ を代入すると 12=a-b+c-1$ \\[.2zh] $両辺に\textcolor{cyan}{x=-1}を代入すると 15=4a-2b+c-8$ \\[.2zh] $両辺に\textcolor{cyan}{x=2}\ \ \ を代入すると 6=a+b+c+1$ \\[.5zh] $よって a=2,\ \ b=-\,4,\ \ c=7$ \\[1zh] $\textcolor{red}{与式の両辺は3次式で,\ 異なる4個のxに対して成り立つから,\ 与式は恒等式である.}$ I\,(数I\hspace{-.1em}I\hspace{-.1em}Iの微分の利用)両辺をxで微分}すると \bm{恒等式の未定係数の決定の基本は係数比較法}であり,\ これが最も確実な解法である(本解). \\[.2zh] 本問の場合は,\ x-1=tとして\bm{tについての恒等式と考える}と楽になる(別解1) \\[1zh] 恒等式の未定係数の決定のもう1つの方法として\bm{数値代入法}がある(別解2). \\[.2zh] 恒等式はどんな値を代入しても成り立つのであるから,\ 簡単な値を代入して成り立つようにする. \\[.2zh] 本問の場合,\ \bm{簡単な値を3つ代入して3つの式を作ると未定係数3個を特定できる.} \\[.2zh] まずは与式の形に着目し,\ 右辺が簡単になるx=1を代入すべきである. \\[.2zh] その他,\ 計算が楽そうなx=0,\ -\,1を代入した. \\[.2zh] 数値代入法で最も注意すべきは,\ \bm{十分条件の確認が必須}になることである. \\[.2zh] 特定の値を代入しただけではどんな値を代入しても成り立つとは言えず,\ 必要条件でしかない. \\[.2zh] よって,\ \bm{求まった値を代入して計算し,\ 実際に両辺が一致するかを確かめる}ことになる. \\[.2zh] 数値代入法は一見楽に思えるが,\ 逆の確認が必須なので必ずしも係数比較法より楽なわけではない. \\[.2zh] ただし,\ 穴埋め式試験では逆の確認がいらないので,\ その分数値代入法が有利になる. \\[1zh] 数値代入法では,\ 整式の一致の定理を利用することもできる(別解3). \\[.2zh] \bm{3次式であるから,\ 異なる4個のxに対して成り立つように未定係数を決定すると恒等式となる.} \\[.2zh] 3文字a,\ b,\ cの値は3つの式で決定する.\ そのa,\ b,\ cの値が4式目も満たすかを確認すればよい. \\[1zh] 本問は(x-1)^n\,の和なので,\ \bm{「恒等式は微分しても恒等式」}を利用することも有効である(別解4). \\[.2zh] 微分によりx=1を代入して簡単になる恒等式を増やせるからである. \\[1zh] 本問の左辺から右辺への式変形を\bm{x-aで展開する}といい,\ ある種の問題で役立つ. \\[.2zh] あらゆる整式は,\ 以下のような方法で直接的にx-aで展開できる. \\[.2zh] 本問での例を示す.\ \bm{左辺のxに(x-1)+1を代入し,\ (x-1)のまま展開する.} \\[1zh] x^3-x^2-5x+12 \\[.2zh] =\{(x-1)+1\}^3-\{(x-1)+1\}^2-5\{(x-1)+1\}+12 \\[.2zh] =(x-1)^3+3(x-1)^2+3(x-1)+1-(x-1)^2-2(x-1)-1-5(x-1)-5+12 \\[.2zh] =(x-1)^3+2(x-1)^2-4(x-1)+7 x,\ y,\ zが\ x+y-2z=-\,1\ と\ 2x+y-3z=2\ を満たす.$ \\[.2zh] \hspace{.5zw}$ax^2+by^2+cz^2=7\ が常に成り立つとき,\ a,\ b,\ cの値を求めよ.$ \\ 一般に,\ \bm{等式1つにつき文字を1つ消去できる.} \\[.2zh] 問題を読んだ時点で\bm{実質1変数の恒等式の問題}であることに気付きたい. \\[1zh] \bm{どの文字を残してどの文字を消去するか}という明確な意図をもって変形する. \\[.2zh] 2つの条件式から最も消去しやすいyを消去するために差をとると x-z=3 \\[.2zh] この時点で,\ xを残すかzを残すかの2択となる.\ ここでは,\ zを残すことにした. \\[.2zh] x=z+3\ とし,\ x+y-2z=-\,1\ に代入すると y=z-4 \\[.2zh] zのみの式にするため,\ \bm{x=(zの式),\ \ y=(zの式)にすることを目的として変形}したわけである. \\[.2zh] これをax^2+by^2+cz^2=7に代入し,\ zについての恒等式となるようa,\ b,\ cの値を求めればよい.
