>>386
双曲平面とは円盤モデルやら上半平面モデルやらで表される空間の意味です
なので言い換えると「(2次元の)円盤モデルが負の定曲率であることを示せ」
という問題を考えています