论证书附带的图解在欧几里德《几何原本》第一卷中的应用。审查Hartshorne和Manders。
摘要：在《几何原本》的第一卷中，我们探索了一些反证法的证明，并显示它们包含了未被构造出来的图形。这与哈特肖恩声称“在欧几里德几何中，只有那些能用规尺来构造的几何图形存在”完全相背离。我们还呈现了一些图表，质疑曼德斯关于图表的精确和半精确属性之间的区别，具体来说，我们提出了一个半欧几里德几何的模型，它满足线的笔直和角度的相等性，但不满足平行公设。
作者：Piotr B{l}aszczyk and Anna Petiurenko
论文ID：2206.12213
分类：History and Overview
分类简称：math.HO
提交时间：2022-06-27