@@stepp.academy 谢谢老师的回复。您制作的影片质量非常高,讲解非常清楚,是我目前看到同类型影片中最简明扼要的了。您的讲解回答了我读书时的不少疑点。我上面仅是就平行线的性质与判定定理,利用第五公设,提出的一种可能的证明方式,以前我一直以为它们是作为公理来用的。我没有去查《原本》和希尔伯特的方法(太懒😂),不晓得您影片中的的证明方法是否完全就是欧几里得的方法? 数学大厦的构建真是神奇,常常可以用彼此的论述做定义,从而推出对方,都能达到自洽的理论。我从小对逻辑论证的严谨性有洁癖,常常思考不同的证明方法之间是否本质相同,以及证明中是否存在潜在的循环论证。说到这里,我想请老师能不能讲讲向量,向量作为一种人为定义(artificial)的数学对象,却可以被用来证明许多几何上的结论,甚至大大简化立体几何,给人感觉十分神奇,有点out of blue,不知道其背后是否隐藏着什么深刻的内涵?还有平行线分线段成比例定理,我之前看到的证明是用面积法,但是好像有人说面积法还不够本质,因为面积的定义不够清晰,最终要追溯到实数的完备性上,但没看到过有人做出完整的论述,希望老师有空能讲讲这个话题。这个定理在教科书上是三角形相似的判定定理的前提,所以老师可以接着讲讲三角形相似(哈哈,我是不是有点太贪心,没办法,老师的讲解实在是太棒了😁😊)