在圆内作正五边形

在圆内作正五边形，是与欧几里得《几何原本》文献第四卷命题11相对应的作图。它从一个给定的圆开始，旨在内接一个既等边又等角的图形。因此，这一操作并不只是把五个点画在圆周上，而是从角的关系有控制地过渡到相等的弧，再由这些弧得到界定正五边形的相等边和相等角。

目标与几何设置

题目要求在给定圆内内接一个等边且等角的五边形。圆提供固定的边界，而所求五边形必须置于其中，使每个顶点都位于圆周上。这两个要求不可分割——仅有边相等只能确定一个等边图形，但作图与证明还要确立角相等，从而使结果同时成为等角图形。

这一作图属于欧几里得平面几何的构造传统。在这一体系中，允许使用的工具是直尺和圆规；作图题与定理的区别在于，作图题要求在已陈述的条件下完成某项操作。解答必须说明如何用这些工具作出所要求的图形；随后还必须证明这一过程确实达到了所要求的结果。因此，五边形作图把实际或想象中的绘图，与说明该图为何具有规定性质的演绎论证结合起来。

预备三角形

核心的准备步骤，是构造一个等腰三角形，使其两个底角各为顶角的两倍。这一角度条件是控制随后圆的分割方式的机制。它并非装饰性的辅助图形，而是提供了五边形排列所需的顶角与两个底角之间的确切比例。

从这个等腰三角形出发，作图继续在给定圆内内接一个与它等角的三角形。于是，圆内得到一个内接三角形，其角的模式重现了预备图形。两个三角形之间的关系，将初始作图中精心选定的角度条件转移到圆的情形中，使该条件能够控制相关角所截出的弧。

从相等的角到五边形

证明的关键转折，是断言相等的角所对的弧相等。一旦相应的角相等，它们所截的弧也相等。对着这些相等弧的弦随即相等，因此圆内作出的五条边相等。这样，五边形便通过一条从角相等到弧相等、再到弦相等的链条，被证明为等边图形。

同一条链条也确立了五边形各角相等。内接图形的每个角都对着一条相等的弧，而对着相等弧的角相等。因此，作图实现了其所述目标的两个方面——各边因对着相等的弧而相等，各角因对着相等的弧而相等。结论以传统的“证毕”标示，完成了证明，而不是把图形的正则性留给视觉检查。

工具、定义与证明

这一作图体现了该著作所限定的几何学。在欧几里得的朴素几何中，直尺和圆规被规定为唯一允许使用的工具，而公设界定了它们所支持的操作类型——连接两点作直线，以及以选定的圆心和距离作圆。因此，正五边形是通过许可的几何操作产生的，而不是借助数字刻度测量，或使用能够直接标出五个等分的工具作出的。

这一差别十分重要，因为可见的图形本身并不是证明。定义确立论证所使用的对象和关系；公设授权基本作图；公理提供普遍真理；证明则从这些基础以及已经确立的命题中推出所要求的结论。叠合法，即设想一个量置于另一个量之上，使相应部分重合，也属于同一概念环境——几何相等被视为精确关系，而不是由眼睛产生的近似相似。

作图的意义

在圆内作正五边形，展示了欧几里得式的典型转换——把一个看似困难的图形转化为一系列较简单的关系。五边形并不是通过某种未加说明的视觉对称行为产生的。它的正则性通过将任务分解为等腰三角形、内接等角三角形、相等的角、相等的弧以及相等的弦而变得可以理解。

这一作图也说明了该书彩色几何教学法的教育目的。该著作把图示呈现为帮助心智寻求真理并提高教学便利性的手段，而不只是娱乐。在这一背景下，彩色的线条和图形能够使三角形、圆、弧、弦与五边形之间的嵌套关系更容易追踪，同时，证明又保持了这样的区别——视觉所得到的帮助与推理所确立的内容并不相同。几何学因此既成为一种视觉学科，也成为探究训练——图示开启道路，而得到证明的关系提供确定性。