º£²ó¤ÏÀ°¿ô²ò¤Î¸Ä¿ô¤Ë´Ø¤¹¤ë°Ê²¼¤Î¾ÚÌÀ¤ò¤·¤Æ¤ß¤Þ¤¹¡£
¼Â¿ôa, b¤¬¤¢¤ë¤È¤¡¢¼¡¤ÎÈϰϤòËþ¤¿¤¹À°¿ôn¤Î¸Ä¿ô¤ò¤½¤ì¤¾¤ìÍ¿¤¨¤ë¡£
a¡ån¡åb ¢Í {floor(b)¡Ýceiling(a)¡Ü1}¸Ä
a¡ãn¡åb ¢Í {floor(b)¡Ýfloor(a)}¸Ä
a¡ån¡ãb ¢Í {ceiling(b)¡Ýceiling(a)}¸Ä
a¡ãn¡ãb ¢Í {ceiling(b)¡Ýfloor(a)¡Ý1}¸Ä
¤¿¤À¤·¡¢floor( ), ceiling( )¤Ï¤½¤ì¤¾¤ì¾²´Ø¿ô¡¢Å·°æ´Ø¿ô¡£
¡Ê¤½¤ì¤¾¤ìÀµ¤Î¿ô¤ËÂФ¹¤ëÀÚ¤ê¼Î¤Æ¡¢ÀÚ¤ê¾å¤²¤ËÁêÅö¡Ë
Î㤨¤Ð2.5¡ãn¡å5¤òËþ¤¿¤¹n¤Ï3, 4, 5¤Î3¸Ä¡¢2.5¡ån¡ã5¤òËþ¤¿¤¹n¤Ï3, 4¤Î2¸Ä¤Ç¤¹¡£
¤½¤ì¤¾¤ì¼°¤ËÅö¤Æ¤Ï¤á¤Æ¤ß¤ë¤È¡¢
floor(5)¡Ýfloor(2.5)¡á5¡Ý2¡á3¸Ä
ceiling(5)¡Ýceiling(2.5)¡á5¡Ý3¡á2¸Ä
¤È¤Ê¤Ã¤Æ¡¢³Î¤«¤Ë¹ç¤Ã¤Æ¤¤¤ë¤³¤È¤¬³Îǧ¤Ç¤¤Þ¤¹¡£
½ªÃ¼¤«¤é»Ïü¤ò°ú¤»»¤·¤Æ¤¤¤ë¤À¤±¤Ç¤¹¤«¤é¡¢¤Á¤ç¤Ã¤ÈÁàºî¤·¤Æ¤ß¤¿¤é
³ä¤ÈÅö¤¿¤êÁ°¤Ê¤è¤¦¤Ë´¶¤¸¤ë¤Î¤Ç¤¹¤¬¡¢ºÙ¤«¤¯¾ÚÌÀ¤·¤Æ¤ß¤¿¤¤¤È»×¤¤¤Þ¤¹¡£
²ò¤Î¸Ä¿ô¤Ë¤Ä¤¤¤Æ
¤½¤â¤½¤â²ò¤Î¸Ä¿ô¤Ï¤É¤Î¤è¤¦¤Ê¤â¤Î¤Ç¤¢¤ë¤«³Îǧ¤·¤Æ¤ª¤¤Þ¤¹¡£
Î㤨¤Ð x^2¡Ü3x¡Ü2¡á0 ¤Ï x¡á¡Ý1, ¡Ý2 ¤Î2¸Ä¤Î²ò¤ò»ý¤Á¤Þ¤¹¡£
¤³¤ì¤Ï¡¢x¤ËÂФ·¤Æx^2¡Ü3x¡Ü2¡á0¤È¤Ê¤ë¤è¤¦¤Êx¤Î½¸¹ç¤ÎÍ×ÁÇ¿ô¤È¤·¤ÆÉ½¸½¤¹¤ë¤³¤È¤¬²Äǽ¤Ç¤¹¡£
½¸¹çX¡á{x | x^2¡Ü3x¡Ü2¡á0} ¤È¤·¤¿¤È¤¤Î|X|¤¬²ò¤Î¸Ä¿ô¤ËÁêÅö¤¹¤ë¤È¤¤¤¦¤ï¤±¤Ç¤¹¡£
¤³¤Î¾ì¹ç¤Î²ò¤Î¸Ä¿ô¤È¤Ï¡¢ÎíÅÀ½¸¹ç¤ÎÍ×ÁÇ¿ô¤È¸À¤¤´¹¤¨¤é¤ì¤Þ¤¹¤Í¡£
ƱÍͤˤ·¤Æ¡¢½¸¹çN¡á{n | a¡ån¡åb}¤ÈÃÖ¤¤¤¿¤È¤¤Î|N|¤¬¡¢
a¡ån¡åb¤ÎÈÏ°ÏÆâ¤Ë¤¢¤ëÀ°¿ôn¤Î¸Ä¿ô¡¢¤È¸À¤¦¤³¤È¤¬½ÐÍè¤Þ¤¹¡£
½¾¤Ã¤Æ¡¢ËÁƬ¤Î4¤Ä¤Î´Ø·¸¤Ï¼¡¤Î¤è¤¦¤Ëɽ¸½½ÐÍè¤Þ¤¹¡£
|{n¢ºZ | a¡ån¡åb}|¡áfloor(b)¡Ýceiling(a)¡Ü1
|{n¢ºZ | a¡ãn¡åb}|¡áfloor(b)¡Ýfloor(a)
|{n¢ºZ | a¡ån¡ãb}|¡áceiling(b)¡Ýceiling(a)
|{n¢ºZ | a¡ãn¡ãb}|¡áceiling(b)¡Ýfloor(a)¡Ý1
¤³¤ì¤é¤ò¾ÚÌÀ¤·¤Þ¤·¤ç¤¦¡£
À°¿ô´Ö¤ÎÈϰϤ˽¤Àµ¤¹¤ë
¼¡¤Î¼°¤¬¤½¤ì¤¾¤ìÀ®¤êΩ¤Á¤Þ¤¹¡£
|{n¢ºZ | a¡ån¡åb}|¡á|{n¢ºZ | ceiling(a)¡ån¡åfloor(b)}|
|{n¢ºZ | a¡ãn¡åb}|¡á|{n¢ºZ | floor(a)¡Ü1¡ån¡åfloor(b)}|
|{n¢ºZ | a¡ån¡ãb}|¡á|{n¢ºZ | ceiling(a)¡ån¡åceiling(b)¡Ý1}|
|{n¢ºZ | a¡ãn¡ãb}|¡á|{n¢ºZ | floor(a)¡Ü1¡ån¡åceiling(b)¡Ý1}|
º¸Êդϼ¿ô´Ö¤ÎÈϰϤǤ¹¤¬¡¢±¦ÊÕ¤ÏÀ°¿ô´Ö¤ÎÈϰϤˤʤäƤ¤¤Þ¤¹¡£¤Þ¤º¡¢¤³¤ì¤é¤ò¼¨¤·¤Þ¤¹¡£
Á´Éô¤ä¤ë¤Î¤Ï¤á¤ó¤É¤¯¤µ¤¤¤Î¤Ç¡¢a¡ån¡åb¤Î¾ì¹ç¤Î¤ß³Îǧ¤·¤Þ¤¹¡£
¤³¤ì¤é¤ò¼¨¤¹ºÝ¤Ë¡¢¾²´Ø¿ô¤ÈÅ·°æ´Ø¿ô¤ÎÀ¼Á¤òÍѤ¤¤Þ¤¹¡£¤³¤ì¤é¤ÏÄêµÁ¼°¤«¤éľ¤Á¤ËƳ¤«¤ì¤Þ¤¹¡£
floor(x)¡án ¢Î n¡åx¡ãn¡Ü1
ceiling(x)¡án ¢Î n¡Ý1¡ãx¡ån
¡Ê1¡Ëa¡ån¡åb¤òËþ¤¿¤¹n¤Î¸Ä¿ô¤Ï¡¢a¡ån¡åfloor(b)¤òËþ¤¿¤¹n¤Î¸Ä¿ô¤Ë°ìÃפ¹¤ë
a¡ån¡åb¤òÆó¤Ä¤ÎÈϰϤËʬ³ä¤·¤Þ¤¹¡£a¡ån¡åfloor(b) ¤È floor(b)¡ãn¡åb ¤Ç¤¹¡£
floor(b)¡ãn¡åb ¤òËþ¤¿¤¹n¤¬Â¸ºß¤·¤Ê¤¤¤³¤È¤ò¼¨¤»¤ÐOK¤Ç¤¹¡£Á´ÊÕfloor(b)¤ò°ú¤±¤Ð
0¡ãn¡Ýfloor(b)¡åb¡Ýfloor(b) ¤È¤Ê¤ê¡¢¾²´Ø¿ô¤ÎÀ¼Á¤«¤éb¡Ýfloor(b)¡ã1¤Ê¤Î¤Ç¡¢
0¡ãn¡Ýfloor(b)¡ã1 ¤È¤Ê¤ê¤Þ¤¹¡£
n¡Ýfloor(b)¤ÏÀ°¿ô¤Ç¤¹¤¬¡¢¤³¤ì¤òËþ¤¿¤¹À°¿ô¤Ï¸ºß¤·¤Þ¤»¤ó¡£¤è¤Ã¤Æ¡¢Âê°Õ¤¬¼¨¤µ¤ì¤Þ¤·¤¿¡£
¡Ê2¡Ëa¡ån¡åfloor(b)¤òËþ¤¿¤¹n¤Î¸Ä¿ô¤Ï¡¢ceiling(a)¡ån¡åfloor(b)¤òËþ¤¿¤¹n¤Î¸Ä¿ô¤Ë°ìÃפ¹¤ë
ƱÍͤˤ¹¤ì¤Ð¤è¤¤¤Ç¤¹¡£a¡ån¡ãceiling(a) ¤È ceiling(a)¡ån¡åfloor(b) ¤Ëʬ³ä¤·¡¢
a¡Ýceiling(a)¡ån¡Ýceiling(a)¡ã0 ¤È¤¹¤ë¤ÈÅ·°æ´Ø¿ô¤ÎÀ¼Á¤«¤é¡Ý1¡ãa¡Ýceiling(a)¤Ê¤Î¤Ç¡¢
¡Ý1¡ãn¡Ýceiling(a)¡ã0 ¤È¤Ê¤ê¤Þ¤¹¤¬¡¢¤³¤ì¤òËþ¤¿¤¹À°¿ô¤Ï¤Ê¤¤¤Î¤Ç¡¢Âê°Õ¤¬¼¨¤µ¤ì¤Þ¤¹¡£
»Ä¤ê¤âƱÍÍ¤ËÆ³¤¯¤³¤È¤¬²Äǽ¤Ê¤Ï¤º¤Ç¤¹¡£
À°¿ô´Ö¤ÎÈϰϤβò¤Î¸Ä¿ô¤òµá¤á¤ë
¼¡¤Ë¡¢À°¿ôp, q¤Ë¤è¤ëÀ°¿ô´Ö¤ÎÈϰϤβò¤Î¸Ä¿ô¤òµá¤á¤Þ¤¹¡£¤³¤ì¤Ï¼¡¤Î¤è¤¦¤Ë¤Ê¤ê¤Þ¤¹¡£
|{n¢ºZ | p¡ån¡åq}|¡áq¡Ýp¡Ü1
¤³¤ì¤ò¼¨¤»¤ì¤Ð¡¢¤â¤¦Æ³¤±¤¿¤âƱÁ³¤Ç¤¹¡£
´Êñ¤Î¤¿¤á¡¢¼¡¤Î¤è¤¦¤ËÈϰϤòÊÑ·Á¤·¤Þ¤¹¡£
p¡ån¡åq ¤ÎÁ´ÊÕ¤«¤ép¤ò°ú¤¤¤Æ
0¡ån¡Ýp¡åq¡Ýp ¤È¤¹¤ë¤È¡¢n¡Ýp, q¡Ýp¤ÏÀ°¿ô¤Ê¤Î¤Ç¡¢¤½¤ì¤¾¤ìk, r¤ÈÃÖ¤±¤Ð
0¡åk¡år ¤È¤Ê¤ê¤Þ¤¹¡£
|{n¢ºZ | p¡ån¡åq}|¡á|{k¢ºZ | 0¡åk¡år}| ¤È¤Ê¤ê¤Þ¤¹¡£
¤â¤¦¤³¤³¤Þ¤Ç¤¤¿¤é¡¢¤µ¤¹¤¬¤ËÌÀ¤é¤«¤Ç¤¹¤Í¡£
|{k¢ºZ | 0¡åk¡år}|¡ár¡Ü1¤ò¿ô³ØÅªµ¢Ç¼Ë¡¤Ç¼¨¤·¤Þ¤·¤ç¤¦¡£
r¡á0¤Î¤È¤ 0¡åk¡å0 ¤Ë¤Ê¤ê¤Þ¤¹¤¬¡¢k¡á0¤Î¤ßËþ¤¿¤¹¤Î¤Ç
|{k¢ºZ | 0¡åk¡å0}|¡á1¤È¤Ê¤ê¤Þ¤¹¡£
r¡ám¤Î¤È¤|{k¢ºZ | 0¡åk¡åm}|¡ám¡Ü1¤È²¾Äꤹ¤ë¤È
r¡ám¡Ü1¤Î¤È¤
|{k¢ºZ | 0¡åk¡åm¡Ü1}|
¡á|{k¢ºZ | 0¡åk¡åm}|¡Ü|{k¢ºZ | m¡ãk¡åm¡Ü1}|
¡ám¡Ü1¡Ü|{k¢ºZ | m¡ãk¡åm¡Ü1}|
m¡ãk¡åm¡Ü1 ¤ÎÁ´ÊÕ¤òm°ú¤±¤Ð
0¡ãk¡Ým¡å1¤è¤ê¡¢k¡Ým¡ák'¤È¤ª¤¯¤È0¡ãk'¡å1¤È¤Ê¤ê¤Þ¤¹¡£
¤³¤ì¤òËþ¤¿¤¹À°¿ôk'¤Ïk'¡á1¤·¤«¤Ê¤¤¤Î¤Ç¡¢
|{k¢ºZ | m¡ãk¡åm¡Ü1}|¡á1¤¬¸À¤¨¤ë¤³¤È¤«¤é¡¢
¡ám¡Ü2¤È¤Ê¤ê¤Þ¤¹¡£
°Ê¾å¤è¤ê¡¢¿ô³ØÅªµ¢Ç¼Ë¡¤«¤é|{k¢ºZ | 0¡åk¡år}|¡ár¡Ü1¤¬¼¨¤µ¤ì¤Þ¤·¤¿¡£
|{k¢ºZ | 0¡åk¡år}|¡ár¡Ü1 ¤«¤é¡¢r¡áq¡Ýp ¤è¤ê
|{n¢ºZ | p¡ån¡åq}|¡áq¡Ýp¡Ü1 ¤¬¸À¤¨¤Æ¡¢q¡áfloor(b), p¡áceiling(a) ¤È¤¹¤ì¤Ð
|{n¢ºZ | ceiling(a)¡ån¡åfloor(b)}|¡áfloor(b)¡Ýceiling(a)¡Ü1
º¸ÊÕ¤Ï|{n¢ºZ | a¡ån¡åb}|¤ËÅù¤·¤¤¤Î¤Ç¡¢
|{n¢ºZ | a¡ån¡åb}|¡áfloor(b)¡Ýceiling(a)¡Ü1 ¤òƳ¤¯¤³¤È¤¬¤Ç¤¤Þ¤·¤¿¡£
¤Û¤«¤Î¼°¤âƱÍͤ˵á¤á¤é¤ì¤Þ¤¹¡£
¤¹¤´¤¤¤Þ¤É¤í¤Ã¤³¤·¤¤¤Ç¤¹¤±¤É¡¢¤³¤ì¤Ç¤Á¤ã¤ó¤È¼¨¤»¤Þ¤·¤¿¤Í¡£¤¿¤Ö¤ó¡Ä¡Ä
R-Z¸ºßÄêÍý
°ÊÁ° Ëץͥ¿¤È¤·¤Æµó¤²¤¿ÄêÍý¤¬¤¢¤ê¤Þ¤¹¡£
¼Â¿ôÄê¿ôa, b, ̤ÃοôÀ°¿ôx¤¬¤¢¤ë¤È¤¡¢a¡ãx¡ãa¡Üb¤¬¾ï¤Ë²ò¤ò»ý¤Ä¤³¤È¤Ï¡¢b¡ä1¤ÈƱÃͤǤ¢¤ë¡£
¤³¤ì¤òR-Z¸ºßÄêÍý¤È¤¤¤¦½¤¤Ì¾Á°¤Ç¸Æ¤Ö¤³¤È¤Ë¤·¤Æ¤¤¤Þ¤·¤¿¡£
Ëץͥ¿¤ÎÊý¤Ç¤Ï¤Ê¤ó¤À¤«¤ï¤«¤é¤Ê¤¤ÊýË¡¤Ç¾ÚÌÀ¤·¤Æ¤¤¤Þ¤¹¤¬¡¢
º£²ó¤¤Á¤ó¤Èµá¤á¤¿²ò¤Î¸Ä¿ô¤Î¼°¤ò»È¤¨¤Ð¡¢¤â¤Ã¤È´Êñ¤Ë¼¨¤»¤Þ¤¹¡£
¾å¤ÎÄêÍý¤Ï¤è¤ê°ìÈ̤ˡ¢¼¡¤Î¤è¤¦¤Ë¸À¤¦¤³¤È¤¬¤Ç¤¤Þ¤¹¡£
¼Â¿ôÄê¿ôa, b, ̤ÃοôÀ°¿ôx¤¬¤¢¤ë¤È¤¡¢a¡ãx¡ãa¡Üb¤Î²ò¤Î¸Ä¿ô¤Î²¼¸Â¤Ï(ceiling(b)¡Ý1)¸Ä¤Ç¤¢¤ë¡£
b¡ä1¤Ç¤¢¤ì¤Ðceiling(b)¡Ý1¡ä0¤Ê¤Î¤Ç¡¢³Î¤«¤Ë¾ï¤Ë²ò¤ò¤â¤Ä¤³¤È¤¬¸À¤¨¤Þ¤¹¡£
¤³¤ì¤ò¼¨¤·¤Þ¤·¤ç¤¦¡£
¤Þ¤º¡¢a¡ãx¡ãa¡Üb¤Î²ò¤Î¸Ä¿ô¤Ï ceiling(a¡Üb)¡Ýfloor(a)¡Ý1 ¤Ç¤¹¡£
¤³¤ì¤¬(ceiling(b)¡Ý1)°Ê¾å¤Ç¤¢¤ë¤³¤È¤ò¸À¤¨¤ì¤Ð¤¤¤¤¤Î¤Ç¡¢
ceiling(a¡Üb)¡Ýfloor(a)¡Ý1¡Ý(ceiling(b)¡Ý1) ¤¬ÈóÉé¤Ë¤Ê¤ë¤³¤È¤ò¼¨¤»¤ÐOK¤Ç¤¹¡£
¡áceiling(a¡Üb)¡Ýfloor(a)¡Ýceiling(b) ¤È¤Ê¤ê¤Þ¤¹¡£
¡ a¤¬À°¿ô¤Î¤È¤
ceiling(a¡Üb)¡Ýfloor(a)¡Ýceiling(b)
¡áa¡Üceiling(b)¡Ýa¡Ýceiling(b)
¡á0¡æ0 ¤è¤ê¡¢b¤Ë̵´Ø·¸¤ËÀ®Î©
¢ b¤¬À°¿ô¤Î¤È¤
ceiling(a¡Üb)¡Ýfloor(a)¡Ýceiling(b)
¡áceiling(a)¡Üb¡Ýfloor(a)¡Ýb
¡áceiling(a)¡Ýfloor(a)¡æ0 ¤è¤ê¡¢À®Î©
£ a, b¤¬ÈóÀ°¿ô¤À¤¬¡¢a¡Üb¤¬À°¿ô¤Î¤È¤
a¡Üb¡án¡Ên¤ÏÀ°¿ô¡Ë¤È¤ª¤¯¤È¡¢b¡án¡Ýa¤Èɽ¤µ¤ì¤ë¤Î¤Ç
ceiling(a¡Üb)¡Ýfloor(a)¡Ýceiling(b)
¡áceiling(n)¡Ýfloor(a)¡Ýceiling(n¡Ýa)
¡án¡Ýfloor(a)¡Ýn¡Ýceiling(¡Ýa)
¡án¡Ýfloor(a)¡Ýn¡Üfloor(a)
¡á0¡æ0 ¤è¤ê¡¢À®Î©
¤ a, b¤âa¡Üb¤âÈóÀ°¿ô
ceiling(a¡Üb)¡æa¡Üb¤¬À®¤êΩ¤Ä¤Î¤Ç¡¢
£¤ÎÃͤè¤ê¤âÂ礤¯¤Ê¤ë¤³¤È¤¬³Îǧ¤Ç¤¤ë¤«¤é¡¢À®Î©
°Ê¾å¤«¤é¤¹¤Ù¤Æ¤Î¾ì¹ç¤ÇÀ®¤êΩ¤Ä¤Î¤Ç¡¢¾ï¤ËÈóÉé¤Ç¤¹¡£
¤è¤Ã¤Æ¡¢²ò¤Î¸Ä¿ô¤Î²¼¸Â¤Ï ceiling(b)¡Ý1 ¤Ç¤¢¤ë¤È¸À¤¨¤Þ¤¹¡£
a¤¬²¿¤«Ê¬¤«¤é¤Ê¤¯¤Æ¤â¡¢b¤ÎÃͤÀ¤±¤Ç²ò¤Î²¼¸Â¤¬Ê¬¤«¤ë¤Î¤Ç¤¹¤Í¡£
|