大家好,欢迎来到IT知识分享网。
定义:代数数是系数为有理数的多项式的根。如果一个多项式的系数都是代数数,则这个多项式的根也是代数数。超越数不是任何系数为代数数的多项式的根。
性质0
代数数对于四则运算是封闭的,所有代数数的集合构成代数数域。(证明略)
性质1
超越数的倒数仍然是超越数。
证明:取超越数 a a a,假设其倒数 1 / a 1/a 1/a是代数数。设 b = 1 / a b=1/a b=1/a,则 a = 1 / b a=1/b a=1/b,根据性质 0 0 0, a a a为代数数,与题设矛盾,故 1 / a 1/a 1/a不可能是代数数。
性质2
超越数的有理数次方幂仍然是超越数。
证明:首先证明超越数的正整数次方幂仍然是超越数。令a为任意超越数, n n n为任意正整数,假设 a n a^{n} an 为代数数,则多项式 x n − a n = 0 x^{n}-a^{n}=0 xn−an=0是代数数域上的一个多项式, x = a x=a x=a 是这个多项式的一个根,因此, a a a 是代数数,这与题设相矛盾,故 a n a^{n} an不可能是代数数。
又根据性质1, a − n a^{-n} a−n也是超越数。故超越数非零整数次方幂均为超越数。
其次,要证明超越数的正整数次方根仍然是超越数。令a为任意超越数, n n n为任意正整数,假设 a 1 / n a^{1/n} a1/n 为代数数,根据性质0, n n n个代数数相乘仍然是代数数,则 a 1 / n × a 1 / n × … × a 1 / n = ( a 1 / n ) n = a a^{1/n}\times a^{1/n}\times …\times a^{1/n}=(a^{1/n})^{n}=a a1/n×a1/n×…×a1/n=(a1/n)n=a是代数数,与题设矛盾,故 a 1 / n a^{1/n} a1/n只能是超越数。
综上所述,令 a a a为任意超越数, n n n、 m m m为任意非零整数,则 a m / n a^{m/n} am/n是超越数,即超越数的有理数次方幂是超越数。证毕 Q E D QED QED.
性质3
代数数的共轭仍然是代数数,超越数的共轭仍然是超越数。(证明略)
性质4
超越数与它自己的倒数在代数数域上的线性组合,仍然是超越数。即若 a a a是超越数, n n n、 m m m是代数数,则 n a + m / a na+m/a na+m/a是超越数。
证明:设 n a + m / a na+m/a na+m/a 是代数数。则多项式 ( x + n a ) ( x + m / a ) = x 2 + ( n a + m / a ) x + n m = 0 (x+na)(x+m/a)=x^{2}+(na+m/a)x+nm=0 (x+na)(x+m/a)=x2+(na+m/a)x+nm=0 是一个系数为代数数的多项式, x = − n a x=-na x=−na、 x = − m / a x=-m/a x=−m/a 分别是这个多项式的两个根,即它们都是代数数,与 a a a 是超越数的题设相矛盾!所以,这个多项式的一次项系数 ( n a + m / a ) (na+m/a) (na+m/a) 只能是超越数!
性质5
设 a a a、 b b b 为满足 $\left|a\right|\ne\left|b\right|\ne\left|1/a\right|$ 的两个超越数,则 a b 、 a / b 、 a − b 、 a + b ab、a/b、a-b、a+b ab、a/b、a−b、a+b这四个数中,最多只有一个代数数。(留作习题答案略)
定理1(Hermite-Lindemann):若 a a a 为非零代数数,则 e a e^{a} ea为超越数。(由林德曼-维尔斯特拉斯定理易证)
推论1.1:由于三角函数、双曲函数都可以写成( e e e为底的)指数函数的线性组合和四则运算,所以,若 a a a 为非零代数数,则其三角函数值、双曲函数值为超越数。
推论1.2: e e e 和 π π π 都是超越数。
定理2(盖尔方德—施耐德定理):若 α 、 β \alpha、\beta α、β 都是代数数,且 α ≠ 0 , 1 、 β \alpha\ne0,1 、 \beta α=0,1、β 是无理数,则 α β \alpha^{\beta} αβ是超越数。
推论2.1: e π e^{\pi} eπ 是超越数。
证明:利用欧拉公式 e i π = − 1 e^{i\pi}=-1 eiπ=−1 ,两边同时取 − i -i −i次方,得 e π = ( − 1 ) − i e^{\pi}=(-1)^{-i} eπ=(−1)−i ,由盖尔方德—施耐德定理,得证 e π e^{\pi} eπ是超越数。
推论2.2: e α π e^{\alpha\pi} eαπ 是超越数,其中代数数 α \alpha α是实部非零的复数或虚部不是有理数的纯虚数。
免责声明:本站所有文章内容,图片,视频等均是来源于用户投稿和互联网及文摘转载整编而成,不代表本站观点,不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益,请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权,请联系删除,如若转载,请注明出处:https://haidsoft.com/154023.html