¥j§Æþ´X¦ó¤T¤j°ÝÃD ¡]²Ä 4 ¶¡^ ±d©ú©÷
|
¡Dì¸ü©ó¼Æ¾Ç¶Ç¼½²Ä¤K¨÷²Ä¤G´Á¡B²Ä¤K¨÷²Ä¤T´Á¤À¨â´Á¥Z¥X ¡D§@ªÌ·í®É¥ô±Ð©ó¥x¤j¼Æ¾Ç¨t ¡EµùÄÀ ¡E¹ï¥~·j´MÃöÁä¦r |
¤@Ó½Æ¼Æ x ¥s°µ¶W¶V¼Æ(transcendental number) ªº·N«ä¬O»¡¡A¹ï©ó¥ô¦ó Q ¤Wªº¦h¶µ¦¡ f(T)¡AY f(x)=0¡A«h ¡C§_«h¡A´N¥s°µ¥N¼Æ¼Æ(algebraic numnbers)¡C ¤£Ãø¬Ý¥X¡Ax ¬O¥N¼Æ¼Æªº¥R¤À¥²n±ø¥ó¬O ¡C ¦]¬°¡AY [Q(x):Q]=n¡A«h 1,x,¡K,xn+1¡A¤£¥i¯à¦b Q ¤W½u©Ê¿W¥ß¡C ©Ò¥H¥i¥H§ä¨ì¤£¥þ¬°¹sªº¦³²z¼Æ ,,¡K,¡A¨Ï±o ¡C©Ò¥H x ¬O¥N¼Æ¼Æ¡C ©Ò¦³¥N¼Æ¼Æ§Î¦¨ªº¶°¦X¡AÅܦ¨¤@ÓÅé¡C¡]ÃÒ©ú¤£¬O«Ü®e©ö¡A¦ý¬OŪªÌȱo¦Û¤v°µ°µ¬Ý¡C¡^ 5
¦pªG x ¬O¶W¶V¼Æ¡A«h Q(x) ªº¥|«h¹Bºâ©M¦³²z¨ç¼Æ
ªº¥|«h¹Bºâ§¹¥þ¤@¼Ë¡A¨Ò¦p (1+x)(1-x)=1-x2¡C¦ý¬O¦pªG x ¬O¥N¼Æ¼Æ¡A¨Ò¦p ¡A«h §ÚÌ¥i¥H§â Ä~Äò¤Æ²¡C
¶W¶V¼Æ©MµL²z¼Æ¨Ã¤£¤@¼Ë¡C¦³²z¼Æ¬O¥i¥H¼g¦¨ «¬¦¡ªº¼Æ¡A¨ä¤¤ p »P q ¬O¾ã¼Æ¡A¡C
¦p ¬O¥N¼Æ¼Æ¡A ¬O¶W¶V¼Æ¡Ai ¬O¥N¼Æ¼Æ¦Ó¤£¬O¹ê¼Æ¡C ªk°ê¼Æ¾Ç®a Joseph Liouville¡]1809¡ã1882¦~¡^¦b1844¦~§ä¥X²Ä¤@Ó¶W¶V¼Æ¥X¨Ó¡CLiouville ªº¤èªk¬O®Ú¾Ú¤@Ó°ò¥»ªº·§©À¡G¥N¼Æ¼Æ¬OµLªk¥Î¦³²z¼Æ¨Ó°ª«×¹Gªñªº¡C§óºë½Tªº»¡¡A¥LÃÒ©ú
§Q¥Î¥H¤W©w²z¡ALiouville «ü¥X
¬O¤@Ó¶W¶V¼Æ¡C¨Ò¦p¡A°²³] £i º¡¨¬¤@Ó57¦¸ªº¤èµ{¼Æ¡A¥B K=1000¡A¨º»ò§ÚÌ¥un¨ú¤@Ó¦³²z¼Æ £b¡A£b ¬O £i ªº«e57¶µªº©M¡A§Y q ¬O¬YÓ¾ã¼Æ¡C «h ¦]¦¹ Liouville ©w²z¤£¦¨¥ß¡C¬G £i ¤£±o¤£¬O¶W¶V¼Æ¡C ¤T¤Q¦~¥H«á¡AGeorg Cantor §Q¥Î¶°¦X½×ªº¤èªkÃÒ©ú¡A©Ò¦³ªº¹ê¼Æªº¥N¼Æ¼Æ¬O¥i¼Æªº (countable) ¦Ó¹ê¼Æ¬O¤£¥i¼Æªº (uncountable)¡A¦]¦¹¥²¦³¤@Ó¶W¶V¼Æ¦s¦b¡C
1873¦~ªk°ê¼Æ¾Ç®a Charles Hermite¡]1822¡ã1901¦~¡^ÃÒ©ú
¬O¶W¶V¼Æ¡C 1882¦~ F. Lindemann §Q¥Î Hermite ªº·Qªk¡AÃÒ©ú £k ¬O¶W¶V¼Æ¡C¨Æ¹ê¤W Lindemann ÃÒ©ú¡G Y ¬O¤@Ó¥N¼Æ¼Æ¡A«h ea ¬O¤@Ó¶W¶V¼Æ¡C¨ú a=1¡A±oÃÒ e ¬O¶W¶V¼Æ¡C ¨ú ¡A«h ¤£¬O¶W¶V¼Æ¡A¬G ¤£¬O¥N¼Æ¼Æ¡F±oÃÒ £k ¬O¶W¶V¼Æ¡C 1900¦~ David Hilbert¡]1862¡ã1943¦~¡^¦b¤Ú¾¤ªº°ê»Ú¼Æ¾Ç·|´£¥X¦³¦Wªº Hilbert ªº23Ó°ÝÃD¡C ¥Lªº²Ä¤CÓ°ÝÃD¬O¡G¦pªG a »P b ³£¬O¥N¼Æ¼Æ¡A¥B ¡Ab ¬OµL²z¼Æ¡A«h ab ¬O§_¬°¶W¶V¼Æ¡H¨Ò¦p¡A ¡B ¡B ¬O¤£¬O¶W¶V¼Æ¡H ¦b1934¦~¡A«X°ê¼Æ¾Ç®a A.O. Gelfond »P¼w°ê¼Æ¾Ç®a T. Schneider ¤À§O¸Ñ¨M¤F Hilbert ²Ä¤C°ÝÃD¡Aµª®×¬OªÖ©wªº¡C nÃÒ©ú¬Y¨Ç¼Æ¬O¶W¶V¼Æ¨Ã¤£¬O«Ü®e©öªº¡C¨Ò¦p¡A0.123456789101112¡K ¬O¤£¬O¶W¶V¼Æ¡H¡]µª®×¡G¬O¡C¡^ ¤S¦p¡G¡Bee¡B¡B¡B ¡B¡B2e¡BEuler ±`¼Æ¡]= ¡^¬O¤£¬O¶W¶V¼Æ¡H¨Æ¹ê¤W¡A¨ì²{¦b¬°¤î¡A§Ú̳s³o¨Ç¼Æ¬O¤£¬OµL²z¼Æ³£¤£ª¾¹D¡C ¥Ñ©ó¶W¶V¼Æªº¬ã¨s¡A¼Æ¾Ç®a³s±aªº¬ã¨s¡A¥N¼Æ¼Æªº¹ï¼Æªº½u©Ê²Õ¦X¦ôpÈ¡A¾ã«Y¼Æ¦h³»¦¡¸Ñªººë½T½d³ò¡A¦³²z¼Æ¹Gªñ¥N¼Æ¼Æªº¤è¦¡¡C¦P®É¼Æ¾Ç®a¤]³]p¥X³\¦h¥©§®ªº¤èªk¨Ó°Q½×¶W¶V¼Æ¡CHilbert ¦b´£¥X²Ä¤C°ÝÃD®É¯S§O±j½Õ¡An¸Ñ¨M³oÓ°ÝÃD¶Õ¥²µo²{³\¦h·sªº¤èªk»P·sªº¨¤«×¨ÓÁA¸ÑµL²z¼Æ»P¶W¶V¼Æªº¥»½è¡C ¦³Ãö Lindemann ©w²zªºÃÒ©ú¡AŪªÌ¥i°Ñ¦Ò¥H¤U¸ê®Æ¡A S. Lang,¡mAlgebra¡n, Appendix, 492¡ã499¶¡A³oùتºÃÒ©ú¬O±Ä¥Î Gelfond »P Schneidel ¤èªk¡CŪªÌ¥un¨ã³Æ½ÆÅܨç¼Æªºª¾ÃÑ´N¥i¬ÝÀ´¡C¨Ã¥B¡A´N¦b³oùØ¡ASchanuel ²q´ú²Ä¤@¦¸¥X²{¦b²³¤H²´«e¡ASchanuel ²q´ú´X¥G²ÎÄá¶W¶V¼Æ²z½×¤¤³\¦h¥Dnªº©w²z¡A¦p Lindemann n ¤¸¯À©w²z¡BGelfond-Schneider ©w²z¡BBaker n ¤¸¯À©w²z¡C¥i±¤³oÓ²q´ú¨ì¤µ¤ÑÁÙ¨S¦³ÃÒ©ú¥X¨Ó¡C
|
|
¡]Y¦³«ü¥¿¡BºÃ°Ý¡K¡K¡A¥i¥H¦b¦¹ ¯d¨¥ ©Î ¼g«H µ¹§ÚÌ¡C¡^ |
EpisteMath (c) 2000 ¤¤¥¡¬ã¨s°|¼Æ¾Ç©Ò¡B¥x¤j¼Æ¾Ç¨t ¦Uºô¶¤å³¹¤º®e¤§µÛ§@Åv¬°ìµÛ§@¤H©Ò¦³ |
½s¿è¡G¶À«H¤¸ | ³Ì«áקï¤é´Á¡G5/3/2002 |