严谨性与可理解性
《几何原本》这一流程展现了精确的欧几里得证明与作者要求证明对初学者保持可理解性之间的张力。
increasing
Bearing strength in each event
decreasing
Bearing strength in each eventdecreasing严谨门槛
严谨门槛
定义优先
这部著作要求学习者接受点、直线、平面和角的精确定义。
没有这些界限，后续论断就会变得含混不清。
困难
在理解精确性的用处之前，精确性可能让人感觉像一道障碍。
通俗易懂的图示
通俗易懂的图示
具体类比
彩色区域为点、直线和平面提供直观模型。
学习者在掌握抽象概念之前，先获得图像。
循序渐进的引入
通俗易懂性被用来引向严谨性，而不是取代严谨性。
形式证明
形式证明
精确依赖关系
三角形论证依固定顺序引用构造假设与欧几里得公理。
视觉页面仍必须支撑一条完整的必然性链条。
检验
只有当可理解性能够承载形式证明，而不把它简化为猜测时，它才算成功。
抽象比例
抽象比例
难度上升
比例通过比较所有可能的同倍量来定义。
材料不再能立即以图像呈现，而变得更加逻辑化和普遍。
方法考验
彩色体系在最难维持可理解性的节点上接受检验。
易于理解的严谨性
易于理解的严谨性
综合
相似图形、比例关系与面积关系将视觉图形和抽象推理结合起来。
学习者能够看见图形，同时理解一般规律。
解决
严谨性与易于理解性成为相辅相成的成果。
在第一卷开头
在介绍性定义期间
第一卷全等命题期间
《几何原本》第五卷的定义与命题期间
在第六卷结尾的命题中
