数学のA・B・C その２ | 摂理研究所/キリスト教福音宣教会

こんばんは、satoです。(^o^)丿
数学ネタ、今日は「ABC予想」の解説その２です。
一回目は→こちら

目次非表示

復習：自然数の素因数分解
そもそも、素数って何？
どうして素数って大事なの？～素因数分解の一意性～

復習：自然数の素因数分解

まずは「ABC予想」の主張を復習します。

$a+b=c$

自然数 $a,b$ に対して、 $c$ を $a$ と $b$ の和とします。さらに、 $a$ と $b$ は互いに素、(これは前回書かなかったのですが) $b>a$ とします。
このとき、 $0$ より大きな数 $epsilon$ に対して、次の関係を満たす $a,b$ は有限個しかありません。

$c>rad(abc)^{1+epsilon}$

ここで、 $rad(abc)$ は「 $a,b,c$ の素因数の積」です。今日はこれについてもっと詳しく書いていきたいと思います。

そもそも、素数って何？

まず、素数というのは「 $1$ と自分自身以外で割り切れない自然数」のことです。といっても…言葉だけではわかりにくいですよね(((^^;)というわけで、小さい数の素数を探してみましょう。
まず $1$ ですが、これは素数ではありません。

「えっ、条件を満たしているじゃない!?」

はい、確かに $1$ は1以外の数では割りきれません。
ただ、 $1$ は素数でない、ということにさせてください。これは後で出てくる「素因数分解の一意性」を保つためなのです…。詳しくはそこで。
それでは、 $2$ から行ってみましょう。
下は $2$ を $1,2,3$ で割った結果です。(…の先はあまりです)

begin{eqnarray*}

2div 1&=&2 \

2div2&=&1 \

2div3&=&0ldots2

end{eqnarray*}
このように、 $2$ は $1$ と $2$ のみで割りきれて、 $3$ 以降の数では必ずあまりが出ます。
なので、 $2$ は素数です。
次に、 $3$ 。

begin{eqnarray*}

3div 1&=&3 \

3div2&=&1ldots1 \

3div3&=&1\

3div4&=&0lodts3

end{eqnarray*}
$3$ は $1$ と $3$ では割り切れますが、 $2$ だとあまりが出ています。また、 $4$ 以上の数ではずっとあまりが出ます。
というわけで、 $3$ も素数です。
次は $4$ 。

begin{eqnarray*}

4div 1&=&4\

4div2&=&2 \

4div3&=&1ldots1\

4div4&=&1

end{eqnarray*}
$4$ は $1$ と $4$ 以外に、 $2$ でも割り切れます。なので、これは素数ではありません。
$5$ はどうでしょうか？

begin{eqnarray*}

5div 1&=&4\

5div2&=&2ldots1 \

5div3&=&1ldots2\

5div4&=&1ldots1\

5div5&=&1\

5div6&=&0ldots5

end{eqnarray*}
かなり長くなりましたが、 $5$ は確かに $1$ と $5$ 以外では割りきれません。なので、 $5$ は素数です。
このように、自然数というのは「素数とそれ以外の数(合成数といいます)」に分けることができるのです。
ちなみに、 $100$ 以下の素数を全部書くと

$2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97$

となります。

どうして素数って大事なの？～素因数分解の一意性～

この素数は一部の数学者にはとても愛好されています。中には「素数大富豪」なるゲームを作る人まで…！詳しく知りたい方は検索してみるといいと思います。
さすがにここまでのファンではないですが、それでも素数というのは数学者の中ではとても大切なものとして認識されています。
それはどうしてか…と言いますと。

全ての自然数は、ただひと通りの素数同士の積で書ける。

という定理があるからです。これを「素因数分解の一意性の定理」といいます。つまり、素数というのは自然数を構成する原子とも言えます。
先ほど「 $1$ は素数でない」といったのは、 $1$ を素数とすると「ただひと通りの積」にならないからです。どんなに $1$ を掛けても結果は同じですからね。
これを調べてみましょう。
まず、素数は「自分自身一つだけ」で表されるので、確かに上の定理を満たしています。
次に素数でない数、合成数について調べてみましょう。
先ほど素数でなかった $4$ 。これは…

$4=2times2$