Gauss-Bonnet公式与COS√-x的几何凸性 (2008年)

利用GauSS-Bonnet公式说明了几种常曲率空间中测地三角形的边角关系。证明了f（u）=COS√￣x的几何凸性，并利用COS√￣x的几何凸性证明了球面空间S2和双曲空间H2中测地三角形中的边角关系，与欧氏空间中E3的勾股定理相比，从形式和逻辑上都显示出完备性，彰显了分析与几何的内在和谐一致性。