入口
自然数
目標
素数無限性
進捗
ルート設計中
ルート地図
- 1自然数入口準備中
数を並べる舞台を用意する
- 2素数中継点準備中
これ以上掛け算で分解できない数を見る
- 3割り切れる中継点準備中
数の中に因子が含まれる関係を見る
- 4素因数中継点準備中
自然数の中に現れる素数を取り出す
- 5背理法中継点準備中
有限個しかないと仮定して矛盾を作る
- 6素数無限性目標準備中
素数は無限に存在する
目標までの見通し
素数は無限に存在する
入口
自然数
目標
素数無限性
進捗
ルート設計中
数を並べる舞台を用意する
これ以上掛け算で分解できない数を見る
数の中に因子が含まれる関係を見る
自然数の中に現れる素数を取り出す
有限個しかないと仮定して矛盾を作る
素数は無限に存在する
素数は無限に存在する