Mathematics
Examination
Test
Archives
を自然数以上の整数)とし,を,から始まる個の連続した自然数の集合とする.このをつの空集合ではない部分集合に分割し,それぞれの部分集合に含まれる自然数の積を考える.より正確に述べると,次のようになる.
定義:
(1) のつの空集合ではない部分集合の組がの分割であるとは,
となることである.すなわちの分割とはを互いに交わらないつの集合に分けることである.ここでは空集合を意味する.
(2) をの空集合ではない部分集合とするとき,に含まれるすべての自然数の積をで表す.
の分割があると,つの数が定まる.
例えばの場合,である.という分割では,
である.という分割では,
となる.
例えばの場合,である.という分割では,
である.という分割では,
となる.
このように,いろいろなについて,をいろいろなやり方で分割してみても,とが同じ数になることがない,ということに気がつく.実は,次の定理が成り立つ.
定理:すべての自然数に対して,のどんな分割をとっても,である.
以下ではこの定理を証明する.
定理の証明:
証明は背理法で行う.つまり,この定理が成り立たないと仮定すると矛盾が生じる,ということを示す.
この定理が成り立たないと仮定しよう.つまり,ある自然数と,のある分割があって,となるものが存在する.
以下では,そのようなを考える.
次の主張が成り立つ.
主張1:に含まれるすべての自然数は以上の素因数を持たない.
主張1の証明:この主張1を言いかえると,の中のすべての自然数は,以上の素数で割り切れることはない,あるいは,以上の素数の倍数ではない,ということである.この主張を背理法で証明する.すなわち,の中のつの要素が,ある以上の素数の倍数であると仮定する.矛盾が生じることを示せばよい.
の倍数は,連続した個の自然数の中につしかない.なので,連続した個の自然数であるの中にもの倍数は最大つしかない.すなわち,の中のの倍数はだけであり,の他の数はの倍数ではない.はとのどちらかに含まれている.
がに含まれているとすると,
これはであることに矛盾する.がの方に含まれている場合も同様に矛盾が生じる.[主張1の証明終り]
問1:上の「主張1の証明」中の空白部分に適切な文章や数式などを記入し,主張1の証明を完成させよ.
このことから,の中のすべての数はのみを素因数に持つことがわかった.
さらに,次のことがわかる.
主張2:の中のはすべての倍数ではない.
主張2の証明:これも背理法で証明する.この主張が成り立たないと仮定すると,ある で,の倍数となるものが存在することになる.
[主張2の証明終り]
問2:上の「主張2の証明」中の空白部分に適切な文章や数式などを記入し,主張2の証明を完成させよ.
このことから,の個の数はの倍数ではない.に含まれる数の素因数はのみなので,これらの個の数の素因数はとだけである.すなわち,これら個の数はすべて,いくつかのとの積でできている.
これら連続した個の数は,「偶数,奇数,偶数,奇数」と並んでいるか,または,「奇数,偶数,奇数,偶数」と並んでいるかのどちらかである.どちらの場合であっても,これら個の数の中には,差がのつの奇数が存在することになるが,このようなことはあり得ない.なぜなら,
[定理の証明終り]
問3:上の空白部分に適切な文章や数式などを記入し,定理の証明を完成させよ.