尺规三等分任意的作法及其论证.docVIP

数学学科2009学年年度论文 “尺规三等分任意角尺规三等分任意角尺规三等分任意角，这曾是令无数数学家为难而又兴奋的难题。阿基米德曾证明过，虽然表面上是证明了，但他犯了一个致命的错误，就是他所用的条件超出了题给条件尺规三等分任意角古希腊三大几何难题1）三等分角将任角三等分。2）立方倍积：求作一个正方体的棱长，使这个正方体的体积是已知正方体体积的二倍。3）化圆为方问题：求作一个正方形，使它的面积和已知圆的面积相等。 尺规三等分任意角，这曾是令无数数学家为难而又兴奋的难题。阿基米德曾证明过，虽然表面上是证明了，但他犯了一个致命的错误，就是他所用的条件超出了题给条件，这是不允许的。直到19世纪中期左右，这道曾难倒无数数学家的难题，被证明不可有限步内实现后，法国科学院对此题的任何文章或论文一概不受理，只给收集，且不对外宣传。这道曾难倒无数数学家的难题，被证明不可有限步内实现后，法国科学院对此题的任何文章或论文一概不受理，只给收集，且不对外宣传。英国历史学家、前海军官员加文-孟西斯认为中国明代的郑和是第一个发现美洲大陆的人，他比欧洲探险家克里斯托弗-哥伦布到达美洲的时间早71年。克里斯托弗-哥伦布 （7）连结AD、AE（图8）。 ∴如图，∠NAE=∠EAD=∠DAM为所求作的图形。 三、理论论证 已知：如图，△ABC中∠AB=∠AC，BD=DE=CE 求证：（1）∠1=∠2，（2）∠DAE=∠1=∠2 证明：（1）在△ABC中 ∵∠AB=∠AC（已知） ∴∠B=∠C（等边对等角） 在△ABD和△ACE中 AB=AC（已知） 1 2 ∠B=∠C（已证） 3 BD=CE（已知） ∴△ABD≌△ACE（SAS） ∴∠1=∠2（全等三角形对应角相等） （2）∴AD=AE（全等三角形对应边相等） 过点A作AF⊥BC ∴AF平分∠DAE和∠BAC（等腰三角形三线合一） ∴∠DAE =2∠3（角平分线定义） 又∵AF平分DE（等腰三角形三线合一） BD=DE=CE（已知） ∴CE=DE=2FE（线段的中点定义） ∴FC=FE+CE（图知） =FE+2FE（等量代换） =3FE（合并同类项） ∵AF⊥BC（作辅助线） ∴∠AFE=∠AFC=900（垂直定义） 2 1 在Rt△AFE、Rt△AFC中 3 ∵tan∠3=FE：AF tan∠FAC=FC：AF ∴AF=FE：tan∠3 AF=FC：tan∠FAC 即FE：tan∠3==FC：tan∠FAC ∴tan∠FAC ：tan∠3=FC：FE =3FE：FE =3 即∠FAC：∠3=3 ∴∠FAC=3∠3 ∵∠FAC=∠3+∠2（图知） ∴∠3+∠2=3∠3（等量代换） ∴∠2=2∠3（等式性质） ∵∠DAE=2∠3（已证） ∴∠DAE=∠1=∠2（等量代换） 根据这一理论论证的实现，不但可以任意三等分角，还可以把一个角作任意等分。 四、扩展论证 这一作图方法不适合于平角的三等分作法，对于平角，可选择如下方法： M B A C N 已知：如图，平角∠MAN 求作：射线AD、AE，使∠MAD=∠NAE 作法：（1）以A为圆心，任意长为半径截取AB=AC； （2）分别以AB、AC为边长作等边△ABD和等边△ACE（理论依据：三边对应相等的两个三角形全等） ∴AD、AE是平角∠MAN的角平分线。 由于平角等于1800这一特殊性，其三等分角每个角都等于600，而等边三角形的每一个角都是600，所以不难把平角三等分。数学，一个极具探索性的学科，吸引着人们去探索与研究。数学离不开猜想、假设，当然，有些猜想往往是错误的。数学被誉为“思维体操”，思维的多样性 灵活性更是其显著特点。 自古以来，不小数学爱好者对三等分角作了大胆的尝试，但论证的途径多局限于证明其所在的三角形全等或其所在的三角形相似这两个方面。今天，我们运用直角三角形函数关系进行论证