Gaussian curvature
以高斯曲率為負常數formula_3的雙曲平面而言，絕對長度的單位長對應到的長度為：