\input style Á ¸·±Ëº¾¼ º¾¼¿µ½Á¸Àõ Í¾ ½µ´¾Á°¾º. ßÀ¾³À°¼¼Ã ´»Ï ¼µÂ¾´° Ü°ÀÁ°»Ì¸ ½°¿¸Á°ÂÌ ³¾À°·´¾ ÂÀô½µµ, ½¾ µÁ»¸ ¿¾´¿À¾³À°¼¼Ã, ¾Á½¾²°½½ÃÎ ½° °»³¾À¸Â¼µ~M, Á¾Á°²¸ÂÌ ² ¾±Éµ¼ ²¸´µ, ¾½° ϲ¸ÂÁÏ Æµ½½Ë¼ ²º»°´¾¼ ² »Î±ÃÎ ±¸±»¸¾ÂµºÃ ¿¾´¿À¾³À°¼¼. ܽ¾³¾Ç¸Á»µ½½Ëµ ¿À¸¼µ½µ½¸Ï ½¾À¼°»Ì½¾ À°Á¿Àµ´µ»µ½½ËÅ Á»ÃÇ°¹½ËÅ ²µ»¸Ç¸½ ÂÀµ±ÃΠ±¾»ÌȾ³¾ º¾»¸ÇµÁ²° Á»ÃÇ°¹½ËŠǸÁµ», °º Ǿ ²°¶½° Áº¾À¾ÁÂÌ ¸Å ²ËÀ°±¾Âº¸. Ô¾¿¾»½¸Âµ»Ì½ÃÎ ¸½Ä¾À¼°Æ¸Î ¾ ¼µÂ¾´µ âµ¹ÇÀ¾µ²°, ° °º¶µ ¾±·¾À ½µº¾Â¾ÀËÅ ´Àó¸Å ¼µÂ¾´¾², ÅôȸÅ, º°º µ¿µÀÌ ²ËÏÁ½¸»¾ÁÌ, ǵ¼ ¾±Áö´°µ¼Ëµ ·´µÁÌ, ¼¾¶½¾ ¿¾»ÃǸÂÌ ¸· Á°Â̸ Ü.~Ü°»»µÀ° ({\sl JACM,\/} {\bf 6} (1959), 376--383). {\sl (5)~à°·½¾²¸´½¾Á¸ ½¾À¼°»Ì½¾³¾ À°Á¿Àµ´µ»µ½¸Ï.\/} ÜË À°ÁÁ¼¾ÂÀµ»¸ ½¾À¼°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ Á ½Ã»µ²Ë¼ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼ ¸ Á°½´°À½˼ ¾Âº»¾½µ½¸µ¼, À°²½Ë¼ µ´¸½¸Æµ. ÕÁ»¸ $X$~¸¼µµÂ °º¾µ À°Á¿Àµ´µ»µ½¸µ, ¾ à ÄýºÆ¸¸ À°Á¿Àµ´µ»µ½¸Ï Á»ÃÇ°¹½¾¹ ²µ»¸Ç¸½Ë $$ Y=\mu+\sigma X \eqno(24) $$ ÁÀµ´½µµ ·½°Çµ½¸µ À°²½¾~$\mu$, ° Á°½´°À½¾µ ¾Âº»¾½µ½¸µ~$\sigma$. Ѿ»µµ ¾³¾, µÁ»¸~$X_1$ ¸~$X_2$---½µ·°²¸Á¸¼Ëµ ½¾À¼°»Ì½Ëµ Á»ÃÇ°¹½Ëµ ²µ»¸Ç¸½Ë Á¾ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼ ½Ã»Ì ¸ µ´¸½¸Ç½Ë¼ Á°½´°À½˼ ¾Âº»¾½µ½¸µ¼ ¸ µÁ»¸ $$ Y_1=\mu_1+\sigma_1 X_1, \qquad Y_2=\mu_2+\sigma_2(\rho X_1+\sqrt{1-\rho^2}X_2), \eqno(25) $$ ¾~$Y_1$ ¸~$Y_2$---\emph{·°²¸Á¸¼Ëµ} Á»ÃÇ°¹½Ëµ ²µ»¸Ç¸½Ë, À°Á¿Àµ´µ»µ½½Ëµ Á¾ ÁÀµ´½¸¼¸ ·½°Çµ½¸Ï¼¸~$\mu_1$, $\mu_2$, Á°½´°À½˼¸ ¾Âº»¾½µ½¸Ï¼¸~$\sigma_1$, $\sigma_2$ ¸ º¾ÍÄĸƸµ½Â¾¼ º¾ÀÀµ»ÏƸ¸~$\rho$. (Þ±¾±Éµ½¸µ ½° Á»ÃÇ°¹~$n$ ¿µÀµ¼µ½½ËÅ Á¼.~²~ÿÀ.~13.) \section{D.~íºÁ¿¾½µ½Æ¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ}. ÔÀó¾¹ ²°¶½Ë¹ ²¸´ Á»ÃÇ°¹½ËÅ ²µ»¸Ç¸½---²µ»¸Ç¸½Ë Á \emph{ͺÁ¿¾½µ½Æ¸°»Ì½Ë¼ À°Á¿Àµ´µ»µ½¸µ¼.} â°º¸µ Á»ÃÇ°¹½Ëµ ²µ»¸Ç¸½Ë ±Ë²°Î ½Ã¶½Ë ² ·°´°Ç°Å, ³´µ À°ÁÁ¼°ÂÀ¸²°µÂÁÏ "²Àµ¼Ï ¿¾Ï²»µ½¸Ï". Ý°¿À¸¼µÀ, µÁ»¸ À°´¸¾°ºÂ¸²½¾µ ²µÉµÁ²¾ ¸·»ÃÇ°µÂ ² ÁÀµ´½µ¼ º°¶´Ëµ $\mu$~ÁµºÃ½´ ¾´½Ã °»ÌÄ°-Ç°Á¸ÆÃ, ¾ ¿À¾¼µ¶Ãº¸ ²Àµ¼µ½¸ ¼µ¶´Ã ´²Ã¼Ï ¿¾Á»µ´¾²°Âµ»Ì½Ë¼¸ ²Ë»µÂ°¼¸ Ç°ÁÂ¸Æ ¸¼µÎ ͺÁ¿¾½µ½Æ¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ Á¾ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼~$\mu$. í¾ À°Á¿Àµ´µ»µ½¸µ ¾¿Àµ´µ»ÏµÂÁÏ Ä¾À¼Ã»¾¹ $$ F(x)=1-e^{-x/\mu}, \rem{$x\ge0$.} \eqno(26) $$ ÞÂÁδ° Á»µ´ÃµÂ, Ǿ µÁ»¸ $X$~¸¼µµÂ ͺÁ¿¾½µ½Æ¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ Á¾ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼~$1$, ¾ $\mu X$~¿¾´Ç¸½ÏµÂÁÏ ÍºÁ¿¾½µ½Æ¸°»Ì½¾¼Ã À°Á¿Àµ´µ»µ½¸Î Á¾ ÁÀµ´½¸¼~$\mu$. ߾;¼Ã ´¾Á°¾ǽ¾ À°ÁÁ¼¾ÂÀµÂÌ Á»ÃÇ°¹~$\mu=1$. Þ±Ëǽ¾ ¸Á¿¾»Ì·ÃÎÂÁÏ ÂÀ¸ ¼µÂ¾´°. {\sl (1)~Û¾³°À¸Ä¼¸ÇµÁº¸¹ ¼µÂ¾´.\/} ïÁ½¾, Ǿ~$y=F(x)=1-e^{-x}$ ¼¾¶½¾ ¿Àµ´Á°²¸ÂÌ ² ²¸´µ~$x=F^{-1}(y)=-\ln(1-y)$. ߾;¼Ã, ²Á»µ´Á²¸µ %% 142 Á¾¾Â½¾Èµ½¸Ï~(6), ²µ»¸Ç¸½°~$-\ln(1-U)$ ¸¼µµÂ ͺÁ¿¾½µ½Æ¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ. â°º º°º $1-U$~À°Á¿Àµ´µ»µ½° À°²½¾¼µÀ½¾, µÁ»¸~$U$---À°²½¾¼µÀ½¾ À°Á¿Àµ´µ»µ½½¾µ Á»ÃÇ°¹½¾µ ǸÁ»¾, ¾ Á»ÃÇ°¹½°Ï ²µ»¸Ç¸½° $$ X=-\ln U \eqno(27) $$ À°Á¿Àµ´µ»µ½° ͺÁ¿¾½µ½Æ¸°»Ì½¾ Á¾ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼, À°²½Ë¼ µ´¸½¸Æµ. (Ò ¿À¾³À°¼¼°Å Á»µ´ÃµÂ ¸·±µ³°ÂÌ Á»ÃÇ°Ï~$U=0$.) {\sl (2)~ܵ¾´ Á»ÃÇ°¹½¾¹ ¼¸½¸¼¸·°Æ¸¸.\/} ỵ´ÃÎɸ¹ °»³¾À¸Â¼ (Ô¶.~Ü°ÀÁ°»ÌÏ) ²ËǸÁ»ÏµÂ ·½°Çµ½¸Ï ͺÁ¿¾½µ½Æ¸°»Ì½¾ À°Á¿Àµ´µ»µ½½¾¹ Á»ÃÇ°¹½¾¹ ²µ»¸Ç¸½Ë ±µ· ¸Á¿¾»Ì·¾²°½¸Ï ¿¾´¿À¾³À°¼¼Ë »¾³°À¸Ä¼°. \alg E.(íºÁ¿¾½µ½Æ¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ Á¾ ÁÀµ´½¸¼~$1$.) ØÁ¿¾»Ì·ÃÎÂÁÏ Â°±»¸ÆË º¾½Á°½Â~$P[j]$, $Q[j]$ ´»Ï~$j\ge 1$, ¾¿Àµ´µ»µ½½Ëµ ľÀ¼Ã»°¼¸ $$ P[j]=1-{1\over e^j}, \quad Q[j]={1\over e-1}\left({1\over1!}+{1\over2!}+\cdots+{1\over j!}\right). \eqno(28) $$ Ô»¸½° °±»¸Æ ¾³À°½¸Ç¸²°µÂÁÏ ·½°Çµ½¸µ¼ ¼°ºÁ¸¼°»Ì½¾¹ ´À¾±¸, º¾Â¾ÀÃÎ ¼¾¶½¾ À°·¼µÁ¸ÂÌ ² ¼°È¸½½¾¼ Á»¾²µ. \st[Ý°Ç°»¾ ´À¾±½¾¹ Ç°Á¸.] ãÁ°½¾²¸ÂÌ~$j\asg1$. ÒËÀ°±¾Â°ÂÌ Á»ÃÇ°¹½Ëµ ǸÁ»°~$U_0$ ¸~$U_1$ ¸ ÃÁ°½¾²¸ÂÌ~$X\asg -U_1$. \st[ܸ½¸¼¸·°Æ¸Ï ·°º¾½Çµ½°?] ÕÁ»¸~$U_0U_j$, ÃÁ°½¾²¸ÂÌ~$X\asg U_j$. ÒµÀ½ÃÂÌÁÏ ¾±À°Â½¾ º È°³Ã~\stp{2}. \st[Ý°Ç°»¾ Ƶ»¾¹ Ç°Á¸.] (ÜË Ã¶µ ²ËǸÁ»¸»¸ ´À¾±½ÃÎ Ç°ÁÂÌ ¾º¾½Ç°Âµ»Ì½¾³¾ Àµ·Ã»Ì°°, $X$, ¸ ´¾»¶½Ë ´¾±°²¸ÂÌ º ½µ¼Ã Á¾¾Â²µÂÁ²ÃÎɵµ Ƶ»¾µ ǸÁ»¾, Ǿ±Ë ·°º¾½Ç¸ÂÌ ²ËǸÁ»µ½¸Ï.) ÒËÀ°±¾Â°ÂÌ ½¾²¾µ Á»ÃÇ°¹½¾µ ǸÁ»¾~$U$ ¸ ÃÁ°½¾²¸ÂÌ~$j\asg 1$. \st[á´µ»°½° »¸ ¿¾¿À°²º°?] ÕÁ»¸~$UU\ge (1-p)^n$, ° ; ¿À¾¸Áž´¸Â Á ²µÀ¾Ï½¾ÁÂÌÎ~$p(1-p)^{n-1}$, Ǿ ¸ ÂÀµ±¾²°»¾ÁÌ ¿¾º°·°ÂÌ. ç°Á½˹ Á»ÃÇ°¹~$p=1/2$ µÉµ »µ³Çµ ¼¾´µ»¸À¾²°ÂÌ ½° ´²¾¸Ç½¾¹ ¼°È¸½µ, °º º°º ľÀ¼Ã»°~(34) ¿Àµ²À°É°µÂÁÏ ²~$N=\ceil{-\log_2 U}$, Â.~µ.~$N$ ½° µ´¸½¸Æà ±¾»Ìȵ, ǵ¼ ǸÁ»¾ ¿µÀ²ËÅ ½Ã»µ²ËÅ À°·ÀÏ´¾² ² ´²¾¸Ç½¾¼ ¿Àµ´Á°²»µ½¸¸~$U$. {\sl (2)~Ѹ½¾¼¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ~$(t, p)$.\/} ÕÁ»¸ ½µº¾Â¾À¾µ Á¾±Ë¸µ ¿À¾¸Áž´¸Â Á ²µÀ¾Ï½¾ÁÂÌÎ~$p$, ¸ ¼Ë ¿À¾²¾´¸¼ $t$~½µ·°²¸Á¸¼ËÅ ¸Á¿Ë°½¸¹, ¿¾»½¾µ ǸÁ»¾~$N$ ¿À¾¸Áž´ÏɸŠ¿À¸ ;¼ Á¾±Ë¸¹ À°²½¾~$n$ Á ²µÀ¾Ï½¾ÁÂÌÎ~$\perm{t}{n}p^n(1-p)^{t-n}$ (Á¼.~¿.~1.2.10). Ô»Ï Í¾³¾ À°Á¿Àµ´µ»µ½¸Ï ½µÂ º°º¾³¾-»¸±¾ ¿Àϼ¾³¾ ¼µÂ¾´°, °½°»¾³¸Ç½¾³¾~(34). Þ´½°º¾ ¼Ë ¼¾³»¸ ±Ë ¸Á¿¾»Ì·¾²°ÂÌ Â¾ ¾±Á¾Ïµ»ÌÁ²¾, Ǿ µÁ»¸ $N_1$~¸¼µµÂ ±¸½¾¼¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ~$(t_1, p)$ ¸ µÁ»¸, ½µ·°²¸Á¸¼¾, $N_2$~¸¼µµÂ ±¸½¾¼¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ~$(t_2, p)$, ¾ $N_1+N_2$~¸¼µµÂ ±¸½¾¼¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ~$(t_1+t_2, p)$. Ú¾³´° $t$~²µ»¸º¾, %%146 ±¸½¾¼¸°»Ì½¾µ À°Á¿Àµ´µ»µ½¸µ ¿À¸±»¸¶µ½½¾ ¾¿¸Á˲°µÂÁÏ ½¾À¼°»Ì½Ë¼ À°Á¿Àµ´µ»µ½¸µ¼ Á¾ ÁÀµ´½¸¼~$tp$ ¸ ÁÀµ´½µº²°´À°Â¸Ç½Ë¼ ¾Âº»¾½µ½¸µ¼~$\sqrt{tp(1-p)}$. á¼. °º¶µ ¿À¸µ¼, À°ÁÁ¼¾ÂÀµ½½Ë¹ ² ÿÀ.~25. {\sl (3)~à°Á¿Àµ´µ»µ½¸µ ßðÁÁ¾½°\/} Á¾ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼~$\mu$. í¾ À°Á¿Àµ´µ»µ½¸µ °º ¶µ Á²Ï·°½¾ Á ͺÁ¿¾½µ½Æ¸°»Ì½Ë¼ À°Á¿Àµ´µ»µ½¸µ¼, º°º ±¸½¾¼¸°»Ì½¾µ Á ³µ¾¼µÂÀ¸ÇµÁº¸¼. Þ½¾ Å°À°ºÂµÀ¸·ÃµÂ ǸÁ»¾ Àµ°»¸·°Æ¸¸ ² µ´¸½¸Æà ²Àµ¼µ½¸ Á¾±Ë¸¹, º°¶´¾µ ¸· º¾Â¾ÀËÅ ¼¾¶µÂ ¿À¾¸·¾¹Â¸ ² »Î±¾¹ ¼¾¼µ½Â. Ý°¿À¸¼µÀ, ǸÁ»¾ ¸·»ÃÇ°µ¼ËÅ ² ÁµºÃ½´Ã °»ÌÄ°-Ç°ÁÂ¸Æ ¸¼µµÂ À°Á¿Àµ´µ»µ½¸µ ßðÁÁ¾½°. ÒµÀ¾Ï½¾ÁÂÌ Â¾³¾, Ǿ~$N=n$, À°²½° $$ e^{-\mu}\mu^n/n!, \rem{$n\ge0$.} \eqno(35) $$ ÕÁ»¸~$N_1$, $N_2$---½µ·°²¸Á¸¼Ëµ ¿Ã°ÁÁ¾½¾²Áº¸µ Á»ÃÇ°¹½Ëµ ²µ»¸Ç¸½Ë Á¾ ÁÀµ´½¸¼¸~$\mu_1$, $\mu_2$, ¾ ²µÀ¾Ï½¾ÁÂÌ Â¾³¾, Ǿ~$N_1+N_2=n$, À°²½° $$ \sum_{0\le k \le n}{e^{-\mu_1}\mu_1^k\over k!} {e^{-\mu_2}\mu_2^{n-k}\over (n-k)!} ={e^{-(\mu_1+\mu_2)}(\mu_1+\mu_2)^n\over n!}. $$ â°º¸¼ ¾±À°·¾¼, $N_1+N_2$~¸¼µµÂ À°Á¿Àµ´µ»µ½¸µ ßðÁÁ¾½° Á¾ ÁÀµ´½¸¼ ·½°Çµ½¸µ¼~$(\mu_1+\mu_2)$. ßÀµ´¿¾»¾¶¸¼, Ǿ ¼Ë ž¸¼ ½°¿¸Á°ÂÌ ¾±ÉÃÎ ¿¾´¿À¾³À°¼¼Ã, ²ËÀ°±°Â˲°ÎÉÃÎ ·½°Çµ½¸Ï ¿Ã°ÁÁ¾½¾²Áº¸Å Á»ÃÇ°¹½ËÅ ²µ»¸Ç¸½ Á¾ ÁÀµ´½¸¼~$\mu$, ³´µ $\mu$~·°´°µÂÁÏ ¿À¸ ²Å¾´µ ² ¿¾´¿À¾³À°¼¼Ã. \alg Q.(à°Á¿Àµ´µ»µ½¸µ ßðÁÁ¾½° Á ¿À¾¸·²¾»Ì½Ë¼~$\mu$.) \st[ÒËǸÁ»¸ÂÌ ÍºÁ¿¾½µ½ÂÃ.] ßÀ¸Á²¾¸ÂÌ~$p\asg e^{-\mu}$ ¸~$N\asg0$, $q\asg1$. (å¾ÂÏ $e^{-\mu}$~¾±Ëǽ¾ ²ËǸÁ»ÏµÂÁÏ Á ¿¾¼¾ÉÌÎ °À¸Ä¼µÂ¸º¸ Á ¿»°²°Îɵ¹ ¾Ǻ¾¹ Á ¿À¸²»µÇµ½¸µ¼ Á°½´°À½¾¹ ¿¾´¿À¾³À°¼¼Ë, ²¾·¼¾¶½¾, À°·Ã¼½µ¹ ¿¾»Ì·¾²°ÂÌÁÏ °À¸Ä¼µÂ¸º¾¹ Á ĸºÁ¸À¾²°½½¾¹ ¾Ǻ¾¹, ¿À°²¸»Ì½¾ ²Ë±À°² ¼°ÁÈ°± ¸ ¾ºÀó»µ½¸µ ´»Ï ¿¾Á»µ´ÃÎɸŠ¾¿µÀ°Æ¸¹ Á~$p$ ¸~$q$.) \st[ß¾»ÃǸÂÌ Á»ÃÇ°¹½¾µ ǸÁ»¾.] ÒËÀ°±¾Â°ÂÌ Á»ÃÇ°¹½¾µ ǸÁ»¾~$U$, À°²½¾¼µÀ½¾ À°Á¿Àµ´µ»µ½½¾µ ¼µ¶´Ã~$0$ ¸~$1$. \st[ã¼½¾¶¸ÂÌ.] ãÁ°½¾²¸ÂÌ~$q\asg qU$. \st[ßÀ¾²µÀ¸ÂÌ, ¼µ½Ìȵ »¸~$e^{-\mu}$.] ÕÁ»¸~$q\ge p$, ÃÁ°½¾²¸ÂÌ~$N\asg N+1$ ¸ ²µÀ½ÃÂÌÁÏ º È°³Ã~\stp{2}. Ò ¿À¾Â¸²½¾¼ Á»ÃÇ°µ °»³¾À¸Â¼ ·°º°½Ç¸²°µÂÁÏ ²Ë²¾´¾¼~$N$. \algend ç¾±Ë ´¾º°·°ÂÌ Á¿À°²µ´»¸²¾ÁÂÌ ¼µÂ¾´°, ·°¼µÂ¸¼, Ǿ ½µ·°²¸Á¸¼Ëµ À°²½¾¼µÀ½¾ À°Á¿Àµ´µ»µ½½Ëµ Á»ÃÇ°¹½Ëµ ²µ»¸Ç¸½Ë ô¾²»µÂ²¾ÀÏΠÃÁ»¾²¸Ï¼ $$ U_1\ge p, \quad U_1U_2\ge p, \quad, \ldots, \quad U_1U_2\ldots U_n\ge p, \quad U_1U_2\ldots U_{n+1}

