普罗克拉斯公理
参见
共面, 相交, 直线-直线相交, 平行线, 平行公设使用 Wolfram|Alpha 探索
参考文献
Dunham, W. "希波克拉底对月牙形的求积." 第 1 章，收录于天才之旅：伟大的数学定理。 纽约：Wiley, p. 54, 1990.在 Wolfram|Alpha 中被引用
普罗克拉斯公理请引用为
Weisstein, Eric W. "普罗克拉斯公理。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ProclusAxiom.html