作图,三等分任意角,据说不可能,怎么证明?

来源:学生作业帮助网 编辑:作业帮 时间:2024/07/18 23:23:03
作图,三等分任意角,据说不可能,怎么证明?
xnP_ǑN\*(NwW$v-DAT)I % 4rU9slVy }4fq*N>5twV͊ oԛ}F 3֩yWUOeK|WʦSW*_̛nsDrdw/cU[5{?jӶ{Q^/08c:p[CYkRyany"b|H/9z"]Yk|(an>O#Xт h9Y3JԘleɀ˄Q L||~eÝ!AEp9QJ:*i>)t

作图,三等分任意角,据说不可能,怎么证明?
作图,三等分任意角,据说不可能,怎么证明?

作图,三等分任意角,据说不可能,怎么证明?
凡齐尔用代数的方法证明:
抽象代数上有这样一个定理:如果复数z可以用尺规从S0={0,1,z1,...,zn}作出,则z是域F=Q(z1,...,zn,z1~,...,zn~)上的一个代数元且z的次数为2的方幂.其中z1~,...,zn~分别是z1,...,zn的共轭.
三等分任意角就是用尺规从{0,1,a}作出b,其中a=4b^3-3b.
于是b是方程f(x)=4x^3-3x-a=0的根,我们指出f(x)在Q(a)上不可约.
取特殊值a=1/2(即60度角),则Q(a)=Q(1/2)=Q(有理数),f(x)=4x^3-3x-1/2=((2x)^3-3(2x)-1)/2,显然f(x)在Q上不可约.
所以,一般情况的f(x)在Q上也是不可约的.由此可知b是Q(a)上的三次代数元.根据一开始的定理,得到结论:cos(m/3)用尺规从{0,1,cosm}作出一般说来是不可能的.