> ãããããã
ããn=6 ãç§ã®èšç®ã§ãã£ãŠããã¿ããã§ããã
ããããšãããããŸãã
> GAI ãã
> n>=8 ã§ãããã§ãããšãã蚌æãå¿
èŠãšããããšã§ããããïŒ
ãããã§ããããã©ãããã©ããŸã§ãæããŠãããããšèšã£ãŠããã®ã倿ãã€ããããŸãããäžè¬ã® n ã«å¯ŸããŠãŸã¡éã®æšã®ç·æ°ãæ±ãããã£ãŠãããšããã®ã¯ãã®éãã§ãã
æåã®æ°é
ãå®éã«æ±ããŠã¿ãã°ç¶ãã®äºæž¬ã¯ç«ã¡ãŸãããå®éã«èšŒæããããšæããšé£ãããé£èªããŠããŸãã
ä»ã«ããŠæãã°ã/n ãã€ããŠããã®ã¯æåã®æ°ã 1 ã«éå®ããŠããããã§ããã
æåã®æ°ãä»»æã«ããŠããã®ã§ããã°ãæé·æ°åã®ç·æ°ã¯ (n!)^n éããšãããšãŠãæŽã£ãçµæã«ãªããŸãã
ãŸããèšç®æ¹æ³ãå
é ã®æ°ã¯ä»»æã§ããæ¹ãããããããã§ãã
ãšããããšã§ãããŸã¡éã®æšãã®æ¹ã§ wikipedia ããæŸã£ãŠããçºæ³ããã®åé¡çšã«æžãçŽãã€ã€ããn ãŸã§äœ¿ããå Žåã®æé·æ°åã®ç·æ°ã¯ (n!)^n éãã§ãããã®èšŒæã以äžã«èšè¿°ããŸãã
No.1041 ã®å
容ãšéè€ããéšåãå«ã¿ãŸãã
ãããã«ãããã°ããã©ã³ãã䜿ã£ãŠå®éã«æãåãããšå©ãã«ãªããšæããŸãã
æ¡ä»¶ãæºãããããªæ°åã以äžã®ãããªæ¹æ³ã§äœãããšãèããŸãã
1 ãã n ãŸã§ã®ã«ãŒãã®çµã n ã»ããçšæããŸãã
ãããããé©åœãªé ã«ç©ã¿éããŠãå山㫠1 çªãã n çªãŸã§ã®çªå·ãã€ããŠãããŸãã
æåã«åé
a[1] ãšã㊠1 ä»¥äž n 以äžã®æ°ãéžã³ãŸãã
a[1] çªã®å±±ã®äžçªäžã®ã«ãŒããæã«åããæžããŠãã£ãæ°åã a[2] ãšããã«ãŒãã¯ç Žæ£ããŸãã
a[2] çªã®å±±ã®äžçªäžã®ã«ãŒããæã«åããæžããŠãã£ãæ°åã a[3] ãšããã«ãŒãã¯ç Žæ£ããŸãã
以äžãåæ§ã«ç¹°ãè¿ããŸãã
a[m] çªã®å±±ã®äžçªäžãæã«åãããšãããæ¢ã«ãã®å±±ã«ã«ãŒãããªãã£ãå Žåãa[m] ãæ«é
ãšããŠæ°åãçµäºããŸãã
[äŸ1] n=3, a[1]=1 ã§åå±±ãäžããé ã«
1 çªã®å±±ïŒ1, 3, 2
2 çªã®å±±ïŒ2, 1, 3
3 çªã®å±±ïŒ2, 3, 1
ã®å Žåãæ°å㯠1, 1, 3, 2, 2, 1, 2, 3, 3, 1 ãšãªããŸãã
[äŸ2] n=3, a[1]=1 ã§ãåå±±ãäžããé ã«
1 çªã®å±±ïŒ1, 3, 2
2 çªã®å±±ïŒ2, 1, 3
3 çªã®å±±ïŒ1, 2, 3
ã®å Žåãæ°å㯠1, 1, 3, 1, 2, 2, 1 ãšãªããŸãã
[äŸ3] n=3, a[1]=1 ã§ãåå±±ãäžããé ã«
1 çªã®å±±ïŒ1, 3, 2
2 çªã®å±±ïŒ2, 1, 3
3 çªã®å±±ïŒ1, 3, 2
ã®å Žåãæ°å㯠1, 1, 3, 1, 2, 2, 1 ãšãªããŸãã
n^2+1 é
ç¶ãæé·æ°åãã§ããå Žåãšããã®ã¯ãn^2 æããå
šãŠã®ã«ãŒããç Žæ£ã§ããå Žåãšããããšã«ãªããŸãã
ãããŠã
ãæé·æ°åã®å
容ã
ãå
šãŠç Žæ£ã§ããããã«ã«ãŒããç©ã¿éã㊠a[1] ãéžã¶æ¹æ³ã
ãäžå¯Ÿäžã«å¯Ÿå¿ããããšã¯æ°åã®äœãæ¹ããããã«ãããã®ã§ãçµå±ã«ãŒããå
šéšç Žæ£ã§ãããããªå Žåã®æ°ãèããã°ããããšã«ãªããŸãã
ã§ã¯ãã«ãŒããå
šãŠç Žæ£ããããšã«é¢ããŠããã€ãèå¯ãè¡ããŸãã
ãŸãããã®æäœã¯ a[1] ãšç°ãªãæ°ã®ã«ãŒãã§çµããããšã¯çµ¶å¯Ÿã«ãããŸããã
ããããçµãã£ããšãã«ã¯å¿
ã a[1] ãšåãæ°ã®ã«ãŒããå
šãŠã®å±±ããç Žæ£ãããŠããŸãã
ãªããªããã©ããã®å±±ã§ã«ãŒããè¶³ããªããªãã®ã¯ãå
šãŠã®å±±ãã a[1] ãšåãæ°ã®ã«ãŒããåŒãããéæããæåã® 1 åãšããã㊠a[1] çªã®å±±ããã«ãŒããåŒãã®ã n+1 åç®ã«ãªããšã以å€ããããªãããã§ãã
ãããŠãa[1] ãšç°ãªãæ°ã®ã«ãŒããå
šãŠç Žæ£ããããã©ããã¯ãa[1] çªä»¥å€ã®å±±ã®äžçªäžã®ã«ãŒãã ãèŠãã°ããããŸãã
äŸãã° [äŸ1] ã®å ŽåããŸããa[1]=1 ãªã®ã§ 1 ã®ã«ãŒãã¯å
šãŠç Žæ£ãããããšãããããŸãã
次ã«ã3 ã®ã«ãŒãã¯å
šãŠç Žæ£ãããããšãããããŸãã
ãªããªã 3 çªã®å±±ã®äžçªäžã« 1 ã®ã«ãŒãããããã3 ã®ã«ãŒããå
šãŠç Žæ£ããããŸã§ 3 çªã®å±±ã® 1 ã®ã«ãŒããç Žæ£ã§ããªãããšããç¶æ
ã«ãªã£ãŠããããã§ãã
çµãããŸã§ã«å¿
ã 1 ã®ã«ãŒããå
šãŠç Žæ£ãããã®ã§ãããããã®åã« 3 ã®ã«ãŒããå
šãŠç Žæ£ãããããšãéæãããªããã°ãªããŸããã
ããã«ã2 ã®ã«ãŒããå
šãŠç Žæ£ãããããšãããããŸãã
ãªããªã 2 çªã®å±±ã®äžçªäžã« 3 ã®ã«ãŒãããããã2 ã®ã«ãŒããå
šãŠç Žæ£ããããŸã§ 2 çªã®å±±ã® 3 ã®ã«ãŒããç Žæ£ã§ããªãããšããç¶æ
ã«ãªã£ãŠããããã§ãã
çµãããŸã§ã« 3 ã®ã«ãŒããå
šãŠç Žæ£ãããããšã¯å
ã»ã©ç¢ºèªããã®ã§ããã®åã« 2 ã®ã«ãŒããå
šãŠç Žæ£ãããããšãéæãããªããã°ãªããŸããã
ãã£ãŠã[äŸ1] ã¯ãå®éã«æ°åãäœã£ãŠã¿ãªããŠãã1 ã 2 ã 3 ãå
šãŠç Žæ£ããããã€ãŸãæé·æ°åãã§ããããšãããããŸãã
äžæ¹ã§ [äŸ2] ã®å Žåã3 ã®ã«ãŒããå
šãŠç Žæ£ãããããšã¯ãããŸããã
ãªããªã 3 çªã®å±±ã®äžçªäžã« 3 ã®ã«ãŒãããããã3 ã®ã«ãŒããå
šãŠç Žæ£ããããŸã§ 3 çªã®å±±ã® 3 ã®ã«ãŒããç Žæ£ã§ããªãããšããç¶æ
ã«ãªã£ãŠããããã§ãã
äžè¬ã«ãa[1]â x ã§ x çªã®å±±ã®äžçªäžã« x ã®ã«ãŒããããå Žåããã®å±±ã¯çµ¶å¯Ÿã«æ®ã£ãŠããŸããŸãã
ãã£ãŠã[äŸ2] ã¯ãå®éã«æ°åãäœã£ãŠã¿ãªããŠããæé·æ°åã«ã¯ãªããªãããšãããããŸãã
ãŸãã[äŸ3] ã®å Žåãã2 ããã³ 3 ã®ã«ãŒããå
šãŠç Žæ£ãããããšã¯ãããŸããã
ãªããªã 2 çªã®å±±ã®äžçªäžã« 3 ã®ã«ãŒãããããåæã« 3 çªã®å±±ã®äžçªäžã« 2 ã®ã«ãŒããããããã
ã2 ã®ã«ãŒããå
šãŠç Žæ£ããããŸã§ 2 çªã®å±±ã® 3 ã®ã«ãŒããç Žæ£ã§ããªãã
ã3 ã®ã«ãŒããå
šãŠç Žæ£ããããŸã§ 3 çªã®å±±ã® 2 ã®ã«ãŒããç Žæ£ã§ããªãã
ãšããç¶æ
ã«ãªã£ãŠããããã§ãã
äžè¬ã«ããã®ãããªäŸåé¢ä¿ã®ã«ãŒããçºçãããšããããã®å±±ã¯çµ¶å¯Ÿã«æ®ã£ãŠããŸããŸãã
ïŒ[äŸ2] ãåç¬ã§ã«ãŒãããŠãããšã¿ãªãããšãã§ããŸãïŒ
ãã£ãŠã[äŸ3] ã¯ãå®éã«æ°åãäœã£ãŠã¿ãªããŠããæé·æ°åã«ã¯ãªããªãããšãããããŸãã
ã«ãŒããååšããªããã°ãå
šãŠã®æ°ã®ã«ãŒãã«ã€ããŠçŽæ¥çãŸãã¯éæ¥çã« a[1] ãšåãæ°ã®ã«ãŒããå
šãŠç Žæ£ããåã«ãã¡ããå
šãŠç Žæ£ããå¿
èŠããããæé·æ°åãã§ããããšã確å®ããŸãã
ãã£ãŠãæé·æ°åã«ãªãã©ããã¯ãç©ã¿éãããšãã« a[1] çªä»¥å€ã®å±±ã®äžçªäžã«æ¥ãã«ãŒãã§ã«ãŒããçºçããªããã©ããã ããèããã°ããããšã«ãªããŸãã
ããŠãã§ã¯ãã«ãŒããç¡äœçºã«ç©ã¿éããŠåé
ãç¡äœçºã«éžãã å Žåã«ãæé·æ°åãäœãã確çãã©ã®ãããã«ãªããèããŸãã
ãŸããç¡äœçºã«ã«ãŒããç©ã¿éãã€ã€åé
ãç¡äœçºã«éžã¶æ¹æ³ãšããŠä»¥äžã®æé ãæ¡çšããŸãã
1 ãã n ãŸã§ã®ã«ãŒã 1 çµãã·ã£ããã«ããŸãããã®åŸã1 çªãã n çªãŸã§ã®çªå·ã 1 ã€ç¡äœçºã«éžã³ããã®å±±ã®çªå·ãšããŸãã
æ¹ããŠå¥ã® 1 ãã n ãŸã§ã®ã«ãŒã 1 çµãã·ã£ããã«ããŸãããã®åŸã1 çªãã n çªãŸã§ã®çªå·ã®ãã¡éè€ããªããã®ã 1 ã€ç¡äœçºã«éžã³ããã®å±±ã®çªå·ãšããŸãã
ããã n åç¹°ãè¿ããšã1 çªãã n çªãŸã§ã®å±±ã宿ããŸãã
ãããŠãæåŸã«äœã£ãå±±ã®çªå·ã a[1] ãšããŠæ¡çšããŸãã
ãã®äœãæ¹ã§ããã°ãn åã®å±±ã®ç©ã¿éãæ¹ (n!)^n éããš a[1] ã®éžã³æ¹ n éãã®çµãå
š n*(n!)^n éãã®èµ·ããããããåæ§ã«ç¢ºãããããšãããŸãã
ããã§ã確ç P[k] (0âŠkâŠn) ãããã®å±±ã®äœãæ¹ã§ k åã®å±±ãäœã£ã段éã§ãæåŸã«æ®ãããšã確å®ããå±±ããŸã ã©ãã«ããªã確çããšå®çŸ©ããŸãã
ãã¡ãã P[0]=1 ã§ãã
ãã®ãšã 1 - P[k+1]/P[k] ã¯ãk åã®å±±ãäœã£ã段éã§æåŸã«æ®ãããšã確å®ããå±±ããŸã ã©ãã«ããªããšããæ¡ä»¶ã®ããšã§ãk+1 åç®ã®å±±ãäœã£ãããã§æåŸã«æ®ãããšã確å®ããå±±ãã§ããŠããŸãæ¡ä»¶ä»ã確çãã§ãã
ããã¯ã0âŠkâŠn-2 ã®å Žåãk+1 åç®ã®å±±ãã·ã£ããã«ãããšãã«äžçªäžã«ããã«ãŒãã x ã ã£ããšããŠã
ã»x çªã®å±±ã k çªç®ãŸã§ã«ãŸã ãªãããã® x çªãk+1 çªç®ã®å±±ã«ã€ããŠããŸã£ã
ã»x çªã®å±±ã k çªç®ãŸã§ã«ããããããx çªã®å±±ã®äžçªäžã®ã«ãŒã㯠yããy çªã®å±±ã®äžçªäžã®ã«ãŒã㯠z
ãâŠâŠãšèŸ¿ã£ãŠè¡ãçããæªäœ¿çšçªå·ã k+1 çªç®ã®å±±ã«ã€ããŠããŸã£ã
ã®ã©ã¡ãããèµ·ãã確çã§ãããã€ãŸãã¯äžçªäžã®ã«ãŒããäœã§ãããã«é¢ä¿ãªãæ®ã£ãŠãã n-k åã®çªå·ããç¹å®ã® 1 åãåŒããŠããŸã確çã«ãªããŸãã
ãã£ãŠã
1 - P[k+1]/P[k] = 1/(n-k)
ãªã®ã§ã
P[k+1]/P[k] = 1 - 1/(n-k) = (n-k-1)/(n-k)
ã§ããã
P[n-1] = (1/2)*P[n-2] = (1/2)*(2/3)*P[n-3] = âŠâŠ = (1/2)*(2/3)*âŠâŠ*((n-1)/n)*P[0] = 1/n
ãšãªããŸãã
æåŸã«äœãå±±ã¯ãã©ããªé åºã«ãªã£ãŠããa[1] ã®éžã³æ¹ãèããã°ç¢ºçã«åœ±é¿ã¯äžããŸããã
ãã£ãŠã
P[n] = P[n-1] = 1/n
ã§ãã
ããã§ããn åã®å±±ãç¡äœçºã«äœããåé
a[1] ãç¡äœçºã«éžãã å Žåã«ãæé·æ°åãäœãã確ç㯠1/n ã§ãããããšãããããŸããã
ãšããã§ããã®å±±ã®äœãæ¹ã¯ n*(n!)^n éããåæ§ã«ç¢ºããããäœããæ¹æ³ã§ããã
ã€ãŸããæé·æ°åãäœããããã«ã«ãŒãã®ç©ã¿éã㊠a[1] ãéžã¶æ¹æ³ããã®ãã¡ N[n] éãã§ãããšãããšãå€å
žç確çã®å®çŸ©ãã
N[n] / {n*(n!)^n} = 1/n
ãšãªããŸãã
ãããã£ãŠåæ¯ãæã£ãŠ
N[n] = (n!)^n
ãåŸãããŸããã