コンテンツにスキップ

レピュニット

出典: フリー百科事典『ウィキペディア(Wikipedia)』

レピュニット (レピュニット数レプユニット数単位反復数: repunit) とは 1, 11, 111, 1111, … のように全ての桁の数字が 1である自然数のことである。この名前は repeated unitを省略した単語であり、アルバート・ベイラーが1964年の論文で命名した[注釈 1]

10進法における n 桁のレピュニットは の形に表される。n = 2, 19, 23, 317, 1031, ... (オンライン整数列大辞典の数列 A004023) のときに、Rn素数となる。2進法における n 桁のレピュニットはメルセンヌ数 である。レピュニットが素数であるとき、レピュニット素数(またはレプユニット素数: Repunit prime)という。レピュニット素数は無限にあると予想されているが、証明されていない。

レピュニットの性質

[編集]

mn を割り切るならば、RmRn を割り切る。よって、n合成数ならば、Rn は合成数となる。

100 を法として 11 と合同な平方数は存在しないから、レピュニットで平方数となるものは 1 だけである。一般に、レピュニットで累乗数となるものは 1 だけであることが知られている (Bugeaud, Mignotte 1999a[2])。

レピュニットは各桁の総乗が 1 となるので、すべてズッカーマン数である。

Rn は、n が3の累乗数のとき(n が 1 = 30 のときも含む)は全てハーシャッド数である。

nの値と必ず含まれる約数
  • 偶数 - 11
    • 4の倍数 - 11・101
    • 6の倍数 - 3・7・11・13・37
  • 3の倍数 - 337
  • 5の倍数 - 41271
  • 7の倍数 - 2394649
  • 17の倍数 - 2071723・5363222357
など

901型の例

[編集]

前述のとおり、R2n は11つまりR2 で割り切れる。同様に、2×n桁のR2n は、n桁のRn で割り切れる。さらに、nが奇数のとき、Rn は11で割り切れないから、R2Rn は互いに素となる。よって、R2nは、R2 × Rn で割り切れて、その商は、n桁の数 100…1 ÷ 11 の計算値となるから、n1 桁の数 9090…91 である。

これらの関係を表にまとめると、次のようになる。

n(奇数)2 × nR2nR2nの値(2×n桁) R2 × RnR2 × Rnの値(n+1桁)R2n ÷ R2 ÷ Rnの値(n1桁)R2n ÷ R2 ÷ Rnの素因数分解
36R6111111R2 × R31221×917・13
510R101111111111R2 × R51222219091素数
714R1411111111111111R2 × R712222221909091素数
918R18111111111111111111R2 × R91222222221909090917・13・19・52579
1122R221111111111111111111111R2 × R11122222222221909090909111・23・4093・8779

n が偶数のときのR2n、その他 についての例は次のとおり。

  • R12 = 11222211 × 9901
  • R20 = 1222210000122221 × 9091
  • R24 = 112233332211 × 990000999901 = 1111222222221111 × 99990001
  • R28 = 1222222100000012222221 × 909091
  • R36 = 111111222222222222111111× 999999000001
  • R39 = 123333333333321 × 900900900900990990990991
など
  • R6 = 11 × (9091 + 1010)
  • R8 = 11 × (909091 + 101010)
  • R10 = 11 × (90909091 + 10101010)

[3][4][5][6]

1と0だけで表す例

[編集]
n(10n/2 − 1) / 9[7]10n/2 + 1
R211 × 1111
R41111 × 101101
R63・37111 × 10017・11・13
R811・1011111 × 1000173・137
R1041・27111111 × 10000111・9091
n
R21 × 111 × 11
R3#1 × 111
R4$1 × 111111 × 101
R5%1 × 11111
R6&1 × 111111111 × 1001
#11 × 10101
R7*1 × 1111111
R8$11 × 10101011111 × 10001
R9#111 × 1001001
R10%11 × 10101010111111 × 100001
R12&11 × 10101010101111111 × 1000001
$111 × 1001001001
#1111 × 100010001
R14*11 × 10101010101011111111 × 10000001
n
R61 × 111 × 100191・11
R1211 × 10101 × 10000019901・101
R18111 × 1001001 × 1000000001999001・1001
R241111 × 100010001 × 100000000000199990001・10001
n
R411 × 101
R8101 × 110011
R121001 × 1110001111221001221 × 91
R1610001 × 111100001111
R20100001 × 1111100000111111222210000122221 × 9091
R241000001 × 1111110000001111111221001221001221001221 × 91

