前几天，我看到了这样一个问题：如何用火柴棒准确地搭出一个正方形？注意，由于没有任何工具可以让两根火柴棒拼成一个 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 为边的整个正方形。
为了证明这一结论，我们首先得给火柴棒作图下一个定义。我们约定，用火柴棒作图时只允许以下四种基本操作，它们就是火柴棒几何中的“公理”：
有了这些基本操作，我们便可以一步一步搭出火柴棒的几何世界了。 如上图，搭出一系列等边三角形，我们便能实现线段的延长。注意到线段 CD 与 AB 平行且相距 √3/2 个单位，因此我们还得到了一个非常有用的工具：将给定线段平移 √3/2 个单位。 如图， AB 为已知线段。先作等腰三角形 ABC ；再作等边三角形 BDC 和 AEC 。 BD 和 AE 的交点 F 就在等腰三角形的中线上。 CF 的延长线与 AB 的交点就是我们所求的点 G 。 假如 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 的中点。 不断平移已知线段 AB ，直到它离点 C 足够近。以 C 为端点，利用公理 4 引单位长线段 CD 、 CE 。反向延长 CE 到 F ，则 ∠DCF 的平分线 CG 就与 AB 平行。 已知很远的两点 A 、 B 。向任意方向作单位长线段 AC ，过 B 作它的平行线段 BD 。利用一系列等边三角形，构造逐渐向中间靠拢的中心对称图形，直到出现距离不超过单位长的对称点 E 、 F 。 EF 的中点也就是 AB 的中点。 为了连接 AB ，首先找出 AB 的中点 C ，然后找出 AC 的中点 D ， BC 的中点 E ……如此下去，直到 AB 之间有足够多的点，相邻点的距离都小于单位长度。这样，我们便可以用火柴棒连接很远的两点了。 如图，给定点 A 、点 B 、圆心 C 以及圆周上一点 D ，我们需要找到直线 AB 与（隐形的）圆 C 的交点 L 。过 C 作 CE⊥AB 。在 CE 的反向延长线上截取 CF=CD （这是可以办到的，比如先作 ∠DCF 的角平分线，再过 D 作角平分线的垂线；后面还会反复用到这个技巧）。向任意方向作单位长度线段 FG 。过 E 作 CG 的平行线，交 FG 延长线于 H 。过 H 作 EC 的平行线，截取 HI=HG 。作 IJ∥HE 。{zh1}，利用公理 4 作单位长线段 JK ，则过 C 平行于 JK 的直线与 AB 的交点就是所求点 L 。 如图，已知圆心 A 和圆周上一点 B ，圆心 C 和圆周上一点 D ，我们想要找出这两个圆的交点。由于我们已经能作直线与圆的交点了，因此为了作出两圆的交点，只要能找出公共弦所在直线即可。而公共弦与连心线垂直，因此我们只需要找出公共弦与连心线的交点 L 即可。不妨把圆 A 的半径记作 a ，把圆 C 的半径记作 c ，再在连心线上找出 LK=LC ，则由勾股定理可得 a^2 - AL^2 = c^2 - CL^2 ，即 (a+c)(a-c) = AC·AK 。也就是说， AK 就等于 (a+c)(a-c)/AC 。我们将利用这个关系找出 K 点来。 {===============强大的分割线===============} 如果读者想到了另类的火柴棒摆法，欢迎作出评论。。。 BY ABC |
