搜了一下几何原本
这命题就是 几何原本里的1.24命题
不依赖于第五公设的一个基础命题

外角大于不相邻内角（几何原本1.16） 大边对大角（几何原本1.18) 大角对大边(几何原本1.19） 都是不依赖于第五公设可以得出的结论

把自己假装成一个彻底的数学小白 把大脑中以前的那些几何知识全都清空
按照几何原本的每一个命题依次往下走 还是能感受到这本书的思路的
前面几个证明的命题（定理） 作为后面命题（待证明定理）的引理

【 在 knup 的大作中提到: 】
: 想到了一个方法
: 里面应该没有伪证或者用到了第五公设以及等价命题
: 因为刨了欧氏几何里的根基（平行公理以及推论）不能用
: ...................
--
修改:knup FROM 111.199.185.*
FROM 111.199.185.*