スターン素数

スターン素数（スターンそすう、英: Stern prime）とは、それより小さい素数と0でない平方数の2倍の和で書くことができない素数のことである。つまり、素数 q は、それより小さな素数 p と0でない整数 b を使って q = p + 2b² と書くことができないときスターン素数である。名称はドイツの数学者モリッツ・アブラハム・シュテルン（英語版、ドイツ語版）（スターン）にちなむ。既知のスターン素数は以下のとおりである。

2, 3, 17, 137, 227, 977, 1187, 1493, ... （オンライン整数列大辞典の数列 A042978）

例えば 137 から平方数の2倍を小さい順に引いていったものを並べると数列 {135, 129, 119, 105, 87, 65, 39, 9} が得られるが、これらはどれ一つとして素数でない。よって 137 はスターン素数である。一方 139 はスターン素数でない。なぜなら 139 は 137 + 2(1²), 131 + 2(2²) 等と書けるからである。

実際、多くの素数について2通り以上にこのような表示ができる。双子素数が与えられたとき、大きい方の素数はゴールドバッハの表現（2素数の和） p + 2(1²) で表せる。素数が四つ子素数のうち最大のもの、p + 8 であるときも p + 2(2²) と表せる。数列 A007697 は、少なくとも n 通りにこのような表示ができる最小の奇数を順に並べたものである。レオンハルト・オイラーは自然数が大きくなるにつれて p + 2b² と表示する方法の数も増大していくことを観察し、一通りも表示法がないような数には最大値があるのではないかと考えた。つまり、上記のスターン素数列は有限であるばかりでなく全てを尽くしているという主張である。Jud McCranie によれば、これらは最初の 100000 個の素数の中の全てのスターン素数を尽くしている。

奇の合成スターン数も存在する。知られているのは 5777 と 5993 のみである。クリスティアン・ゴールドバッハはかつて「全てのスターン数は素数である」と予想したがこれは誤りであった（A060003 スターン数）。

ゴールドバッハはオイラーへ宛てた手紙の中で、全ての奇数は「素数」 p と整数 b を使って p + 2b² と書けると予想したことがあった。Laurent Hodgesは、スターンはゴールドバッハの書簡を書籍で読んだことでこの問題に興味を持つようになったと確信している。当時 1 は素数とされていたため、 1 + 2(1²) と表示できる 3 はこの意味ではスターン素数ではない。3 を除けば、上述のスターン素数列は 1 を素数に含めてもそのままである。

参考文献

Laurent Hodges, A lesser-known Goldbach conjecture

この項目は、代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

表話編歴素数の分類
生成式	フェルマー ( $2 2 n + 1$ ) メルセンヌ ( $2 p - 1$ ) 二重メルセンヌ ( $2 2 p -1 - 1$ ) ワグスタッフ ( $(2 p + 1)/3$ ) プロス ( $k \cdot2 n + 1$ ) 階乗 ( $n! \pm 1$ ) 素数階乗 ( $p n # \pm 1$ ) ユークリッド ( $p n # + 1$ ) ピタゴラス ( $4 n + 1$ ) ピアポント ( $2 u \cdot3 v + 1$ ) Quartan（英語版） ( $x 4 + y 4$ ) ソリナス（英語版） ( $2 a \pm 2 b \pm 1$ ) カレン ( $n \cdot2 n + 1$ ) ウッダル ( $n \cdot2 n - 1$ ) Cuban（英語版） ( $(x 3 - y 3)/(x - y)$ ) キャロル ( $(2 n - 1) 2 - 2$ ) Kynea ( $(2 n + 1) 2 - 2$ ) レイランド ( $x y + y x$ ) サービト（英語版） ( $3\cdot2 n - 1$ ) ミルズ ( $[A] 3 n$ )
漸化式（英語版）	フィボナッチリュカペルニューマン–シャンクス–ウィリアムズペラン分割ベルモツキン
各種の性質	ヴィーフェリッヒ（英語版） (対（英語版）) ウォール–孫–孫（英語版）ウォルステンホルムウィルソン幸運フォーチュンラマヌジャン（英語版）ピライ正則強（英語版）スターン Supersingular (楕円曲線)（英語版） Supersingular (ムーンシャイン理論)（英語版）良いスーパーヒッグス（英語版）高度コトーティエント（英語版）
基数依存	ハッピー二面（英語版）回文エマープレピュニット ( $(10 n - 1)/9$ ) 置換可能 Circular（英語版）切り捨て可能 Strobogrammatic（英語版） Minimal（英語版）弱いフルサイクルプライム Unique（英語版） Primeval（英語版）自己スマランダチェ–ウェラン（英語版）
組	互いに素双子 ( $p, p + 2$ ) Bi-twin chain ( $n - 1, n + 1, 2 n - 1, 2 n + 1, \dots$ ) 三つ子 ( $p, p + 2$ or $p + 4, p + 6$ ) 四つ子 ( $p, p + 2, p + 6, p + 8$ ) k−Tuple いとこ ( $p, p + 4$ ) セクシー ( $p, p + 6$ ) 陳ソフィー・ジェルマン ( $p, 2 p + 1$ ) カニンガム鎖 ( $p, 2 p \pm 1, \dots$ ) 安全 ( $p, (p - 1)/2$ ) 算術数列（英語版） ( $p + an; n = 0, 1, \dots$ ) 平衡 ( $p - n, p, p + n$ )
桁数	タイタニック ( $103$ 桁以上) 巨大 ( $104$ 桁以上) メガ ( $106$ 桁以上)
複素数	アイゼンシュタイン素数（英語版）ガウス素数
合成数	擬素数概素数半素数楔数 Interprime（英語版）
関連する話題	確率的素数 Industrial-grade prime（英語版）違法素数素数の公式（英語版）素数の間隔『巨大な素数の一覧』
最初の50個	$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$ $101$ $103$ $107$ $109$ $113$ $127$ $131$ $137$ $139$ $149$ $151$ $157$ $163$ $167$ $173$ $179$ $181$ $191$ $193$ $197$ $199$ $211$ $223$ $227$ $229$
素数の一覧