サービト数のソースを表示

'''サービト数'''（サービトすう、[[英語|英]]:Thabit number）とは、<math>3 \cdot 2^n - 1</math>（''n''は自然数）の形の自然数のことである。第1種サービト数とも呼ばれる。

サービト数は小さい順に、

: [[2]], [[5]], [[11]], [[23]], [[47]], [[95]], 191, 383, 767, 1535, 3071, 6143, 12287, 24575, 49151, 98303, 196607, 393215, 786431, 1572863, ... ({{OEIS|id=A055010}})

である。

9世紀の[[数学者]]、[[医者]]、[[天文学者]]、[[翻訳家]]である、[[サービト・イブン・クッラ|サービト]]はサービト数と[[友愛数]]がどのように関係しているかを最初に研究した人物として知られている<ref name="Rashed">{{cite book |last=Rashed |first=Roshdi |title=The development of Arabic mathematics: between arithmetic and algebra. |publisher=Kluwer Academic Publishers |location=Dordrecht, Boston, London |year=1994 |volume=156 |isbn=0-7923-2565-6 |page=277}}</ref>。

== 性質 ==
サービト数（<math>3 \cdot 2^n - 1</math>）を2進数で表すと<math>n+2</math>桁の長さになり、10と<math>n</math>個の1で構成される。

サービト数のうち、素数であるものはサービト素数と呼ばれる。サービト素数は小さい順に、

: 2, 5, 11, 23, 47, 191, 383, 6143, 786431, 51539607551, 824633720831, ... ({{OEIS|id=A007505}})

である。

2023年10月現在、サービト数のうち、素数であるものは68個知られている。その数の<math>n</math>は小さい順に<ref>{{Cite web |url=http://www.mersenneforum.org/321search/How%20many%20digits%20these%20primes%20have.html |title=How many digits these primes have |access-date=2006-11-14 |archive-date=2011-09-27 |archive-url=https://web.archive.org/web/20110927012723/http://www.mersenneforum.org/321search/How%20many%20digits%20these%20primes%20have.html |url-status=dead}}</ref><ref name="utm2">{{cite web |url=http://primes.utm.edu/primes/lists/short.txt |title=Primes with 800,000 or More Digits |access-date=June 22, 2024}}</ref><ref>{{Cite web |url=https://www.primegrid.com/primes/primes.php?project=321&sortby=size&search=-1 |title=PrimeGrid Primes search for 3*2^n - 1 |website=www.primegrid.com |access-date=2024-12-31}}</ref>、

: 0, 1, 2, 3, 4, 6, 7, 11, 18, 34, 38, 43, 55, 64, 76, 94, 103, 143, 206, 216, 306, 324, 391, 458, 470, 827, 1274, 3276, 4204, 5134, 7559, 12676, 14898, 18123, 18819, 25690, 26459, 41628, 51387, 71783, 80330, 85687, 88171, 97063, 123630, 155930, 164987, 234760, 414840, 584995, 702038, 727699, 992700, 1201046, 1232255, 2312734, 3136255, 4235414, 6090515, 11484018, 11731850, 11895718,  16819291, 17748034, 18196595, 18924988, 20928756, 22103376, ... ({{OEIS|id=A002235}})

である。

234760 ≤ ''n'' ≤ 3136255 の範囲にあるサービト素数は[[分散コンピューティング]]プロジェクトである「321 search」によって見つかった<ref>{{Cite web |url=http://www.mersenneforum.org/321search/The%20status%20of%20the%20search.html |title=The status of the search |access-date=2006-11-14 |archive-date=2011-09-27 |archive-url=https://web.archive.org/web/20110927012732/http://www.mersenneforum.org/321search/The%20status%20of%20the%20search.html |url-status=dead}}</ref>。

2008年、[[PrimeGrid]]はサービト素数の探索を引き継いだ<ref>{{Cite web |url=http://primes.utm.edu/bios/page.php?id=479 |title=PrimePage Bios: 321search}}</ref>。このプロジェクトは現在も探索を続けていて、n ≥ 4235414のすべての既知のサービト素数をすでに発見した<ref name="utm3">{{cite web |url=http://primes.utm.edu/primes/lists/short.txt |title=Primes with 800,000 or More Digits |access-date=June 22, 2024}}</ref>。また、<math>3 \cdot 2^n + 1</math>の形の素数の探索も行っている。この形の素数は「第2種サービト素数」と呼ばれる。

第2種サービト数は小さい順に、

: 4, 7, 13, 25, 49, 97, 193, 385, 769, 1537, 3073, 6145, 12289, 24577, 49153, 98305, 196609, 393217, 786433, 1572865, ... ({{OEIS|id=A181565}})

である。

また、第2種サービト素数は小さい順に、

: 7, 13, 97, 193, 769, 12289, 786433, 3221225473, 206158430209, 6597069766657, 221360928884514619393, ... ({{OEIS|id=A039687}})

第2種サービト素数に対応する<math>n</math>は小さい順に、

: 1, 2, 5, 6, 8, 12, 18, 30, 36, 41, 66, 189, 201, 209, 276, 353, 408, 438, 534, 2208, 2816, 3168, 3189, 3912, 20909, 34350, 42294, 42665, 44685, 48150, 54792, 55182, 59973, 80190, 157169, 213321, 303093, 362765, 382449, 709968, 801978, 916773, 1832496, 2145353, 2291610, 2478785, 5082306, 7033641, 10829346, 16408818, ... {{OEIS|id=A002253}}

である。

== 友愛数との関係 ==
<math>n</math>と<math>n-1</math>の両方が第1種サービト素数であり、さらに<math>9 \cdot 2^{2n - 1} - 1</math>も素数である場合、次のように友愛数のペアを計算することができる。

: <math>2^n(3 \cdot 2^{n - 1} - 1)(3 \cdot 2^n - 1)</math> と <math>2^n(9 \cdot 2^{2n - 1} - 1).</math>


これらの条件を満たす<math>n</math>の値は2,4,7であり、それぞれに対応するサービト素数は、<math>n</math>のときに、11,47,383、<math>n-1</math>のときに5,23,191になり、3番目の数は71,1151,73727になる。(対応する友愛数のペアは(220, 284), (17296, 18416),(9363584, 9437056)。)

== 一般化 ==
整数<math>b \geq 2</math>に対して、サービト数は次のようになる。

<math>(b + 1) \cdot b^n - 1</math>（nは自然数）

また、整数<math>b \geq 2</math>に対して第2種サービト数は次のようになる。

<math>(b + 1) \cdot b^n + 1</math>（nは自然数）

== 出典 ==
<references />

{{素数の分類}}
{{DEFAULTSORT:さあひとすう}}
[[Category:素数]]
[[Category:整数の類]]
[[Category:数学に関する記事]]
[[Category:数論]]
[[Category:数学のエポニム]]