火柴棒搭成的几何世界.docVIP

火柴棒搭成的几何世界 ????前几天，我看到了这样一个问题：如何用火柴棒准确地搭出一个正方形？注意，由于没有任何工具可以让两根火柴棒拼成一个 90° 角，因此用四根火柴棒随意摆出一个四边形，最多也只能是个菱形。要想拼出一个正方形，我们还得想些奇招来。 ?????? ????一个经典的做法如上图所示。先摆出线段 AB ，下面我们将要确定线段 AK 的位置，使得两条线段成 90° 角。在 AB 上随意找一个点 C ，以 AC 为底搭出两个腰为 1 的等腰三角形 DAC 和 EAC 。容易看出， D 、 E 是关于 AB 对称的两个点。搭建一系列等边三角形 △ADF 、 △AFG 、 △AGH ，确定出 D 关于 A 点的对称点 H 。这样， H 、 E 两点就关于 AK 轴对称了。再搭一个等边三角形 AIE ，则 I 、 G 两点也关于 AK 对称。因此， HG 和 IE 的交点 J 就在 AK 上，自然 AK 的位置也就确定出来了。重复执行以上操作，我们便能完成以 AB 为边的整个正方形。 ????受此启发，我们自然而然地想到了这样一个问题：火柴棒的几何作图能力到底有多强？我们能仅凭借火柴棒找出三角形的外心吗？我们能仅凭借火柴棒搭出一个正五边形吗？ 1939 年， T. R. Dawson 在一篇论文中证明了一个惊人的结论：火柴棒作图与尺规作图的能力完全一样！换句话说，用尺规作图能够确定的点，用火柴棒作图也能确定；而尺规作图办不到的事，火柴棒作图也没法办到。也就是说，火柴棒作图完全等价于尺规作图！ ????为了证明这一结论，我们首先得给火柴棒作图下一个定义。我们约定，用火柴棒作图时只允许以下四种基本操作，它们就是火柴棒几何中的“公理”： 1. 给定一点 A ，可以作一条通过 A 的单位长线段，或者以 A 为端点的单位长线段2. 给定距离不超过单位长的两点 A 、 B ，可以作一条通过 A 、 B 的单位长线段，或者以 A 为端点过 B 的单位长线段3. 给定距离不超过单位长的两点 A 、 B ，可以以 AB 为底作一个腰为单位长的等腰三角形 ABC 。4. 给定距离不超过单位长的点 A 和直线 l ，可以作一条以 A 为端点，另一端点在 l 上的单位长线段 ????有了这些基本操作，我们便可以一步一步搭出火柴棒的几何世界了。 ?????延长一条线段 ?????? ????如上图，搭出一系列等边三角形，我们便能实现线段的延长。注意到线段 CD 与 AB 平行且相距 √3/2 个单位，因此我们还得到了一个非常有用的工具：将给定线段平移 √3/2 个单位。 ?????找出长度小于单位长的线段的中点 ?????? ????如图， AB 为已知线段。先作等腰三角形 ABC ；再作等边三角形 BDC 和 AEC 。 BD 和 AE 的交点 F 就在等腰三角形的中线上。 CF 的延长线与 AB 的交点就是我们所求的点 G 。????由于 CG 还平分了 ∠ACB 和 ∠DCE ，因此我们相当于有了一个平分不超过 120° 且不等于 60° 的角的办法。另外，由于 CG 还是 AB 的垂线，因此我们又有了过点 C 向已知线段作垂线的方法——先利用公理 4 摆出线段 CA 和 CB ，再找出 AB 的中点。即使 C 点离已知线段很远，垂线照样作得出，因为我们可以将已知线段不断平移 √3/2 个单位，让它与 C 的距离足够近。不过，这里还是有一种特殊的情况：若 C 与已知线段的距离恰好是 √3/2 的整倍数，这么做就不行了。 ?????找出长度等于单位长的线段的中点 ?????? ????假如 AB 是一条长度恰为单位长的已知线段。首先在 AB 上任取一点 C ，然后作等腰三角形 ADC 。作等边三角形 CED ，与 AD 交于 F ；作等边三角形 AGD ，与 CD 交于 H ； CE 和 AG 交于点 I 。那么， DI 与 FH 的交点 J 就是 FH 的中点。 BH 与 AD 交于点 K ， KJ 与 AB 交于点 L ，于是我们就成功地把 FH 的中点转移到了 AB 的中点。????这个构造弥补了我们之前留下的空缺。现在，我们不但能平分恰为 60° 的角，也能引出距离恰为 √3/2 的整倍数的垂线了。 ?????过已知线段外的一点，作已知线段的平行线 ?????? ????不断平移已知线段 AB ，直到它离点 C 足够近。以 C 为端点，利用公理 4 引单位长线段 CD 、 CE 。反向延长 CE 到 F ，则 ∠DCF 的平分线 CG 就与 AB 平行。 ?????找出距离大于单位长的两点的中点 ?????? ????已知很远的两点 A 、 B 。向任意方向作单位长线段 AC ，过 B 作它的平行线段 BD 。利用