ãšã€ãã¯ã£ãŒã³ããºã«ãšèšã£ãŠäžè¬ã«nXnã®boardã«nåã®ç³ãé
眮ã
ãäºãã®ç³ãã¶ã€ãããªã(çžŠãæšªãæã)ããã«ç³ãé
眮ãããã®ãšããã
ããŠé
眮ã§ãããã¿ãŒã³ã§ãã®äžã«ç³ãå
šã眮ãããŠããªãé·æ¹åœ¢ã§ã®éšåã®é¢ç©ã
æå€§ã«ãªãã倧ããã¯ã©ãã ãåãããã®ãåºæ¥ããïŒ
ïŒãªã1ãã¹ã®å€§ããã1ãšããŠããã)
ïœ=6,7,8ã«ã€ããŠæ±ããŠäžããã
åºæ¥ãã°ãã®æã®é
眮ãã¿ãŒã³ã
(n=9ãèããŠãããã§ãã,äœãã«ãã¿ãŒã³ãããéããŠæãã€ããããŠããŸããã)
1âã®çä¹³ããã¯ã®ãµã€ãºã¯åºèŸºã7cmÃ7cmãé«ãã19.5cmã®èŠæ Œã§äœãããŠããã
äœããã®äžã«ã¯éããããã®å±æ ¹äžã®æ§é ã«ãªã£ãŠããã
æã§çŽæ¹äœã§ããéšåã®äœç©ã¯7*7*19.5=955.5(ml)
ãªã®ã§1(â)=1000(ml)ãšãªãåããªãã
ããã¯äœæ
ã§ããããïŒ
çä¹³ãå
¥ãããšåŽé¢äžå€®ãããããçŽ2mmèšããããã§ã(AIã®åç)ã
ãã®æ²ç·ãå匧ãšããŠèšç®ãããšãæé¢ç©ã49â52.7ãšãªãã
19.5ãæãããš1000ãè¶
ããŸãã
ã¯ãçä¹³ãå
¥ãããšåŽé¢ãå
ãã«èšãã¿ãããã¿ãª1âãæ³šãããšã«ãªãããã§ãã
å·¥æ¥ãã¶ã€ã³ãšã¯ããèããããŠãããã®ã§ããã
ããããã°çŒ¶ã³ãŒããŒã®ãã«ããããåŒã£åŒµã£ãŠåããããããã«é察称çãªå圢æ§é ãããŠããŸããã
1=1!
1+1=2!
1+2+2+1=3!
1+3+5+6+5+3+1=4!
1+4+9+15+20+22+20+15+9+4+1=5!
1+5+14+29+49+71+90+101+101+90+71+49+29+14+5+1=6!
1+6+20+49+98+169+259+359+455+531+573+573+531+455+359+259+169+98+49+20+6+1=7!
1+7+27+76+174+343+602+961+1415+1940+2493+3017+3450+3736+3836+3736+3450+3017+2493+1940+1415+961+602+343+174+76+27+7+1=8!
1+8+35+111+285+628+1230+2191+3606+5545+8031+11021+14395+17957+21450+24584+27073+28675+29228+28675+27073+24584+21450+17957+14395+11021+8031+5545+3606+2191+1230+628+285+111+35+8+1=9!
1+9+44+155+440+1068+2298+4489+8095+13640+21670+32683+47043+64889+86054+110010+135853+162337+187959+211089+230131+243694+250749+250749+243694+230131+211089+187959+162337+135853+110010+86054+64889+47043+32683+21670+13640+8095+4489+2298+1068+440+155+44+9+1=10!
-----------------------------------------------------------------------------
1=1!
1+1=2!
1+4+1=3!
1+11+11+1=4!
1+26+66+26+1=5!
1+57+302+302+57+1=6!
1+120+1191+2416+1191+120+1=7!
1+247+4293+15619+15619+4293+247+1=8!
1+502+14608+88234+156190+88234+14608+502+1=9!
1+1013+47840+455192+1310354+1310354+455192+47840+1013+1=10!

