中考必考题：尺规作图——几何原本命题11（

今天重读《几何原本》第一卷命题11，一个很简单的作图题，居然藏着古典几何的逻辑漏洞。

题目很简单：直线上有个定点，过它作一条垂线。欧几里得的证法挺巧妙：在定点两边截出等长线段，再以外侧两点为底画个等边三角形，连顶点和定点，就证出了垂直。

但顺着第一性原理往底层扒，问题就出来了。整个证明默认了一个前提：等边三角形的顶点一定落在直线的外侧。可翻遍《几何原本》的底层公理，根本找不到能推导出这个结论的依据。说白了，这一步完全是靠看图猜出来的。

为了堵上这个窟窿，就得搬出希尔伯特的现代公理体系。人家加了“顺序公理”，明确规定点在直线的两侧，把这种直观经验彻底剔除干净。

说到底，数学的进步不是换个解法，而是把那些想当然的坑一个个填平。