过直线上一点作垂线
《几何原本》过直线上一点作垂线是与欧几里得第一卷命题11相对应的作图。它的决定性意义在于——它把一个局部的几何要求转化为一系列严格遵守的允许仪器操作，随后再对这一系列操作进行证明。该点已经位于给定直线上；任务是在该点作出一条与给定直线成直角的直线。
在欧几里得体系中的位置
这一作图属于《几何原本》文献的体系结构——定义确立所讨论的对象，公设授权基本操作，公理提供普遍接受的原则，而命题则通过推理导出结果。一个问题提出需要完成的事项，例如按照规定条件画一条直线或构造一个图形。其解答必须说明如何使用允许的仪器制成所要求的对象，而其证明则要证明所指示的过程确实达到了所要求的结果。
这一点在此处至关重要。仅仅因为图形似乎显示出一个直角，作垂线的行为并不会因此自动获得有效性。该作图是一个问题，其正确性通过附着于其中的论证结构得到确立。因此，这个命题把手工操作与演绎必然性结合起来——手执行获得授权的操作，而证明说明为什么其结果与原直线具有所要求的关系。
仪器与允许的操作
相关论述把普通几何学限制为直尺和圆规。直尺和圆规被描述为欧几里得几何学中唯一允许使用的仪器，而公设的部分作用正是宣布这一限制。因此，该作图不能依赖测量、有刻度的尺子、量角器，或对视觉近似的诉诸。它的权威来自欧几里得体系明确允许的操作。
一般公设包括允许从任意一点向任意另一点画一条直线，以及允许以任意点为圆心、以任意距离为半径作圆。这些许可提供了组合作垂线所需操作的基本语言。直线可以延长或延展，圆可以用来产生受控的交点；随后得到的点和直线作为精确的几何对象进入证明，而不是作为纸面上的近似标记。
作图步骤
该命题从给定直线上的一个给定点开始。展示出的指示要求读者在给定直线上任取一点，并使其截取自需要作垂线的那个点。这一选择在原直线上确定了第二个点，并为后续作图提供了起始构形。
从这一构形出发，欧几里得方法运用允许的圆与直线操作，生成作垂线所需的辅助点。这一过程是构造性的，而不只是描述性的——它不是要求读者辨认图形中已经存在的垂线，而是要求通过连续操作作出一条垂线。因此，作图的逻辑嵌入其几何结构之中。直线上的一个选定点成为受控排列的一部分，而辅助交点使比较所得三角形和直线成为可能。
相关术语阐明了所涉及对象的性质。一条直线可以越过其原有端点延长；前六卷中所考察的全部直线都被理解为位于同一平面内；而围成图形的直线是该图形的边。这些约定使作图能够从原直线转向辅助图形，同时不离开平面，也不改变推理所涉及对象的种类。
正确性的证明
证明通过确立构造部分之间所必需的相等关系，并比较过程中形成的三角形而展开。现存的教学文字明确援引两个三角形共有的一个要素，随后得出相关量相等的结论。这不是基于测量的结论，而是依赖于该体系已经确立的定义和命题，其中包括叠合法的运用——可以设想把一个量放置在另一个量上，使相应部分完全重合。
叠合法在可见图形与抽象证明之间提供了重要的桥梁。两个三角形并不是因为所画图像看起来相似就被宣布相等；而是把它们的对应部分置于一种可以设想完全重合的关系之中。一旦所需的相等关系得到确立，证明便获得了问题所要求的几何结果——所作直线经过指定点，与给定直线垂直。
结论以传统公式“证毕”标示。在此语境中，这一结尾标记所记录的不只是图示步骤的结束。它表明作图已经从提出的行动转变为得到证明的结果。该直线并非只是被画出；它为何满足所陈述条件的理由，已经在由定义、公设、公理和先前证明的命题构成的欧几里得链条中得到确立。
对几何实践的意义
这一作图体现了欧几里得几何学的更大方法。视觉图形提供排列方式，但只有当这种排列受到精确定义、获授权操作和论证推理的支配时，几何才成为知识。因此，对垂线的处理在制造一个对象与认识它具有预定性质之间作出了实际区分。
它还展示了该书的呈现方式如何把视觉清晰性与形式控制联系起来。作品在其他地方强调视觉和听觉所能产生的感染力，并主张教育应当教人如何思考，而非思考什么。过直线上一点作垂线以微缩形式体现了这一教育目标——学习者遵循可重复的操作，追踪由此产生的关系，并通过能够应用于这一单一图形之外的理由检验结果。持久的教训不仅是如何作出一条垂线，更是几何事实如何被构造、检验并成为必然。
