0

√2が無理数であることの証明を中学生でも分かるように複数個書いていく

3670
0

はじめに

2が無理数であることの証明を

  • 教科書にある方法.
  • 素因数分解を用いた方法.
  • 無限降下法を用いた方法.
  • 方程式の有理数解に関する定理を用いた方法.

でしていきます.

以下では,0を含めない自然数全体を集合をNa0,b0Nとすることにします.

教科書にあるやつ(既約であることに反する)

2は有理数であると仮定すると,a,bを互いに素であるとして,

2=ba
と表すことができる.

両辺2乗すると,

2=b2a2
となり,両辺にa2をかけると,

(1)2a2=b2
となる.

ここで,左辺は2の倍数であるから,右辺も2の倍数である.

b=2bとおくと,式(1)は,

2a2=(2b)2(2)a2=2b2
となる.

式(2)において,右辺は2の倍数であるから,左辺も2の倍数である.

a=2aとおくと,
b=2bであるから,a,bが互いに素であることに矛盾する.

これは,2を有理数であると仮定したからである.

よって,2は無理数である.

素因数分解の一意性を用いたもの

2は有理数であると仮定する.

a,bを互いに素である自然数であるとすると,2は有理数であるから,

2=ba
と表すことができる.

両辺2乗すると,

2=b2a2
となり,さらに,両辺にa2をかけると,

2a2=b2
となる.

ここで,左辺は2は奇数個であるが,右辺は偶数個であり,素因数分解の一意性に反する.

これは,2を有理数であると仮定したからである.

よって,2は無理数である.

無限降下法を用いたもの

2は有理数であると仮定する.

a,bを互いに素である自然数であるとすると,2は有理数であるから,

2=ba
と表すことができる.

両辺2乗すると,

2=b2a2
となり,さらに,両辺にa2をかけると,

(3)2a2=b2
となる.

ここで,左辺は2の倍数であるから,右辺も2の倍数である.

b=2b1とおくと,式(3)は,

2a2=(2b1)2(4)a2=2b12
となる.

式(4)において,右辺は2の倍数であるから,左辺も2の倍数である.

a=2a1とおき,式(4)に代入すると,
a2=2b122a12=b12
となる.

これを繰り返すと,

bn<<b3<b2<b1<b

と,bnは限りなく小さな値をとることになるが,これはbが自然数であることに反する.

これは,2を有理数であると仮定したからである.

よって,2は無理数である.

整数係数方程式の有理数解を用いたもの

(整数係数の整式)=0が有理数解qpを持つならば,pは最高次の係数の,qは定数項の約数である.

という定理を用います.

証明をします.

anxn+an1xn1++a1x+a0=0
というn次方程式を考えます.

有理数解qpを持つと仮定して,xに代入すると,
an(qp)n+an1(qp)n1++a1qp+a0=0
が成り立ちます.

両辺にpnをかけると,
anqn+an1pqn1++a1pn1q+a0pn=0

となります.
anの項を左辺に残して,残りの項を両辺から引きます.
anqn=(an1pqn1++a1pn1q+a0pn)=p(an1qn1++a1pn2q+a0pn1)
よって,右辺はpの倍数となります.
pqは互いに素ですから,左辺においてはanpの倍数であるということになります.

同様にして,a0の項を左辺に残して,残りの項を両辺から引きます.
a0pn=(anqn+an1pqn1++a1pn1q)=q(anqn1+an1pqn2++a1pn1)
よって,右辺はqの倍数となります.
qpは互いに素ですから,左辺においてはanqの倍数であるということになります.

(証明終わり)

では,x22=0という解に±2を持つ左辺が整数係数の整式の二次方程式を考えます.

定理に当てはめると,最高次の係数は1であり,定数項は-2となります.それぞれ約数の組は,(±1,±1)と,(±1,2)となります.ですから,p=±1,q=±1,±2で考えると,全部で4通り考えられますが,
2はこれに含まれていません.

よって,2は有理数ではないため,無理数となります.

さいごに

2年前に書いて下書きに眠ってたのをそのまま出しました.
間違ってたら教えてください.

投稿日:2022530
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

uk_osy
0
3670

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 教科書にあるやつ(既約であることに反する)
  3. 素因数分解の一意性を用いたもの
  4. 無限降下法を用いたもの
  5. 整数係数方程式の有理数解を用いたもの
  6. さいごに