√2が無理数であることの証明のソースを表示

== 証明 ==
[[背理法]]を用いて、証明する。

<math>\sqrt{2}</math>が有理数であると仮定する。この時、<math>\sqrt{2}</math>は互いに素である数<math>p,q </math>を用いて、<math>\sqrt{2}=\frac{q}{p}</math>と表すことができる。

両辺を平方すると、<math>2=\frac{q^2}{p^2}</math>となり、さらに、<math>2p^2=q^2</math>と変形することができる。
=== 証明1 ===
ここで、<math>p</math>は偶数であり、<math>p^2</math>は4の倍数である。すなわち、<math>q^2</math>も偶数になり、<math>q</math>は偶数になる。<math>p,q</math>が少なくとも2で割り切ることができてしまい、互いに素でなくなってしまう。ここで、最初の仮定が間違っていたことがわかる。

よって、'''<math>\sqrt2</math>は無理数である。'''

=== 証明2 ===
両辺の素因数の個数を考える。

<math>p</math>は<math>m</math>個の素因数を、<math>q</math>は<math>n</math>個の素因数を持つと仮定すると、

両辺のの素因数の個数の関係は<math>2m+1=2n</math>と表される。

ここで、<math>n,m</math>のどちらかが整数でなくなり、これは、素因数の個数は整数個であることに反する。ここで、最初の仮定が間違っていたことがわかる。

よって、'''<math>\sqrt2</math>は無理数である。'''

ここでは、素因数分解の一意性を用いている。なお、一般的に「小数個／分数個」ということはありえない。

== 補足 ==
なお、ここでは<math>\sqrt2</math>について考えたが、ルート内の数が素数である場合は同様に証明することが可能である。

==補足 2==
さらに判断を一般化して、素因数分解したときに素数の奇数乗を式に持つ自然数の平方根は無理数である。互いに素である整数の分数で示した正の有理数の分母と分子どちらでも素因数分解したときに素数の奇数乗を持っていればその有理数の平方根は無理数である。正の無理数の平方根は無理数である。これらの事実も同様の議論で証明できる。

{{DEFAULTSORT:るうと2かむりすうてあることのしようめい}}
[[カテゴリ:数学的証明]]
[[カテゴリ:無理数]]
<!-- [[Category:無理数]] -->