å¹³æ¹æ°ã§æ§æ
1^2=1!
1^2+1^2=2!
1^2+2^2+1^2=3!
1^2+3^2+2^2+3^2+1^2=4!
1^2+4^2+5^2+6^2+5^2+4^2+1^2=5!
1^2+5^2+9^2+5^2+10^2+16^2+5^2+10^2+9^2+5^2+1^2=6!
1^2+6^2+14^2+14^2+15^2+35^2+21^2+21^2+20^2+35^2+14^2+15^2+14^2+6^2+1^2=7!
1^2+7^2+20^2+28^2+14^2+21^2+64^2+70^2+56^2+42^2+35^2+90^2+56^2+70^2+14^2+35^2+64^2+28^2+21^2+20^2+7^2+1^2=8!
1^2+8^2+27^2+48^2+42^2+28^2+105^2+162^2+84^2+120^2+168^2+42^2+56^2+189^2+216^2+216^2+168^2+84^2+70^2+189^2+120^2+162^2+42^2+56^2+105^2+48^2+28^2+27^2+8^2+1^2=9!
1^2+9^2+35^2+75^2+90^2+42^2+36^2+160^2+315^2+288^2+225^2+450^2+252^2+210^2+84^2+350^2+567^2+300^2+525^2+768^2+210^2+300^2+252^2+126^2+448^2+525^2+567^2+450^2+288^2+42^2+126^2+350^2+225^2+315^2+90^2+84^2+160^2+75^2+36^2+35^2+9^2+1^2=10!
--------------------------------------------------------------------------------------
2ã€ã®æŽæ°A,Bã®æå€§å
¬çŽæ°gcd(A,B)ã«ã€ããŠäžæè°ãªããšã
äžè¬ã«n,cãèªç¶æ°ãšãrâ§2ãããšã
gcd(n^r+c,(n+1)^r+c)
ã«ã¯äºæ³ãã€ããªãå€åãèµ·ãã£ãŠããã
gcd(n^3+2,(n+1)^3+2)
ã§ã¯
n=109*k-58 (k=1,2,3,)ã«éã109ãšãªããã以å€ã®nã§ã¯ãã¹ãŠ1(ïŒæ°ã¯äºãã«çŽ ïŒãšãªãã
ãŸã
gcd(n^5+2,(n+1)^5+2)
ã§ã¯
n=52501*k-12168 (k=1,2,3,)ã«éã52501ãšãªããã以å€ã®nã§ã¯ãã¹ãŠ1ã
ããã«
gcd(n^5+3,(n+1)^5+3)
ã§ã¯
n=41*k-12 (k=1,2,3,)ã«éã41ãšãªããã以å€ã®nã§ã¯ãã¹ãŠ1ãèµ·ããã
ããã§
[1]gcd(n^13+8,(n+1)^13+8)
[2]gcd(n^11+6,(n+1)^11+6)
ã®å€åãèŠã€ããŠæ¬²ããã
å€å
[1] n=32325229*k-3411452 ã®ãšã 32325229
[2] n=174878089*k-97513454 ã®ãšã 174878089
(远èš)
ãšããã§
gcd(n^5+3,(n+1)^5+3)㯠n=41*k-12 ã ãã§ã¯ãªãã§ããã
n=6311*k-2501ã®ãšãã«6311ã«ãªããšæããŸãã
ã€ãŸããgcd(n^5+3,(n+1)^5+3)ã¯
n=258751*k-236008 ⊠(1) ã®ãšã 258751
ïŒ41k-12ãš6311k-2501ã®å
±ééšåïŒ
(1)以å€ã§n=6311*k-2501 ã®ãšã 6311
(1)以å€ã§n=41*k-12 ã®ãšã 41
äžèšä»¥å€ã®ãšã 1
ãšãªãã®ã§ã¯ãªãã§ããããã
åæ§ã«ã
[1]㯠32325229 ã®ä»ã« 3185062281087740571181
[2]㯠174878089 ã®ä»ã« 833544852825037
ããããšæããŸãã
ãïœä»ã®æå€§å
¬çŽæ°ããããã§ããã
ãããªå€§ããªãã®ã¯å
šãäºæ³å€ã§ããã
ã§ã¯
gcd(n^17+9,(n+1)^17+9)ã®1以å€ã®å€ã¯èŠã€ãããŸããïŒ
> gcd(n^17+9,(n+1)^17+9)ã®1以å€ã®å€ã¯èŠã€ãããŸããïŒ
1658074432246579665377027434627058627273061920217757410397795384493223
352114972939771130346840082354341978716844306415221012933487999
ã®çŽ å æ°ã§ããããšãŸã§ã¯ããã£ãã®ã§ããããã®133æ¡ã®æ°ãçŽ å æ°åè§£ã§ããŠããªããããå
·äœå€ã¯ä»ã®ãšããããããŸããïŒãã°ãããããããã§ãããçŸåšèšç®äžã§ãïŒã
[8936582237915716659950962253358945635793453256935559 1]
[13621228647205028136235902561643175420131 2]
ã®åè§£ã«ãªãããã§ãã
ãªãã»ã©ãããã§ããã1以å€ã®å€ã¯
8936582237915716659950962253358945635793453256935559
ã ãã ãšæããŸããïŒçµéšçã«p^2ã®pã«ã¯ãªããªããããªã®ã§ïŒ
ãããã
n=8936582237915716659950962253358945635793453256935559*k-â ã®ãšãã ã
æå€§å
¬çŽæ°ã 8936582237915716659950962253358945635793453256935559
ã«ãªããšæããŸãããâãç¹å®ããæ¹æ³ã¯ããããŸããã
gcd(n^5+3,(n+1)^5+3)
ã«ãããŠ
n=29(ãã®åŸ41ã®éãã®éšå) ã§41
n=3810(ãã®åŸ6311ã®éãã®éšå) ã§6311
n=22743(ãã®åŸ258751ã®éãã®éšå) ã§258751
ãã®ä»ã®nã§ã¯ãã¹ãŠã1
ãããçºèŠããã®ã«çµçµåŒãäžæã䜿ããããšã«ãªã£ãŠããŸããã
çµçµåŒã¯ã·ã«ãã¹ã¿ãŒè¡åSã䜿ããŠ
[1 0 0 0 0 1 0 0 0 0]
[0 1 0 0 0 5 1 0 0 0]
[0 0 1 0 0 10 5 1 0 0]
[0 0 0 1 0 10 10 5 1 0]
[0 0 0 0 1 5 10 10 5 1]
[3 0 0 0 0 4 5 10 10 5]
[0 3 0 0 0 0 4 5 10 10]
[0 0 3 0 0 0 0 4 5 10]
[0 0 0 3 0 0 0 0 4 5]
[0 0 0 0 3 0 0 0 0 4]
ãã®è¡ååŒã
gp > matdet(S)
%4 = 258751
ãããå æ°åè§£ããŠ
gp > factor(%)
%5 =
[ 41 1]
[6311 1]
ãã
gcd=41,6311,258751ïŒãã®ä»ã¯1ãã¹ãŠ)ãèŠããã
ããã§ãããgcd(n^17+9,(n+1)^17+9)ã«äœ¿ããš
[1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
[0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
[0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 136 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
[0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 680 136 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0]
[0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2380 680 136 17 1 0 0 0 0 0 0 0 0 0 0 0 0]
[0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6188 2380 680 136 17 1 0 0 0 0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 12376 6188 2380 680 136 17 1 0 0 0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 19448 12376 6188 2380 680 136 17 1 0 0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 24310 19448 12376 6188 2380 680 136 17 1 0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 24310 24310 19448 12376 6188 2380 680 136 17 1 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 19448 24310 24310 19448 12376 6188 2380 680 136 17 1 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1 0 0 0 0 0]
[0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1 0 0 0 0]
[0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1 0 0 0]
[0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1 0 0]
[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1 0]
[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1]
[9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17]
[0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136]
[0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680]
[0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380]
[0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188]
[0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376]
[0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310 19448]
[0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310 24310]
[0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448 24310]
[0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376 19448]
[0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188 12376]
[0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380 6188]
[0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680 2380]
[0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136 680]
[0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17 136]
[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 17]
[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10]
ãããã
gp > matdet(%)
%13 = 8936582237915716659950962253358945635793453256935559
gp > factor(%)
%14 =
[8936582237915716659950962253358945635793453256935559 1]
å³ã¡çŽ æ°
ããã£ãŠ
gcd(n^17+9,(n+1)^17+9)
ã®å€ã¯
n=1,2,3,,8424432925592889329288197322308900672459420460792432 ãŸã§ãã¹ãŠã1
n=8424432925592889329288197322308900672459420460792433 ã§ãããªã8936582237915716659950962253358945635793453256935559
ãŸã次ããã¯ã1ãç¶ããŠãã
ã€ãã®8936582237915716659950962253358945635793453256935559ã ãé¢ãã
n=17361015163508605989239159575667846308252873717727992 ã§åã³ã8936582237915716659950962253358945635793453256935559
以äžåæ§
ãšããç©åãçŸè±¡ãèµ·ããããšã瀺ããŠããã®ã§ãããã
ã ããããã ã1ãç¶ããŠããŠããããªãããã¯ãªãããããªå€ã察å¿ããŠãããšæ³åã§ããã ãããïŒ
ãããæ¢æã®äºå®ã瀺ãããŠããŠããæ°åŠçåž°çŽæ³ã®æ§ãªéæ³ã®èšŒæã§ç€ºããªãéãçå®ã§ã¯ãªããšå¿ããŠãããªããšãããªããã ãš
ããèŠåãäžããŠãããŸãã
nãèªç¶æ°ãšãããšã
g=gcd(9^n+18,18^n+9)
ã®å€gã¯äœã§ããããïŒ
n=1 ã®ãšã g=27
nâ¡161 (mod 162) ã®ãšã g=1467
ãã以å€ã®ãšã g=9
ã§ããããã
ïŒnã倧ãããšãä»ã®å€ããšãïŒïŒ
ã¯ãã
ãã£ãšå€§ããªæã§æ¢ããŠãããçªç¶ãã以å€ãçŸããŸããã
ããããã以äžãããã®ãšèšããããäœãšãèšããªãã®ã§ããã»ã»ã»
å€å
nâ¡35281 (mod 37170) ã®ãšã g=334539
ã§ããã
ãã®äžã¯çŸåšæ¢çŽ¢äžã§ãã
ïŒãã°ããèŠã€ãããªããã°è«ŠããŸãïŒ
ãã®åŸãã°ããæ¢ããŸããããèŠã€ãããŸããã§ããã
ããããnïŒ1åã§ã¯ä»ã«ãªããšæããŸãã
10^5ãŸã§ã§3æé30åã»ã©
10^6ã§9æé30åã»ã©ã®æéããããã®ã§
ãªãŒããŒãäžæ¡äžãããšææ°é¢æ°çã«æèŠæéãå»¶ã³ã
åŸã£ãŠ10^9ãšããªããš243æé以äž(10æ¥ä»¥äž)ã®æéããããããã§ãã
(è£è©±)
æã§2024幎床ã€ã®ãªã¹ã§éå¬ãããåœéæ°åŠãªãªã³ããã¯å€§äŒã§
åé¡2ïŒå
šéšã§6é¡ã®åé¡ãåºããã)ã«
æ£ã®æŽæ°ã®çµ(a,b)ã§ãã£ãŠãæ¬¡ãæºããæ£ã®æŽæ°gãšNãååšãããããªãã®ããã¹ãŠæ±ããã
ãä»»æã®æŽæ°Nã«ã€ããŠgcd(a^n+b,b^n+a)=g ãæãç«ã€ã
(ãã ããæ£ã®æŽæ°x,yã«å¯Ÿããxãšyã®æå€§å
¬çŽæ°ãgcd(x,y)ã§è¡šãã)
ãã®è§£çã
æ±ããæ£ã®æŽæ°çµã¯(a,b)=(1,1)ã«éã
ã§ãããšãããïŒå
šåæ£è§£è
ããããšããã®ã ããããã¯ããã)
ãšããããšã¯å¿
ããããN以äžã®èªç¶æ°nãã¹ãŠã§äžå®ã®gã®å€ã§åºå®ããŠããŸãããšã¯èµ·ãããªãããã§
gcd(9^n+18,18^n+9)ã®å€ã¯9ãå§åçã«åºçŸåæ°ãèµ·ããããããã§èª¿æ»ããããã«
nâ¡-1 (mod 162)ã§ã¯g=1467
nâ¡-1889 (mod 37170)ã§ã¯g=334539
ïŒä»ã®ãšããä»ã¯äžæ)
ããã£ãšç¶ãã®ã ãããã®åäŸãšã¯ãªããªãã
ãã®åé¡ãç¥ã£ãŠ(a,b)ãããããå€ããŠèª¿æ»ããŠããæ
(a,b)=(6,18)==>ïŒãç¶ããn=49ã§366ãžç§»ã
(a,b)=(10,15)==>5ãç¶ããn=71ã§5045ãšãªã
(a,b)=(9,18)==>9ãç¶ããn=161ã§1467ãåºçŸ
ãšããããšã§(9,18)ã®å Žåãåºé¡ããŠãããŸããã
ãã®åé¡ã®æ£è§£ãžã®å°ãæ¹ãæ³åã«ãåã°ãªãã
æ¬æ¥å®ææ€èšºã«è¡ã£ããäœãšç·æ¥å ¥é¢ã«ãªã£ãŠããŸã£ãã1é±éã»ã©ã®å¹œéçæŽ»ã«ãªãããããããªããã§ãã°ããHPã®æŽæ°ããäŒã¿ããŸãã
ã©ããã倧äºã«âŠâŠã
ã倧äºã«ã»ã»ã»
ã©ããã身äœã«æ°ãã€ããŠâŠâŠ
ã倧äºã«ãªãã£ãŠãã ããã
ïŒšïŒ°ã®æŽæ°ãææ¥ããåéããããšæããŸãããã ããŸã äœèª¿ãäžå šã§ã¯ãªãã®ã§ããã°ããã¯äžå®æã§ã®æŽæ°ãšãããŠããã ããŸããçæ§ã«ã¯ãè¿·æããããããŸããããããããé¡ãããããŸãã
ãåž°ããªããã
èªåäºã§æçž®ã§ããç§ãå¶ç¶ã«ã倧è
žæ€æ»ãªããã®ãã²ãããªäºããåããŠããšãŠã倧ããªããªãŒãããã
ãšãŠãåœç
é¢ã§ã¯åããªãã®ã§ç޹ä»ç¶ãæžããŸãããããã§æè¡ãæ©ãã«åããŠäžãããšã®å®£èšãé ããã
æ¥é å
šãèªèŠçç¶ã¯ç¡ããä»ã®æ€æ»ãåæã«åããèªåã®å¿èãèºãèã倧è
žã®æ åãèŠãããããããèªåã®
äžã«æãã®ã ïŒããšæ¹ããŠãèªåã®èº«äœã¯èªåãå
šãç¥ããªããã®ã ã®èªèã匷ãæã¡ãŸããã
èããŠã¿ããå¿èãªããŠçãŸããŠãã®æ¹ã1ç§éã«1å70幎éãçããŠããã°
60*60*24*365*70 = 2207520000ïŒå)
ãã®æåãäžæãäŒãŸãåãç¶ããŠãããšæããšã»ããšã«ãç²ãæ§ãšèšãããã§ãã
ãäºã身äœãåŽãããªããããããããä»ãåã£ãŠãããŸãããã
ãããã身äœã倧åã«ïŒ
管ç人æ§
æ¬æ¥ã®æŽæ°ãèŠãŠãã»ã£ãšããŸããã
ãéé¢ãããã§ãšãããããŸãã
æ©éã§ãã
è§ã®å€§ããïŒïŒïŒïŒãèŠãŠã
äžå¿è§ãïŒïŒïŒåºŠãªã®ã§
ååšè§ã¯ïŒïŒïŒåºŠ
ãšè§£ããŸããã
ä»»æã®æ£ã®æŽæ° n ã«å¯ŸããŠãé£ç¶ãã 6 ã€ã®æŽæ°ã®ç© n*(n +1)*(n+2)*(n+3)*(n+4)*(n+5) ã¯å¿
ããããæŽæ°ã®å¹³æ¹ïŒäºä¹ïŒããããå¥ã®æŽæ°ã®å¹³æ¹ïŒäºä¹ïŒããåŒããå·®ïŒå¹³æ¹æ°ã®å·®ïŒãšããŠè¡šãããšãã§ããŸãã
ãšããããã€ãŒããèŠãŠãã°ããæ©ã¿ãŸããã
äžèšã§ãã£ãŠããŸããïŒ
n*(n +1)*(n +2)*(n +3)*(n +4)*(n +5)
(n^4/2 +5*n^3 +16*n^2 +(35*n)/2 +2)^2 -(n^4/2 +5*n^3 +15*n^2 +(25*n)/2 -2)^2
â»å¥è§£ãããã®ãããããããã£ãšãããããããããŸãããŠãããŸãã
åã£ãŠããŸããã
((a+b)/2)^2-((a-b)/2)^2=abãã
nãå¶å¥ã®åãa,bã®ç©ã§è¡šããã°å¹³æ¹æ°ã®å·®ã§è¡šããŸãã
äŸãã°
a=(n+3)(n+4)(n+5), b=n(n+1)(n+2)ãšããã°
(a+b)/2=n^3+15n^2/2+49n/2+30
(a-b)/2=9n^2/2+45n/2+30
ãªã®ã§
n(n+1)(n+2)(n+3)(n+4)(n+5)=(n^3+15n^2/2+49n/2+30)^2-(9n^2/2+45n/2+30)^2
a=n(n+3)(n+5), b=(n+1)(n+2)(n+4)ãšããã°
(a+b)/2=n^3+15n^2/2+29n/2+4
(a-b)/2=n^2/2+n/2-4
ãªã®ã§
n(n+1)(n+2)(n+3)(n+4)(n+5)=(n^3+15n^2/2+29n/2+4)^2-(n^2/2+n/2-4)^2
a=(n+2)(n+3)(n+4)(n+5), b=n(n+1)ãšããã°
(a+b)/2=n^4/2+7n^3+36n^2+155n/2+60
(a-b)/2=n^4/2+7n^3+35n^2+153n/2+60
ãªã®ã§
n(n+1)(n+2)(n+3)(n+4)(n+5)=(n^4/2+7n^3+36n^2+155n/2+60)^2-(n^4/2+7n^3+35n^2+153n/2+60)^2
ãªã©ã®ããã«ãããããªçµã¿åãããäœããŸãã
Dengan kesaktian IndukmuãããæžãããäŸã¯
a=n(n+2)(n+3)(n+5), b=(n+1)(n+4)
ã®ããã«ããããã®ãšäžèŽããŸããã
ãã£ãããããè¿œãæ¹ãããã®ã§ãããã
ããããšãããããŸããã¹ãããªããŸããã
3以äžã®å¥æ°ã¯å
šãŠ2åã®å¹³æ¹æ°ã®å·®ã§æ§æå¯èœãèšããŸããã
ãã®äžã§ãæãåå²å¯èœãšãªããã®ã¯ç°ãªãå¥çŽ æ°ãå€ãå«ã奿°ã
äºæ³åºæ¥ãã®ã§ãã¡ãªã¿ã«6åã®ç°ãªãå¥çŽ æ°ãå«ã
N=3*5*7*11*13*17=255255
ã2ã€ã®å¹³æ¹æ°ã®å·®ã§è¡šãããã¿ãŒã³ãã©ãã ãå¯èœãäºæž¬ããŠã¿ãŸããã
ïŒã€ã®çŽ å æ°ã2çµ(a,b)ã«åããæ¹æ³ã¯
ã©ããªã«åããããšãa,bã¯å
±ã«å¥æ°ã«ãããªããªããããa,bããäœããã
A=(a+b)/2;B=(a-b)/2ã¯å
±ã«æŽæ°ãšãªãA^2-B^2ã¯Nãäœã£ãŠãããã
ããŠa,bãžã®åãæ¹ã¯
6C0=1ã(1 VS 255255ïŒ
6C1=6
6C2=15
6C3/2=10(倧å°ãåºå¥ããããïŒ
å
šéšã§32éãå¯èœ
(n+1)^2-n^2=2*n+1=255255
ããn=127627ãŸã§ãç¯å²ãšããããšã§
ãã§ãã¯ããŠã¿ãã
gp > {t=0;}for(a=1,127628,for(b=1,a-1,if(a^2-b^2==255255,print(t++";"a"^2-"b"^2"))))
1;508^2-53^2
2;512^2-83^2
3;524^2-139^2
4;536^2-179^2
5;604^2-331^2
6;628^2-373^2
7;668^2-437^2
8;688^2-467^2
9;752^2-557^2
10;776^2-589^2
11;856^2-691^2
12;964^2-821^2
13;1132^2-1013^2
14;1268^2-1163^2
15;1448^2-1357^2
16;1544^2-1459^2
17;1696^2-1619^2
18;1996^2-1931^2
19;2348^2-2293^2
20;2528^2-2477^2
21;3292^2-3253^2
22;3664^2-3629^2
23;3884^2-3851^2
24;6088^2-6067^2
25;7516^2-7499^2
26;8516^2-8501^2
27;9824^2-9811^2
28;11608^2-11597^2
29;18236^2-18229^2
30;25528^2-25523^2
31;42544^2-42541^2
32;127628^2-127627^2
äºæ³éã32ã®ãã¿ãŒã³ã§255255ã®æ°åã¯ïŒåã®å¹³æ¹æ°ã®å·®ã§äœãããšãåºæ¥ãã
éåžž{2^n};1,2,4,8,16,32,(n=0,1,2,)
ã瀺ãã®ã«äºé
ä¿æ°ã䜿ã£ãŠ
â[i=0,n]C(n,i)ãå€çšãããŠããã
ãããäŸã®ç°ãªãå¥çŽ æ°ãïœåå«ãå Žåã®2ã€ã®å¹³æ¹æ°ã®å·®ã§æ§æããæ¹æ³ã
èããäžã§äœãäžèšã®åŒã«å¯ããªããŠããã¹ã«ã«ã®äžè§åœ¢ãããäžæ®µéããŠ
2C0+2C1+2C2=1+2+1=4ã
3C0+3C1=1+3=4
3C0+3C1+3C2+3C3=1+3+3+1=8ã
4C0+4C1+4C2/2=1+4+3=8
4C0+4C1+4C2+4C3+4C4=1+4+6+4+1=16ã
5C0+5C1+5C2=1+5+10=16
5C0+5C1+5C2+5C3+5C4+5C5=1+5+10+10+5+1=32ã
6C0+6C1+6C2+6C3/2=1+6+15+10=32
ãšããŠãäžéœåã¯èµ·ãããªãã
ããããäžè¬ã«
G(n)=if(n%2==1,sum(i=0,floor(n/2),C(n,i)),sum(i=0,n/2-1,C(n,i))+C(n,n/2)/2);
ãšããŠããã°
gp > for(n=1,20,print(n";"G(n)"=2^"n-1))
1;1=2^0
2;2=2^1
3;4=2^2
4;8=2^3
5;16=2^4
6;32=2^5
7;64=2^6
8;128=2^7
9;256=2^8
10;512=2^9
11;1024=2^10
12;2048=2^11
13;4096=2^12
14;8192=2^13
15;16384=2^14
16;32768=2^15
17;65536=2^16
18;131072=2^17
19;262144=2^18
20;524288=2^19
ç§ã«ã¯å
šãä»ãŸã§æ°ä»ããããªãã£ãèŠç¹ã§ããã
以åzeta(6)ãH(n)=1/1+1/2+1/3++1/n
ã®èª¿åçŽæ°ãšæ·±ãé¢é£ããŠããããšãèŠãŠ
ããã¯çŽ æ°ãšæ·±ãé¢é£ããŠããã®ã§ã¯ãªãããšæã£ãŠãããšãããæ¬¡ã®ãããªããšã
æãç«ã€ãšãããã®ãèŠã€ããŸããã
pã5以äžã®çŽ æ°ãšãããšã
åå(â[n=1,p-1]1/n)â¡0 (mod p^2)
gp > H(p)=sum(n=1,p-1,1/n);
gp > forprime(p=5,97,print(p";"H(p)" =>"factor(numerator(H(p)))))
5;25/12 =>Mat([5, 2])
7;49/20 =>Mat([7, 2])
11;7381/2520 =>[11, 2; 61, 1]
13;86021/27720 =>[13, 2; 509, 1]
17;2436559/720720 =>[17, 2; 8431, 1]
19;14274301/4084080 =>[19, 2; 39541, 1]
23;19093197/5173168 =>[3, 1; 23, 2; 53, 1; 227, 1]
29;315404588903/80313433200 =>[29, 2; 375035183, 1]
31;9304682830147/2329089562800 =>[31, 2; 53, 1; 10273, 1; 17783, 1]
37;54801925434709/13127595717600 =>[37, 2; 1297, 1; 3407, 1; 9059, 1]
41;2078178381193813/485721041551200 =>[41, 2; 114407, 1; 10805939, 1]
43;12309312989335019/2844937529085600 =>[7, 1; 43, 2; 951040175333, 1]
47;5943339269060627227/1345655451257488800 =>[47, 2; 4201, 1; 640445420803, 1]
53;14063600165435720745359/3099044504245996706400 =>
[53, 2; 6833, 1; 878089, 1; 834439423, 1]
59;254381445831833111660789/54749786241679275146400 =>
[59, 2; 271, 1; 6793, 1; 39696343287323, 1]
61;15117092380124150817026911/3230237388259077233637600 =>
[61, 2; 2207, 1; 1840798551252069113, 1]
67;209060999005535159677640233/43787662374178602500420800 =>
[67, 2; 257, 1; 30497, 1; 702257, 1; 8461300049, 1]
71;42535343474848157886823113473/8801320137209899102584580800 =>
[71, 2; 1143656115619, 1; 7377985374587, 1]
73;9112469359293533278712889630349/1874681189225708508850515710400 =>
[73, 2; 12889, 1; 132669513653016905839429, 1]
79;61462860623241058403302042280303/12441066073952429195098876987200 =>
[79, 2; 79244112331, 1; 124277234919095693, 1]
83;44139711531918267321142140457772773/8845597978580177157715301537899200 =>
[83, 2; 6407274137308501570785620620957, 1]
89;40866521918642154860585199122889549709/8076030954443701744994070304101969600 =>
[89, 2; 42363379, 1; 223006207, 1; 546109988172181393, 1]
97;3699322246041458103739317199996707235031/718766754945489455304472257065075294400 =>
[97, 2; 393168481883458189365428547135371159, 1]
èŠäºã«ååã¯p^2ã®çŽ å æ°ãå«ãã§ããã
ããã5以äžã®ã©ããªçŽ æ°ã§ãæãç«ã€ãšã¯ãããçºèŠãããã®ã ãšæã£ããšããã§ãã
ãããªäºã¯ãŸããããªçŸè±¡ãèµ·ããããšã«æ°ä»ããŠããªãã°èšŒæã¯ïŒ
ãšããéçã ãšæãããã
çŽ æ°ãšããæ§è³ªããã®æ§ã«èª¿åçŽæ°ã«èŠäºã«çŸããŠããããšã«çŽ æ°ã®æ¬è³ªã®æã¿åºãæ¹ãèŠãæãã§ãã
ãçŽ æ°ã§ãªããšãp^2ã§å²ãåããªãããæãç«ã¡ããã§ããã
ãã¿ã ãããã«ã€ããŠ
å
¥ãå£(äž)ã«ã1~nãããå§ããã
åºå£(äž)ã«ã1~nã®é åããçŸããã
å
šãŠã®ãé åããäœãã®ã«ãæšªã®æ¢¯åã¯
æäœãäœæ¬å¿
èŠã§ããããïŒ
ãšããããããã°ã©ã ã§èª¿ã¹ãŠã¿ãŸãããã
äžãšäžãæ£å察ã®é çªã«ãªããšãã«å¿
èŠãšãªã暪æ£ãæå€§æ°ãšãªãã
ãã®ãšãã®æšªæ£ã®æ°ã¯n(n-1)/2æ¬ã®ããã§ãã
äŸ
(10^k)!ãäœãæ°ãäžäœã«ç¶ã0ã®æ°åãåãé€ãããšããæ®ã£ããã®ã®äž3æ¡ã®æ°åã¯ã©ããªãã®ã«ãªããïŒ
ãµãš
ããããããã®æ¹åŒãäž3æ¡ã§ããã°ã©ã ã§ãããããšæã£ãã®ã§è©ŠããŠã¿ãŸããã
æ°åçã«ç¢ºèªãã§ããªãã®ã§è¯ãã£ãããã§ãã¯ããŠè²°ããŸãããïŒ
ãã ãk=1ïœ100ã§ã®æ°åã§ãã
10!=3628800
100!(=(10^2)!)
= 9332621544394415268169923885626670049071596826438162146859296389521
7599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
288, 864, 472, 008, 496, 544, 688, 176, 144, 112, 808, 576, 376, 176, 976, 168, 952, 776, 688, 608,
992, 704, 392, 152, 488, 992, 536, 512, 216, 344, 664, 256, 216, 784, 032, 848, 352, 496, 664, 856,
264, 712, 144, 864, 792, 008, 088, 704, 544, 152, 696, 776, 024, 624, 408, 448, 784, 616, 712, 192,
944, 184, 152, 344, 616, 992, 104, 464, 264, 792, 872, 216, 088, 896, 976, 104, 112, 112, 784, 984,
512, 848, 648, 072, 456, 192, 896, 232, 432, 736, 032, 352, 528, 256, 032, 552, 104, 296, 536, 616,
ç§ã®ããã°ã©ã ã§ãåãå€ã«ãªããŸããã
ã€ãã§ã«8æ¡ãŸã§èª¿ã¹ãŸããã®ã§ã2æ¡ïœ8æ¡ã®k=1ïœ100ãæžããŸãã
(2æ¡ïœ7æ¡ã¯ãã¹ãŠ8æ¡ããäœããŸãã®ã§ã8æ¡ä»¥å€ã¯ããŸãæå³ã¯ãªãã§ã)
2æ¡
88, 64, 72, 08, 96, 44, 88, 76, 44, 12, 08, 76, 76, 76, 76, 68, 52, 76, 88, 08,
92, 04, 92, 52, 88, 92, 36, 12, 16, 44, 64, 56, 16, 84, 32, 48, 52, 96, 64, 56,
64, 12, 44, 64, 92, 08, 88, 04, 44, 52, 96, 76, 24, 24, 08, 48, 84, 16, 12, 92,
44, 84, 52, 44, 16, 92, 04, 64, 64, 92, 72, 16, 88, 96, 76, 04, 12, 12, 84, 84,
12, 48, 48, 72, 56, 92, 96, 32, 32, 36, 32, 52, 28, 56, 32, 52, 04, 96, 36, 16,
3æ¡
288, 864, 472, 008, 496, 544, 688, 176, 144, 112, 808, 576, 376, 176, 976, 168, 952, 776, 688, 608,
992, 704, 392, 152, 488, 992, 536, 512, 216, 344, 664, 256, 216, 784, 032, 848, 352, 496, 664, 856,
264, 712, 144, 864, 792, 008, 088, 704, 544, 152, 696, 776, 024, 624, 408, 448, 784, 616, 712, 192,
944, 184, 152, 344, 616, 992, 104, 464, 264, 792, 872, 216, 088, 896, 976, 104, 112, 112, 784, 984,
512, 848, 648, 072, 456, 192, 896, 232, 432, 736, 032, 352, 528, 256, 032, 552, 104, 296, 536, 616,
4æ¡
6288, 6864, 3472, 9008, 2496, 2544, 4688, 4176, 8144, 6112,
7808, 6576, 9376, 4176, 0976, 3168, 3952, 5776, 4688, 6608,
6992, 8704, 3392, 1152, 3488, 4992, 3536, 2512, 5216, 5344,
3664, 8256, 5216, 2784, 6032, 6848, 2352, 8496, 5664, 9856,
3264, 1712, 4144, 2864, 1792, 1008, 7088, 0704, 0544, 9152,
5696, 3776, 7024, 8624, 9408, 4448, 8784, 1616, 7712, 2192,
0944, 9184, 7152, 1344, 9616, 2992, 3104, 2464, 1264, 9792,
9872, 5216, 3088, 6896, 6976, 3104, 0112, 0112, 6784, 9984,
6512, 6848, 3648, 3072, 1456, 0192, 6896, 1232, 4432, 8736,
6032, 0352, 2528, 0256, 2032, 3552, 1104, 5296, 9536, 5616,
5æ¡
36288, 16864, 53472, 79008, 62496, 12544, 94688, 54176, 38144, 46112,
67808, 16576, 09376, 34176, 10976, 43168, 53952, 35776, 34688, 36608,
96992, 88704, 63392, 41152, 63488, 64992, 33536, 72512, 85216, 05344,
93664, 48256, 65216, 62784, 16032, 46848, 72352, 38496, 85664, 49856,
83264, 11712, 54144, 12864, 61792, 91008, 77088, 60704, 20544, 09152,
65696, 63776, 37024, 18624, 29408, 24448, 18784, 51616, 87712, 52192,
70944, 49184, 77152, 21344, 59616, 12992, 03104, 02464, 51264, 29792,
99872, 25216, 73088, 76896, 66976, 03104, 30112, 70112, 26784, 69984,
16512, 66848, 83648, 23072, 51456, 00192, 16896, 51232, 94432, 68736,
96032, 40352, 42528, 20256, 12032, 03552, 11104, 15296, 09536, 35616,
6æ¡
036288, 916864, 753472, 579008, 162496, 412544, 194688, 754176, 638144, 946112,
167808, 416576, 109376, 834176, 510976, 143168, 653952, 435776, 434688, 436608,
396992, 488704, 963392, 441152, 063488, 364992, 433536, 072512, 185216, 305344,
993664, 448256, 265216, 462784, 116032, 046848, 172352, 338496, 385664, 049856,
683264, 811712, 254144, 812864, 761792, 291008, 977088, 160704, 020544, 409152,
765696, 163776, 937024, 418624, 929408, 024448, 718784, 951616, 187712, 752192,
170944, 149184, 577152, 321344, 159616, 412992, 103104, 902464, 651264, 129792,
399872, 825216, 873088, 176896, 366976, 103104, 130112, 970112, 726784, 969984,
616512, 366848, 683648, 323072, 051456, 800192, 016896, 751232, 994432, 068736,
596032, 740352, 342528, 520256, 012032, 103552, 311104, 215296, 009536, 735616,
7æ¡
0036288, 0916864, 7753472, 1579008, 7162496, 8412544, 4194688, 0754176, 3638144, 1946112,
8167808, 3416576, 7109376, 4834176, 6510976, 5143168, 4653952, 7435776, 2434688, 4436608,
7396992, 4488704, 7963392, 5441152, 4063488, 7364992, 6433536, 1072512, 2185216, 7305344,
8993664, 4448256, 4265216, 9462784, 7116032, 6046848, 7172352, 1338496, 0385664, 5049856,
6683264, 7811712, 5254144, 7812864, 9761792, 3291008, 5977088, 1160704, 3020544, 1409152,
4765696, 3163776, 5937024, 3418624, 2929408, 8024448, 9718784, 7951616, 9187712, 9752192,
9170944, 7149184, 2577152, 3321344, 0159616, 9412992, 9103104, 5902464, 6651264, 8129792,
4399872, 0825216, 0873088, 0176896, 0366976, 1103104, 5130112, 6970112, 4726784, 0969984,
3616512, 4366848, 0683648, 4323072, 0051456, 5800192, 2016896, 4751232, 0994432, 0068736,
3596032, 6740352, 2342528, 5520256, 0012032, 8103552, 1311104, 2215296, 9009536, 8735616,
8æ¡
00036288, 10916864, 27753472, 01579008, 57162496, 58412544, 74194688, 40754176, 33638144, 41946112,
78167808, 83416576, 67109376, 34834176, 76510976, 55143168, 94653952, 07435776, 92434688, 74436608,
97396992, 84488704, 87963392, 15441152, 44063488, 37364992, 06433536, 91072512, 02185216, 17305344,
18993664, 24448256, 04265216, 09462784, 07116032, 76046848, 67172352, 31338496, 50385664, 05049856,
16683264, 97811712, 25254144, 87812864, 29761792, 93291008, 05977088, 41160704, 63020544, 91409152,
04765696, 73163776, 55937024, 83418624, 82929408, 98024448, 49718784, 67951616, 59187712, 79752192,
49170944, 97149184, 02577152, 83321344, 90159616, 39412992, 29103104, 35902464, 16651264, 88129792,
04399872, 50825216, 10873088, 60176896, 50366976, 21103104, 55130112, 86970112, 64726784, 60969984,
83616512, 24366848, 30683648, 64323072, 20051456, 25800192, 12016896, 54751232, 10994432, 90068736,
03596032, 56740352, 72342528, 55520256, 40012032, 38103552, 71311104, 32215296, 99009536, 38735616,
8æ¡ãŸã§ã ãšäœãšãäžéå端ãªã®ã§ã10æ¡ãŸã§æ±ããŸããã
10æ¡ã ãše[10000000000]ãäœããŸããã®ã§ãé
åã䜿ããªãããã«ããŸããã
ãã®ä»£ããk=1ïœ100ãæ±ããã®ã«æ°æéããã£ãŠããŸãã
9æ¡
000036288, 210916864, 027753472, 001579008, 957162496, 058412544, 574194688, 840754176, 933638144, 441946112,
378167808, 283416576, 067109376, 534834176, 576510976, 755143168, 894653952, 407435776, 792434688, 474436608,
597396992, 284488704, 387963392, 515441152, 344063488, 337364992, 306433536, 891072512, 802185216, 117305344,
218993664, 524448256, 904265216, 409462784, 307116032, 676046848, 467172352, 631338496, 350385664, 605049856,
516683264, 397811712, 725254144, 787812864, 329761792, 293291008, 405977088, 441160704, 863020544, 791409152,
804765696, 073163776, 655937024, 283418624, 182929408, 298024448, 249718784, 667951616, 059187712, 279752192,
049170944, 397149184, 902577152, 083321344, 290159616, 939412992, 829103104, 435902464, 016651264, 388129792,
104399872, 850825216, 110873088, 260176896, 450366976, 221103104, 655130112, 986970112, 164726784, 060969984,
183616512, 724366848, 230683648, 064323072, 820051456, 025800192, 712016896, 054751232, 110994432, 590068736,
303596032, 856740352, 672342528, 255520256, 340012032, 438103552, 571311104, 932215296, 899009536, 738735616,
10æ¡
0000036288, 5210916864, 0027753472, 8001579008, 4957162496, 5058412544, 2574194688, 2840754176, 0933638144, 6441946112,
1378167808, 0283416576, 9067109376, 4534834176, 2576510976, 9755143168, 3894653952, 5407435776, 2792434688, 8474436608,
7597396992, 4284488704, 3387963392, 5515441152, 3344063488, 2337364992, 5306433536, 6891072512, 6802185216, 6117305344,
6218993664, 5524448256, 5904265216, 4409462784, 4307116032, 6676046848, 0467172352, 7631338496, 7350385664, 6605049856,
9516683264, 8397811712, 0725254144, 9787812864, 8329761792, 4293291008, 4405977088, 8441160704, 5863020544, 5791409152,
8804765696, 4073163776, 1655937024, 4283418624, 6182929408, 1298024448, 2249718784, 9667951616, 5059187712, 1279752192,
3049170944, 4397149184, 4902577152, 5083321344, 8290159616, 3939412992, 6829103104, 4435902464, 0016651264, 8388129792,
0104399872, 4850825216, 9110873088, 6260176896, 3450366976, 6221103104, 3655130112, 0986970112, 6164726784, 2060969984,
0183616512, 1724366848, 4230683648, 9064323072, 5820051456, 7025800192, 8712016896, 0054751232, 0110994432, 6590068736,
5303596032, 3856740352, 7672342528, 1255520256, 0340012032, 5438103552, 6571311104, 7932215296, 4899009536, 3738735616,
8æ¡ãªãèšå€§ãªæ¬¡å
ã®ãã¯ãã«ãå¿
èŠã ãªãšæã£ãŠãããã§ããããããå®è¡ãããŠãããã§ããã
10æ¡ã¯ãŸãç°ãªãã¢ã«ãŽãªãºã ã§æ±ããããŠããŠã©ããªå¯Ÿå¿ãèªç±èªåšã«ããªããèœåã«ã¯
ã»ãšã»ãšæå¿ããŸãã