新浪博客

用直尺和圆规三等分任意角不可能

2013-09-27 13:36阅读:
作者:胡苏甦

  1965年以前,数学家华罗庚曾写文章告诫青少年——用直尺和圆规三等分任意角是不可能的,不要为这道难题花费精力。近日在2013年出版的文集中见到《尺规作图破解世界千古三大几何难题》一文,该文是作者(简称黄先生)历时七年的研究成果。该文所说难题之一就是用尺规三等分任意角(另两道难题是倍立方和画圆为方)。为了证明他的方法是近似的,我用他的方法三等分50°角,看看误差有多大。
   
  如图,DG长度为AD的二分之一,G点到E点的直线距离为AG的二分之一,穿过A、E两点的直线与圆弧相交于F点,黄先生认为D、F两点连线所对圆心角θ一定等于图中50°角的三分之一。我们来计算一下θ角的度数(计算过程保留8个有效数)
设圆半径为1,借助三角函数和勾股定理可算出A、G、E三点坐标。 A点坐标(−0.76604444,−0.64278761) G点坐标(0.38302222,1.8213938) E点坐标(0 ,0.5170
0504)
     用直尺和圆规三等分任意角不可能
  设连接A、E两点的直线方程为 y = ax + b,根据A、E两点坐标可求出该直线方程为
  y = 1.51400179x + 0.51700504
  根据该直线方程与圆方程x² + y² =1,可求出F点横坐标x = 0.29052885
  所以sinθ= 0.29052885
θ角不小于16.8896° 误差大于0.2229°
令CE = AE可算出C点坐标为(0,1.90694859)。黄先生认为C、B两点连线与圆弧的交点就是F点,其实不然。根据C、B两点坐标可算出C、B两点连线与圆弧的交点坐标。该交点横坐标x = 0.28493879 将该交点视为F点,可算出θ角小于16.5552° 误差大于0.1114°
   
  有趣的是,令θ角等于50°的三分之一,令A、F两点连线与y轴的交点为E,再令CE= AE可算出C点坐标为(0,1.91597902),那么C、F、B三点恰好三点一线,C、F两点直线距离恰好等于圆半径,
  而且 OE=EF
  可见,谁能在图中用尺规画出与任意角对应的E点位置,谁就能用尺规三等分任意角。然而可以证明:三等分某些角度,E点位置是尺规无法画出的。例如三等分60°角,则有
  cos60° = 4cos³20° − 3cos20°
  设cos20°为x,等式变为系数和常数同为有理数的一元三次方程。该方程的解即图中圆半径为1时cos20°的长,该长度是尺规无法画出的。倘若该长度能够画出,那么该长度的数值必然可以通过圆方程和直线方程转化为一元二次方程求解,不可能出现一元三次方程。所以三等分60°角,
E点位置是尺规无法画出的,三等分任意角不可能。
   
  读者或许会问:文中的一元三次方程会不会是一个一元二次方程与一个一元一次方程相乘而形成的呢?如果是,本文的结论就不成立了。对这个问题的简要证明如下:由定理可知,系数和常数同为有理数的一元三次方程,如果能被多项式整除,必有有理数根,而文中的一元三次方程,它的三个根没有有理数。

附记:
后来发现,对上文介绍的黄先生三等分角的方法作一点改进,即可大幅度减小三等分角的误差。
见上文的图,将图中E点位置移到AD直线上,令AE:EG = 5:3 ,再令C点到E点的距离等于EG,那么C、B两点连线与CD直线的夹角就是50°的三分之一,误差小于0.0012°
用这个方法三等分18°角,误差小于0.0000067°;三等分12°角,误差小于0.00000089°;三等分接近90°的角,最大误差小于0.022°

我的更多文章

下载客户端阅读体验更佳

APP专享