累乗数 − 累乗数

[編集]

[8]

nRn×(10n+1)
[9][10][11]
R2 625262526252
R3 562 − 552562552
R4 562 − 4525562 − 5552
R5 55562 − 55552
R6 5562 − 4452555562 − 55555250562504526562 − 5652
R7 5555562 − 5555552
R8 55562 − 44452(省略)
R9 (省略) 50055625004452
R10 (省略) (省略) 656562 − 565652
R11 (省略)
R12 (省略) (省略) 500055562500044452
R13 (省略)
R14 (省略) (省略) 65656562 56565652

レピュニット素数

[編集]

現在、Rnn = 2, 19, 23, 317, 1031, 49081, 86453, 109297 の場合に素数となることが証明されている。しかし桁数が大きい確率的素数 (PRP, probable prime) は素数判定が困難であり、例えば2022年3月に素数であることが証明された R49081 は、1999年9月にハーヴェイ・ダブナーが確率的素数として発見してからポール・アンダーウッドによって素数判定されるまで22年6月を要した[12]。2023年5月に素数であることが証明された R86453 は、2000年10月にリュー・バクスターが確率的素数として発見してからアンドレアス・エンゲによって素数判定されるまで22年7月を要した[13]

2007年3月26日、ハーヴェイ・ダブナーは n=109297の場合が確率的素数であると発表し[14]、その後n≦200000にはそれ以外の PRP は見つかっていないと報告している[15][リンク切れ]。同年7月15日、マクシム・ヴォズニーはn=270343の場合が確率的素数であると発表した[16]

2021年4月19日、セルゲイ・バタロフとライアン・プロッパーはn=5794777を[17]、同年5月8日にn=8177207を確率的素数であると発表した[18]。発表時点ではそれぞれが知られている最大の確率的素数であった。

2025年5月29日、楕円曲線素数判定法によりn=109297の場合が素数であることが証明された。

Rn = (10n − 1) / 9
No.n[要出典]発見者素数判定
1 2BC 478- 素数
2 191908-06-27- 素数
3 231933-01-23- 素数
4 3171978-05-16ヒュー・ウィリアムズ 素数
5 10311986-10-05ヒュー・ウィリアムズ、ハーヴェイ・ダブナー 素数
6 490811999-09-09ハーヴェイ・ダブナー 素数
7 864532000-10-26リュー・バクスター 素数
8 1092972007-03-26ハーヴェイ・ダブナー 素数
9 2703432007-07-11マクシム・ヴォズニー 確率的素数
10 57947772021-04-19セルゲイ・バタロフ、ライアン・プロッパー 確率的素数
11 81772072021-05-08セルゲイ・バタロフ、ライアン・プロッパー 確率的素数

(オンライン整数列大辞典の数列 A004023)

レピュニットの素因数分解

[編集]

レピュニットは、25を除く素数の積で構成されている[19]

基数 10 のレピュニットの R1 から R150 までの素因数分解の一覧を示す[20]

n素数の場合は背景のセルを水色にして示す。

素因数の数(含重複)

2022年末現在、素因数分解が完全には計算されていない最小のレピュニットは、n=353に当たる数である。

基数10 のレピュニット Rn (n=1~150) の素因数分解の表
n素因数分解
 
