|
¤G¡B¦]¤l¡B½è¼Æ¡B¦P¾l¦¡»P¶O°¨¡B¤×©Ô©w²z |
Y m,n ¬°¨â¾ã¼Æ¡A¥B m>0¡A«h¥H m °£ n ¥i±o¤G¾ã¼Æ £\ »P r¡A¨Ï±o
¨ä¤¤ £\ ºÙ¬°°Ó¡Ar ºÙ¬°¾l¼Æ¡A¥B ¡CY r=0¡A«h§ÚÌ»¡ n ¥i³Q m ©Ò¾ã°£¡Am ¬° n ¤§¦]¤l¡An ¬° m ¤§¿¼Æ¡AY¤@¼Æ°£ 1 »P¥»¨¤§¥~µL¨ä¥L¦]¤l¡A«h¦¹¼ÆºÙ¬°½è¼Æ¡A¨Ò¦p 2,3,5,7,11 ³£¬O½è¼Æ¡A4,6,9,12 «o¤£¬O½è¼Æ¡C§ÚÌ©w¸q n »P s ¹ï m ¦³¦P¾l¼Æ¡G
¦pªG n »P s ³Q m °£®É¦³¬Û¦Pªº¾l¼Æ¡C¨Ò¦p
¦³¤@ÓÃö©ó¦P¾l¦¡ªºÂ²³æ©w²z¡A§Ú̧⥦̦C¥X¨Ó¡AŪªÌ«Ü®e©öÃÒ¥X¨Ó¡C
- ©w²z2.1
- Y
¡A
¡A
«h
¡C
Y¨â¥¿¾ã¼Æ p,q ªº³Ì¤j¤½¦]¤l(¬ù¼Æ)¬O 1¡A«h§Ú̺٠p,q ¤¬½è¡A¥H
(p,q)=1
ªí¥Ü¤§¡C²{¦b§ÚÌnÃÒ¤@Ó¦³Ãö¨âÓ¤¬½è¼Æªº¤@Ó°ò¥»©w²z¡C
- ©w²z2.2
- Y¨â¥¿¾ã¼Æ p,q ¤¬½è¡A«h¥i¥H§ä¨ì¤G¾ã¼Æ(¤£¤@©w¥¿) a,b¡A¨Ï±o
ap+bq=1
- ÃÒ©ú¡G
- ¥O A ¬°§t©Ò¦³ x=ap+bq>0¡Aa,b ¬°¾ã¼Æ¤§¶°¦X¡A¦¹¶°¦XÅãµM¤£¬OªÅ¶°¦X¡A¦]¥i¨úa=b=1,p+g>0¡C¥Od¬°¦¹¶°¦X¤¤¤§³Ì¤pªÌ¡AYd=1¡A«h¥»©w²z±oÃÒ¡AYd>1¡A¥Oap+bq=d>1¡A«h¥ô¨ú¦¹¶°¤¤¤§¥t¤@¼Æ¡C
a'p+b'q¡A«h§ÚÌY¥Hd°£a'p+b'q¡A«h±o
¥N¤J
d=ap+bq
«h±o
¦¹r¥²¬°0¡A§_«hr¬°A¶°¤¤¤@¤p©ód¤§¼Æ¡A»P°²³]d¬°³Ì¤p¼Æ¬Û¥Ù¬Þ¡A¦]r=0¬Gd¬°A¶°¤¤¥ô¦ó¤@¼Æ¤§¦]¤l¡C¦]
¬Gd¬°p¡Aq¤§¤½¦]¤l¡C¦ýp¡Aq¤§³Ì¤j¤½¦]¤l¬°1¡A¬Gd=1¡A©w²zÃÒ²¦¡C
³o¬O¤@Ó·¥¦³¥Îªº©w²z¡AŪªÌ¤]³\n°Ý¡A§Ú̦p¦ó§ä¨ìa»Pb¨Ïap+bq=1©O?¤@¯ë¥i¥ÎÁÓÂà¬Û°£ªk¡C
- ¨Ò¡G
- §ä¾ã¼Æ a,b¡A¨Ï±o 5a+9b=1¡C¦]
¬G
1=5-4=5-(9-5)=2 x 5-9 x 1
¬G
- ¨t2.2
- Yw»Pm¬°¤G¤¬½èªº¥¿¾ã¼Æ¥Bm>w¡A«h¥i§ä¨ì¤@¥¿¾ã¼Æ£c¨Ï±o
- ÃÒ©ú¡G
- ¥Ñ©w²zª¾¡A¦³ a¡Bb ¤G¾ã¼Æ¨Ï±oaw+bm=1¡A¦]bm¬°m¤§¿¼Æ¡A¬G
¥O
«h±o
¦]£c¤£¥i¯à¬°0¡A¬G¥»¨t±oÃÒ¡C
³Ì«á§ÚÌn¥Î¨ì¤@Ó¤£®e©öÃÒ©úªº¡u¶O°¨¡B¤×©Ô (Fermat-Euler) ©w²z¡v¡C¦ý¦]¬°§ÚÌ¥u¥Î¨ì³oÓ©w²z¤ñ¸û®e©öÃÒ©úªº¯S®í§Î¦¡¡A§ÚÌ´N¥uÃÒ©ú²³æªº³¡¤À¡C
- ©w²z2.3
- Ym¬°½è¼Æ¡Aw¬°¥ô¤@»Pm¤¬½è¤§¾ã¼Æ¡A«h
- ÃÒ©ú¡G
- ¥ý§âw¼g¦¨wÓ1ªº©M¡A«h¥Ñ¦h¶µ¦¡©w²zª¾
¤§®i¶}¦¡¤¤°£wÓ1¤§¥~¡A³£§t¦³m¤§¦]¤l¡A(m¬°½è¼Æm!¤¤¤§m¤£¥i¯à®ø¥h)¡A¬G
¨âÃä¼¥H¨t2.2¤¤¤§a¡A§Y
±o
¥»©w²zÃÒ²¦¡C
- ¨t2.3
- Y m ¬°¤G½è¼Æ p¡Bq ¤§¿n¡Aw ¬°¥ô¤@»P m(§Y¦P®É»P p »P q ¤¬½è¤§¾ã¼Æ¡A«h
- ÃÒ©ú¡G¥ý¥Î©w²z¤§ÃÒ©úªk±o
¥Ñ©w²z2.1¥i±o
§Y
§Y
¦]wp-1»Pm¤¬½è¡A¥Ñ¨t2.2¤§ÃÒ©ú¥iª¾¦s¦b¤@ a ¨Ï
¡A¤W¦¡¼¥Ha±o
§Y
¥»¨tÃÒ²¦¡C
§ÚÌÁÙn§Q¥Î¨ì¥t¤@Ó²³æªº©w²z¡A§Ṳ́]¦b³o¸`ùا⥦ÃÒ§¹¡C
- ©w²z2.4
- ¥O (a1,a2,¡K,an) ¬°¤@§tnÓ¥¿¾ã¼Æªº¼Æ¦C¡A¨Ãº¡¨¬
¤S¥O (x1,x2,¡K,xn) ¬°¤@¥Ñ0»P1²Õ¦¨ªº¼Æ¦C¡A§Y©Ò¦³ªºxi¤£¬O0´N¬O1¡A²{³]a1¡Aa2¡A¡K¡Aan¬°¤wª¾¡Ax1¡Ax2¡A¡K¡Axn¬°¥¼ª¾¡Ac¬°¤@¥¿¾ã¼Æ¡A«h¤èµ{¦¡
¥u¦³¤@¸Ñ©ÎµL¸Ñ¡C
- ÃÒ©ú¡G
- ³]¦¹¤èµ{¦¡¦³¤G¸Ñ (x1,x2,¡K,xn) ¤Î (x1',x2',¡K,xn') «h®ø¥h c ¤§«á¥i±o
¦]
¥B
¬Gan¤§«Y¼Æ¥²¬°0¡A§Yxn=xn'¡A¦]¦¹
¦P²z¥i±o
¦¹¨â¸Ñ쬰¤@¡C¥»©w²z±oÃÒ¡C
¦Ón¸Ñ(2.2)¬O«D±`®e©öªº¨Æ¡A¦]¬°Y
«hxn¥²¬°1¡A§_«h¥²¬°0¡A¦P²zY
«hxn-1¥²¬°1¡A§_«h¥²¬°0¡A¥H¦¹Ãþ±À¡A¤@¤U¤l´N¸Ñ¥X¨Ó¤F¡C
³o´XÓ©w²z´N¨¬°÷ÁA¸Ñ·sªº±K½Xªk¤F¡C
|
|
|