尺规三等分角不能的向量证明
直尺与圆规三等分任意一个角的证明方法
5、将C点与D点相连形成线段CD6、作CD的中垂线交AB的延长线于N以N为圆心，以CN为半径划弧CD ,交∠AOB的弧（弧Ⅰ）于F点，分出的弧FB是∠A OB的弧（弧Ⅰ）的三分之一7、连接FB,以FB为半径，以A为圆心划弧交弧Ⅰ于G,连接GO和FO,则∠AOG=∠GOF=∠FOB二、证明在上法三等分任意角∠AOB图的基础上连接GF和AG(见图二)2、把该弧的弦AB 用平行线法分成3等分，使AL=LC=CB（作法略）3、用圆规找出AB的中点O′，以O′为圆心，以A O′为半径划弧Ⅱ，它实际上是平角∠A O′B的弧（也是以AB为直径的半圆的弧）4、以B点为圆心，以B O′为半径划弧交平角∠A O′B的弧（弧Ⅱ）于D5、将C点与D点相连形成线段CD6、作CD的中垂线交AB的延长线于N以N为圆心，以CN为半径划弧CD ,交∠AOB的弧（弧Ⅰ）于F点，分出的弧FB是∠A OB的弧（弧Ⅰ）的三分之一7、连接FB,以FB为半径，以A为圆心划弧交弧Ⅰ于G,连接GO和FO,则∠AOG=∠GOF=∠FOB二、证明在上法三等分任意角∠AOB图的基础上连接GF和AG(见图二)2、把该弧的弦AB 用平行线法分成3等分，使AL=LC=CB（作法略）3、用圆规找出AB的中点O′，以O′为圆心，以A O′为半径划弧Ⅱ，它实际上是平角∠A O′B的弧（也是以AB为直径的半圆的弧）4、以B点为圆心，以B O′为半径划弧交平角∠A O′B的弧（弧Ⅱ）于D5、将C点与D点相连形成线段CD6、作CD的中垂线交AB的延长线于N以N为圆心，以CN为半径划弧CD ,交∠AOB的弧（弧Ⅰ）于F点，分出的弧FB是∠A OB的弧（弧Ⅰ）的三分之一7、连接FB,以FB为半径，以A为圆心划弧交弧Ⅰ于G,连接GO和FO,则∠AOG=∠GOF=∠FOB二、证明在上法三等分任意角∠AOB图的基础上连接GF和AG(见图二)从上面作图时可知AG=FB，所以∠AOG=∠FOB这时只要能证明∠GOF也=∠FOB,即可证明∠AOG=∠FOB=∠GOF,则任意角∠AOB就被三等分1、以AO为半径，以O为圆心将弧AB（弧1）从右下方适当延长，再以B为圆心，以G F为半径划弧交弧AB(弧1)的延长线于P,连接OP和BP，则新形成的△POB与△GOF全等，即在他们中，∠GOF=∠BOP2、连接GP交BO于T，从图上看，GP连线似乎经过E点，因未做数学证明，所以，不能确认。
尺规作图不能问题
尺规作图不能问题就是不可能用尺规作图完成的作图问题。
这其中最著名的是被称为几何三大问题的古典难题：■三等分角问题：三等分一个任意角；■倍立方问题：作一个立方体，使它的体积是已知立方体的体积的两倍；■化圆为方问题：作一个正方形，使它的面积等于已知圆的面积。
在2400年前的古希腊已提出这些问题，直至1837年，法国数学家万芝尔才首先证明“三等分角”和“倍立方”为尺规作图不能问题。
1882年德国数学家林德曼证明π是超越数后，“化圆为方”也被证明为尺规作图不能问题。
【尺规作图不能问题的另类做法】[编辑本段]■总述人们用尺规解几何三大作图题屡遭失败之后，一方面是从反面怀疑它是否可作；另一方面就很自然地考虑，假如跳出尺规作图的框框，也就是不限用尺规，而是借助于另外一些曲线，或者借助于尺规以外的一些工具，是不是可解决这些问题呢？人们发现，一旦跳出了尺规作图的框框，问题的解决将是轻而易举的.这方面的工作已经有许多人做过，而且取得了不少成就，下面的词条内容就择要介绍一二.■关于三等分一任意角问题★作法一尼科梅德斯(Nicomedes，公元前250年左右)方法对于已知锐角∠O，在角的一边上取任意点B，作OB的垂线，交∠O的另一边于点A.以O为定点，BA为定直线，2OA为定长，作出蚌线的右支C.从点A作BA的垂线，和蚌线C相交于点S，那么∠BOS=1/3∠BOA★作法二帕斯卡(Pascal，B.1623—1662)的方法，对于∠AOB，在其一边上取任意长OA做半径，以点O为圆心作一圆(图12).延长AO，和圆O交于点C.以圆O为定圆，以C为定点，以定圆O的半径为定长，作一蚶线蚶线和角的另一边OB相交于点E.连结CE，过点O作OS∥CE，那么∠BOS=1/3∠BOA★作法三帕普斯(Pappus，约公元320年)方法，对于∠AOB，在它的两边上截取OA=OB.连结AB 并三等分，设两分点分别为C和D.以点C为中心，点A、D分别为顶点，作离心率e=√2的双曲线.以点O为圆心，OB为半径作弧，交双曲线于点S.则∠BOS=1/3∠BOA★作法四玫瑰线方法：交∠AOB的两边于点A和B，分别以O和A为圆心，a为半径画弧，两弧交于点S，则有∠BOS=1/3∠BOA■关于立方倍积问题★作法一柏拉图(Plato，公元前427—347年)的方法：作两条互相垂直的直线，两直线交于点O，在一条直线上截取OA=a，在另一条直线上截取OB=2a，这里a为已知立方体的棱长.在这两条直线上分别取点C、D，使∠ACD=∠BDC=90°(这只要移动两根直角尺，使一个角尺的边缘通过点A，另一个角尺的边缘通过点B，并使两直角尺的另一边重合，直角顶点分别在两直线上，这时两直角尺的直角顶点即为点C、D).线段OC之长即为所求立方体的一边.★作法二门纳马斯(Menaechmus，约公元前375—325年)方法：从a∶x=x∶y=y∶2a可得y2=2ax，x2=ay.所以，在直角坐标平面上画出上述两个二次方程所对应的两条抛物线(图16).这两条抛物线交于O、A两点，那么点A在x轴上的投影到原点的距离，就是所求的立方体的棱长.★作法三阿波罗尼(Apollonius de Perge，约公元前260—200年)方法：作一矩形ABCD，这里AB=a、AD=2a.以此矩形对角线交点G为圆心，以适当长度为半径作圆，与AB、AD之延长线分别交于E、F，使E、C、F三点共线，则AB∶DF=DF∶BE=BE∶AD，线段DF之长即为所求立方体的棱长.■化圆为方问题★作法：对于已知圆O，作出它在第一象限的圆积线①l.连结这一圆积线的两个端点B、F，过点B引BF的垂线BG，交x轴于G.在OA上取一点H，使HA=1/2GO.以H为圆心，HG 为半径画弧，交y轴于点K.则以OK为一边的正方形，即为所求作的与圆O等积的正方形．【尺规作图不能问题的积极意义】[编辑本段]我们可以看出，几何三大问题如果不限制作图工具，便很容易解决.从历史上看，好些数学结果是为解决三大问题而得出的副产品，特别是开创了对圆锥曲线的研究，发现了一批著名的曲线，等等.不仅如此，三大问题还和近代的方程论、群论等数学分支发生了关系.【尺规作图不能问题的相关趣事】[编辑本段]阿纳克萨戈勒斯是古希腊著名学者,在天文学中,他曾因解释日,月食的成因而闻名遐迩,并且认识到月球自身并不发光.正是他出色的研究成果给他带来了不幸, 在他大约50岁的时候,横祸从天而降,蒙受了冤狱之苦.灾难的起因是他认为太阳是一块炽热的石头.由于当时的宗教早已一口咬定太阳是神灵,而这位学者却无视宗教的权威,说太阳是一块石头,因而被投入监狱.尽管被囚禁的时间并不太长,可是,在被囚禁的日子里冤屈,苦闷,无聊实在让人度日如年.在阴暗,潮湿的牢房里,阿纳克萨戈勒斯看不到外面的朝霞暮霭,每天只有不长时间,阳光能穿过牢房那狭小的方形窗户进入室内.每当阳光进入囚室,在墙壁上撒下一片光亮时,总会引起作为学者的他的种种联想.有一天,他在凝视圆圆的太阳赏赐给他的方形的光亮时,他那习惯于思索的头脑突发奇想:能不能(仅用直尺和圆规)作一个正方形,使其面积与一个已知圆的面积恰好相等呢就这样,一道世界名题——"化圆为方"问题诞生了,它与"立方倍积"问题,"三等分任意角"问题一起被后人称作古希腊几何作图三大难题. 阿纳克萨戈勒斯想到化圆为方问题之后非常兴奋,因为他身边没有书籍,没有笔,很难研究别的问题,而这个问题却不同,只要用草棍在地上画就行了,草棍在牢房里有的是.他在进入高墙之前做梦也没有想到,在他最痛苦的时候,是数学排除了他的几分烦恼.不过,他一生也未能解决他提出的这个问题。
几何三大问题为尺规作图不能问题的证明
1.立方倍积问题假设已知立方体的棱长为c，所求立方体的棱长为x.按给定的条件，应有x3=2a3.令a＝1，则上述方程取更简单的形式x3-2=0.根据初等代数知识，如果上述的有理系数三次方程含有有理根，不外是±1，±2.但经逐一代入试验，均不符合.可见方程x3-2=0必不能用尺规作出，这就证明了立方倍积问题是尺规作图不能问题.2.三等分任意角问题对于已知的锐角∠O=θ，设OP、OS是它的三等分角线.以O为圆心，单位长为半径画弧，交∠O的两边于点A、B，交三等分角线OS于点C.过点C作CD⊥OA，交OA于点D.这样，OS能否用尺规来作出，就等价于点C能否用尺规作出，也就是点D能否用尺规来作出.令OD=x，则有4x3-3x-cosθ＝0.如果能证明上述三次方程的根一般不能仅用尺规作出，则点D不可得，于是射线OS也就不能作出.欲证明此事，可选一特例考察之.8x3-6x-1=0.以2x=y代入此方程，可得较简单的形式y3-3y-1=0.根据代数的知识，如果有理系数一元三次方程y3-3y-1=0含有有理根，不外是±1.但经逐一代入试验后，均不符合，可见此方程没有有理根.于是，根据本书第14页定理2可知，方程y3-3y-1=0的任何实根不能用尺规作图来完成，即60°角不能用尺规三等分.三等分60°角尚且不能,这就表明了三等分任意角属于尺规作图不能问题.当然，这个结论是对一般情形而言的，假如θ等于某些特殊值，则作图未必就不可能.例如，当θ=90°时，便有cos90°=0，此时方程4x3-3x-cosθ=0就变为4x3-3x=0.解之，得(见图6).注意，当cosθ取值为无理数时，如θ=30°、45°等，则我们所用的定理2就不再适用了.3.化圆为方问题假设已知圆的半径为r，求作的正方形的边长为x(图7).按条件，应有x2=πr2.令r=1，即得不可作.但π是超越数，自然不是有理系数的代数方程的根，更不是从1出发通过有限次加、减、乘、除及正实数开平方所能表示，即π不能仅用尺规作图来完成，所以化圆为方问题属尺规作图不能问题.4.正七边形和正九边形的作图问题正多边形的作图，亦即等分圆周问题，自古以来就一直吸引着人们.古希腊时期，人们已会运用尺规作出3，4，5，6.10，15边数的正多边形，但是企图作正七边形或正九边形却终归失败.现在来证明正七边形和正九边形都属尺规作图不能问题.(图8).∵7θ=2π，∴3θ=2π-4θ，∴ cos3θ=cos(2π－4θ)＝cos4θ.根据三角恒等式，有cos3θ=4cos3θ-3cosθ，cos4θ=8cos4θ-8cos2θ＋1，所以4cos3θ-3cosθ=8cos4θ-8cos2θ＋1.即8cos4θ-4cos3θ-8cos2θ＋3cosθ＋1=x4-x3-4x2+3x＋2=0.分解因式，得(x-2)(x3+x2-2x-1)=0.x3+x2-2x-1=0.由试验，知±1均不能满足这方程，可见上述三次方程无有理根.于是，运用本书第14页的定理2，可知上述三次方程的任何实根均不能用尺规作图来完成，因而正七边形属于尺规作图不能问题.的作图，而θ=40°角属于尺规作图不能问题(否则，利用作角平分线的办法，可作出20°角，将导致三等分60°角成为可能).所以正九边形也属尺规作图不能问题.由正七边形和正九边形是尺规作图不能问题，可直接推得边数为2n×7和2n×9(n为正整数)的正多边形也是尺规作图不能问题.对于尺规作图不能问题，除了直接应用本书第14页的定理来判断外，通常还有两种间接判断方法：1°有的作图问题，经过分析后发现可以归结为已知的作图不能问题，则可断定该问题也属尺规作图不能问题.例如正九边形属尺规作图不能问题的上述证明所采用的方法就是.2°有时，对问题的一般情形进行讨论既繁且难，而取其特例考察，则简易得多.因此欲决定某题属作图不能问题时，不妨相机证明它的特例不能作图，特例既经证实，一般情形的不能作图便不言而喻了(但特例可行则不等于这问题可作).例如解决三等分角问题时所采用的方法即是.。
尺规三等分任意角画法和证明
〈〈用直尺和圆规把一个任意角分成三个相等的小角的画法和证明〉〉（1）在图[1]中，圆心角AOB，圆心是O，边OA=OB是半径，弧AB。
（2）在AB弧上任意截取一段AC弧，再任意截取一段BD弧，令BD弧=2AC 弧，剩余一段CD弧；剩余CD弧=AB弧-AC弧-BD弧=AB弧-3AC弧，（BD弧=2AC弧），请看图[1]。
（3）连C点和D点，CD线段为剩余弧CD的弦；因为剩余弧CD很短与CD 弦重合成一段线段，所以，我们只要把CD弦三等分，剩余弧CD也就被三等分了，请看图[1]。
（4）大家知道CD弦是一段线段，我们用“平行线等分线段定理”把CD弦等分成三段：CH=HK=KD，因为，剩余弧CD很短与CD弦重合成一段线段，所以，CD弧也被同时三等分为：CH弧=HK弧=KD弧，请看图[1]，H点和K点便是CD 弦上的两个三等分点同时也是剩余弧CD上的两个三等分点，所以，剩余弧CD=3CH 弧（CH弧=HK弧=KD弧），请看图[1]。
（5）因为，AB弧=AC弧+BD弧+CD弧=3AC弧+3CH弧（BD弧=2AC弧，剩余弧CD=3CH弧），所以，AB弧=3（AC弧+CH弧）=3AH弧，请看图[1]。
所以，1/3AB弧=AH弧，请看图[1]，所以，H点是AB弧上的一个三等分点，请看图[1]。
（6）以H点为原点、以HA弧长为标准长在BH弧上截取一段弧HM，截点为M，则M点和H点便是AB弧上的两个三等分点，所以，AH弧=HM弧=MB弧=1/3AB弧，请看图[1]。
（7）连OH和OM，OH和OM把圆心角AOB分成三个小圆心角：小圆心角AOH、小圆心角HOM和小圆心角MOB，请看图[1]。
（8）在圆心角AOB中，依据圆心角、弧、弦的关系定理：因为：小圆心角AOH对应AH弧，小圆心角HOM对应HM弧，小圆心角MOB对应MB弧，AH弧=HM弧=MB弧=1/3AB弧，所以：小圆心角AOH=小圆心角HOM=小圆心角MOB=1/3圆心角AOB（依据圆心角、弧、弦的关系定理，等弧对等角），请看图[1]，所以，任意角AOB被尺规三等分了。
尺规三等分角不能的向量证明
尺规三等分角不能的向量证明第一篇：尺规三等分角不能的向量证明定义：设S={Z0=1，Z1，...Zn}是n+1个复数，将(1)Z0=1，Z1，...Zn叫做S-点；(2)过两个不同的S-点的直线叫S-直线，以一个S-点为圆心、任意两个S-点之间的距离为半径的圆叫S-圆；(3)由S-直线与S-直线、S-直线与S-圆、S-圆与S-圆相交的点也叫S-点。
上面这个定义完全刻画了尺规作图过程，如果以P表示全体S-点的集合，那么P也就是从S={Z0=1，Z1，...Zn}出发通过尺规作图所得到的全部复数。
定理：设Z1，...Zn(n≥0)为n个复数。
设F= Q(Z1，...Zn，Z1'，...Zn')，(Z'代表共轭复数)，那么，一个复数Z可由S={Z0=1，Z1，...Zn}作出的充要条件是 Z属于F(u1，...un)。
其中u12属于F, ui2 属于F(u1，...ui-1)。
换言之，Z含于F的一个2次根号扩张。
系：设S={Z0=1，Z1，...Zn}，F= Q(Z1，...Zn，Z1'，...Zn')，Z 为S-点，则 [ F(z)：F] 是2的方幂。
以下证明三等分任意角不可能性，证明尺规作图不能三等分60度角：证明：所谓给了60度角，相当于给了复数Z1=1/2+√3/2 i。
从而S={Z0=1, Z1}，F=Q(z1, z1')=Q(√-3)。
如果能作出20度角，当然也能得到cos20，但是cos20满足方程4x3-3x-1/2=0，即8x3-6x-1=0。
由于8x3-6x-1在Q[x]中不可约，从而[Q(cos20)：Q]=3，于是6=[ Q(cos20, √-3)：Q] = [F(cos20)：Q]=[F(cos20)：F] [F：Q] 由于[F：Q]=[Q(√-3)：Q]=2，所以[F(cos20)：F]=3，根据上面的系可知cos20不是S-点，从而20度不可能三等分。
尺规三平分角,角三等分
三等分角、三平分角1、废话部分先说明我没有破解，但是有很多很接近的作图方法，在这里都写出来，希望接下来有共同兴趣的人可以少一点的弯路。
因为这方面的书籍和讯息都很少，我的想法不知道会不会和以前的人的想法重合 另一个就是，利用双曲线的这种方法可以解决任意角度（︒︒360~0），相比我知道的几种工具解决三等分的办法是便捷了许多另外就是由这个三等分衍生出来的好多概念在以后应该会有价值，就不知道是多少年后， 最后对于想深入研究的人我奉劝一句|“放弃吧，很费脑细胞还有时间的”2、双曲线的由来取任意一个角度每一个角度，以顶点为圆心，以任意长度画圆，被这个角度的两条边截出一段弧这段弧会根据圆半径的长短，弧长会相应变化，但是圆心角是不会变化的我们只要三等分弧AB ，就能等到AOB ∠的三平分角，这点不证明把A 、B 为两点连接直线，从圆心O 点作直线AB 的垂线，我们会得到一个类似直角坐标系的图形（可能有人在这里要彪了，你这是要利用直角坐标系，不是的哈，乖乖看下去，我只如果A、B间距是固定的，随着圆心在垂线DE上下运动，我们就能得到任意一个角度我用几何画板作图，大家可以学一下这个软件，毕竟手工作图误差是很大的对于这个任意角度，我们反推，在已知弧AB的两个三等分点的情况下，得到三平分点随着圆心上下移动的轨迹这个是一条栓曲线的一部分图像，接下来我给出证明把两个三平分点与点A 、B 连接，我们会得到一个等腰梯形，并且线段AF=FG=GB因为F 、G 点事三平分点，GOB FOG AOF ∠=∠=∠,点A 、F 、G 、B 在同一圆上，所以AF=FG=GB接下来是证明线段FG 平行AB ，弧AF=弧GB （因为FG 是三平分点），所以线段FG 平行于AB ，线段FG 也是垂直于DE 的直线DE 垂直于AB ，FG 平行于AB ，又DE 平分线段AB ，所以直线DF 也是FOG ∠的平分线，最主要的，我们要得到线段HG=21GB ， FG=GB （相等角在同一个圆上所对应的弦是相等的），DE 平分线段FG , ∴ HG=21 FG=21GB ∴HG=21GBHG=21GB 圆心O 是直线DE 上任一点，恒有HG=21GB ，这个符合双曲线的第二个定义：平面内到一个定点B 和一条直线DF 的距离的比是常数e=2，e 〉1时的动点曲线轨迹叫做双曲线，∴∠AOB 的之中右边的三等分点的轨迹是一条双曲线，同理得证左边的三等分点也是一条双曲线3、接下来是推理出双曲线的解析式，求出解析式112422=-y x当∠AOB 是零度的时候, AB 的长度不随着圆点O 的变动而变动∴零度的弧就是与线段AB 重合，三等分点如图所示为i ，i 同时是线段AB 的三等分点，同时也是三等分点轨迹与线段AB 的轨迹的交点和双曲线的顶点之一设直线AB 与直线DE 的交点是j,假设线段ji 是一个距离单位，那么根据数量关系就有线段AB=6ji, iB=2ji B 点事双曲线的一个焦点我们假设双曲线的解析式是12222=-by a x ， 222c b a =+，原点到双曲线顶点的距离是a,原点到焦点的距离是c, iB=c-a=2ij 我们已经把ij 设为基本距离单位，∴c-a=2离心率e=ac =2 联立方程⎪⎩⎪⎨⎧==-22ac a c 解得a=2,c=4, 222c b a =+ ∴b=32所以双曲线的方程式112422=-y x上边的是繁琐的一些证明，无非我们要得到的就是三等分点的轨迹是双曲线，要得到这条双曲线的相关的一些规律，希望这些规律能够在你尺规作图三等分角的时候有所帮助，现在我把我掌握的一些好玩的规律给大家介绍介绍。
刻度尺三等分角
刻度尺——简单而强大的作图工具（三）——三等分角
2010-08-09 14:43
三、三等分角
我们都知道，尺规作图是不可能三等分任意角的。
但是，刻度尺作图可以。
之前证明刻度尺作图可以完全代替尺规作图只用了作图公法一至九。
而作图公法一至九亦可以用尺规作图作出。
刻度尺作图要超越尺规作图，只能凭借作图公法十。
下面给出的三等分角的作图法是根据《数学题解辞典（平面解析几何）》（唐秀颖主编，上海辞书出版社出版，1983年）713页的第1165题的说明（1）里的方法改编而成。
作图法十五：已知角APB，可作其三等分线。
作法：在射线PB上取C点使PC=1。
作PC中点D。
过D点做射线PA的垂线m和平行线n。
过P作直线l使l与m、n分别交于E、F两点且EF=1。
l即为所求作的三等分线。
至此，我们已得到了结论——一把简单的刻度尺可以完全代替尺规作图并且可以三等分角。
如何证明尺规作图三等分一个角是不可能问题
如何证明尺规作图三等分一个角是不可能问题？
1）.先说明尺规作图可能问题：
一个作图题中的所作的未知量，若能由若干已知量经过有限次的有理运算及开平方算出时，这个作图题便能由尺规作出。
2）.定理：
一个一元三次方程若它没有有理根，则长度等于它的任何实数根的线段是不能用尺规作出的。
3）.证明尺规作图三等分任意角是不可能的：
如图：设已知角为3a ,平分后的每一个角为a ,作单位圆交角于A、B、C
过B作BD⊥OA于D，过C作CE⊥OA于E ，
令OD＝m ,OE=x ,则m=cos(3a) ,x=cosa ,代入三角恒等式中：
cos(3a)= 4*(cosa)^3 - 3*cosa 得：4x^3 -3x -m = 0
由于在一般的情况下4x^3 -3x -m = 0 不是都有有理根(艾森斯坦因判别法)
所以根据上面的定理，任意三等分角用尺规作出是不可能的。
林浩南。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
定义：设S={Z
0=1
，
Z
1，
... Z
n
}是n+1个复数，将
(1) Z
0=1
，
Z
1，
... Z
n
叫做S-点；
(2) 过两个不同的S-点的直线叫S-直线，以一个S-点为圆心、任意两个S-点之间的距离为半径的圆叫S-圆；
(3) 由S-直线与S-直线、S-直线与S-圆、S-圆与S-圆相交的点也叫S-点。
上面这个定义完全刻画了尺规作图过程，如果以P表示全体S-点的集合，那么P
也就是从S={Z
0=1
，
Z
1，
... Z
n
}出发通过尺规作图所得到的全部复数。
定理：设Z
1，... Z
n
(n≥0)为n个复数。
设F= Q(Z
1，
... Z
n，
Z
1
'
，
... Z
n
')，(Z'代
表共轭复数)，那么，一个复数Z可由S={Z
0=1
，
Z
1，
... Z
n
}作出的充要条件是 Z
属于F(u
1，... u
n
)。
其中u
1
2属于F, u
i
2属于F(u
1
，... u
i-1
)。
换言之，
Z
含于F的
一个2次根号扩张。
系：设S={Z
0=1
，
Z
1，
... Z
n
}，F= Q(Z
1，
... Z
n，
Z
1
'
，
... Z
n
')，Z为S-点，则 [ F(z) ：
F] 是2的方幂。
以下证明三等分任意角不可能性，证明尺规作图不能三等分60度角：
证明：所谓给了60度角，相当于给了复数Z1=1/2+√3/2 i。
从而S={Z0=1, Z1}，F=Q(z1, z1')=Q(√-3)。
如果能作出20度角，当然也能得到cos20，但是cos20满足方程 4x3-3x-1/2=0，即8x3-6x-1=0。
由于8x3-6x-1在Q[x]中不可约，从而[Q(cos20)：Q]=3，于是
6=[ Q(cos20, √-3)：Q] = [F(cos20)：Q]=[F(cos20)：F] [F：Q]
由于[F：Q]=[Q(√-3)：Q]=2，所以[F(cos20)：F]=3，根据上面的系可知cos20不是S-点，从而20度不可能三等分。
证毕。