在圆内作正六边形

在圆内作正六边形，是被确定为欧几里得《几何原本》第四卷命题15的作图。其关键成果，是将给定圆的半径转化为六边形的一边——沿圆周作出六条相等的弦，并证明所得六边形的各边相等、各角相等。因此，这一操作把实际作图与演绎证明结合起来，体现了欧几里得《几何原本》中的几何学既是一门作图学科，也是一套证明体系。

定义与几何目标

该命题要求在给定圆内接一个等边且等角的六边形。“内接”意味着所求图形置于圆内，且其顶点位于圆周上；这项作图并非只是在圆的附近画出一个六边形轮廓，而是作出一个边界由属于给定圆周的各点确定的图形。它有两个彼此不同的定义条件——六条边必须相等，六个角也必须相等。

这一作图属于平面几何学，其中前六卷所考察的直线被理解为位于同一平面内。允许使用的工具是直尺和圆规，而这一限制是有意设定的——欧几里得公设规定可以作出什么，证明则确立完成的图形能够证明什么。因此，这项作图把制作图形的物理行为与认证其性质的逻辑行为区分开来。

在圆内作图

作图从给定圆周上的任意一点开始。以该点为圆心，作一个通过原圆圆心的圆。新圆与给定圆相交于由共同半径确定的各点，并继续这一操作，使圆周被标记为六个连续的相等分段。随后连接这些相邻点，在原圆内得到所求六边形。

最重要的实际特征，是反复使用同一距离。通过圆心置于已经得到的各点上的圆，将给定圆的半径沿圆周逐段传递。因而，可见的相等弧序列并非装饰——它记录了作图所依据的控制性测量。一旦六个点确定下来，依次连接它们便闭合图形，完成所提出的作图。

等边证明

证明从经过相关作图圆心的各圆开始。每一对相邻点都通过一个等边三角形相连，因为所涉及的各点之间由相等半径确定相等距离。因此，正文把内接图形的六条边确定为给定圆的相等弦。

这是从操作转向定理的关键一步。作图通过重复半径产生了六个点，而证明则说明为什么连接这些点的线段彼此相等。相等的弧所对的弦相等，而弦的相等性确立了六边形的等边性质。结论以惯用的“证毕”标示，表明该定理已经得到证明，而不只是从图形中观察出来。

等角证明

证明的角度部分通过作图过程中形成的等边三角形展开。每个相关的圆心角是两个直角的三分之一，而与它们对顶的角相等。因此，相等的弧所对的是相等的弦，与这些弦相关的角在整个图形中彼此对应。

随后，证明把六边形的每一个内角确定为等边三角形角度的两倍。由于同一等边三角形关系在圆周周围反复出现，六个内角全部相等。因此，该六边形不仅等边，而且等角，满足正图形所要求的两个条件。

方法论意义

在圆内作正六边形展现了欧几里得式推理的典型结构。定义确定对象，公设授权作出直线和圆，公理提供被视为不言自明的普遍原则。问题提出要完成某件事情；解答展示如何使用允许的工具完成它；证明则证明所指出的过程确实达到了所要求的结果。

这一作图还体现了奥利弗·伯恩的呈现方式中视觉形式与文字证明之间的关系。该书主张，彩色符号和图示能够使几何推理更加精确、更加迅速，因为不同颜色的部分可以有效地自行指称自身，而不必完全依赖附加在点和直线上的任意字母。在这项六边形作图中，反复出现的圆、相等的弧、圆心、弦和角，形成了一条可见的对应链，随后由证明将其形式化。因此，图形既是感知的对象，也是借以推理几何关系的材料。