すべての自然数を「2±3±5±…±(k番目の素数)」の形で表す - Corollaryは必然に。
2021年9月23日に行われたロマンティック数学ナイト@オンライン #16 で 「オンライン整数列大辞典の未解決問題が解けた話」 というプレゼンをさせていただきました。今回の話はこのイベントで紹介した未解決問題の解説および証明になります（おせーよ）。 素数ものさしってご存知でしょうか？その名の通り、目盛りが素数しかないものさしで、現在でも京大生協でのみ販売されています*1。 素数ものさしのイメージ なんとも不便なものさしですが、 なので「3歩進んで2歩下がる」を繰り返せば、一応すべての自然数を測ることは可能です。しかし、これでは芸がないですね。せっかくならたくさんの素数を使いこなしたいところ。 そこで、すべての自然数を、2から順番に目盛りを1回だけ使って測ってみるのはいかがでしょう？例えば3なら \[ 3 = 2 + 3 + 5 - 7 \]なので、「2歩進んで、3歩進んで、5歩進んで、7
