\input style ǵÁºÃÎ »¾³¸ÇµÁºÃÎ Áŵ¼Ã Àµ»µ¹½¾¹ Áŵ¼¾¹, º¾Â¾À°Ï ·°À°±¾Â°»° ² 1941~³. Ò ¿µÀ²ËÅ ±ËÁÂÀ¾´µ¹Á²ÃÎɸŠ²ËǸÁ»¸Âµ»Ì½ËÅ ¼°È¸½°Å, ¿¾ÁÂÀ¾µ½½ËÅ ² мµÀ¸ºµ ² ½°Ç°»µ Á¾À¾º¾²ËÅ ³¾´¾², ¸Á¿¾»Ì·¾²°»°ÁÌ ´µÁϸǽ°Ï °À¸Ä¼µÂ¸º°. ݾ ² 1946~³.\ ² Á˳À°²Èµ¼ ±¾»ÌÈÃÎ À¾»Ì ¾Âǵµ Ð.~ã.~ѸÀºÁ°, X.~X.~Ó¾»´Á°¹½° ¸~Ô¶.~ľ½~ݵ¹¼°½° ¾ ¿À¾µºÂµ ¿µÀ²¾¹ ²ËǸÁ»¸Âµ»Ì½¾¹ ¼°È¸½Ë Á ÅÀ°½¸¼¾¹ ² ¿°¼Ï¸ ¿À¾³À°¼¼¾¹ ±Ë»¸ ¿¾´À¾±½¾ ¸·»¾¶µ½Ë ¿À¸Ç¸½Ë ¸Å ÀµÈµ½¸Ï ¿¾À²°ÂÌ Á ÂÀ°´¸Æ¸µ¹ ¸ ¿µÀµ¹Â¸ º Á¸Áµ¼µ ÁǸÁ»µ½¸Ï ¿¾ ¾Á½¾²°½¸Î~$2$ [Á¼.\ John von~Neumann, Collected Works, Vol.~5, 41--65]. á µŠ¿¾À ´²¾¸Ç½Ëµ ²ËǸÁ»¸Âµ»Ì½Ëµ ÃÁÂÀ¾¹Á²° ¿¾»ÃǸ»¸ ²Áµ¾±Éµµ À°Á¿À¾ÁÂÀ°½µ½¸µ. ß¾Á»µ ¿µÀ²¾¹ ´Î¶¸½Ë »µÂ À°±¾ÂË Á ´²¾¸Ç½Ë¼¸ ¼°È¸½°¼¸ ¾±Áö´µ½¸µ ÁÀ°²½¸Âµ»Ì½ËÅ ´¾Á¾¸½Á² ¸ ½µ´¾Á°º¾² ´²¾¸Ç½¾¹ Á¸Áµ¼Ë ±Ë»¾ ´°½¾ Ò.~ÑÃÅž»ÌƵ¼ ² Á°Â̵ "ß°»ÌÆË ¸»¸ ºÃ»°º¸?"\note{1}% {в¾À Á°Â̸ ¾±Ë³À˲°µÂ ²µÀÁ¸Î °½ÂÀ¾¿¾»¾³¸ÇµÁº¾³¾ ¿À¾¸Áž¶´µ½¸Ï ´µÁϸǽ¾¹ Á¸Áµ¼Ë, ¿¾´ËÁº¸²°Ï °½ÂÀ¾¿¾»¾³¸ÇµÁº¾µ ¾±¾Á½¾²°½¸µ ¸ ´»Ï ´²¾¸Ç½¾¹ Á¸Áµ¼Ë.---{\sl ßÀ¸¼. ¿µÀµ².\/}} [{\sl CACM,\/} {\bf 2} (December, 1959), 3--11]. ÒËǸÁ»¸Âµ»Ì½°Ï ¼°È¸½°~\MIX, ¸Á¿¾»Ì·Ãµ¼°Ï ² ;¹ º½¸³µ, ¾¿Àµ´µ»µ½° °º¸¼ ¾±À°·¾¼, Ǿ ¾½° ¼¾¶µÂ ±ËÂÌ º°º ´²¾¸Ç½¾¹, °º ¸ ´µÁϸǽ¾¹. ؽµÀµÁ½¾ ¾Â¼µÂ¸ÂÌ, Ǿ ¿¾Ç¸ ²Áµ \MIX-¿À¾³À°¼¼Ë ¼¾¶½¾ ·°¿¸Á°ÂÌ, ½µ ·½°Ï, º°º°Ï ¸¼µ½½¾ Á¸Áµ¼° ¸Á¿¾»Ì·ÃµÂÁÏ, ´²¾¸Ç½°Ï ¸»¸ ´µÁϸǽ°Ï,---´°¶µ ¿À¸ ¿À¾²µ´µ½¸¸ ²ËǸÁ»µ½¸¹ ¼½¾³¾ºÀ°Â½¾¹ ¾ǽ¾Á¸. Ø°º, ¼Ë ²¸´¸¼, Ǿ ²Ë±¾À ¾Á½¾²°½¸Ï Á¸Áµ¼Ë ÁǸÁ»µ½¸Ï ½µ ¾º°·Ë²°µÂ ÁµÀ̵·½¾³¾ ²»¸Ï½¸Ï ½° ¿À¾³À°¼¼¸À¾²°½¸µ ´»Ï íÒÜ. (×°Á»Ã¶¸²°Îɸ¼ ÿ¾¼¸½°½¸Ï ¸Áº»Îǵ½¸µ¼ ¸· ;³¾ ¿À°²¸»° Á»Ã¶°Â, ¾´½°º¾, "±Ã»µ²Ë" °»³¾À¸Â¼Ë, ¾±Áö´°µ¼Ëµ ² ³».~7; Á¼. °º¶µ °»³¾À¸Â¼~4.5.2B.) ؼµµÂÁÏ ½µÁº¾»Ìº¾ À°·»¸Ç½ËÅ ¼µÂ¾´¾² ¿Àµ´Á°²»µ½¸Ï \emph{¾ÂÀ¸Æ°Âµ»Ì½ËÅ} ǸÁµ» ² íÒÜ, ¸ ²Ë±¾À ¾³¾ ¸»¸ ¸½¾³¾ ¼µÂ¾´° ¾º°·Ë²°µÂ ²»¸Ï½¸µ ½° Á¿¾Á¾±Ë Àµ°»¸·°Æ¸¸ °À¸Ä¼µÂ¸ÇµÁº¸Å ´µ¹Á²¸¹. à°·±µÀµ¼ À°·»¸Ç¸µ ¼µ¶´Ã ͸¼¸ ¾±¾·½°Çµ½¸Ï¼¸. Ñôµ¼ Á½°Ç°»° ÁǸ°ÂÌ ¼°È¸½Ã~\MIX{} ´µÁϸǽ¾¹ íÒÜ; ¾³´° º°¶´¾µ Á»¾²¾ Á¾´µÀ¶¸Â 10~ƸÄÀ ¸ ·½°º, ½°¿À¸¼µÀ: \EQ[2]{ -12345\,67890. } í¾ Á¿¾Á¾± ¿Àµ´Á°²»µ½¸Ï ½°·Ë²°µÂÁÏ \dfn{¿Àϼ˼ º¾´¾¼}. â°º¾µ ¿Àµ´Á°²»µ½¸µ Á¾¾Â²µÂÁ²õ ¾±Éµ¿À¸½ÏÂ˼ ¾±¾·½°Çµ½¸Ï¼, ¸ ¿¾Í¾¼Ã ¼½¾³¸µ ¿À¾³À°¼¼¸ÁÂË ¿Àµ´¿¾Ç¸Â°Î µ³¾. Ò¾·¼¾¶½¾µ ½µÃ´¾±Á²¾ ·´µÁÌ Á¾Á¾¸Â ² ¾¼, Ǿ ¼¾³Ã ¿¾Ï²»ÏÂÌÁÏ º°º ¼¸½ÃÁ ½Ã»Ì, °º ¸ ¿»ÎÁ ½Ã»Ì, ² ¾ ²Àµ¼Ï º°º ¾±Ëǽ¾ ¾½¸ ´¾»¶½Ë ¾±¾·½°Ç°ÂÌ ¾´½¾ ¸ ¾ ¶µ ǸÁ»¾; °º°Ï ²¾·¼¾¶½¾ÁÂÌ ÂÀµ±ÃµÂ ¿À¸½ÏÂ¸Ï ½µº¾Â¾ÀËÅ ¼µÀ ¿Àµ´¾Á¾À¾¶½¾Á¸. Ò ±¾»Ìȸ½Á²µ ¼µÅ°½¸ÇµÁº¸Å Áǵ½ËÅ ¼°È¸½, ²Ë¿¾»½ÏÎɸŠ´µ¹Á²¸Ï ´µÁϸǽ¾¹ °À¸Ä¼µÂ¸º¸, ¸Á¿¾»Ì·ÃµÂÁÏ ´Àó°Ï Á¸Áµ¼° ·°¿¸Á¸, %% 212 ½°·Ë²°µ¼°Ï \dfn{´¾¿¾»½¸Âµ»Ì½Ë¼ º¾´¾¼}. ÒËÇÂÏ~$1$ ¸·~$00000\,00000$, ¼Ë ¿¾»ÃǸ¼ ² ;¹ Á¸Áµ¼µ ·°¿¸Á¸~$99999\,99999$; ´À󸼸 Á»¾²°¼¸, ǸÁ»Ã ½µ ¿À¸¿¸Á˲°µÂÁÏ Ï²½¾³¾ ·½°º°, ° ²ËǸÁ»µ½¸Ï ¿À¾²¾´ÏÂÁÏ \emph{¿¾ ¼¾´Ã»Î~$10^{10}$}. ç¸Á»¾~$-12345\,67890$ ² ´¾¿¾»½¸Âµ»Ì½¾¼ º¾´µ ±Ã´µÂ ²Ë³»Ï´µÂÌ Â°º: \EQ[3]{ 87654\,32110. } Ò Í¾¹ Á¸Áµ¼µ ¾±¾·½°Çµ½¸¹ ¿À¸½Ï¾ ÁǸ°ÂÌ ¾ÂÀ¸Æ°Âµ»Ì½Ë¼ »Î±¾µ ǸÁ»¾, ³¾»¾²½°Ï ƸÄÀ° º¾Â¾À¾³¾ µÁÂÌ~$5$, $6$, $7$, $8$ ¸»¸~$9$, žÂÏ Á ¾Ǻ¸ ·Àµ½¸Ï ¿À°²¸»Ì½¾Á¸ Àµ·Ã»Ì°¾² Á»¾¶µ½¸Ï ¸ ²ËǸ°½¸Ï ½µ ±Ã´µÂ ½¸º°º¾³¾ ³ÀµÅ° À°ÁÁ¼°ÂÀ¸²°ÂÌ~\eqref[3], µÁ»¸ ; ô¾±½¾, º°º ǸÁ»¾~$+87654\,32110$. ßÀ¸ ¿À¸¼µ½µ½¸¸ ´¾¿¾»½¸Âµ»Ì½¾³¾ º¾´° ½µ ²¾·½¸º°µÂ ¸ ¿À¾±»µ¼Ë "¼¸½ÃÁ ½Ã»Ï". Ó»°²½¾µ À°·»¸Ç¸µ ¼µ¶´Ã ¿Àϼ˼ º¾´¾¼ ¸ ´¾¿¾»½¸Âµ»Ì½Ë¼ Á¾Á¾¸Â ¿À°ºÂ¸ÇµÁº¸ ² ¾¼, Ǿ Á´²¸³ ²¿À°²¾ ² ´¾¿¾»½¸Âµ»Ì½¾¼ º¾´µ ½µ ͺ²¸²°»µ½Âµ½ ´µ»µ½¸Î ½°~$10$; ½°¿À¸¼µÀ, ǸÁ»¾~$-11=\ldots{}99989$ ¿¾Á»µ Á´²¸³° ²¿À°²¾ ¿Àµ²À°É°µÂÁÏ ² ǸÁ»¾~$\ldots{}99998=-2$ (² ¿Àµ´¿¾»¾¶µ½¸¸, Ǿ Á´²¸³ ²¿À°²¾ ¾ÂÀ¸Æ°Âµ»Ì½¾³¾ ǸÁ»° ¿¾À¾¶´°µÂ ² ³¾»¾²½¾¼ À°·ÀÏ´µ~"$9$"). Ò ¾±Éµ¼ Á»ÃÇ°µ Àµ·Ã»Ì°¾¼ Á´²¸³° ǸÁ»°~$x$, ·°¿¸Á°½½¾³¾ ² ´¾¿¾»½¸Âµ»Ì½¾¼ º¾´µ, ½° ¾´½Ã ƸÄÀà ²¿À°²¾ ±Ã´µÂ ǸÁ»¾~$\floor{x/10}$ ½µ·°²¸Á¸¼¾ ¾Â ¾³¾, ¿¾»¾¶¸Âµ»Ì½¾~$x$ ¸»¸ ¾ÂÀ¸Æ°Âµ»Ì½¾. Þ´½¾ ¸· ¿¾Âµ½Æ¸°»Ì½ËÅ ½µÃ´¾±Á² ·°¿¸Á¸ ¿À¸ ¿¾¼¾É¸ ´¾¿¾»½¸Âµ»Ì½¾³¾ º¾´° ·°º»ÎÇ°µÂÁÏ ² µµ ½µÁ¸¼¼µÂÀ¸Ç½¾Á¸ ¾Â½¾Á¸Âµ»Ì½¾ ½Ã»Ï; ½°¸±¾»Ìȵµ ¾ÂÀ¸Æ°Âµ»Ì½¾µ ǸÁ»¾, ¿Àµ´Á°²¸¼¾µ ¿¾ÁÀµ´Á²¾¼ $p$~ƸÄÀ, $500\ldots{}0$, ½µ ϲ»ÏµÂÁÏ ·½°º¾²Ë¼ ¾±À°Éµ½¸µ¼ ½¸º°º¾³¾ $p\hbox{-À°·ÀÏ´½¾³¾}$ ¿¾»¾¶¸Âµ»Ì½¾³¾ ǸÁ»°. â°º¸¼ ¾±À°·¾¼, ²¾·¼¾¶½¾, Ǿ ¸·¼µ½µ½¸µ ·½°º° (·°¼µ½°~$x$ ½°~$-x$) ¿¾Á»Ã¶¸Â ¿À¸Ç¸½¾¹ ¿µÀµ¿¾»½µ½¸Ï. Õɵ ¾´½° Á¸Áµ¼° ¾±¾·½°Çµ½¸¹, ¿À¸½ÏÂ°Ï Á Á°¼ËÅ ¿µÀ²ËÅ ´½µ¹ ÍÀË ±ËÁÂÀ¾´µ¹Á²ÃÎɸŠ²ËǸÁ»¸Âµ»Ì½ËÅ ¼°È¸½,---; ¿Àµ´Á°²»µ½¸µ ² \emph{¾±À°Â½¾¼ º¾´µ}. Ò Í¾¼ Á»ÃÇ°µ ǸÁ»¾~$-12345\,67890$ ·°¿¸Á˲°µÂÁÏ ² ²¸´µ \EQ[4]{ 87654\,32109. } Ú°¶´°Ï ƸÄÀ° ¾ÂÀ¸Æ°Âµ»Ì½¾³¾ ǸÁ»°~$-x$ À°²½° À°·½¾Á¸ ¼µ¶´Ã~$9$ ¸ Á¾¾Â²µÂÁ²ÃÎɵ¹ ƸÄÀ¾¹~$x$. ݵÂÀô½¾ ²¸´µÂÌ, Ǿ ´»Ï ¾ÂÀ¸Æ°Âµ»Ì½¾³¾ ǸÁ»° µ³¾ ¾±À°Â½Ë¹ º¾´ ²Áµ³´° ½° µ´¸½¸Æà ¼µ½Ìȵ ´¾¿¾»½¸Âµ»Ì½¾³¾; Á»¾¶µ½¸µ ¸ ²ËǸ°½¸µ ¿À¾¸·²¾´ÏÂÁÏ ¿¾ ¼¾´Ã»Î~$10^{10}-1$, ° ; ¾·½°Ç°µÂ, Ǿ ¿µÀµ½¾Á ¸· ºÀ°¹½µ¹ »µ²¾¹ ¿¾·¸Æ¸¸ ´¾±°²»ÏµÂÁÏ º ºÀ°¹½µ¹ ¿À°²¾¹ (Á¼.~¿.~3.2.1.1). á½¾²° ²¾·½¸º°Î ÂÀô½¾Á¸ Á ¼¸½ÃÁ ½Ã»µ¼, °º º°º ·°¿¸Á¸~$99999\,99999$ ¸~$00000\,00000$ ¾±¾·½°Ç°Î ¾´½¾ ¸ ¾ ¶µ. ⾻̺¾ Ǿ ¸·»¾¶µ½½Ëµ ¸´µ¸, ¾Â½¾ÁÏɸµÁÏ º °À¸Ä¼µÂ¸ºµ ¿¾ ¾Á½¾²°½¸Î~$10$, °½°»¾³¸Ç½Ë¼ ¾±À°·¾¼ ¿À¸¼µ½¸¼Ë º °À¸Ä¼µÂ¸ºµ ¿¾ ¾Á½¾²°½¸Î~$2$, ¸ ¼Ë ¿¾»ÃÇ°µ¼ \emph{´²¾¸Ç½Ëµ ¿Àϼ¾¹}, \emph{´¾¿¾»½¸Âµ»Ì½Ë¹} ¸ \emph{¾±À°Â½Ë¹ º¾´Ë}. Ò ¿À¸¼µÀ°Å ;¹ ³»°²Ë ¼°È¸½°~\MIX{} %% 213 ¸Á¿¾»Ì·ÃµÂÁÏ Â¾»Ìº¾ ´»Ï À°±¾ÂË Á ¿Àµ´Á°²»µ½¸µ¼ ² ¿Àϼ¾¼, º¾´µ; Á¾¾Â²µÂÁ²ÃÎɸµ ¿À¾Æµ´ÃÀË ´»Ï ´¾¿¾»½¸Âµ»Ì½¾³¾ ¸ ¾±À°Â½¾³¾ º¾´¾² ¾±Áö´°ÎÂÁÏ, µÁ»¸ ; ¾º°·Ë²°µÂÁÏ ²°¶½Ë¼, ² Á¾¿À¾²¾´¸Âµ»Ì½¾¼ µºÁµ. Ѿ»Ìȸ½Á²¾ Àú¾²¾´Á² ¿¾ ²ËǸÁ»¸Âµ»Ì½Ë¼ ¼°È¸½°¼ Á¾¾±É°ÎÂ, Ǿ ¼°È¸½½¾¹ Áŵ¼¾¹ ´¾¿ÃÁº°µÂÁÏ, Ǿ±Ë ¿¾·¸Æ¸¾½½°Ï ¾Ǻ° À°Á¿¾»°³°»°ÁÌ ² ĸºÁ¸À¾²°½½¾¹ ¿¾·¸Æ¸¸ ²½ÃÂÀ¸ º°¶´¾³¾ ¼°È¸½½¾³¾ Á»¾²°. í¾ ¸·²µÉµ½¸µ Á¾¸Â ¾±Ëǽ¾ ¸³½¾À¸À¾²°ÂÌ; ³¾À°·´¾ »ÃÇȵ ²ËÃǸÂÌ ¿À°²¸»°, º°Á°ÎɸµÁÏ Â¾³¾, ³´µ ¿¾Ï²¸ÂÁÏ ¿¾·¸Æ¸¾½½°Ï ¾Ǻ° ² Àµ·Ã»Ì°µ ²Ë¿¾»½µ½¸Ï º¾¼°½´Ë, µÁ»¸ ¿Àµ´¿¾»¾¶¸ÂÌ, Ǿ ´¾ µµ ²Ë¿¾»½µ½¸Ï ¾½° À°Á¿¾»¾¶µ½° ½° º°º¾¼-¾ ¾¿Àµ´µ»µ½½¾¼ ¼µÁµ. Ý°¿À¸¼µÀ, ² Á»ÃÇ°µ ¼°È¸½Ë~\MIX{} ¼Ë ¼¾³»¸ ±Ë À°ÁÁ¼°ÂÀ¸²°ÂÌ ½°È¸ ¾¿µÀ°½´Ë »¸±¾ º°º Ƶ»Ëµ ǸÁ»° Á ¿¾·¸Æ¸¾½½¾¹ ¾Ǻ¾¹ ² ºÀ°¹½µ¼ ¿À°²¾¼ ¿¾»¾¶µ½¸¸, »¸±¾ º°º ¿À°²¸»Ì½Ëµ ´À¾±¸ Á ¿¾·¸Æ¸¾½½¾¹ ¾Ǻ¾¹ ² ºÀ°¹½µ¼ »µ²¾¼ ¿¾»¾¶µ½¸¸, »¸±¾ º°º ½µº¾Â¾À˵ ¿À¾¼µ¶Ã¾ǽ˵ ¼µ¶´Ã ͸¼¸ ´²Ã¼Ï ºÀ°¹½¸¼¸ ²°À¸°½Â°¼¸; ¿À°²¸»° À°ÁÁ°½¾²º¸ ¿¾·¸Æ¸¾½½¾¹ ¾Ǻ¸ ² º°¶´¾¼ Àµ·Ã»Ì°µ ¿¾»ÃÇ°ÎÂÁÏ ½µ¿¾ÁÀµ´Á²µ½½¾. Ûµ³º¾ ²¸´µÂÌ, Ǿ ÁÃɵÁ²õ ¿À¾ÁÂ°Ï Á²Ï·Ì ¼µ¶´Ã ·°¿¸ÁÌΠǸÁµ» ² Á¸Áµ¼°Å ÁǸÁ»µ½¸Ï ¿¾ ¾Á½¾²°½¸Ï¼~$b$ ¸~$b^k$: \EQ[5]{ (\ldots a_3 a_2 a_1 a_0.a_{-1}a_{-2}\ldots)_b= (\ldots A_3 A_2 A_1 A_0.A_{-1} A_{-2}\ldots)_{b^k}, } ³´µ \EQ{ A_j=(a_{kj+k-1}\ldots a_{kj+1}a_{kj})_b; } Á¼.~ÿÀ.~8. â°º¸¼ ¾±À°·¾¼, ¼Ë ¿¾»ÃÇ°µ¼ ¿À¾Á¾¹ Á¿¾Á¾± ¿µÀµÅ¾´¸ÂÌ "Á ¾´½¾³¾ ²·³»Ï´°" ¾Â, Áº°¶µ¼, ´²¾¸Ç½¾¹ º ²¾Á̼µÀ¸Ç½¾¹ Á¸Áµ¼µ ¸ ¾±À°Â½¾. ؼµµÂÁÏ ¼½¾³¾ ¸½ÂµÀµÁ½ËÅ ²°À¸°½Â¾² ¿¾·¸Æ¸¾½½ËÅ Á¸Áµ¼ ÁǸÁ»µ½¸Ï, ¿¾¼¸¼¾ Á°½´°À½ËÅ $b\hbox{-°À½ËÅ}$ Á¸Áµ¼, ¾±Áö´°²È¸ÅÁÏ ´¾ Á¸Å ¿¾À. Ý°¿À¸¼µÀ, ¼Ë ¼¾³»¸ ±Ë À°ÁÁ¼°ÂÀ¸²°ÂÌ Ç¸Á»° ¿¾ ¾Á½¾²°½¸Î~$(-10)$, °º Ǿ \EQ{ \eqalign{ (\ldots a_3 a_2 a_1 a_0 . a_{-1} a_{-2} \ldots)_{-10}&=\cr &=\ldots+a_3(-10)^3+a_2(-10)^2+a_1(-10)^1+a_0+\ldots=\cr &=\ldots-1000a_3+100a_2-10a_1+a_0-{1\over 10}a_{-1}+{1\over 100}a_{-2}-\ldots\,.\cr } } ×´µÁÌ, º°º ¸ ² ¾±Ëǽ¾¹ ´µÁϸǽ¾¹ Á¸Áµ¼µ, ƸÄÀË~$a_k$ ô¾²»µÂ²¾ÀÏΠ½µÀ°²µ½Á²°¼~$0\le a_k \le 9$. ç¸Á»¾~$12345\,67890$ ·°¿¸ÈµÂÁÏ ² °º¾¹ "½µ³°-´µÁϸǽ¾¹" Á¸Áµ¼µ ² ²¸´µ \EQ[6]{ (1\,93755\,73910)_{-10}, } °º º°º ¾½¾ À°²½¾ º°º À°·~$10305070900-9070503010$. ؽµÀµÁ½¾ ¾Â¼µÂ¸ÂÌ, Ǿ µ³¾ ·½°º¾²¾µ ¾±À°Éµ½¸µ, ¾ÂÀ¸Æ°Âµ»Ì½¾µ ǸÁ»¾~$-12345\,67890$, ·°¿¸Á˲°µÂÁÏ ² ²¸´µ \EQ[7]{ (28466\,48290)_{-10}, } %% 214 ¸ ² ´µ¹Á²¸Âµ»Ì½¾Á¸ \emph{»Î±¾µ ²µÉµÁ²µ½½¾µ ǸÁ»¾, ¿¾»¾¶¸Âµ»Ì½¾µ ¸»¸ ¾ÂÀ¸Æ°Âµ»Ì½¾µ, ¼¾¶µÂ ±ËÂÌ ¿Àµ´Á°²»µ½¾ ² Á¸Áµ¼µ ¿¾ ¾Á½¾²°½¸Î~$-10$ ±µ· ·½°º°.} á¸Áµ¼Ë ¿¾ ¾ÂÀ¸Æ°Âµ»Ì½¾¼Ã ¾Á½¾²°½¸Î ±Ë»¸ ÿ¾¼Ï½ÃÂË ² »¸ÂµÀ°ÂÃÀµ ²¿µÀ²Ëµ, ¿¾-²¸´¸¼¾¼Ã, ×.~ß°²»Ïº¾¼ ¸~Ð.~Ò°ºÃ»¸Çµ¼ [{\sl Bulletin de l'Academie Polonaise des Sciences,\/} Classe~III, {\bf 5} (1957), 233--236; S\'erie des sciences techniques, {\bf 7} (1959), 713--721] ¸ Û.~ã͹´µ»¾¼ [{\sl IRE Transactions,\/} {\bf EC-6} (1957), 123]. Ô°»Ì½µ¹È¸µ »¸ÂµÀ°ÂÃÀ½Ëµ ÁÁË»º¸ ¼¾¶½¾ ½°¹Â¸ ² ¶ÃÀ½°»°Å {\sl IEEE Transactions\/} [{\bf EC-12} (1963), 274--276] %% fixed: (May, (1967) ---> (May, 1967) ¸ {\sl Computer Design\/} [{\bf 6} (May, 1967), 52--63]. (ؼµÎÂÁÏ Á²¸´µÂµ»ÌÁ²° ¾³¾, Ǿ ¸´µÏ ¾ÂÀ¸Æ°Âµ»Ì½¾³¾ ¾Á½¾²°½¸Ï ²¾·½¸º»° ½µ·°²¸Á¸¼¾ ÁÀ°·Ã à Ƶ»¾³¾ ÀÏ´° »¸Æ ¿¾ ¿À¸Ç¸½µ À°ÁÂÃɵ³¾ ¸½ÂµÀµÁ° º ¿À¾µºÂ¸À¾²°½¸Î íÒÜ.) Ô¶.~ä.~á¾½³ÁµÀ, ¿¾ ¿Àµ´»¾¶µ½¸Î Ô¶.~ã.~ß͵ÀÁ¾½°, ¸ÁÁ»µ´¾²°» Á¸Áµ¼Ë ½¾ ¾Á½¾²°½¸Î~$-2$ ² Á²¾µ¹ ¼°³¸ÁµÀÁº¾¹ ´¸ÁÁµÀ°Ƹ¸ (ßµ½Á¸»Ì²°½Áº¸¹ ý¸²µÀÁ¸ÂµÂ, 1956~³.). á¸Áµ¼Ë Á ¾ÂÀ¸Æ°Âµ»Ì½Ë¼ ¾Á½¾²°½¸µ¼ À°ÁÁ¼°ÂÀ¸²°» °º¶µ ² 1955~³.\ Ô.~í.~ڽಠ½µ±¾»ÌȾ¼ ¼°È¸½¾¿¸Á½¾¼ µºÁµ, ¿Àµ´½°·½°Çµ½½¾¼ ´»Ï º¾½ºÃÀÁ° "ß¾¸Áº ½°ÃǽËŠ°»°½Â¾²" ÁÀµ´¸ Ãǵ½¸º¾² Á°ÀȸŠº»°ÁÁ¾²; °¼ ¶µ ¾±Áö´°»¾ÁÌ ¸ ´°»Ì½µ¹Èµµ ¾±¾±Éµ½¸µ---´¾ º¾¼¿»µºÁ½¾·½°Ç½ËÅ ¾Á½¾²°½¸¹. â¾Â Ä°ºÂ, Ǿ ²Áµ ǸÁ»° ¼¾³Ã ±ËÂÌ ¿Àµ´Á°²»µ½Ë ¿¾ ¾ÂÀ¸Æ°Âµ»Ì½¾¼Ã ¾Á½¾²°½¸Î, ¾Â¼µÇ°» ² ´Àó¾¼ º¾½ÂµºÁµ ½µÁº¾»Ìº¸¼¸ ³¾´°¼¸ À°½µµ Ý.~Ó.~´µ~ÑÀ¸¹½ [{\sl Publ. Math. Debrecen,\/} {\bf 1} (1950), 232--242, ¾Á¾±µ½½¾ Á¼.~ÁÂÀ.~240], ¾´½°º¾ ¾½ ½µ ¿À¸¼µ½¸» ÍÂà ¸´µÎ º °À¸Ä¼µÂ¸ºµ. Ò˱¾À ¾Á½¾²°½¸Ï~$2i$ ¿À¸²¾´¸Â º ¸½ÂµÀµÁ½¾¹ Á¸Áµ¼µ ÁǸÁ»µ½¸Ï, º¾Â¾ÀÃÎ µÁµÁ²µ½½¾ ½°·²°ÂÌ "¼½¸¼¾-ǵ²µÀ¸Ç½¾¹" (¿¾ °½°»¾³¸Ï Á "ǵ²µÀ¸Ç½¾¹"\note{1}% {Ò ¾À¸³¸½°»µ °½°»¾³¸Ï "¿¾»½µ¹": "quaternary"---"quater-imaginary".---{\sl ßÀ¸¼. Àµ´.\/}}, ²²¸´Ã ¾³¾ Ǿ \emph{º°¶´¾µ º¾¼¿»µºÁ½¾µ ǸÁ»¾ ¼¾¶µÂ ±ËÂÌ ¿Àµ´Á°²»µ½¾ ² ;¹ Á¸Áµ¼µ ¿À¸ ¿¾¼¾É¸ ƸÄÀ $0$, $1$, $2$ ¸~$3$, ¿À¸Çµ¼ µŠ¶µ ƸÄÀ, ²·ÏÂËÅ Á¾ ·½°º¾¼ ¼¸½ÃÁ, ½µ ÂÀµ±ÃµÂÁÏ)}. [á¼.~{\sl CACM,\/} {\bf 3}, (1960), 245--247.] Ý°¿À¸¼µÀ, %% !!! ·°Çµ¼ ·´µÁÌ Ä¾À¼Ã»° ¾Ä¾À¼»µ½° Á ²µÀÂ. ǵÀ¾¹, ½µ ·½°Î, %% ´µ»°Î ¿¾-ǵ»¾²µÇµÁº¸ \EQ{ (11210.31)_{2i}=1\cdot 16+1\cdot (-8i)+2\cdot (-4)+1\cdot (2i)+3\cdot\left(-{1\over2}i\right)+1\left(-{1\over4}\right)=7{3\over4}-7{1\over2}i. } ç¸Á»¾~$(a_{2n}\ldots{} a_1 a_0.a_{-1}\ldots{} a_{-2k})_{2i}$ À°²½¾ \EQ{ (a_{2n}\ldots a_2 a_0 . a_{-2}\ldots{} a_{-2k})_{-4}+2i(a_{2n-1}\ldots a_3 a_1.a_{-1}\ldots{} a_{-2k+1})_{-4}, } °º Ǿ ¿µÀµ²¾´ ǸÁ»° ² ¼½¸¼¾-ǵ²µÀ¸Ç½ÃΠľÀ¼Ã ¸ ¾±À°Â½¾ Á²¾´¸ÂÁÏ º ¿µÀµ²¾´Ã ² "½µ³°-ǵ²µÀ¸Ç½ÃÎ" ľÀ¼Ã ¸ ¾±À°Â½¾. ؽµÀµÁ½¾µ Á²¾¹Á²¾ ;¹ Á¸Áµ¼Ë Á¾Á¾¸Â ² ¾¼, Ǿ ¾½° ´¾¿ÃÁº°µÂ ²Ë¿¾»½µ½¸µ ü½¾¶µ½¸Ï ¸ ´µ»µ½¸Ï º¾¼¿»µºÁ½ËŠǸÁµ» %% 215 Ƶ»¾Á½˼ ¾±À°·¾¼ ±µ· À°·´µ»Ì½¾³¾ À°ÁÁ¼¾ÂÀµ½¸Ï ²µÉµÁ²µ½½ËÅ ¸ ¼½¸¼ËÅ Ç°Áµ¹. Ý°¿À¸¼µÀ, ¿µÀµ¼½¾¶¸ÂÌ ´²° ǸÁ»° ¼Ë ¼¾¶µ¼ ² ;¹ Á¸Áµ¼µ °º ¶µ, º°º ¸ ¿À¸ »Î±¾¼ ´Àó¾¼ ¾Á½¾²°½¸¸, ¸Á¿¾»Ì·ÃÏ Â¾»Ìº¾ ½µÁº¾»Ìº¾ ¸½¾µ "¿À°²¸»¾ ¿µÀµ½¾Á°": ² Á»ÃÇ°µ µÁ»¸ ƸÄÀ° Á°½¾²¸ÂÁÏ ±¾»Ìȵ~$4$, ¼Ë ²ËǸ°µ¼~$4$ ¸ "¿µÀµ½¾Á¸¼"~$-1$ ½° ´²° Á¾»±Æ° ²»µ²¾, ° º¾³´° ¿¾»ÃÇ°µÂÁÏ ¾ÂÀ¸Æ°Âµ»Ì½°Ï ƸÄÀ°, ¼Ë ¿À¸±°²»Ïµ¼ º ½µ¹~$4$ ¸ "¿µÀµ½¾Á¸¼"~$+1$ ½° ´²° Á¾»±Æ° ²»µ²¾. à°·±¾À ½¸¶µÁ»µ´ÃÎɵ³¾ ¿À¸¼µÀ° ¿¾ÏÁ½¸Â, º°º À°±¾Â°µÂ ; Á²¾µ¾±À°·½¾µ ¿À°²¸»¾ ¿µÀµ½¾Á°: \ctable{ \strut$#$\bskip&&\bskip$#$\bskip\cr & & & & 1 & 2 & 2 & 3 & 1 & \quad [9-10i]\hfil\cr & & & & 1 & 2 & 2 & 3 & 1 & \quad [9-10i]\hfil\cr \multispan{4} & \multispan{5}\hrulefill\cr & & & & 1 & 2 & 2 & 3 & 1 \cr 1 & 0 & 3 & 2 & 0 & 2 & 1 & 3\cr & & 1 & 3 & 0 & 2 & 2\cr & 1 & 3 & 0 & 2 & 2\cr 1 & 2 & 2 & 3 & 1\cr \multispan{9}\hrulefill\cr 0 & 2 & 1 & 3 & 3 & 3 & 1 & 2 & 1 & \quad [-19-180i]\hfil\cr } ܾ¶½¾ ¿¾ÁÂÀ¾¸ÂÌ °½°»¾³¸Ç½ÃÎ Á¸Áµ¼Ã ¿¾ ¾Á½¾²°½¸Î~$\sqrt{2}i$, ² º¾Â¾À¾¹ ¸Á¿¾»Ì·ÃÎÂÁÏ »¸ÈÌ Æ¸ÄÀË~$0$ ¸~$1$, ½¾ ² ;¹ Á¸Áµ¼µ öµ ´»Ï ¿Àµ´Á°²»µ½¸Ï Á°¼¾¹ ¼½¸¼¾¹ µ´¸½¸ÆË~$i$ ÂÀµ±ÃµÂÁÏ ±µÁº¾½µÇ½¾µ ½µ¿µÀ¸¾´¸ÇµÁº¾µ À°·»¾¶µ½¸µ. "Ѹ½°À½ÃÎ" º¾¼¿»µºÁ½ÃÎ Á¸Áµ¼Ã ÁǸÁ»µ½¸Ï ¼¾¶½¾ °º¶µ ¿¾»ÃǸÂÌ, ¸Á¿¾»Ì·ÃÏ ¾Á½¾²°½¸µ~$i-1$, ¿Àµ´»¾¶µ½½¾µ ã.~ßµ½½¸ [{\sl JACM,\/} {\bf 12} (1965), 247--248]: \EQ{ (\ldots{}a_4a_3a_2a_1a_0.a_{-1}\ldots)_{i-1} =\ldots-4a_4+(2+2i)a_3-2ia_2+(i-1)a_1+a_0-{1\over 2}(i+1)a_{-1}+\ldots\,. } Ò Í¾¹ Á¸Áµ¼µ ¸Á¿¾»Ì·ÃÎÂÁÏ Â¾»Ìº¾ ƸÄÀË~$0$ ¸~$1$. Þ´¸½ ¸· Á¿¾Á¾±¾² ´¾º°·°ÂÌ, Ǿ º°¶´¾µ º¾¼¿»µºÁ½¾µ ǸÁ»¾ ´¾¿ÃÁº°µÂ °º¾µ ¿Àµ´Á°²»µ½¸µ, Á¾Á¾¸Â ² À°ÁÁ¼¾ÂÀµ½¸¸ ¸½ÂµÀµÁ½¾³¾ ¼½¾¶µÁ²°~$S$, ¸·¾±À°¶µ½½¾³¾ ½° À¸Á.~1\note{1}% {á ¼½¾¶µÁ²¾¼~$S$ ¸ µ¼ Á°¼Ë¼ Á Á¸Áµ¼¾¹ ÁǸÁ»µ½¸Ï ¿¾ ¾Á½¾²°½¸Î~$i-1$ µÁ½¾ Á²Ï·°½Ë "ºÀ¸²Ëµ ´À°º¾½°", ¸·¾±ÀµÂµ½½Ëµ ¸ ½°·²°½½Ëµ °º °¼µÀ¸º°½Áº¸¼ ĸ·¸º¾¼ Ô¶.~åµ¹²µµ¼. ×°¼µÇ°Âµ»Ì½Ëµ Á²¾¹Á²° ͸ŠºÀ¸²ËÅ ¸ÁÁ»µ´¾²°» °²Â¾À ½°Á¾Ïɵ¹ º½¸³¸ Ô¾½°»Ì´ ڽà(Á¼., ½°¿À¸¼µÀ, Á°ÂÌÎ Ý.~Ñ.~Ò°Á¸»Ìµ²° ¸ Ò.~Û.~Óõ½¼°ÅµÀ° ²¾ 2-¼ ½¾¼µÀµ ¶ÃÀ½°»° "Ú²°½Â" ·°~1970~³., 36--46).---{\sl ßÀ¸¼. ¿µÀµ².\/}}; ; ¼½¾¶µÁ²¾ Á¾Á¾Ï ¿¾ ¾¿Àµ´µ»µ½¸Î ¸· ²ÁµÅ ¾ǵº º¾¼¿»µºÁ½¾¹ ¿»¾Áº¾Á¸, º¾Â¾À˵ ´¾¿ÃÁº°Î ·°¿¸ÁÌ ² ²¸´µ~$\sum_{k\ge 1}a_k(i-1)^{-k}$ ´»Ï ½µº¾Â¾À¾¹ ±µÁº¾½µÇ½¾¹ ¿¾Á»µ´¾²°Âµ»Ì½¾Á¸ $a_1$, $a_2$, $a_3$,~\dots{} ½Ã»µ¹ ¸ µ´¸½¸Æ. Ý° À¸Áýºµ ¿¾º°·°½¾, º°º ¼¾¶½¾ À°·±¸ÂÌ ¼½¾¶µÁ²¾~$S$ ½° 256~Ç°Áµ¹, º¾½³ÀÃͽ½ËÅ~$(1/16)S$; %% 216 ·°¼µÂ¸¼, Ǿ µÁ»¸ ¼½¾¶µÁ²¾~$S$ ¿¾²µÀ½ÃÂÌ ¿¾ Ç°Á¾²¾¹ ÁÂÀµ»ºµ ½°~$135^\circ$, ¾ ¼Ë ò¸´¸¼, Ǿ ¾½¾ À°Á¿°´°µÂÁÏ ½° ´²° ¿À¸¼Ëº°ÎɸŠ´Àó º ´Àóà ¼½¾¶µÁ²°, º¾½³ÀÃͽ½ËÅ~$(1/\sqrt{2})S$ (¿¾Áº¾»ÌºÃ~$(i-1)S=S\cup (S+1)$). ß¾ ¿¾²¾´Ã ´µÂ°»µ¹ ´¾º°·°Âµ»ÌÁ²° \picture{à¸Á.~1. ܽ¾¶µÁ²¾~$S$.} ¾³¾, Ǿ $S$~Á¾´µÀ¶¸Â ²Áµ º¾¼¿»µºÁ½Ëµ ǸÁ»° ´¾Á°¾ǽ¾ ¼°»¾³¾ ¼¾´Ã»Ï, Á¼.~ÿÀ.~18. (Ò ´µ¹Á²¸Âµ»Ì½¾Á¸ ³À°½¸Æ°~$S$ Á¾´µÀ¶¸Â ¼½¾³¾ ¼µ»º¸Å "·Ã±Æ¾²"; ͸ ·Ã±ÆË ½° À¸Á.~1 Á³»°¶µ½Ë.) \def\ternary{\bgroup\catcode`\!=\active} \def\endternary{\egroup} \catcode`!=\active \def!{\overline{1}} \catcode`\!=12 ÑËÂÌ ¼¾¶µÂ, Á°¼¾¹ ¸·Ïɽ¾¹ ¸· ²ÁµÅ ϲ»ÏµÂÁÏ \emph{ÃÀ°²½¾²µÈµ½½°Ï ÂÀ¾¸Ç½°Ï} Á¸Áµ¼° ÁǸÁ»µ½¸Ï---Á¸Áµ¼° ¿¾ ¾Á½¾²°½¸Î~$3$, ² º¾Â¾À¾¹ ²¼µÁ¾ ƸÄÀ~$0$, $1$, $2$ ¸Á¿¾»Ì·ÃÎÂÁÏ "ÂÀ¸ÂË"\note{1}% {ß¾ °½°»¾³¸¸ Á "±¸Â°¼¸".---{\sl ßÀ¸¼. Àµ´.\/}} $-1$, $0$, $+1$. ÕÁ»¸ %% 217 ²¼µÁ¾~$-1$ ¿¸Á°ÂÌ~\ternary$!$\endternary, ¾ ¼Ë ¿¾»ÃǸ¼ Á»µ´ÃÎɸµ ¿À¸¼µÀË Ç¸Áµ», ·°¿¸Á°½½ËÅ ² ÃÀ°²½¾²µÈµ½½¾¹ ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ ÁǸÁ»µ½¸Ï: \ternary\ctable{ \strut\hfil$#$&#&$#$\hfil&\hfil$\quad#$&$#$\hfil\cr \multispan{3} ãÀ°²½¾²µÈµ½½°Ï ÂÀ¾¸Ç½°Ï Á¸Áµ¼° & \multispan{2} ÔµÁϸǽ°Ï Á¸Áµ¼°\cr \multispan{3} ÁǸÁ»µ½¸Ï & \multispan{2} ÁǸÁ»µ½¸Ï\cr 10!& & & 8\cr 11!0&.&!! & 32& {5\over 9}\cr !!10&.&11 & -32&{5\over 9}\cr !!10&.& & -33\cr 0&.&11111\ldots & &{1\over 2}\cr }\endternary ãÀ°²½¾²µÈµ½½°Ï ÂÀ¾¸Ç½°Ï Á¸Áµ¼° ÁǸÁ»µ½¸Ï ¾±»°´°µÂ ¼½¾³¸¼¸ ¿À¸Ï½˼¸ Á²¾¹Á²°¼¸: {\medskip\narrower \item{a)}ßµÀµÅ¾´ ¾Â ǸÁ»° º ¿À¾Â¸²¾¿¾»¾¶½¾¼Ã ¿¾ ·½°ºÃ ¾ÁÃɵÁ²»ÏµÂÁÏ ²·°¸¼½¾¹ ·°¼µ½¾¹~$1$ ½°~\ternary$!$\endternary. \item{b)}×½°º ǸÁ»° ·°´°µÂÁÏ µ³¾ ½°¸±¾»µµ ·½°Ç¸¼Ë¼ ½µ½Ã»µ²Ë¼ ÂÀ¸Â¾¼, ¸, ±¾»µµ ¾±É¾, ¼Ë ¼¾¶µ¼ ÁÀ°²½¸²°ÂÌ »Î±Ëµ ´²° ǸÁ»°, ¸Á¿¾»Ì·ÃÏ »µºÁ¸º¾³À°Ä¸ÇµÁº¸¹ ¿¾ÀÏ´¾º ¿À¸ ǵ½¸¸ Á»µ²° ½°¿À°²¾, º°º ¸ ² ´µÁϸǽ¾¹ Á¸Áµ¼µ. \item{c)}Þ¿µÀ°Æ¸Ï ¾ºÀó»µ½¸Ï ´¾ ±»¸¶°¹Èµ³¾ Ƶ»¾³¾ Á²¾´¸ÂÁÏ º ¾Â±À°Á˲°½¸Î ´À¾±½¾¹ Ç°Á¸ (Â.~µ.\ ²ÁµÅ ÂÀ¸Â¾², Á¾ÏɸŠÁ¿À°²° ¾Â ¿¾·¸Æ¸¾½½¾¹ ¾Ǻ¸). \medskip} ẻ°´Ë²°ÂÌ ² ÃÀ°²½¾²µÈµ½½¾¹ ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ Á¾²Áµ¼ ¿À¾Á¾, µÁ»¸ ¿¾»Ì·¾²°ÂÌÁÏ Â°±»¸Æµ¹ Á»¾¶µ½¸Ï \ternary\ctable{ \strut\hfil$#$\bskip&&\bskip\hfil$#$\bskip\cr ! & ! & ! & ! & ! & ! & ! & ! & ! & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \cr ! & ! & ! & 0 & 0 & 0 & 1 & 1 & 1 & ! & ! & ! & 0 & 0 & 0 & 1 & 1 & 1 & ! & ! & ! & 0 & 0 & 0 & 1 & 1 & 1 \cr ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 & ! & 0 & 1 \cr \noalign{\hrule} !0 & !1 & ! & !1 & ! & 0 & ! & 0 & 1 & !1 & ! & 0 & ! & 0 & 1 & 0 & 1 & 1! & ! & 0 & 1 & 0 & 1! & 1 & 1! & 10 \cr }\endternary (âÀ¸ ²Å¾´½ËÅ ÂÀ¸Â°---; ÂÀ¸ÂË ´²ÃÅ ½°È¸Å Á»°³°µ¼ËÅ ¸ ÂÀÎ ¿µÀµ½¾Á°.) ÒËǸ°½¸µ Á¾Á¾¸Â ² ¿µÀµÅ¾´µ º ǸÁ»Ã, ¿À¾Â¸²¾¿¾»¾¶½¾¼Ã ¿¾ ·½°ºÃ, ¸ ¿¾Á»µ´ÃÎɵ¼ Á»¾¶µ½¸¸; ü½¾¶µ½¸µ °º¶µ Á²¾´¸ÂÁÏ º ¿µÀµ¼µ½µ ·½°º° ¸ Á»¾¶µ½¸Î, º°º ² Á»µ´ÃÎɵ¼ ¿À¸¼µÀµ: \ternary\ctable{ $#$\bskip&&\bskip$#$\bskip\cr & & &1&!&0&!& \quad [17]\cr & & &1&!&0&!& \quad [17]\cr & & & \multispan{4}\hrulefill\cr & & &!&1&0&1\cr &!&1&0&1&0\cr 1&!&0&!\cr \multispan{7}\hrulefill\cr 0&1&1&!&!&0&1& \quad [289]\cr }\endternary ß¾ ¿¾²¾´Ã ´µ»µ½¸Ï Á¼.~ÿÀ.~4.3.1-31. Þ´¸½ ¸· Á¿¾Á¾±¾² ½°¹Â¸ ¿Àµ´Á°²»µ½¸µ ǸÁ»° ² ÃÀ°²½¾²µÈµ½½¾¹ ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ Á¾Á¾¸Â ² ¾¼, Ǿ Á½°Ç°»° ·°¿¸Á˲°Î %% 218 ; ǸÁ»¾ ² ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ; ½°¿À¸¼µÀ, \EQ{ 208.3=(21\,201.022002200220\ldots)_3. } (Þǵ½Ì ¿À¾Á¾¹ Á¿¾Á¾± ¿µÀµÅ¾´° º ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ, ¿À¸³¾´½Ë¹ ´»Ï ²ËǸÁ»µ½¸Ï ²ÀÃǽÃÎ, Á º°À°½´°È¾¼ ¸ ±Ã¼°³¾¹, ¾¿¸Á°½ ² ÿÀ.~4.4-12.) Ô°»µµ Áº»°´Ë²°µ¼ ; ǸÁ»¾ ² ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ Á ±µÁº¾½µÇ½Ë¼ ǸÁ»¾¼~$\ldots{}11111.11111\ldots{}$; ´»Ï ½°Èµ³¾ ¿À¸¼µÀ° ¼Ë ¿¾»ÃǸ¼ \EQ{ (\ldots{}11111210012.210121012101\ldots)_3. } Ý°º¾½µÆ, ¿¾À°·ÀÏ´½¾ ²ËǸ°µ¼~$\ldots{}11111.11111\ldots{}$, üµ½ÌÈ°Ï ½° µ´¸½¸Æà º°¶´ÃΠƸÄÀÃ; ¼Ë ¿¾»ÃǸ¼ \ternary\EQ[8]{ 208.3=(10!!01.10!010!010!0\ldots)_3. }\endternary í¾ ¿À¾ÆµÁÁ, ¾Çµ²¸´½¾, ¼¾¶½¾ Á´µ»°ÂÌ ²¿¾»½µ "·°º¾½½Ë¼", µÁ»¸ ·°¼µ½¸ÂÌ ¸ÁºÃÁÁ²µ½½¾µ ±µÁº¾½µÇ½¾µ ǸÁ»¾~$\ldots{}11111.11111\ldots{}$ ½µº¾Â¾À˼ ǸÁ»¾¼ Á Á¾¾Â²µÂÁ²ÃÎɸ¼ º¾»¸ÇµÁ²¾¼ µ´¸½¸Æ. ßÀµ´Á°²»µ½¸µ ǸÁµ» ² ÃÀ°²½¾²µÈµ½½¾¹ ÂÀ¾¸Ç½¾¹ Á¸Áµ¼µ ½µÏ²½¾ ¿À¸ÁÃÂÁ²õ ² ¾´½¾¹ ·½°¼µ½¸Â¾¹ ¼°Âµ¼°Â¸ÇµÁº¾¹ ³¾»¾²¾»¾¼ºµ, ¾±Ëǽ¾ ½°·Ë²°µ¼¾¹ "·°´°Çµ¹ Ñ°ÈÍ ¾ ²µÁ°Å", žÂÏ ¾½° ±Ë»° ÁľÀ¼Ã»¸À¾²°½° µÉµ 丱¾½°ÇǸ ·° ǵÂËÀµ Á¾»µÂ¸Ï ´¾ ¾³¾, º°º Ñ°ÈÍ ½°¿¸Á°» Á²¾Î º½¸³Ã. [á¼.\ W.~Ahrens, Mathematische Unterhaltungen und Spiele, {\bf 1}, Leipzig, Teubner, 1910, \S~3.4.] ß¾·¸Æ¸¾½½Ëµ Á¸Áµ¼Ë ÁǸÁ»µ½¸Ï Á ¾ÂÀ¸Æ°Âµ»Ì½Ë¼¸ ƸÄÀ°¼¸ ±Ë»¸ ¸·¾±ÀµÂµ½Ë ÁÍÀ¾¼ Ô¶¾½¾¼ ÛµÁ»¸ [The philosophy of arithmetic, Edinburgh, 1817; Á¼.~ÁÂÀ.~33--34, 54, 64--65, 117, 150] ¸ ½µ·°²¸Á¸¼¾ Þ.~ھȸ [{\sl Comptes Rendus,\/} {\bf 11} (1840), 789--798], º¾Â¾À˹ ¾Â¼µÇ°», Ǿ ¾ÂÀ¸Æ°Âµ»Ì½Ëµ ƸÄÀË ¸·±°²»ÏΠ¾Â ½µ¾±Å¾´¸¼¾Á¸ ·°¿¾¼¸½°ÂÌ Â°±»¸Æà ü½¾¶µ½¸Ï ´°»Ìȵ~$5\times 5$. Ò "ǸÁ¾¼" ²¸´µ ÃÀ°²½¾²µÈµ½½°Ï ÂÀ¾¸Ç½°Ï Á¸Áµ¼° ÁǸÁ»µ½¸Ï ²¿µÀ²Ëµ ¿¾Ï²¸»°ÁÌ ² Á°Â̵ Ûµ¾½° Û°»°½½° [{\sl Comptes Rendus,\/} {\bf 11} (1840), 903--905], ¸·¾±ÀµÂ°Âµ»Ï ¼µÅ°½¸ÇµÁº¸Å ²ËǸÁ»¸Áµ»Ì½ËÅ ÃÁÂÀ¾¹Á². Ò ÂµÇµ½¸µ ¿¾Á»µ´ÃÎɸŠÁ° »µÂ ¿¾Á»µ À°±¾ÂË Û°»°½½° Í° Á¸Áµ¼° ÿ¾¼¸½°»°ÁÌ »¸ÈÌ Í¿¸·¾´¸ÇµÁº¸, ¿¾º° ² í»µºÂÀ¾ÂµÅ½¸ÇµÁº¾¼ ¸½Á¸Âõ ÜÃÀ° ² 1945--1946~³³.\ ½µ Á°»¸ À°·À°±°Â˲°ÂÌ ¿µÀ²Ëµ Í»µºÂÀ¾½½Ëµ ²ËǸÁ»¸Âµ»Ì½Ëµ ÃÁÂÀ¾¹Á²°; ² ; ¿µÀ¸¾´ ¾½° ÁµÀ̵·½¾ À°ÁÁ¼°ÂÀ¸²°»°ÁÌ ½°ÀÏ´Ã Á ´²¾¸Ç½¾¹ Á¸Áµ¼¾¹ ² º°ÇµÁ²µ ²¾·¼¾¶½¾¹ ·°¼µ½Ë ´µÁϸǽ¾¹ Á¸Áµ¼Ë. Ỿ¶½¾ÁÂÌ °À¸Ä¼µÂ¸ÇµÁº¸Å Í»µºÂÀ¾½½ËÅ Áŵ¼ ´»Ï ÃÀ°²½¾²µÈµ½½¾¹ ÂÀ¾¸Ç½¾¹ °À¸Ä¼µÂ¸º¸ ½µ ½°¼½¾³¾ ²Ëȵ, ǵ¼ ´»Ï ´²¾¸Ç½¾¹ °À¸Ä¼µÂ¸º¸, ° Ǿ±Ë ·°´°ÂÌ Ç¸Á»¾, ² ½µ¹ ÂÀµ±ÃµÂÁÏ »¸ÈÌ $\ln 2/\ln 3\approx 63\%$~ƸÄÀ¾²ËÅ ¿¾·¸Æ¸¹ ¾Â ¾³¾ º¾»¸ÇµÁ²°, º¾Â¾À¾µ ½Ã¶½¾ ² Á»ÃÇ°µ ´²¾¸Ç½¾¹ ·°¿¸Á¸. Þ±Áö´µ½¸µ ÃÀ°²½¾²µÈµ½½¾¹ ÂÀ¾¸Ç½¾¹ Á¸Áµ¼Ë Á¼.\ ² ¶ÃÀ½°»µ {\sl AMM\/} [{\bf 57} (1950), 90--93] ¸ ² Á±¾À½¸ºµ "High-speed computing devices" [Engineering Research Associates, McGraw-Hill, 1950, 287--289]. Ô¾ Á¸Å ¿¾À ÃÀ°²½¾²µÈµ½½°Ï ÂÀ¾¸Ç½°Ï Á¸Áµ¼° ²Áµ %% 219 µÉµ ½µ ½°È»° ÁµÀ̵·½¾³¾ ¿À¸¼µ½µ½¸Ï, ½¾ ²¾·¼¾¶½¾, Ǿ µµ Á¸¼¼µÂÀ¸Ç½¾ÁÂÌ ¸ ¿À¾ÁÂ°Ï °À¸Ä¼µÂ¸º° ¾º°¶ÃÂÁÏ ² ¾´¸½ ¿ÀµºÀ°Á½Ë¹ ´µ½Ì ²µÁ̼° ÁÃɵÁ²µ½½Ë¼¸ (º¾³´° "Ä»¸¿-Ä»¾¿" ·°¼µ½¸ÂÁÏ ½° "Ä»¸¿-ĻͿ-Ä»¾¿"\note{1}% {Flip---ɵ»Ç¾º, flap---Å»¾¿¾º, flop---È»µ¿¾º (\emph{°½³».}); flip-flop---¿À¸½Ï¾µ ² °½³»¾Ï·Ëǽ¾¹ »¸ÂµÀ°ÂÃÀµ ½°·²°½¸µ ÂÀ¸³³µÀ°.---{\sl ßÀ¸¼. Àµ´.\/}}). ÔÀó¾µ ²°¶½¾µ ¾±¾±Éµ½¸µ ¿À¾Á¾¹ ¿¾·¸Æ¸¾½½¾¹ Á¸Áµ¼Ë---; ¿¾·¸Æ¸¾½½°Ï Á¸Áµ¼° \emph{Á¾ Á¼µÈ°½½Ë¼¸ ¾Á½¾²°½¸Ï¼¸,} (¸»¸ \emph{¿¾ Á¼µÈ°½½Ë¼ ¾Á½¾²°½¸Ï¼}). ÕÁ»¸ ´°½° ¿¾Á»µ´¾²°Âµ»Ì½¾ÁÂÌ Ç¸Áµ»~$\$ (³´µ $k$~¼¾³Ã ±ËÂÌ ¸ ¾ÂÀ¸Æ°Âµ»Ì½Ë¼¸), ¾ ¼Ë ¿¾»°³°µ¼ ¿¾ ¾¿Àµ´µ»µ½¸Î \EQ[9]{ \left[\matrix{ \ldots, & a_3, & a_2, & a_1, & a_0; & a_{-1}, & a_{-2}, & \ldots \cr \ldots, & b_3, & b_2, & b_1, & b_0; & b_{-1}, & b_{-2}, & \ldots \cr } \right]=\ldots+a_3b_2b_1b_0+a_2b_1b_0+a_1b_0+a_0+a_{-1}/b_{-1}+a_{-2}/b_{-1}b_{-2}+\ldots\,. } Ò ¿À¾Áµ¹È¸Å Á¸Áµ¼°Å Á¾ Á¼µÈ°½½Ë¼¸ ¾Á½¾²°½¸Ï¼¸ ¼Ë À°±¾Â°µ¼ ¾»Ìº¾ Á Ƶ»Ë¼¸ ǸÁ»°¼¸: ¼Ë ²Ë±¸À°µ¼ ² º°ÇµÁ²µ ǸÁµ» $b_0$, $b_1$, $b_2$,~\dots{} Ƶ»Ëµ ǸÁ»°, ±¾»Ìȸµ µ´¸½¸ÆË, ¸ À°ÁÁ¼°ÂÀ¸²°µ¼ ¾»Ìº¾ °º¸µ ǸÁ»°, º¾Â¾À˵ ½µ Á¾´µÀ¶°Â ¿¾·¸Æ¸¾½½¾¹ ¾Ǻ¸, ¿À¸Çµ¼ ǸÁ»¾~$a_k$ ´¾»¶½¾ ¿À¸½°´»µ¶°ÂÌ ¸½ÂµÀ²°»Ã~$0\le a_k < b_k$. Þ´½° ¸· ½°¸±¾»µµ ²°¶½ËÅ Á¸Áµ¼ Á¾ Á¼µÈ°½½Ë¼¸ ¾Á½¾²°½¸Ï¼¸---; \emph{Ä°ºÂ¾À¸°»Ì½°Ï Á¸Áµ¼° ÁǸÁ»µ½¸Ï,} ³´µ~$b_k=k+2$. ØÁ¿¾»Ì·ÃÏ ÍÂà Á¸Áµ¼Ã, ¼Ë ¼¾¶µ¼ µ´¸½Á²µ½½Ë¼ ¾±À°·¾¼ ¿Àµ´Á°²¸ÂÌ »Î±¾µ ½µ¾ÂÀ¸Æ°Âµ»Ì½¾µ Ƶ»¾µ ǸÁ»¾ ² ²¸´µ \EQ[10]{ c_n n!+c_{n-1}(n-1)!+\cdots+c_22!+c_1, } ³´µ~$0\le c_k \le k$. á¸Áµ¼Ë Á¾ Á¼µÈ°½½Ë¼¸ ¾Á½¾²°½¸Ï¼¸ ·½°º¾¼Ë ²Áµ¼ ¸· ¿¾²Áµ´½µ²½¾¹ ¶¸·½¸; ÀµÇÌ ¸´µÂ ¾ µ´¸½¸Æ°Å ¼µÀ. Ý°¿À¸¼µÀ, ²µ»¸Ç¸½° "ÂÀ¸ ½µ´µ»¸, 2 ´½Ï, 9 Ç°Á¾², 22 ¼¸½ÃÂË, 57 ÁµºÃ½´ ¸ 492 ¼¸»»¸ÁµºÃ½´Ë" À°²½° \EQ{ \left[\matrix{ 3, & 2, & 9, & 22, & 57; & 492\cr & 7, & 24, & 60, & 60; & 1000\cr }\right]\hbox{ ÁµºÃ½´.} } Ò Ð½³»¸¸ ´¾ ¿µÀµÅ¾´° º ´µÁϸǽ¾¹ ´µ½µ¶½¾¹ Á¸Áµ¼µ ²µ»¸Ç¸½° "10 Äý¾², 6 ȸ»»¸½³¾², ÂÀ¸ Á ¿¾»¾²¸½¾¹ ¿µ½Á°" Á¾Á°²»Ï»° \EQ{ \left[\matrix{ 10, & 6, & 3; & 1\cr & 20, & 12; & 2\cr }\right]\hbox{ ¿µ½Á¾².} } ç¸Á»° ¿¾ Á¼µÈ°½½Ë¼ ¾Á½¾²°½¸Ï¼ ¼¾¶½¾ Áº»°´Ë²°ÂÌ ¸ ²ËǸ°ÂÌ, ¸Á¿¾»Ì·ÃÏ ½µ¿¾ÁÀµ´Á²µ½½¾µ ¾±¾±Éµ½¸µ ¾±ËǽËÅ °»³¾À¸Â¼¾² Á»¾¶µ½¸Ï ¸ ²ËǸ°½¸Ï, ¿À¸ ÃÁ»¾²¸¸, º¾½µÇ½¾, Ǿ ´»Ï ¾±¾¸Å ¾¿µÀ°½´¾² ¸Á¿¾»Ì·ÃµÂÁÏ ¾´½° ¸ ° ¶µ Á¸Áµ¼° (Á¼.~ÿÀ.~4.3.1-9). ß¾´¾±½Ë¼ ¶µ ¾±À°·¾¼ »µ³º¾ ü½¾¶°ÂÌ ¸»¸ ´µ»¸ÂÌ Ç¸Á»° ¿¾ Á¼µÈ°½½Ë¼ %% 220 ¾Á½¾²°½¸Ï¼ ½° ¼°»Ëµ Ƶ»Ëµ ǸÁ»°, ¸Á¿¾»Ì·ÃÏ ¿À¾ÁÂ˵ ¾±¾±Éµ½¸Ï ¾±Éµ¸·²µÁ½ËÅ ¿À¸µ¼¾² Áǵ° ¿À¸ ¿¾¼¾É¸ º°À°½´°È° ¸ ±Ã¼°³¸. Ò ¾±Éµ¼ ²¸´µ Á¸Áµ¼Ë ¿¾ Á¼µÈ°½½Ë¼ ¾Á½¾²°½¸Ï¼ ²¿µÀ²Ëµ ¾±Áö´°»¸ÁÌ Óµ¾À³¾¼ Ú°½Â¾À¾¼ [{\sl Zeitschrift f\"ur Mathematik und Physik,\/} {\bf 14} (1869), 121--128). Ô¾¿¾»½¸Âµ»Ì½°Ï ¸½Ä¾À¼°Æ¸Ï ¾ °º¸Å Á¸Áµ¼°Å Á¾´µÀ¶¸ÂÁÏ ² ÿÀ.~26 ¸~29. ß¾¼¸¼¾ Á¸Áµ¼ ÁǸÁ»µ½¸Ï, ¾¿¸Á°½½ËÅ ² ;¼ ¿°À°³À°Äµ, ÁÃɵÁ²õ ½µÁº¾»Ìº¾ ´Àó¸Å Á¿¾Á¾±¾² ¿Àµ´Á°²»µ½¸Ï ǸÁµ», º¾Â¾À˵ ÿ¾¼¸½°ÎÂÁÏ ² À°·»¸Ç½ËÅ À°·´µ»°Å ;¹ ÁµÀ¸¸ º½¸³: ±¸½¾¼¸°»Ì½°Ï Á¸Áµ¼° (ÿÀ.~1.2.8-35), Á¸Áµ¼° 丱¾½°ÇǸ (ÿÀ.~1.2.8-34); ĸ-Á¸Áµ¼° (ÿÀ.~1.28-35), ¼¾´Ã»ÏÀ½¾µ ¿Àµ´Á°²»µ½¸µ (¿.~ 4.3.2), º¾´ ÓÀÍÏ (¿.~7.2.1) ¸ »°Â¸½Áº¸µ ǸÁ»° (\S~9.1). ݵº¾Â¾À˵ ²¾¿À¾ÁË, ¾Â½¾ÁÏɸµÁÏ º \emph{¸ÀÀ°Æ¸¾½°»Ì½Ë¼} ¾Á½¾²°½¸Ï¼, ±Ë»¸ ¸ÁÁ»µ´¾²°½Ë ã.~ßÍÀÀ¸ [{\sl Acta Mathematica,\/} Acad. Sci. Hung., {\bf 11} (1960), 401--416]. \excercises \ex[15] ÒËÀ°·¸Âµ ǸÁ»° $-10$, $-9$, $-8$,~\dots, $8$, $9$, $10$ ² Á¸Áµ¼µ ÁǸÁ»µ½¸Ï ¿¾ ¾Á½¾²°½¸Î~$-2$. \rex[24] à°ÁÁ¼¾ÂÀ¸Âµ Á»µ´ÃÎɸµ ǵÂËÀµ Á¸Áµ¼Ë ÁǸÁ»µ½¸Ï: (a)~´²¾¸Ç½ÃÎ (¿Àϼ¾¹ º¾´); (b)~½µ³°-´²¾¸Ç½ÃÎ (¾Á½¾²°½¸µ~$-2$); (c)~ÃÀ°²½¾²µÈµ½½ÃÎ ÂÀ¾¸Ç½ÃÎ; (d)~¿¾ ¾Á½¾²°½¸Î~$b=1/10$. ØÁ¿¾»Ì·Ã¹Âµ º°¶´ÃÎ ¸· ͸ŠÁ¸Áµ¼ ´»Ï ¿Àµ´Á°²»µ½¸Ï °º¸Å ÂÀµÅ ǸÁµ»: (i)~$-49$, (ii)~$-3{1\over7}$ (ú°¶¸Âµ ¿µÀ¸¾´); (iii)~$\pi$ (½µÁº¾»Ìº¾ ·½°Ç°É¸Å ƸÄÀ). \ex[20] ÒËÀ°·¸Âµ~$-49+i$ ² ¼½¸¼¾-ǵ²µÀ¸Ç½¾¹ Á¸Áµ¼µ. \ex[15] ßÀµ´¿¾»¾¶¸¼, Ǿ ² \MIX-¿À¾³À°¼¼µ Ïǵ¹º° ¿°¼Ï¸~|A| Á¾´µÀ¶¸Â ǸÁ»¾, ¿¾·¸Æ¸¾½½°Ï ¾Ǻ° º¾Â¾À¾³¾ ½°Å¾´¸ÂÁÏ ¼µ¶´Ã 3-¼ ¸ 4-¼ ±°¹Â°¼¸, ° Ïǵ¹º° ¿°¼Ï¸~|B|---ǸÁ»¾, ¿¾·¸Æ¸¾½½°Ï ¾Ǻ° º¾Â¾À¾³¾ À°Á¿¾»¾¶µ½° ¼µ¶´Ã 2-¼ ¸ 3-¼ ±°¹Â°¼¸. (᰼˹ »µ²Ë¹ ±°¹Â ¸¼µµÂ ½¾¼µÀ~1.) Ó´µ ±Ã´µÂ À°Á¿¾»°³°ÂÌÁÏ ¿¾·¸Æ¸¾½½°Ï ¾Ǻ° ² Àµ³¸ÁÂÀ°Å~|A| ¸~|X| ¿¾Á»µ ²Ë¿¾»½µ½¸Ï º¾¼°½´ $$ \hbox{a)~\mixcode LDA & A MUL & B? \endmixcode } \hbox{b)~\mixcode LDA & A SRAX & 5 DIV & B? \endmixcode } $$ \ex[00] Þ±®ÏÁ½¸Âµ, ¿¾Çµ¼Ã ¿Àµ´Á°²»µ½¸µ ¾ÂÀ¸Æ°Âµ»Ì½¾³¾ Ƶ»¾³¾ ǸÁ»° ² ¾±À°Â½¾¼ ´µÁϸǽ¾¼ º¾´µ ²Áµ³´° ½° µ´¸½¸Æà ¼µ½Ìȵ ¿Àµ´Á°²»µ½¸Ï ² ´¾¿¾»½¸Âµ»Ì½¾¼ º¾´µ, µÁ»¸ À°ÁÁ¼°ÂÀ¸²°ÂÌ Í¸ ¿Àµ´Á°²»µ½¸Ï º°º ¿¾»¾¶¸Âµ»Ì½Ëµ ǸÁ»°. \ex[16] Ú°º¾²Ë ½°¸±¾»Ìȸµ ¸ ½°¸¼µ½Ìȸµ $p\hbox{-À°·ÀÏ´½Ëµ}$ Ƶ»Ëµ ǸÁ»°, º¾Â¾À˵ ¼¾³Ã ±ËÂÌ ¿Àµ´Á°²»µ½Ë ² ´²¾¸Ç½¾¹ Á¸Áµ¼µ ¿¾ÁÀµ´Á²¾¼ (a)~¿Àϼ¾³¾ º¾´°, (b)~´¾¿¾»½¸Âµ»Ì½¾³¾ º¾´°, (c)~¾±À°Â½¾³¾ º¾´°? \ex[Ü20] Ò ÂµºÁµ ¿Àµ´Á°²»µ½¸µ ² ´¾¿¾»½¸Âµ»Ì½¾¼ ´µÁϸǽ¾¼ º¾´µ ¾¿Àµ´µ»µ½¾ ¾»Ìº¾ ´»Ï Ƶ»ËŠǸÁµ», ·°¿¸Á°½½ËÅ ² ¾´½¾¼ ¼°È¸½½¾¼ Á»¾²µ. áÃɵÁ²õ »¸ Á¿¾Á¾± °½°»¾³¸Ç½¾ ¾¿Àµ´µ»¸ÂÌ ¿Àµ´Á°²»µ½¸µ ² ´¾¿¾»½¸Âµ»Ì½¾¼ ´µÁϸǽ¾¼ º¾´µ \emph{´»Ï ²ÁµÅ ²µÉµÁ²µ½½ËŠǸÁµ»,} ¸¼µÎɵµ "±µÁº¾½µÇ½ÃΠ¾ǽ¾ÁÂÌ"? áÃɵÁ²õ »¸ ¿¾´¾±½Ë¹ Á¿¾Á¾± ¾¿Àµ´µ»¸ÂÌ ¿Àµ´Á°²»µ½¸µ ² ¾±À°Â½¾¼ ´µÁϸǽ¾¼ º¾´µ ´»Ï ²ÁµÅ ²µÉµÁ²µ½½ËŠǸÁµ»? \ex[Ü10] Ô¾º°¶¸Âµ Á¾¾Â½¾Èµ½¸µ~\eqref[5]. %% 221 \bye