双曲幾何の負の曲率とリーマン計量の数学的表現