é¢çœçŽ æ°ãæ¢ãããŒãã§ããæ°aã®åŸã«1ãé£ç¶ããŠç¶ããã®ã話é¡ã«æãã£ãŠããã®ã§
ã§ã¯æ°aã®åŸã«3,7,9ãç¶ãã¿ã€ãã«ã€ããŠèª¿ã¹ãŠè²°ããŸãã
(1)aã3ã§ã¯å²ããªã100ãŸã§ã®æŽæ°ãšã
ãã®åŸã«é£ç¶ããŠ3ã䞊ã¹ãŠè¡ããšã,åããŠçŽ æ°ã«ãªããã®ãæ¢ãã
a3
a33
a333
a3333

æã3ã䞊ã¶aã¯äœïŒ
(2)ïœã7ã§ã¯å²ããªã100ãŸã§ã®æŽæ°ãšã
ãã®åŸã«é£ç¶ããŠ7ã䞊ã¹ãŠè¡ããšã
b7
b77
b777
b7777

æã7ã䞊ã¶bã¯äœïŒ
(3)cã3ã§ã¯å²ããªã100ãŸã§ã®æŽæ°ãšã
ãã®åŸã«é£ç¶ããŠ9ã䞊ã¹ãŠè¡ããšã
c9
c99
c999
c9999

