本稿の趣旨は,双曲幾何における三角法の公式を導くことである。 まず,論の展開に必要となる複素関数のいくつかの性質を列記する。 その後,双曲幾何のモデルとしてポアンカレの上半平面モデルを導入し, 三角形に関する関係式導出する。