欧几里得是古希腊数学家，约公元前300年活跃于埃及亚历山大。他最著名的著作是《几何原本》。这部十三卷的论著将前人数学成果中的相当一部分，按定义、假设、作图和证明的顺序组织起来。书中对几何学和数的论述，成为此后数百年数学教学的基础。尽管他的著作大量留存至今，关于其个人生平的可靠资料却很少。他的生卒年份不详；有时为他标注的生卒年份只是估计，并非得到确证的生平事实。(mathshistory.st-andrews.ac.uk)
生平与历史背景
传统上认为，欧几里得在托勒密一世统治时期生活于亚历山大。现存生平记述大多来自公元5世纪的哲学家普罗克洛斯，其写作年代距欧几里得的时代已有六百多年。普罗克洛斯将欧几里得置于柏拉图身边的数学家之后、阿基米德之前。这一材料支持了通常所说的约公元前300年这一年代，但不足以确定详细的生平年表。他的出生地、家庭背景和师承仍不明确。关于他曾在柏拉图学园求学的说法，是合理的推测性重构，而非有文献确证的事实。(mathshistory.st-andrews.ac.uk)
普罗克洛斯还记述了一段对话：托勒密询问学习几何是否有更容易的途径，欧几里得回答说，国王也没有特殊的捷径可走。这则轶事属于后世的传记传统，不能视为经过证实的对话。数学家欧几里得也不应与生活年代更早的哲学家麦加拉的欧几里得混淆。(mathshistory.st-andrews.ac.uk)
《几何原本》的组织结构
《几何原本》并非只是汇集归于某一位作者名下的发现。它吸收了此前的数学传统，尤其是与欧多克索斯和泰阿泰德有关的成果。欧几里得的独特贡献，在于将这些材料编排成前后贯通的论述，并给出证明；不过，哪些成果继承自前人、哪些属于他本人的贡献，通常无法准确划分。(mathshistory.st-andrews.ac.uk)
全书十三卷涵盖了几个相互关联的主题：
- 第一至第四卷阐述平面几何，包括三角形、平行四边形、圆和正多边形。第一卷包含勾股定理的证明。
- 第五卷提出通用的比例理论，既适用于可公度量，也适用于不可公度量；第六卷将这一理论用于相似图形。
- 第七至第九卷讨论数论，包括整除性、素数和数的比例。
- 第十卷对不可公度量进行分类。这些几何量之间的关系并不总能表示为整数之比。
- 第十一至第十三卷阐述立体几何，包括体积和五种正多面体的构造。第十二卷运用了穷竭法。(encyclopediaofmath.org)
书中的处理方式与现代代数教材不同：如今用符号方程表示的关系，在书中往往通过线段、面积和几何作图来表达。数与连续量被视为不同类型的数学对象，而不是统一于一个现代数系之中。(encyclopediaofmath.org)
定义、公设与证明
第一卷开篇列出定义、五条公设和五条公理。公设允许在两点之间作直线段、延长线段，以及以指定的圆心和半径作圆；它们还断言所有直角相等，并规定了直线相交的一项条件。公理则表达有关相等关系及整体与部分关系的一般原则。这些内容共同构成了演绎推理的公理基础。(math.clarku.edu)
第五条假设，即平行公设，指出：若一条截线与两条直线所成的同旁内角之和小于两个直角，那么这两条直线延长后将在该侧相交。这是欧几里得的原始表述，而非后来人们熟悉的“过直线外一点有且仅有一条平行线”的说法。(math.clarku.edu)
典型的数学证明先引入一个几何构形，再作辅助图形，并借助此前的命题推导结论。图示承载着点线关联、次序和位置等信息。现代分析将这种有严格规则的图示推理，与仅凭图形外观作判断的做法区分开来：欧几里得的论证具有系统性，但仍有一些假设未被明确列为公理，而是隐含在论述之中。(arxiv.org)
数论成果
第七至第九卷保存了关于素数和整除性的重要成果。欧几里得算法通过逐次化简求出最大公约数；《几何原本》给出了分别适用于数和量的版本。第七卷还包含如今称为欧几里得引理的结论：若一个素数整除一个乘积，则它至少整除其中一个因子。(encyclopediaofmath.org)
第九卷命题20证明，素数不可能被任何给定的有限集合穷尽。欧几里得取给定素数的一个公倍数，再加一。所得的数要么是素数，要么有素因子；无论哪种情形，都能得到一个不在原集合中的素数。关键在于，这一论证并未声称加一后总能得到素数。(euclids-elements.org)
其他著作
与欧几里得有关的其他著作包括《已知数》，讨论根据给定的几何信息能够确定什么；《天象》，讨论球面天文学；以及《光学》，从几何角度研究视觉和视大小。一部讨论图形分割的著作通过阿拉伯语传本留存下来。已散佚的著作包括关于圆锥曲线和推论集的论著。各部著作的作者归属和文本流传史情况不一，因此，并非所有以他名义流传的古代文本都能确认为其作品。(mathshistory.st-andrews.ac.uk)
流传与后世解读
《几何原本》通过希腊语抄本、阿拉伯语译本和中世纪的拉丁语版本流传。这些传承过程不仅涉及翻译，也包括编辑和评注，因此在措辞和编排上形成了差异。首个印刷版于1482年在威尼斯出版，由埃尔哈德·拉特多尔特依据诺瓦拉的坎帕努斯编订的拉丁语版本刊印。其中包含两卷并非欧几里得所作的补编。1533年，希腊语印刷版随后在巴塞尔问世。(mathshistory.st-andrews.ac.uk)
这部著作在约两千年间一直居于数学教育的核心地位。19世纪的非欧几何表明，平行关系可以有不同的处理方式。对数学基础的研究也促成了更为明确的公理化体系，其中尤以大卫·希尔伯特的体系为代表。后来的研究探讨了如何在形式证明系统中表示欧几里得的作图和图示推理，并将《几何原本》的历史方法与现代要求完全明确表述的标准区分开来。(mathshistory.st-andrews.ac.uk)