Poincaré’s half-plane model for hyperbolic geometry comprises the upper half plane together with a metric

It is remarkable that the entire structure of the space follows from the metric.

The “straight lines” or geodesics in this model are semi-circles with centres on the* x*-axis and vertical half-lines. In the following figure, the two shaded regions are bounded by geodesics, so they are triangles. Visually, one is large and one small. However, distances depend on the vertical coordinate. In fact, since the two triangles are similar, that is, they have three corresponding angles equal, they are also equal in area. This is a consequence of the Gauss-Bonnet Theorem. (See earlier posts [3] and [4] on the Poincaré’ Half-plane).

** The Gauss-Bonnet Theorem **

There is a beautiful result that links the total curvature of a surface, the curvature of its boundary and and the Euler Number of the surface. Suppose that is a two-dimensional manifold. The Gauss-Bonnet Theorem then states that

Here is the Gaussian curvature of , is the geodesic curvature of the boundary , and is the Euler Number of [2].

For a (geodesic) triangle in , the Euler Number is equal to 1 (here , and are respectively the number of vertices, edges and faces of ). So the right hand side of (1) is just .

Let the triangle have angles , and . To evaluate the line integral, we replace each vertex by a small circular arc of radius and curvature . The straight segments contribute nothing. Each arc-length is times the supplement of the angle, so the line integral is

where is the angle deficit. Finally, since the Gaussian curvature is constant, the area integral in (1) is just , the negative of the area of *T*.

The Gauss-Bonnet formula now becomes

This is often called the Local Gauss-Bonnet Theorem [1]: “*The total curvature of a geodesic triangle on a surface equals the angle excess of the triangle*”. In the present case, the curvature is negative so the “excess” becomes the deficit .

Since the two triangles in the figure above are similar, their angle deficits are equal and therefore they have equal areas.

**Other Examples**

A consequence of the Gauss-Bonnet Theorem is that no triangle in can have an angle greater than , and only triangles with all angles equal to zero have this area. In the next figure we show three triangles. In each of these, two of the angles are zero and the third is a right angle. Therefore, in each case, and the areas of all three are also .

Finally, the figure below shows three triangles for which all the angles vanish. For these triangles the angle sum is zero so the deficit is . They are triangles of maximal area and, despite appearances, all have equal area.

** Sources**

[1] Richeson, D. S., 2008: *Euler’s Gem: The Polyhedron Formula and the Birth of Topology*. Princeton Univ. Press, 317pp. ISBN: 978-0-691-12677-7.

[2] Gauss-Bonnet Theorem. WIkipedia article: http://en.wikipedia.org/wiki/Gauss-bonnet

[3] Poincaré’s half-plane model: This blog

[4] Poincaré’s half-plane model (bis): This blog