双曲平面上半模型中的正多边形