Gaussian curvature
在雙曲幾何中，線段長度的定義為兩點的最短距離除以formula_4，K=高斯曲率，正如同在球面幾何中的長度為其圓心角弧度（最短距離除以曲率），有了長度的定義後，便可給出雙曲幾何中的勾股定理：若一直角三角形的兩股長分別為a和b，斜邊為c，則