というのは, とても便利な恒等式である. その有用さは, 不等式の証明のときもそうだが, のとき,
という条件付き等式が成立することで特に際立つことがある.
【例 】
【例 】
【例 】
のとき,
この条件付き等式を使って 年, エヴァリスト・ガロア生誕
年を記念して出題されたのだろう京大入試問題の別解を考えてみる. もちろん, 問
は前にやったように (この記事の末尾に再掲した),
ではない有理数を係数とする多項式
で, かつ
をみたすものの内,
が次数最小の多項式である (既約多項式であることと同値. つまり, すべての係数に有理数だけを使ったより次数の小さな多項式の積に因数分解できない多項式である*1 ) ことを示すのが最も簡単であるが, この別解のように直接示すこともできるのでやってみた. 次数最小の多項式の内,
の最高次の係数が
の多項式 (モニック多項式) を「最小多項式」というのであった.
は
を解にもつ, 有理数係数範囲での最小多項式である. 実際,
を解にもつことは代入すればよく, アイゼンシュテインの既約判定を素数
に適用すれば,
は, 既約であることがわかる. *2 最小多項式と同じ次数の
も最小多項式で割り切れる必要があるから, このとき,
は最小多項式と定数倍を除いて一致する.
【問】
が無理数であることを証明せよ.
は有理数を係数とする
の多項式で,
を満たしているとする. このとき
は
で割り切れることを証明せよ.
【解】
以下, 背理法で証明する.
が有理数で, 互いに素な正の整数
により,
と表わせたとする *3. そうすると,
となる.
は偶数だから,
を正の整数として,
とおいてこの式に代入すると,
となる. この式から
は偶数だが,
も偶数なので,
,
は互いに素であることに矛盾する. したがって,
は有理数では表せない.
を
で割った商を
, 剰余を
とおく. すなわち,
ここで, は有理数を係数とする多項式なので,
,
,
も有理数である.
から,
となる. ,
,
は有理数なので, この式は一般に分数を含むが, 通分して分母を払うと,
,
,
を整数として,
の形にできる. さらに, ,
,
の最大公約数が
より大きければ, 両辺をその最大公約数で割り, その商を
,
,
として再設定することで
,
,
の最大公約数を
にできる. *4
上の式から, (この記事の冒頭で触れたように,)
という方程式が得られる. これをみたす整数解は, 自明な解 だけであることを以下に背理法で証明する.
上の方程式で, 自明解以外の解が存在したと仮定すると, は偶数なので,
を整数として,
とおける. これを上の式に代入して整理すると,
となる. すると は偶数だから,
を整数として,
とおける. これを上の式に代入すると,
すると は偶数になって,
,
,
の最大公約数を
としたことに矛盾する.
以上より, であるので,
となって,
は
で割り切れる.
//
※ この問 は以前やったように次のように解く方が普通である.
とおく.
を
ではない有理数係数の多項式で,
をみたす次数最小のもとする. なお,
の
の最高次の係数は
としておく.
を
で割った商を
, 剰余を
とおく. すなわち,
である. このとき, の次数は
よりも小さく,
,
は有理係数の多項式であるから,
の係数も有理数であることに注意する.
であることより,
が成立する. ところが, は,
となる次数最小のものだから, 矛盾しないためには,
が恒等的に成立する. したがって, は
を割り切る.
次に, であることを証明する. まず,
に
を代入すれば,
になることは, 実際の計算から明らかであり,
の係数はすべて有理数である. したがって, 次数が最小であることを以下に証明する.
は有理数でないので,
は
とはならない. つまり,
は
次ではない.
次に, を有理数として,
と表わせたと仮定して, 実際に割ってみると,
先程の結論から, 余りの多項式は恒等的に でないといけないので,
つまり、
となるが, 問 の結果から,
が有理数であることと矛盾する. したがって,
次式は,
とはならない. したがって,
と結論できる. 以上から,
は,
で割り切れる.//
※ が既約であることを示してもよい.
次式が既約でない, つまり, 因数分解できるならば,
次式と
次式か, すべて
次式に分解するかのどちらかである. いずれにしても
次式を含むので,
となる整数
,
(互いに素としてよい) が因数定理により存在する. すると,
となるが, これは問
の結果から矛盾する. したがって,
は, 有理数の範囲で既約である.//
*1:実際, 最小多項式 がより低次の有理係数の多項式 の積
に分解したとすると,
だから,
または,
となって,
が次数最小であることに矛盾する. また,
が既約多項式であるとすると,
だから, 最小多項式で割り切れるが, 既約であることから商は定数であり, 最小多項式と定数倍の違いを除いて一致する.
*2:一般に の整数で,
を素数 とすれば,
は有理係数の範囲で既約であることがアイゼンシュテインの既約判定からわかる.
*3:,
が
よりも大きな最大公約数を持つ場合,
,
をその最大公約数で約分したものを改めて
,
とおくことにすれば, この仮定でよい.
*4:一変数多項式,
で,
の最大公約数が
の整数係数の多項式を「原始多項式」という. たとえば,
で, まず分母の最小公倍数を外に出せば,
となる. それから、分子の最大公約数を外に出せば,
である. なお,
のことを「内容 (content)」という. この用語を使うと原始多項式とは, 内容が
である整数係数の多項式のことである.