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

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

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

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

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

Laurent Hodges, A lesser-known Goldbach conjecture
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}

この項目は、代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}

表示

編集

表

話

編

歴
素数の分類
生成式

フェルマー (22n + 1)

メルセンヌ (2p − 1)

二重メルセンヌ (22p−1 − 1)

ワグスタッフ ((2p + 1)/3)

プロス (k・2n + 1)

階乗 (n! ± 1)

素数階乗 (pn# ± 1)

ユークリッド (pn# + 1)

ピタゴラス (4n + 1)

ピアポント (2u・3v + 1)

Quartan（英語版） (x4 + y4)

ソリナス（英語版） (2a ± 2b ± 1)

カレン (n・2n + 1)

ウッダル (n・2n − 1)

Cuban（英語版） ((x3 − y3)/(x − y))

キャロル ((2n − 1)2 − 2)

Kynea ((2n + 1)2 − 2)

レイランド (xy + yx)

サービト（英語版） (3・2n − 1)

ミルズ ([A]3n)

漸化式（英語版）

フィボナッチ

リュカ

ペル

ニューマン?シャンクス?ウィリアムズ

ペラン

分割

ベル

モツキン

各種の性質

ヴィーフェリッヒ（英語版） (対（英語版）)

ウォール?孫?孫（英語版）

ウォルステンホルム

ウィルソン

幸運

フォーチュン

ラマヌジャン（英語版）

ピライ

正則

強（英語版）

スターン

Supersingular (楕円曲線)（英語版）

Supersingular (ムーンシャイン理論)（英語版）

良い

スーパー

ヒッグス（英語版）

高度コトーティエント（英語版）

基数依存

ハッピー

二面（英語版）

回文

エマープ

レピュニット ((10n − 1)/9)

置換可能

Circular（英語版）

切り捨て可能

Strobogrammatic（英語版）

Minimal（英語版）

弱い

フルサイクルプライム

Unique（英語版）

Primeval（英語版）

自己

スマランダチェ?ウェラン（英語版）

組

互いに素

双子 (p, p + 2)

Bi-twin chain (n − 1, n + 1, 2n − 1, 2n + 1, …)

三つ子 (p, p + 2 or p + 4, p + 6)