インテジャーズ

INTEGERS

数、特に整数に関する記事。

整数-293

オイラーの定理:1000009は素数ではない

オイラーの論文 L. Euler, Utrum hic numerus 1000009 sit primus necne inquiritur, Nova acta academiae scientiarum Petropolitanae 10 (1797), 63–73. で証明されている次の定理の証明を解説します: 定理 (オイラー) 1000009は素数ではない。

ファン・デル・ヴェルデン数

van der Waerdenの定理integers.hatenablog.comにおけるの取り得る最小の値をvan der Waerden数といい、と表します。はすぐに分かります。それ以外に確定しているのはのみです(このうちは素数)。一般的な上界についてはGowers(フィールズメダリスト)によるも…