锈规作图.docx

神奇的锈规作图从古至今，尺规作图一直是数学中备受关注的一个问题。到现在，数学家们已经比较完美的解决了尺规作图的问题，指出哪些图形可以用尺规作图完成，哪些问题不能用尺规作图解决。Mohr-Mascheroni定理告诉了我们一个非常令人吃惊的事实：所有用直尺和圆规可以解决的作图问题，只用圆规也能完成（单用圆规）。当然，只用圆规是画不出直线的；但我们可以认为，一条直线已经由两点确定，并不需要画在图上。数学家们向我们展示了：给定四个点，如何用单规找出它们所确定的两条直线的交点；给定一段圆弧和两个点，如何找出两点确定的直线与圆弧的交点。注意到这是直尺仅有的功用，用单规全部解决了后直尺也就不需要了。数学家们还研究过单尺作图：只拿一块直尺到处作直线交过来交过去的又能完成哪些作图问题。显然，只用直尺是不能开平方的，解析几何告诉我们直线与直线的交点只可能是各系数的一个有理表达，这决定了单尺作图不能替代尺规作图。Poncelet-Steiner定理告诉我们，假如事先给定了一个圆和它的圆心，以后只用直尺足以完成任何尺规作图能够解决的问题。现在，假设我们没有直尺，只有一把生锈的圆规。圆规已经被卡住了，只能画出单位半径的圆。在这样的条件下，哪些作图问题仍然能够被解决？锈规作图相当的困难，但并不是没有可能。1983年，D. Pedoe教授从他学生的一个无意作的图中惊奇地发现，给定两个点A和B，如果它们的距离小于2，我们可以非常简单地作出点C，使得AC = BC = AB（即△ABC为等边三角形）。据此，他给出了两个命题：给定两个点A和B，用锈规能否找C点，使得AC = BC = AB。给定两个点A和B，用锈规能否找C点，使得AC = BC = (1/2)AB。第一个问题是我国几个大学数学老师解决的。第二个问题是我国一个没上过大学的青年解决的。为了叙述的方便，我将整个过程用引理，定理的方式表示。引理1：给定两个点A和B，且AB2，用半径=1的圆规（下面的文章中，求点的方法都是用这种简称为锈规的工具，且不再赘述）可以找到点C，使得AC = BC = AB。证明：只要注意到∠PCB=（1/2）∠BNC=30°，再根据对称性，可知∠ACB=60°，AC=BC。就可以知道，C点满足题意。引理2：给定两个点A和B，可用折线段连接。证明：你只要注意到虚线圆的顺序就可以了，左上虚线圆为1，左下虚线圆为2，……依次下去就行了。引理3：给定三个点A和B、C。利用这种折线段可以求出点D，使得ABCD是平行四边形。证明：这些都是菱长为1的平行四边形，你只要将线段84与DB的交点记为12，△12D8和左边哪个三角形全等，它们的对应边会怎么样，就可知道结论成立。引理4：已知等边△PAB和等边△PCD，能找出点E，使得BDE也是一个等边三角形。证明：证明：在A、P、C上利用引理3，作出点E，注意到左右两个狭小的三角形是全等的，引理得证。定理1：给定两个点A和B，能找到C点，使得AC = BC = AB。（Pedoe教授的第一个命题，这里没有要求AB2，不是引理1）证明：作出一条由单位长线段构成的折线A - P1 - P2 - ... - Pn - B，连接AB，进而作出n+1个边长为1的等边三角形。然后，一次次套用作平行四边形的方法，作出T1, T2, ...等一系列的点，不断将两个小的等边三角形合成一个大的三角形。最后的Tn就是我们所求的C点，它使得△ABC恰为一个等边三角形。上述工作，除引理1外，是我国科大的侯晓荣等人1987 年成功地解决的。Pedoe教授知道后非常高兴，称是他最愉快的数学经历之一，并希望第二个问题。也能得到解决。我国一位没有考上大学的青年，用了一年的时间，用代数的方法证明：从A、B出发，锈规能作规尺所做的一切。当然包括找中点这个问题，Pedoe教授的命题只是它的一个特例。当然Pedoe教授的第二个命题是我们愿意讲述的，因为它是易懂的，也是核心的。我还是先堆砌一些引理吧。引理5：给定两点A、B，能沿AB方向任意倍长。证明：只要找到C，使得△ABC是等边三角形，再BC上用定理1找到D，再找E，此时BE=AB。引理6：如果AB=1/，则能找到点C，使得C是AB的中点。证明：如图AB=1/。左右倍长，得C、B’、C’，由C、C’作单位圆，得到交点D,再倍长BD，得到B”，由B、B”作单位圆得交点E、E’，由E、E’，根据定理1求得G。说明一下，BB”是两个圆的连心线，它垂直平分弦EE’，所以G在BD上。利用勾股定理，可以求得：AD=BD=4/DE=DG=GEsin60°=2DEsin60°=3/，BG=（1/4）BD再在下侧作D’，并也作出G’。如图再在G、B、G’上利用引理3作平行四边形GBG’M，而MG∥B’D，G是BD的四分点，所以M也是BB’的四分点。故M点就