0$, ²µÀ½ÃÂÌÁÏ º È°³Ã~\stp{2}, ² ¿À¾Â¸²½¾¼ Á»ÃÇ°µ °»³¾À¸Â¼ ·°º°½Ç¸²°µÂÁÏ. \algend ç¾±Ë ¸Á¿¾»Ì·¾²°ÂÌ Í¾ °»³¾À¸Â¼, ¼Ë ´¾»¶½Ë Á¾Á°²¸ÂÌ Á¿µÆ¸°»Ì½Ëµ ¿À¾³À°¼¼Ë ´»Ï Ç°Á½ËÅ ·½°Çµ½¸¹~$\mu$, ·°´°½½ËÅ ² °±»¸Æµ~$M[1]$, $M[2]$,~\dots, $M[n]$. Ý°¿À¸¼µÀ, ¼Ë ¼¾³»¸ ±Ë ¿À¸½ÏÂÌ~$n=10$, ¾³´° $$ \vcenter{\halign{ \hfil$#$&${}#$\hfil\bskip&&\bskip$#$\hfil\bskip\cr j&=1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10\cr M[j]&=2^{-15} & 2^{-12} & 2^{-9} & 2^{-6} & 2^{-3} & 2^{-1} & 1 & 2 & 4 & \hfill 8 \cr }} \eqno(36) $$ %% 148 í¾ ¼µÂ¾´ ½µÍÄĵºÂ¸²µ½ ´»Ï ±¾»ÌȸŠ·½°Çµ½¸¹~$\mu$, Áº°¶µ¼~$\mu\ge50$. ßÀ¸~$\mu0$, À°²½°~$1-e^{-\mu}$, Â.~µ.\ ¼µ½Ìȵ~$1\over 32\,000$. à°Á¿Àµ´µ»µ½¸µ ßðÁÁ¾½° ´»Ï ¼°»ËÅ ·½°Çµ½¸¹~$\mu$ ¼¾´µ»¸À¾²°ÂÌ ÇÀµ·²ËÇ°¹½¾ »µ³º¾, °º º°º ´»Ï ²ÁµÅ ¿À°ºÂ¸ÇµÁº¸Å Ƶ»µ¹ $N$~±Ã´µÂ ´¾²¾»Ì½¾ ¼°»¾. ⾻̺¾ ´»Ï À°Á¿Àµ´µ»µ½¸¹ Á~$M[j]=4$ ¸~$8$ ¸· ¿À¸²µ´µ½½¾³¾ ²Ëȵ Á¿¸Áº° ·½°Çµ½¸¹ ¿¾ÂÀµ±ÃÎÂÁÏ ±¾»Ìȸµ °±»¸ÆË ¿À¸ ²Ë¿¾»½µ½¸¸ È°³°~K3. Ô»Ï ±¾»ÌȸŠ·½°Çµ½¸¹~$\mu$ ÐÀµ½Á ¿Àµ´»¾¶¸» ÍÄĵºÂ¸²½Ë¹, ½¾ ´¾²¾»Ì½¾ Á»¾¶½Ë¹ ¼µÂ¾´ ¿¾ÀÏ´º°~$\sqrt{\mu}$. Õ³¾ ¿À¾Æµ´ÃÀ° ´µ»¸Â ¿Ã°ÁÁ¾½¾²Áº¾µ À°Á¿Àµ´µ»µ½¸µ ½° ´²µ Ç°Á¸, ¾´½° ¸· º¾Â¾ÀËÅ ½°¿¾¼¸½°µÂ À°²½¾±µ´Àµ½½Ë¹ ÂÀµÃ³¾»Ì½¸º. \excercises \ex[10] Ú°º ²Ë ¿Àµ´»¾¶¸Âµ ²ËÀ°±°Â˲°ÂÌ Á»ÃÇ°¹½Ëµ ǸÁ»°, À°²½¾¼µÀ½¾ À°Á¿Àµ´µ»µ½½Ëµ ¼µ¶´Ã Á»ÃÇ°¹½Ë¼¸ ǸÁ»°¼¸~$\alpha$ ¸~$\beta$ ($\alpha<\beta$)? \ex[M16] ßÀµ´¿¾»°³°Ï, Ǿ~$mU$---Á»ÃÇ°¹½¾µ Ƶ»¾µ ǸÁ»¾ ¼µ¶´Ã~$0$ ¸~$m-1$, ½°¹´¸Âµ \emph{¾ǽÃÎ} ²µÀ¾Ï½¾ÁÂÌ Â¾³¾, Ǿ~$\floor{kU}=r$, µÁ»¸~$0\le r < k$. áÀ°²½¸Âµ Àµ·Ã»Ì° Á ÂÀµ±ÃÎɵ¹ÁÏ ²µÀ¾Ï½¾ÁÂÌÎ~$1/k$. \rex[14] Þ±Áô¸Âµ, Ǿ ¿¾»ÃǸÂÁÏ, µÁ»¸ ÂÀ°ºÂ¾²°ÂÌ~$U$ º°º Ƶ»¾µ ǸÁ»¾ ¸ ²ËÀ°±°Â˲°ÂÌ ¸· ½µ³¾ Á»ÃÇ°¹½¾µ Ƶ»¾µ ¼µ¶´Ã~$0$ ¸~$k-1$, \emph{´µ»Ï}~$U$ ½°~$k$ ²¼µÁ¾ ¿Àµ´»¾¶µ½½¾³¾ ² µºÁµ ü½¾¶µ½¸Ï. â°º¸¼ ¾±À°·¾¼, (1) Á»µ´ÃµÂ ¸·¼µ½¸ÂÌ Â°º: % ¿À¸´µÂÁÏ Á°²¸ÂÌ CR, °º º°º ¾ºµ½Ë º¾½Æ° ÁÂÀ¾º öµ ·°Á¾Á°½Ë ² °À³Ã¼µ½Âµ % Á º°Âµ³¾À¸µ¹ ½µ°ºÂ¸²½Ë¹ Á¸¼²¾» $$ \vbox{ \mixcode ENTA & 0 \cr LDX & U \cr DIV & K \cr \endmixcode } $$ ൷ûÌ° ¾º°¶µÂÁÏ ² Àµ³¸ÁÂÀµ~$X$. å¾À¾È¸¹ »¸ ; ¼µÂ¾´? \ex[Ü20] Ô¾º°¶¸Âµ ¾±° Á¾¾Â½¾Èµ½¸Ï ²~(7). \rex[21] ßÀµ´»¾¶¸Âµ ÍÄĵºÂ¸²½Ë¹ ¼µÂ¾´ ²ËǸÁ»µ½¸Ï Á»ÃÇ°¹½¾¹ ²µ»¸Ç¸½Ë Á À°Á¿Àµ´µ»µ½¸µ¼~$px+qx^2+rx^3$, ³´µ~$p\ge0$, $q\ge0$, $r\ge0$ ¸~$p+q+r=1$. \rex[ÒÜ21] Òµ»¸Ç¸½°~$X$ ²ËǸÁ»ÏµÂÁÏ Á»µ´ÃÎɸ¼ ¼µÂ¾´¾¼. {\medskip\narrower {\sl "è°³~1.\/}~ÒËÀ°±¾Â°ÂÌ ´²° Á»ÃÇ°¹½ËŠǸÁ»°~$U$, $V$. % {\sl è°³~2.\/}~ÕÁ»¸~$U^2+V^2\ge1$, ²µÀ½ÃÂÌÁÏ º È°³Ã~1, ¸½°Çµ ÃÁ°½¾²¸ÂÌ~$X\asg U$." \medskip} \noindent Ú°º¾²° ÄýºÆ¸Ï À°Á¿Àµ´µ»µ½¸Ï~$X$? Ú°º Ç°Á¾ ±Ã´µÂ ²Ë¿¾»½ÏÂÌÁÏ È°³~1? (Þ¿Àµ´µ»¸Âµ ÁÀµ´½µµ ¸ ÁÀµ´½µº²°´À°Â¸Ç½¾µ ¾Âº»¾½µ½¸µ.) \ex[M18] Þ±®ÏÁ½¸Âµ, ¿¾Çµ¼Ã ² ¼µÂ¾´µ Ü°ÀÁ°»Ì¸ ´»Ï ½¾À¼°»Ì½ËÅ Á»ÃÇ°¹½ËÅ ²µ»¸Ç¸½ ¶µ»°½¸µ ²Ë±À°ÂÌ~$p_j$ ºÀ°Â½Ë¼¸~$1/256$ ¿À¸²¾´¸Â º ľÀ¼Ã»µ~$p_j=\floor{64 f(j/4)}/256$, $1\le j \le 12$. \ex[10] װǵ¼ ¾Á¾±¾ ²Ë´µ»ÏÂÌ Ã·º¸µ ¿Àϼ¾Ã³¾»Ì½¸º¸~$f_{13}$,~\dots, $f_{24}$ ² ¼µÂ¾´µ Ü°ÀÁ°»Ì¸ ½°À°²½µ Á ±¾»Ìȸ¼¸~$f_1$,~\dots, $f_{12}$? (߾ǵ¼Ã ; »ÃÇȵ, ǵ¼ ¾±®µ´¸½µ½¸µ º°¶´¾¹ ¿°ÀË~$(f_1, f_{13})$, $(f_2, f_{14})$,~\dots{} ² ¾´¸½ ±¾»ÌȾ¹ ¿Àϼ¾Ã³¾»Ì½¸º?) \ex[ÒÜ10] ߾ǵ¼Ã ºÀ¸²°Ï~$f(x)$ ½° À¸Á.~9 ²Ë¿Ãº»° ²²µÀÅ ¿À¸~$x<1$ ¸ ²½¸· ´»Ï~$x>1$? \ex[ÒÜ21] Ò˲µ´¸Âµ ľÀ¼Ã»Ë ´»Ï~$a_j$, $b_j$ ² Á¾¾Â½¾Èµ½¸¸~(20). ß¾º°¶¸Âµ °º¶µ, Ǿ~$E[j]=16/j$, µÁ»¸~$1\le j \le 4$; $E[j]=1/(e^{j/16-1/32}-1)$, µÁ»¸~$5\le j \le 12$. %% 149 \rex[ÒÜ27] Ô¾º°¶¸Âµ, Ǿ È°³¸~M8--M9 ² °»³¾À¸Â¼µ~M ²ËÀ°±°Â˲°Î ·½°Çµ½¸µ Á»ÃÇ°¹½¾¹ ²µ»¸Ç¸½Ë, Á¾¾Â²µÂÁ²ÃÎɵ¹ Ų¾ÁÂà ½¾À¼°»Ì½¾³¾ À°Á¿Àµ´µ»µ½¸Ï, Â.~µ.\ ¿À¸~$x\ge3$ ²µÀ¾Ï½¾ÁÂÌ Â¾³¾, Ǿ~$X$ Á¾¾Â½¾Èµ½¸µ¼~$V_{n+1}=4V_n\times(1-V_n)$. ⵿µÀÌ, µÁ»¸ ²ËǸÁ»µ½¸Ï ´µ»°ÎÂÁÏ °±Á¾»Î½¾ ¾ǽ¾, Àµ·Ã»Ì° ¸¼µµÂ À°Á¿Àµ´µ»µ½¸µ~$\sin^2\pi U$, ³´µ~$U$---À°²½¾¼µÀ½¾ À°Á¿Àµ´µ»µ½½¾µ Á»ÃÇ°¹½¾µ ǸÁ»¾. ÔÀ󸼸 Á»¾²°¼¸, ÄýºÆ¸Ï À°Á¿Àµ´µ»µ½¸Ï °º¾²°: $$ F(x)={1\over \sqrt{2\pi}}\int_0^x {dx \over \sqrt{x(1-x)}}. $$ Ò Á°¼¾¼ ´µ»µ, µÁ»¸ ¼Ë ½°¿¸Èµ¼~$V_n=\sin^2 \pi U_n$, ¾ ÏÁ½¾, Ǿ~$U_{n+1}=(2U_n)\bmod 1$. Ø ¸· ¾³¾, Ǿ ¿¾Ç¸ ²Áµ ´µ¹Á²¸Âµ»Ì½Ëµ ǸÁ»° ¸¼µÎ Á»ÃÇ°¹½¾µ ´²¾¸Ç½¾µ ¿Àµ´Á°²»µ½¸µ (Á¼.~\S~3.5), Á»µ´ÃµÂ, Ǿ ¿¾Á»µ´¾²°Âµ»Ì½¾ÁÂÌ~$U_n$ À°²½¾¼µÀ½¾ À°Á¿Àµ´µ»µ½½°Ï. ݾ µÁ»¸ ²ËǸÁ»µ½¸µ~$V_n$ ¿À¾¸·²¾´¸ÂÁÏ Á º¾½µÇ½¾¹ ¾ǽ¾ÁÂÌÎ, ͸ °À³Ã¼µ½ÂË, ¾º°·Ë²°ÎÂÁÏ ½µ²µÀ½Ë¼¸, °º º°º Áº¾À¾ ¼Ë ½°Ç¸½°µ¼ ¸¼µÂÌ ´µ»¾ Á Èü¾¼ ¾Â ¾È¸±¾º ¾ºÀó»µ½¸Ï (von Neumann, {\sl Collected Works,\/} Vol.~V, pp.~768--770). ßÀ¾²µ´¸Âµ µ¾ÀµÂ¸ÇµÁº¾µ ¸ ͺÁ¿µÀ¸¼µ½Â°»Ì½¾µ (¿À¸ À°·½ËÅ ·½°Çµ½¸ÏÅ~$V_0$) ¸ÁÁ»µ´¾²°½¸µ ¿¾Á»µ´¾²°Âµ»Ì½¾Á¸~$\$, ¾¿Àµ´µ»µ½½¾¹ ²Ëȵ, º¾³´° ²ËǸÁ»µ½¸Ï ¿À¾²¾´ÏÂÁÏ Á º¾½µÇ½¾¹ ¾ǽ¾ÁÂÌÎ. ߾ž¶µ »¸ À°Á¿Àµ´µ»µ½¸µ ½° ¾¶¸´°µ¼¾µ? ܾ¶½¾ »¸ º°º-½¸±Ã´Ì ¸Á¿¾»Ì·¾²°ÂÌ Í¸ ǸÁ»°? \ex[Ü25] ßÃÁÂÌ $X_1$, $X_2$~\dots, $X_5$---´²¾¸Ç½Ëµ Á»¾²°, ° º°¶´Ë¹ ¸· ´²¾¸Ç½ËÅ À°·ÀÏ´¾² ½µ·°²¸Á¸¼¾ ¿À¸½¸¼°µÂ ·½°Çµ½¸µ~$0$ ¸»¸~$1$ Á ²µÀ¾Ï½¾ÁÂÌÎ~$1/2$. Ú°º¾²° ²µÀ¾Ï½¾ÁÂÌ Â¾³¾, Ǿ ² ´°½½¾¹ ¿¾·¸Æ¸¸ Àµ·Ã»Ì°Â~$X_1\lor (X_2\land (X_3\lor (X_4 \land X_5)))$ Á¾´µÀ¶¸Â~$1$. á´µ»°¹Âµ ¾±¾±Éµ½¸µ. %% 151 \bye