从基础到定理
《几何原本》这一脉络展现了本书如何从基本定义和公理逐步推进到日益复杂的几何证明。
increasing
Bearing strength in each event
decreasing
Bearing strength in each eventdecreasing基本对象
基本对象
基础词汇
本书开篇定义点、直线、平面、角、图形和圆。
每个定义都限制了对象可能具有的含义，而后续证明将运用这些对象。
逻辑后果
这一序列确立了几何学作为一种语言的地位，其后续结论取决于术语的严谨使用。
允许的操作
允许的操作
三条公设
学习者获准连接点、延长直线并作圆。
这些许可界定了直尺与圆规的实际作用范围。
构造规范
证明必须在这些限制之内进行，使每一项构造都能归结为一项明确陈述的操作。
从基础到定理
欧几里得公理
几何相等状态与大小
这些公理确立了加法、减法、重合以及整体大于部分等原则。
它们提供了一般规则，使人们能够比较几何量，而不必重新证明算术直觉。
证明框架
此后的每一个推论都依赖于这些共同基础。
定理与问题
定理与问题
两类命题
问题要求作出一个图形，而定理则断言一个必须加以证明的原理。
本书将作出图形与说明该图形为何满足所要求的条件区分开来。
方法上的清晰性
这种区分使几何学成为一连串受控的问题，而不只是图示的集合。
从基础到定理
累积式证明
依赖性结果
后续命题反复调用关于几何相等状态、平行直线关系和三角形的先前结果。
因此，文本将知识呈现为一种结构，其中每一个可靠步骤都支撑着下一个步骤。
日益增长的复杂性
学习者从简单操作逐步进入复合论证，同时不放弃最初的基础。
第一卷开篇
紧接定义之后
第一卷公设部分
公设之后的解释性注释中
初步论述接近结尾时
