Triangles and Horocycles

Def Ideal Triangle
An ideal triangle in ${\mathbb{H}}^2$ is a triangle with three geodesic edges, with all three vertices on $\partial {\mathbb{H}}^2$.