3次方程式$x^3-2x^2+3x-5=0$は整数解をもたないことを示せ.
(2)\ \ 3次方程式$x^3-2x^2+3x-5=0$は有理数解をもたないことを示せ. \\
整数係数方程式の整数解と有理数解 \\
本項では,\ 主に整数係数方程式の整数解と有理数解に関する定理の証明を扱う.
初見では難しく感じるかもしれないが,\ 構造を理解するとほぼ当たり前であることがわかる.
(1)\ \ 与方程式が整数解$x=n}$をもつと仮定する.
これを満たす整数$n$は存在しないから,\ 与方程式は整数解をもたない.}
(2)\ \ 与方程式が有理数解$x= qp\ (\,p,\ q:互いに素な整数\,)}$をもつと仮定する. 右辺が整数なので,\ 左辺も整数}である.
\,$p,\ q$は互いに素,\ \ }であるから $p=1}$
このとき$q^3-2q^2+3q-5=0}$となるが,\ (1)よりこれを満たす整数$q$は存在しない.
よって,\ 与方程式は有理数解をもたない.}
一般化した定理の証明の前に,\ まずは具体的な問題で基本的な扱い方を確認する.
(1)\ \ 「～でない」という否定的命題であるから,\ 背理法}が有効である.
\ \ 解を文字でおくと(文字式)×(文字式)=(具体的な整数)に変形でき,\ 容易に証明できる.
(2)\ \ 有理数解を文字でおいて代入し,\ 矛盾を示せばよい.
\ \ 念のため確認しておくと,\ 有理数とは\,(整数)}{(0でない整数)\ の形で表される数のことである.
\ \ 既約分数(分子と分母が互いに素)}で設定すると,\ 約分の可能性など余計な考慮をせずに済む.
\ \ また,\ p≠0ではなく,\ p>0と可能な限り厳しく設定しておくと後が楽になる.
\ \ p>0のときはq<0とすれば負の有理数を表せるから,\ 一般性は失われない.
\ \ 最高次の項または定数項を分離し,\ 約数・倍数に関する性質を追求する}のが基本となる.
\ \ このとき,\ 完全に分母をはらわず,\ あえて(分数)=(整数)の形を作る}手法がよく使われる.
\ \ q^3}{p}\,が整数となるための条件を考えると,\ p=1が確定する.
\ \ 仮にpが素因数gをもつとすると,\ qも素因数gをもち約分で消える必要がある.
\ \ ところが,\ これはp,\ qが互いに素であることと矛盾する.
\ \ 完全に分母をはらってq^3=p(2q^2-3pq+5p^2)としても,\ 本質的に同じである.
\ \ q^3\,はpの倍数となるが,\ p,\ qは互いに素なのでp=1が確定する.
$整数係数n次方程式\ a_nx^n+a_{n-1}x^{n-1}+･･･+a_1x+a_0=0\ \ (a_0,\ a_n≠0)がある.$
$この方程式が有理数解をもつとき,\ その解は\ a_0\,の約数}{a_n\,の約数}\ の形であることを証明せよ.$
本項の中で最も重要な定理である.\ 証明を理解した上で,\ 結果を覚えておく}必要がある.
証明の大筋は前問の(2)と同様であり,\ 一旦理解してしまえば何ら難しいところはない.
今回は,\ 分母を完全にはらって[1]と[2]で統一性をもたせた.
[1]\ \ a_nq^n\,はpの倍数となるが,\ p,\ qは互いに素なのでa_n\,がpの倍数,\ つまりpはa_n\,の約数である.
本定理のの結果は,\ 因数定理による高次式の因数分解(数II})の際に利用する.}
数II}できちんと学習するので,\ ここでは概要だけ説明しておく.
例として,\ 6x^3-7x^2+7x-1を因数分解するとしよう.
数 Iで学習した方法ではできないので,\ 6x^3-7x^2+7x-1=0の解から因数を逆算することになる.
仮にx=1を解にもつとわかれば,\ (x-1)という因数をもつといえるわけである.
よって,\ 6x^3-7x^2+7x-1のxに様々な数を代入して=0となるものを探すことになる.
本定理は,\ このときにどのような数を代入すべきかを示している.
=0となる(解である)可能性がある有理数は,\ a_0\,の約数}{a_n\,の約数}=1の約数}{6の約数}\ の形に限られる.}
つまり,\ \ 有理数解が存在するとすれば,\ 必ず\ ±\,1,\ ±12,\ ±13,\ ±16\ の中にあるはずなのである.
この場合はx=16\,のとき6x^3-7x^2+7x-1=0となり,\ (6x-1)(x^2-x+1)と因数分解できる.
本定理を知らない場合x=16\,に気付くことが困難になり,\ 時間だけを浪費する羽目になる.
$整数係数n次式f(x)=x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+･･･+a_1x+a_0\ \ (n≧2)\ がある.$
(1)\ \ $方程式f(x)=0が有理数\,α\,を解にもつとき,\ α\,は整数であることを示せ.$
(2)\ \ \,$3個の整数f(0),\ f(1),\ f(2)$がいずれも$3$の倍数でないとき,
方程式$f(x)=0$は有理数解をもたないことを示せ. \\
右辺が整数なので,\ 左辺も整数}である.
$f(x)=0$が有理数解$x=α$をもつと仮定}する.
このとき,\ $f(α)=0}$が成り立つ.\ また,\ (1)よりαは整数}である.
αを$3$で割ったときの余りは,\ $0,\ 1,\ 2$のいずれかである.
$α≡0±od3$のとき $f(α)≡ f(0)±od 3$
$α≡1±od3$のとき $f(α)≡ f(1)±od 3$
$α≡2±od3$のとき $f(α)≡ f(2)±od 3$
$f(0)\not≡0,\ f(1)\not≡0,\ f(2)\not≡0±od3$より,\ \ $f(α)\not≡0±od3}$である.
これは,\ $f(α)=0$と矛盾}する.
∴$ $f(x)=0は有理数解をもたない.}$} \\
最高次の係数1の整数係数方程式が有理数解\,α\,をもつとき,\ α\,は整数である}ことの証明である.
\ \ 前問の特殊な場合で,\ a_n=1のとき\,a_0\,の約数}{a_n\,の約数}=a_0\,の約数}{1の約数}\ が整数となるというだけである.
(2)\ \ 経験がなければ難問だろうが,\ 問題の構造自体は単純である.
\ \ 整数係数多項式f(x)の合同式}に関する以下の定理を利用すると本質が見えやすくなる.
\ \ 整数係数n次多項式f(x)=x^n+a^{n-1}x^{n-1}+･･･+a_1x+a_0\,において
\ \ p≡ q±od m\ ⇒\ f(p)≡ f(q)±od m}
\ \ 次の3つの整数の合同式の性質を組み合わせただけの定理である.
\ \ p≡ q,\ r≡ s±od m\ ⇒\ p+r≡ q+s±od m
\ \ p≡ q,\ r≡ s±od m\ ⇒\ pr≡ qs±od m
\ \ p≡ q±od m\ ⇒\ p^n≡ q^n±od m
\ \ p≡ q±od mのとき
\ \ f(p)=p^n+a^{n-1}p^{n-1}+･･･+a_1p+a_0≡ q^n+a^{n-1}q^{n-1}+･･･+a_1q+a_0=f(q)
\ \ 背理法}または対偶法}を用いて証明する.
\ \ 両辺の余りの不一致を示す}ことは,\ 方程式が解をもたないこと示すための常套手段であった.
\ \ f(x)=0において,\ 右辺0を3で割ったときの余りは当然0である.
\ \ よって,\ 左辺f(x)\not≡0±od3を示せば,\ f(x)=0が解をもたないことが示される.}
\ \ α\,は整数なので,\ 3で割った余り3パターンの考慮ですべての場合が尽くされる.
\ \ f(α)を3で割った余りは,\ f(0),\ f(1),\ f(2)のいずれかを3で割った余りと一致する.
\ \ 問題よりいずれも3の倍数ではないから,\ f(α)が3の倍数となることはない.
(2)の証明の過程を考慮すると,\ 3という数字に必然性はない.
つまり,\ 任意の自然数kに対して次が成立する.\ 証明も同様である.
$k個の整数f(0),\ f(1),\ ･･･,\ f(k-1)がいずれもkの倍数でないとき,\ f(x)=0は有理数解をもたない.$}a,\ b,\ c$が奇数のとき,\ 2次方程式$ax^2+bx+c=0$が有理数解をもたないことを示せ. \\
与方程式が有理数解$x= qp\ (\,p,\ qは互いに素な整数,\ p>0\,)}$をもつと仮定する. \
[1]\ \ ①より\ \ $aq^2=-\,p(bq+cp)$ $p,\ q$は互いに素,\ $a$は奇数より,\ $p$は奇数}である.
[2]\ \ ①より\ \ $cp^2=-\,q(aq+bp)$ $p,\ q$は互いに素,\ $c$は奇数より,\ $q$は奇数}である.
このとき,\ ①の左辺は奇数}となるから,\ これは矛盾である.
∴$ $ax^2+bx+c=0は有理数解をもたない.}$
前問までが理解できていれば,\ 本質的に同じである.
ax^2+bx+c=0の有理数解\, qp\,をもつとすれば,\ cの約数}{aの約数\,の形をしているはずである.
a,\ cが奇数よりp,\ qも奇数とわかり,\ 後は両辺の余りの不一致}を示せばよい.
2で割ったときの余りならば合同式を持ち出すまでもなく,\ 偶奇性を考慮すれば済む.
a,\ b,\ c,\ p,\ qが奇数なのでaq^2,\ bpq,\ cp^2\,も奇数で,\ (奇数)+(奇数)+(奇数)=(奇数)である.