101
2111 (素数)
323・37
4211・101
5241・271
653・7・11・13・37
72239・4649
8411・73・101・137
9432・37・333667
10411・41・271・9091
11221649・513239
1273・7・11・13・37・101・9901
13353・79・265371653
14411・239・4649・909091
1563・31・37・41・271・2906161
16611・17・73・101・137・5882353
1722071723・5363222357
189327・11・13・19・37・52579・333667
1911111111111111111111 (素数)
20711・41・101・271・3541・9091・27961
2173・37・43・239・1933・4649・10838689
227112・23・4093・8779・21649・513239
23111111111111111111111111 (素数)
24103・7・11・13・37・73・101・137・9901・99990001
25541・271・21401・25601・182521213001
26611・53・79・859・265371653・1058313049
27733・37・757・333667・440334654777631
28811・29・101・239・281・4649・909091・121499449
2953191・16763・43037・62003・77843839397
30133・7・11・13・31・37・41・211・241・271・2161・9091・2906161
3132791・6943319・57336415063790604359
321111・17・73・101・137・353・449・641・1409・69857・5882353
3363・37・67・21649・513239・1344628210313298373
34611・103・4013・2071723・5363222357・21993833369
35741・71・239・271・4649・123551・102598800232111471
3612327・11・13・19・37・101・9901・52579・333667・999999000001
3732028119・247629013・2212394296770203368013
38311・909090909090909091・1111111111111111111
3963・37・53・79・265371653・900900900900990990990991
401111・41・73・101・137・271・3541・9091・27961・1676321・5964848081
41483・1231・538987・201763709900322803748657942361
42153・72・11・13・37・43・127・239・1933・2689・4649・459691・909091・10838689
434173・1527791・1963506722254397・2140992015395526641
4411112・23・89・101・4093・8779・21649・513239・1052788969・1056689261
451032・31・37・41・271・238681・333667・2906161・4185502830133110721
46611・47・139・2531・549797184491917・11111111111111111111111
47235121409・316362908763458525001406154038726382279
48133・7・11・13・17・37・73・101・137・9901・5882353・99990001・9999999900000001
494239・4649・505885997・1976730144598190963568023014679333
501011・41・251・271・5051・9091・21401・25601・182521213001・78875943472201
5183・37・613・210631・2071723・52986961・5363222357・13168164561429877
52911・53・79・101・521・859・265371653・1058313049・1900381976777332243781
534107・1659431・1325815267337711173 ・7198858799491425660200071
5414337・11・13・19・37・757・52579・333667・70541929・14175966169・440334654777631
55841・271・1321・21649・62921・513239・83251631・1300635692678058358830121
561211・29・73・101・137・239・281・4649・7841・909091・121499449・127522001020150503761
5763・37・21319・10749631・1111111111111111111・3931123022305129377976519
58811・59・3191・16763・43037・62003・77843839397・154083204930662557781201849
5922559647034361・4340876285657460212144534289928559826755746751
60203・7・11・13・31・37・41・61・101・211・241・271・2161・3541・9091・9901・27961・2906161・4188901・39526741
617733・4637・329401・974293・1360682471・106007173861643・7061709990156159479
62511・2791・6943319・57336415063790604359・909090909090909090909090909091
631432・37・43・239・1933・4649・10837・23311・45613・333667・10838689・45121231・1921436048294281
641511・17・73・101・137・353・449・641・1409・19841・69857・976193・5882353・6187457・834427406578561
65741・53・79・271・265371653・162503518711・5538396997364024056286510640780600481
66153・7・112・13・23・37・67・4093・8779・21649・513239・599144041・183411838171・1344628210313298373
673493121・79863595778924342083・28213380943176667001263153660999177245677
681011・101・103・4013・2071723・28559389・1491383821・5363222357・21993833369・2324557465671829
6963・37・277・203864078068831・11111111111111111111111・1595352086329224644348978893
701211・41・71・239・271・4649・9091・123551・909091・4147571・102598800232111471・265212793249617641
712241573142393627673576957439049・45994811347886846310221728895223034301839
7218327・11・13・19・37・73・101・137・3169・9901・52579・98641・333667・99990001・999999000001・3199044596370769
73312171337159・1855193842151350117・49207341634646326934001739482502131487446637
74711・7253・2028119・247629013・422650073734453・296557347313446299・2212394296770203368013
75123・31・37・41・151・271・4201・21401・25601・2906161・182521213001・15763985553739191709164170940063151
76611・101・722817036322379041・909090909090909091・1111111111111111111・1369778187490592461
778239・4649・5237・21649・42043・513239・29920507・136614668576002329371496447555915740910181043
78153・7・11・132・37・53・79・157・859・6397・216451・265371653・1058313049・388847808493・900900900900990990990991
796317・6163・10271・307627・49172195536083790769・3660574762725521461527140564875080461079917
801511・17・41・73・101・137・271・3541・9091・27961・1676321・5070721・5882353・5964848081・19721061166646717498359681
811334・37・163・757・9397・333667・2462401・440334654777631・676421558270641・130654897808007778425046117
82711・83・1231・538987・2670502781396266997・3404193829806058997303・201763709900322803748657942361
8333367147378267・9512538508624154373682136329・346895716385857804544741137394505425384477
84213・72・11・13・29・37・43・101・127・239・281・1933・2689・4649・9901・226549・459691・909091・10838689・121499449・4458192223320340849
85741・271・2071723・262533041・5363222357・8119594779271・4222100119405530170179331190291488789678081
86811・173・1527791・57009401・2182600451・1963506722254397・2140992015395526641・7306116556571817748755241
87103・37・3191・4003・16763・43037・62003・72559・77843839397・310170251658029759045157793237339498342763245483
8815112・23・73・89・101・137・617・4093・8779・21649・513239・1052788969・1056689261・16205834846012967584927082656402106953
895497867・103733951・104984505733・5078554966026315671444089・403513310222809053284932818475878953159
9022327・11・13・19・31・37・41・211・241・271・2161・9091・29611・52579・238681・333667・2906161・3762091・8985695684401・4185502830133110721
911253・79・239・547・4649・14197・17837・4262077・265371653・43442141653・316877365766624209・110742186470530054291318013
921011・47・101・139・1289・2531・18371524594609・549797184491917・11111111111111111111111・4181003300071669867932658901
9363・37・2791・6943319・57336415063790604359・900900900900900900900900900900990990990990990990990990990991
94611・6299・35121409・4855067598095567・297262705009139006771611927・316362908763458525001406154038726382279
95841・191・271・59281・63841・1111111111111111111・1289981231950849543985493631・965194617121640791456070347951751
96223・7・11・13・17・37・73・97・101・137・353・449・641・1409・9901・69857・206209・5882353・99990001・66554101249・75118313082913・9999999900000001
97312004721・846035731396919233767211537899097169・109399846855370537540339266842070119107662296580348039
98811・197・239・4649・909091・505885997・1976730144598190963568023014679333・5076141624365532994918781726395939035533
991232・37・67・199・397・21649・34849・333667・513239・1344628210313298373・362853724342990469324766235474268869786311886053883
1001711・41・101・251・271・3541・5051・9091・21401・25601・27961・60101・7019801・182521213001・14103673319201・78875943472201・1680588011350901
10134531530181816613234555190841・129063282232848961951985354966759・18998088572819375252842078421374368604969
102163・7・11・13・37・103・613・4013・210631・2071723・52986961・5363222357・21993833369・291078844423・13168164561429877・377526955309799110357
10331031・7034077・153211620887015423991278431667808361439217294295901387715486473457925534859044796980526236853
1041311・53・73・79・101・137・521・859・1580801・265371653・1058313049・1900381976777332243781・632527440202150745090622412245443923049201
105173・31・37・41・43・71・239・271・1933・4649・123551・2906161・10838689・30703738801・625437743071・102598800232111471・57802050308786191965409441
106611・107・1659431・1325815267337711173・47198858799491425660200071・9090909090909090909090909090909090909090909090909091
1078643・999809・9885089・215257037・2386760191・511399538427507881・646826950155548399・10288079467222538791302311556310051849
10820337・11・13・19・37・101・109・757・9901・52579・153469・333667・70541929・14175966169・999999000001・440334654777631・59779577156334533866654838281
10941192679・712767480971213008079・5295275348767234696493・246829743984355435962408390910378218537282105150086881669547
11018112・23・41・271・331・1321・4093・5171・8779・9091・21649・62921・513239・83251631・20163494891・318727841165674579776721・1300635692678058358830121
11193・372・2028119・247629013・30557051518647307・2212394296770203368013・8845981170865629119271997・90077814396055017938257237117
1121711・17・29・73・101・113・137・239・281・4649・7841・909091・5882353・121499449・73765755896403138401・127522001020150503761・119968369144846370226083377
1133227・908191467191・53895712312217719065267103426685397298498705173449226555003346881878523705781079015749721646701723
114123・7・11・13・37・21319・1458973・10749631・909090909090909091・1111111111111111111・3931123022305129377976519・ 753201806271328462547977919407
115841・271・31511・19707665921・20414137203567631・11111111111111111111111・5799951513941382144830754391・122403569491783662720773144041
1161311・59・101・349・3191・16763・38861・43037・62003・618049・77843839397・154083204930662557781201849・ 1181180637520183640867963573625866958318­7541
1171232・37・53・79・333667・265371653・240396841140769・537947698126879・3352825314499987・900900900900990990990991・ 2304017384484085131816292573
118611・1889・2559647034361・1090805842068098677837・4411922770996074109644535362851087・4340876285657460212144534289928559826755­746751
1198239・4649・923441・2071723・5363222357・3924966376871・768736559421401249042753476963・3230129421485627516508145444373504546404­48842187
120263・7・11・13・31・37・41・61・73・101・137・211・241・271・2161・3541・9091・9901・27961・1676321・2906161・4188901・39526741・99990001・5964848081・100009999999899989999000000010001
121 6 15973・21649・38237・274187・513239・597149176209530412360795391497657340159943421992502538230831481682232969649167277637825641074323
122 10 11・733・4637・81131・329401・974293・1360682471・106007173861643・7061709990156159479・11205222530116836855321528257890437575145023592596037161
123 10 3・37・83・1231・538987・1811791・626920594693・9425856976319889649・201763709900322803748657942361・8414640003465161203119978906558054839526493
124 10 11・101・2791・2049349・6943319・57336415063790604359・909090909090909090909090909091・483128549554512237305554588359039822397307149685578249
125 9 41・271・751・21401・25601・1797655751・182521213001・176144543406001・42051775804956304559810859008305819975199677041099230574273451704628125001
126 26 32・72・11・13・19・37・43・127・239・1933・2689・4649・10837・23311・45613・52579・333667・459691・909091・5274739・10838689・45121231・1921436048294281・189772422673235585874485732659
127 3 18797・90679・651871849785243820958119684233142982170536938147349501049955875423544371888519632103159753836519854149224951224466197
128 18 11・17・73・101・137・353・449・641・1409・19841・69857・976193・5882353・6187457・1265011073・834427406578561・15343168188889137818369・515217525265213267447869906815873
129 9 3・37・173・1527791・210769832431・1963506722254397・2140992015395526641・407429732767505248479163・10490974994611747848197172839956039870723832569747
130 13 11・41・53・79・131・271・859・9091・265371653・1058313049・162503518711・5538396997364024056286510640780600481・8396862596258693901610602298557167100076327481
131 9 80173・109517・141811693・446790173・7370364319027・15594845538029429933・7317723970031057677693・131758351065116151205213・180222062287834025451247081
132 23 3・7・112・13・23・37・67・89・101・4093・8779・9901・21649・513239・599144041・1052788969・1056689261・5419170769・183411838171・789390798020221・2361000305507449・1344628210313298373
133 6 239・1597・4649・2021015460335957・1111111111111111111・278848299862043143754907679390585776516393006235209786029420958416508667488018611321233079
134 5 11・493121・79863595778924342083・28213380943176667001263153660999177245677・909090909090909090909090909090909090909090909090909090909090909091
135 18 3^3・31・37・41・271・757・238681・333667・1577071・2906161・16357951・310362841・258360989311・440334654777631・4185502830133110721・483418418597220677238517353915231961831
136 14 11・73・101・103・137・4013・2071723・28559389・152533657・1491383821・5363222357・21993833369・2324557465671829・65552746171882583264230070868884366877803237222654400793
137 5 2467・2535528323・1029879756928762117455431・140175894162990609843314797・12304388013741766748587780409670226810319992722055173127328805633899245853
138 16 3・7・11・13・37・47・139・277・2531・31051・143574021480139・203864078068831・549797184491917・11111111111111111111111・24649445347649059192745899・1595352086329224644348978893
139 2 119124859925363・9327281575040435942820030416618073853906181206383845973140973454310325710523151012873614569275960380714495413018734336834397
140 23 11・29・41・71・101・239・271・281・421・3541・4649・9091・27961・123551・909091・3471301・4147571・13489841・121499449・60368344121・102598800232111471・265212793249617641・848654483879497562821
141 7 3・37・283・35121409・721030498171501831・316362908763458525001406154038726382279・441506346488360048482114135141919313523563714948107161215664533500695867
142 5 11・290249・241573142393627673576957439049・45994811347886846310221728895223034301839・31321069464181068355415209323405389541706979493156189716729115659
143 9 53・79・21649・513239・2823679・180523201・265371653・47428676444591705727929369346443・37226581283489953701472184267606576037130878873797366013283473311751294203
144 23 32・7・11・13・17・19・37・73・101・137・3169・8929・9901・52579・98641・333667・5882353・99990001・999999000001・3199044596370769・9999999900000001・111994624258035614290513943330720125433979169
145 11 41・271・3191・16763・43037・62003・9605671・77843839397・15589280974996818911・80684370001269698853996151670133742711・744909731145732233993613931089059528977143716201
146 7 11・293・12171337159・1855193842151350117・10826684964539959837294043117・286578888976194997999922592330908602103011・49207341634646326934001739482502131487446637
147 14 3・37・43・239・1933・4649・63799・4715467・10838689・505885997・267652966241599・2603941883787374089・1976730144598190963568023014679333・4769337181464959147997704753876850429427
148 14 11・101・149・3109・7253・111149・2028119・247629013・708840373781・422650073734453・296557347313446299・669031686661427842829・2212394296770203368013・40548140514062774758071840361
149 3 12517・535596779200919・1657369267941336519589012993557140069891364992082365534700548884452551757186137655887808209563554371273008938334507277118593589757
150 23 3・7・11・13・31・37・41・151・211・241・251・271・2161・4201・5051・9091・21401・25601・2906161・182521213001・78875943472201・15763985553739191709164170940063151・10000099999999989999899999000000000100001