æã9ã䞊ã¶cã¯äœïŒ
(1) a=40 (3ã483å)
(2) b=95 (7ã2904å)
(3) c=97 (9ã90å)
(2)ã¯ã¡ãã£ãšæéãããããŸããã
æããã«A112394ãA113076ã§ã®ããŒã¿ã¯äžè¶³ããŠããŸããã
(2)bãããã€ãŸã§7ã䞊ã¹ããšããã®ãã¯ãèªåã®ããã°ã©ã ãšã¹ããã¯ã§ã¯æã«å
¥ããããšã¯ã§ããŸããã§ããã
(862*10^2904-7)/9ã§ã®çŽ æ°å€å®ã ãã§ãäžå€ã®æéãå¿
èŠã§ããã
å¯èœãªéãããããããã«è£å
ããŠãããããšæé£ãã§ãã
ããã§ã¯ã
1234567890123456789012345678901ã»ã»ã»8901
1234567890123456789012345678901ã»ã»ã»567
ã¯ã©ããªãã§ãããïŒçŽ æ°ã«ã¯ãªããªãã®ã§ããããïŒãã ãã
1234567890123456789012345678901ã»ã»ã»890123ã¯3ã®åæ°
1234567890123456789012345678901ã»ã»ã»012345ã¯5ã®åæ°
1234567890123456789012345678901ã»ã»ã»456789ã¯3ã®åæ°
ã§ãã
(%i32) factor(12345678901234567890123456789012345678901234567890123456789012345678901234567);
(%o32) 7ã8447ã15511ã 13460916961858847299449477233189774374173209263392110114539531835993
ãšçµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
Ïã¯ãäœåæ¡ãæ±ããããŠãããšæããŸãããã®äžéšåãåãåºããããé·å€§ãªçŽ æ°ã«ãªãã®ã§ã¯ãªãã§ããããïŒ
ãŸããâ2ãâ3ãåãããã®äžéšãåãåºããããé·å€§ãªçŽ æ°ã«ãªãã®ã§ã¯ãªãã§ããããïŒ
å°æ°ç¹ãé ãšããé ãããããã€ãè¡ã£ããšããããå§ããŠãããããäœåæ¡ã®çŽ æ°ã«ãªããšããšããçºèŠãå¯èœã§ã¯ãªãã§ããããïŒ
ãããã話ã¯ããªãã®ã§ããããïŒ
ãããŸããhttps://oeis.org/A005042
3,31,314159,31415926535897932384626433832795028841,
ãã以äžã¯https://oeis.org/A060421ãåç
§ã®ããš
ãªã
â2==>A115377
â3==>A119344
äœã§ã調æ»æžã¿ã§ãã
GAIæ§ããã¯ããããããŸãã
ããããšãããããŸãã調æ»äžã§ããã
ããã§ããããªãã ããªãããšãèããŸããã
Ïã®äœåæ¡ãæå·æãšããŠèŠãã°ãäœèªããããŸããããããæç« ãçºèŠããããããããŸãããã
ãŸããÏã®äœåæ¡ãããããšãå°æ°ç¹ãé€ããäœæ¡ãã®Ïãšããå°æ°ç¹ãé€ããäœæ¡ãã®âïŒãšãâïŒãèŠã€ãããããããŸãããã
ãããã¯ãÏã®äœåæ¡ãããããšãã»ãšãã©ã®çŽ æ°ãå«ãŸããŠãããããããŸãããããããšãããªãæ¹ã¯ãçŽ æ°ãçºçããåŒãèŠã€ããããšå¥®éãããŠãããšæããŸãããããã¯ãÏã®äœæ¡ç®ã«ãããšããé¢æ°ãªã®ãããããŸãããããããã¯âïŒãããããŸããã
> å¯èœãªéãããããããã«è£å
ããŠãããããšæé£ãã§ãã
ã7ãã ãã§ããããå¯èœãªéãã調ã¹ãŸããã®ã§ãé·æéããã£ãŠããŸããŸããã
ïŒå®éã¯ããã¶ãåã«ã¢ããããŠããã®ã§ããããªããªãç»é²ãããŸããã§ãããïŒ
A113076ã¯b-file(LINKSã«ãããæ°ãçŸ
åãããã¡ã€ã«)ã®æ¡æ°å¶é(æ倧1000æ¡)ã§a(94)ãŸã§ããè¿œå ã§ããŸããã§ããããA090464(è¿œå æ¡æ°â§0)ã®b-fileã¯a(4443)ãŸã§æ¡å
ãããŸãA363922(è¿œå æ¡æ°ïŒ0)ã®ããŒãžãæ°èŠè¿œå ããŸãããa(4444)ã300000ãè¶
ããããšãå€æããŠãã以äžã¯ããŸãã«ãæéãããããŸãã®ã§ã4443ãŸã§ã§çµäºãšããŸãããå®éã¯æªè§£æ±ºã®9åãé€ã10000ãŸã§èª¿æ»æžã¿ã§ãã
å€æããŠããæ倧æ¡æ°ã¯a(2174)ã®94146æ¡ïŒ2174ãåãããŠ94150æ¡ïŒã§ãã
ãã®åŸãã1ãã3ãã9ããé 次調æ»ããŠæŽæ°ã»è¿œå ããäºå®ã§ãããæ°ã¶æããã(ããã)ãšæããŸãã
2038ã®åŸã«76206åã®
2174ã®åŸã«94146åã®
7ãé£ç¶ããŠç¶ããŠããæŽæ°ãçŽ æ°ã ãªããŠããã£ããŸãïœãã§ãã
ãããªå€å®ãã§ããã®ã¯äžçåºããšããã©ããããããããã®æ ¹æ§ãšæè¡åãç¡ããã°èª°ãèŠã€ããããŸããã
ããããèŠã€ãã(æåã4443ãŸã§ãš,4444ãªã300000以äžãå€æããã)ã®ã«ãã©ãã»ã©ã®æéãè²»ããããã®ã
æ³åããã ãã§æãå
¥ããŸãã
äœæ°ãªããé¡ãããŠããããšã«ããããŸã§ã®çµæãåºãããŠããããšã«é©ããšæè¬ãããããŸããã
ãç²ãæ§ã§ããã
ãããèšç®ããã«ããã£ãŠ
ã»å€åé·æŽæ°æŒç®ã©ã€ãã©ãªãæ°èŠã«äœæïŒä»ãŸã§ã¯å€åé·æµ®åå°æ°ç¹ã©ã€ãã©ãªãããªãã£ãã®ã§æŽæ°å°çšãäœãé«éåïŒ
ã»ä»ãŸã§ã®å€åé·ä¹ç®ã§ã¯é¢åã§å°å
¥ããŠããªãã£ãFFTïŒé«éããŒãªãšå€æïŒãçµã¿èŸŒã¿ïŒ1äžæ¡çšåºŠãŸã§ãªãäžèŠïŒ
ã»1åäžä»¥äžã®çŽ æ°ã§å²ãåãããã®ã¯äºãé€å€ããŠå€åé·æŒç®ãã®ãã®ã極ååæžïŒmodå€ãé 次æŽæ°ããŠããã ããªã®ã§ãå®éã«çŽ æ°ã§å²ãå¿
èŠã¯ãããŸããïŒ
ã®ããã«é«éåããŸããããããã ãã§ã¯éçããããŸãã®ã§ãããã«
ã»ä»åããã®èšç®ã®ããã«æ°èŠã«èšç®å°çšã®PCã3å°è³Œå
¥ïŒèšç®ã®ããã ãã«PCãè²·ã£ãã®ã¯åããŠã§ãïŒ
ã»åPCã§ããã°ã©ã ã10åãã€èµ°ãããŠäžŠååŠçïŒèš30å; æè¿ã®CPUã¯ãã«ãã³ã¢ãªã®ã§10åçšåºŠãŸã§ã¯é床ãèœãšããã«å®è¡ã§ããŸãããã ãçµæ§åäœå·®ããïŒ
ãããŸã§ãã£ãŠãa(4444)ïŒ300000ãå€æãããŸã§ã®æéã¯çŽ40æ¥ã§ããïŒãã¡ãã4444ã ãã§ïŒã100000ããããŸã§ãªã確ã1æ¥çšåºŠãªã®ã§ã1ïœ4443ã§ã¯ãããŸã§é·ãã¯ããã£ãŠããŸããã
çŸåšã¯603111111âŠ111ã«ã€ããŠæ¢çŽ¢ããŠããŸããããã300000ãŸã§ã«èŠã€ãããªããã°æ¥æäžæ¬é ã«ã¯ã1ãé¢é£ã®ããŒãžãæŽæ°ã§ãããšæããŸããïŒããèŠã€ãã£ãå Žåã¯æ¬¡ã«äžæãª1244111111âŠ111ã®èšç®ã«ãªããŸãã®ã§ããã£ãšé·ãããããŸããïŒã3ããšã9ãã¯ä»ã®ãšããæã€ããã§ãã
ã¡ãã£ãšè©±ãéããŸããã
ïŒ1234567890123456789012345678901ã»ã»ã»567
ã§ãã£ãŠã¿ãŸããã
(%i4) factor(12345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o4) 7 22229 58451 91323843166753 1990289443773271 7468005800688525073486113025183942276805679123737127564644625926404936359354114288935222591868553
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i5) factor(123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o5) 631 5413 133213 19937882851 22511505301 604529370799796892383085706399069630409601290548904107518265435457728186392127157076941192587811013089187039118303
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i6) factor(1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o6) 24668354456687 50046625213332582312185428362841227475057792866410709644283257782383939219990720166646582114446721658977604048443630200444602932959332314779241
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i7) factor(12345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o7) 7^2 787 39791 244340699 910633689019 36159280989337321377309448741186358341776718452915799331494698971926272005467216114866777090024304770574299681869120301678721329071609179
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
factor(1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o1) 138780728882459 116440997068804427 76397632003200217489806493381147875115209465514196615784322229565099172143805359444696611232924888005328711450866017803901010900944384286261280751361319919
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i1) factor(123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o1) 269 63781 7195672238591621160281593683527750936596082568488234488256727202195489709570131695100951573046965543650538789023858761245771750033606847810909797570562433801503993228624111850669430196275662634009703
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i2) factor(1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o2) 89 127 487 4540348633 566543368152613 322336577746565069 270495681483446667140074768876393257376360696738928608979826433633902212692284874597775695906434267559218977052438054523604201442887500336882812654336340885938636435247
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i1) factor(123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o1) 8009 29867 341717377749311 979093487643182053 1542601874113179841341127819855964827942526924719304208787550225284300651193155354184766603738308053817122387392606512334721372012409813687783393202126991759536107515603379271597006409742228112983
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
(%i2) factor(1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567);ãçŽ å æ°å解ããã
(%o2) 43 28710881165661785790984783230261269020700545506721217341369796152741630778064860752225090726385299770312948581682457648865920183491243181139821992532586850416049382716023542922765144989950933103646256101062300028710881165661785790984783230261269
çµæ§å€§ããªçŽ æ°ãèŠã€ãããŸããã
è¿œå ç·šéæžã¿ã