文献あり

√2が無理数であることの背理法をつかわない証明

299

$\sqrt{2}$ は無理数

$\sqrt{2}$ が無理数であることはご存じの方が多いとおもいます. 証明には通常背理法が用いられますが, ここでは背理法を使わずに証明しようと思います. 一応自分で考えたものなのですが, ネットや本などで同じ・似ているものをみたことがあるよというひとはおしえていただきたいです.

次の補題が鍵になります.

有理数 $α$ がある整係数モニック多項式の根になるならば, $α$ は整数である.

仮定により, $Z [α]$ は $Z$ 加群として有限生成である (証明はMatsなど). この生成系の元は全て有理数だから, ある正の整数 $a$ が存在して $a Z [α] \subseteq Z$ となる. したがって, $α = p / q$ とおくと, 任意の正の整数 $ℓ$ に対して
$a {(\frac{p}{q})}^{ℓ} = a α^{ℓ} \in Z,$
よって $q^{ℓ} ∣ a (\forall ℓ \geq 0)$ , ゆえに $q = \pm 1$ , $α = \pm p \in Z$ .

この補題を利用すれば, $\sqrt{2}$ が無理数であることがすぐに証明できます.

$1 < \sqrt{2} < 2$ だから $\sqrt{2}$ は有理整数ではない. また, $\sqrt{2}$ は整係数モニック多項式 $X^{2} - 2$ の根だから補題により $\sqrt{2} \notin Q$ である. すなわち, $\sqrt{2}$ は無理数である.

ちょっと一般化

$\sqrt{2}$ が無理数であることの証明を, 背理法を用いずに示すことができました. ところでこの証明を少し眺めてみると, $\sqrt{2}$ に限らず, $\sqrt{m}$ や, $\sqrt[n]{m}$ につかうことができそうな気がします. そこで, まずは定理「 $\sqrt{2}$ は無理数である」を一般化した定理を用意しましょう.

$m, n$ を正の整数とする. このとき $\sqrt[n]{m} \in Z ⟺ \sqrt[n]{m} \in Q$ .

ここでもやはり上で示した補題が鍵となります.

( $\Rightarrow$ )は自明.
( $\Leftarrow$ ) $\sqrt[n]{m}$ は整係数モニック多項式 $X^{n} - m$ の根だから, 仮定と補題により $\sqrt[n]{m} \in Z$ .

とても簡単に示すことができました!

参考文献

[1]

松村英之, 復刊可換環論, 共立出版, 2000

投稿日：2024年6月29日

更新日：2024年7月7日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Anko7919

3140

他の人のコメント

コメントはありません。

読み込み中

Anko7919

√2が無理数であることの背理法をつかわない証明

$\sqrt{2}$は無理数
ちょっと一般化
参考文献

√2が無理数であることの背理法をつかわない証明

2は無理数

ちょっと一般化

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$\sqrt{2}$ は無理数