内接状态

“内接状态”指一种精确的几何关系——当直边图形每个角的顶点都位于圆的圆周上时，就称该图形内接于圆。因此，这一状态由图形角点的位置决定，而不是由两种形状之间模糊的相似性决定。在同一体系中，当一条直线的两个端点位于圆周上时，也称该直线内接于圆。

定义与几何条件

该定义把内接图形同仅仅画在圆内的图形区分开来。每个角顶点都必须占据圆周，因此圆提供起控制作用的边界，而直边图形则由其各边相交的点确定。这一条件专门适用于直边图形，并为内接状态提供了明确的检验方法——应当检查顶点，而不是检查内部面积或图形表面上看似居中的位置。

这一定义属于更大的容纳关系与边界关系词汇体系。若一个直边图形的所有角点都位于包围它的图形的各边上，就称该直边图形内接于另一个图形。相反，当包围图形的所有边都经过内图形的角点时，则称该图形外接于另一个图形。对于圆而言，相应的区别是——直边图形内接于圆时，其顶点位于圆周上；直边图形外接于圆时，其每一条边都与圆相切。因此，内接状态强调顶点与圆周；外接状态强调边与相切。

直线、多边形与作图

同一关系可以从多边形延伸到单独的一条直线。当一条直线的两个端点位于圆周上时，该直线内接于圆；这使直线成为更广泛原则的一种极限情形或较简单情形，即图形所选定的点必须位于圆的边界上。该定义并不要求借助额外工具来描述直线或多边形；它说明了作图或证明必须确立的空间条件。

《几何原本》第四卷主要讨论正多边形与圆的内接和外接问题。由于正多边形具有相等的角和相等的边，其内接结合了两项要求——多边形必须满足自身的规则性，同时每个顶点还必须位于圆周上。因此，该主题把内接的抽象定义同精确作图的计划联系起来，而不是把它视为仅仅是视觉上的排列。

这些作图属于有限制的纯几何学实践。获准使用的工具是直尺和圆规，而公设规定了这种实践的范围。可以从任意一点向任意另一点作直线；后来的命题还包括从给定点向给定的无限延长直线作垂线，以及过直线上一点作垂线等操作。这些操作提供了几何控制，使点、直线、角和圆能够彼此联系，而无需依赖欧几里得体系之外的测量工具。

图示知识与精确性

该书的彩色几何教学法使内接状态具有第二重意义——它把一种空间条件转化为在证明过程中能够通过视觉追踪的事物。几何图形并非作为任意符号呈现，而是作为几何科学的材料；几何科学通过称为几何证明的推理，旨在展示这些材料各部分的相对量。颜色用于迅速辨认各部分，而数学对象本身仍然是直线、角和量。

这种方法还把视觉命名同数学实质区分开来。数学直线被定义为没有宽度的长度，不可能真正具有颜色；当文本谈到黑色、红色或其他有色直线时，颜色仅仅充当相关部分的名称。平面上颜色的交接提供了熟悉的视觉表示，但证明所涉及的是理想的几何关系，而不是颜料。这一区分对于内接图形尤其重要，因为决定性事实是顶点与圆周的相属关系，而不是任一方的有色外观。

这一体系旨在使文本到图形的指涉更快、更确定。讲授者无需迫使学习者逐一追踪任意字母，而可以按照部分的形状和颜色加以辨认，使相应的直线或角立即显现。相等的部分可以使用相同的颜色，从而以视觉方式提示在整个推理过程中学习者必须始终保留在眼前的数据。这样，在正式证明完成论证之前，内接多边形就可以先被理解为边界点与各边的协调排列。

在欧几里得体系中的位置

内接状态依赖于著作开篇确立的结构。定义规定所讨论的对象；公设确立获准的作图；欧几里得公理陈述被视为自明的一般命题；命题则是通过推理获得的结果，并分为问题与定理。因此，内接图形并非只是圆内的一幅图，而是一种有定义的状态，其性质能够在这一序列中被作出、考察并证明。

它在第四卷中的重要性，在于把圆几何同正图形作图结合起来。圆周成为直边图形顶点的轨迹，而图形的边与角仍保持自身的关系。由此形成的构形同时受边界位置与多边形次序支配——圆决定顶点可以位于何处，而规则性条件决定这些顶点必须如何排列。因此，内接状态成为该卷更大运动的简洁表达，即从定义与获准操作走向精确的几何形体。