一般化

[編集]

10以外の基数に対してもレピュニットを定義することができる。基数 a に対して n 桁のレピュニットは と定義される。

前述のとおり、a = 2 のときのレピュニットはメルセンヌ数である。また、a が素数ならば、これは an1約数の和に一致する。

基数 a ≤ 100 のレピュニットが累乗数となるのは R5(3) = 112, R4(7) = 202, R3(18) = 73 の場合しかない(Bugeaud 1999b[21])。

Fd(x) を d 次の円分多項式とすると、

と表すことができる。

脚注

[編集]

注釈

[編集]
  1. アルバート・ベイラーは、次のとおりに記している:
    A number which consists of a repeated of a single digit is sometimes called a monodigit number, and for convenience the author has used the term “repunit number”(repeated unit) to represent monodigit numbers consisting solely of the digit 1.
    A. H. Beiler、1964[1]

出典

[編集]
  1. Beiler 1964, p. 83.
  2. Yann Bugeaud; M. Mignotte (1999). “On integers with identical digits”. Mathematika 46: 411–417.
  3. 电算游戏(六)“901”型的等式队列_屏山老马_新浪博客
  4. 电算游戏(六)之二“9090…91”型数等式队列_屏山老马_新浪博客
  5. 1111…1という数(レピュニット)の素因数分解を納得する - アジマティクス
  6. Aufgaben und Lösungen 1. Runde 2016
  7. Factors of 10n − 1,10 n + 1,2n − 1 and 2 n + 1.
  8. World!Of Numbers
  9. Number Theory の話題(Repunit Number と Zsigmondy's Theorem)
  10. nombre - onze en maths
  11. persistance et repdigits
  12. Paul Underwood (2022年3月21日). R49081 is prime!”. MersenneForum. 2022年3月29日閲覧。
  13. Prime pages: R(86453)
  14. Harvey Dubner, R109297 に関するアナウンス、Number Theory List
  15. Yahoo! Groups (英語). groups.yahoo.com. 2018年4月6日閲覧。
  16. Maksym Voznyy, R270343 に関するアナウンス、Number Theory List
  17. New repunit (PRP) primes found”. MersenneForum (2021年4月19日). 2022年3月29日閲覧。
  18. It is R8177207”. MersenneForum (2021年5月8日). 2022年3月29日閲覧。
  19. レプユニット数』 - 高校数学の美しい物語
  20. 鎌田誠. 11...11 (レピュニット) の素因数分解”. STUDIO KAMADA. 2022年3月29日閲覧。
  21. Yann Bugeaud, On the Diophantine equation , Number Theory (Turku, 1999), de Gruyter, 2001, pp. 19–24.

参考文献

[編集]

関連項目

[編集]

外部リンク

[編集]