In this post, I will cover triangles and area in spaces of constant (nonzero) curvature. We are focused on hyperbolic space, but we will talk about spheres and the Gauss-Bonnet theorem.

**1. Triangles in Hyperbolic Space **

Suppose we are given 3 points in hyperbolic space . A triangle with these points as vertices is a set of three geodesic segments with these three points as endpoints. The fact that there is a unique triangle requires a (brief) proof. Consider the hyperboloid model: three points on the hyperboloid determine a unique 3-dimensional real subspace of which contains these three points plus the origin. Intersecting this subspace with the hyperboloid gives a copy of , so we only have to check there is a unique triangle in . For this, consider the Klein model: triangles are euclidean triangles, so there is only one with a given three vertices.

In hyperbolic space, it is still true that knowing enough side lengths and/or angles of a triangles determines it. For example, knowing two side lengths and the angle between them determines the triangle. Similarly, knowing all the angles determines it. However, not every set of angles can be realized (in euclidean space, for example, the angles must add to ), and the inequalities which must be satisfied are more complicated for hyperbolic space.

**2. Ideal Triangles and Area Theorems **

We can think about moving one (or more) of the points of a hyperbolic triangle off to infinity (the boundary of the disk). An *ideal* triangle is one with all three “vertices” (the vertices do not exist in hyperbolic space) on the boundary. Using a conformal map of the disk (which is an isometry of hyperbolic space), we can move any three points on the boundary to any other three points, so up to isometry, there is only one ideal triangle. We have fixed our metric, so we can find the area of this triangle. The logically consistent way to find this is with an integral since we will use this fact in our proof sketch of Gauss-Bonnet, but as a remark, suppose we know Gauss-Bonnet. Imagine a triangle very close to ideal. The curvature is , and the euler characteristic is . The sum of the exterior angles is just slightly under , so using Gauss-Bonnet, the area is very close to , and goes to as we push the vertices off to infinity.

One note is that suppose we know what the geodesics are, and we know what the area of an ideal triangle is (suppose we just defined it to be without knowing the curvature). Then by pasting together ideal triangles, as we will see, we could find the area of any triangle. That is, really the key to understanding area is knowing the area of an ideal triangle.

As mentioned above, there is a single triangle, up to isometry, with given angles, so denote the triangle with angles by .

** 2.1. Area **

Knowing the area of an ideal triangle allows us to calculate the area of any triangle. In fact:

Theorem 1 (Gauss)

This geometric proof relies on the fact that the angles in the Poincare model are the euclidean angles in the model. Consider the generic picture:

We have extended the sides of and drawn the ideal triangle containing these geodesics. Since the angles are what they look like, we know that the area of is the area of the ideal triangle (), minus the sum of the areas of the smaller triangles with two points at infinity:

Thus it suffices to show that .

For this fact, we need another picture:

Define . The picture shows that the area of the left triangle (with two vertices at infinity and one near the origin) plus the area of the right triangle is the area of the top triangle plus the area of the (ideal) bottom triangle:

We also know some boundary conditions on : we know (this is a degenerate triangle) and (this is an ideal triangle). We therefore conclude that

Similarly,

And we can find by observing that

Similarly, if we know , then

And by subtracting , we find that . By induction, then, if is a dyadic rational times . This is a dense set, so we know for all by continuity. This proves the theorem.

**3. Triangles On Spheres **

We can find a similar formula for triangles on spheres. A *lune* is a wedge of a sphere:

A lune.

Since the area of a lune is proportional to the angle at the peak, and the lune with angle has area , the lune with angle has area . Now consider the following picture:

Notice that each corner of the triangle gives us two lunes (the lunes for are shown) and that there is an identical triangle on the rear of the sphere. If we add up the area of all 6 lunes associated with the corners, we get the total area of the sphere, plus twice the area of both triangles since we have triple-counted them. In other words:

Solving,

**4. Gauss-Bonnet **

If we encouter a triangle of constant curvature , then we can scale the problem to one of the two formulas we just computed, so

This formula allows us to give a slightly handwavy, but accurate, proof of the Gauss-Bonnet theorem, which relates topological information (Euler characteristic) to geometric information (area and curvature). The proof will precede the statement, since this is really a discussion.

Suppose we have any closed Riemannian manifold (surface) . The surface need not have constant curvature. Suppose for the time being it has no boundary. Triangulate it with very small triangles such that and . Then since the deviation between the curvature and the curvature at the midpoint is times the distance from the midpoint,

For each triangle , we can form a comparison triangle with the same edge lengths and constant curvature . Using the formula from the beginning of this section, we can rewrite the right hand side of the formula above, so

Now since the curvature deviates by times the distance from the midpoint, the angles in deviate from those in just slightly:

So we have

Therefore, summing over all triangles,

The right hand side is just the total angle sum. Since the angle sum around each vertex in the triangulation is ,

Where is the number of vertices, and is the number of triangles. The number of edges, , can be calculated from the number of triangles, since there are edges for each triangle, and they are each double counted, so . Rewriting the equation,

Taking the mesh size to zero, we get the Gauss-Bonnet theorem .

** 4.1. Variants of Gauss-Bonnet **

- If is compact with totally geodesic boundary, then the formula still holds, which can be shown by doubling the surface, applying the theorem to the doubled surface, and finding that euler characteristic also doubles.
- If has geodesic boundary with corners, thenWhere the turning angle is the angle you would turn tracing the shape from the outside. That is, it is , where is the interior angle.
- Most generally, if has smooth boundary with corners, then we can approximate the boundary with totally geodesic segments; taking the length of these segments to zero gives us geodesic curvature ():

** 4.2. Examples **

- The Euler characteristic of the round disk in the plane is , and the disk has zero curvature, so . The geodesic curvature is constant, and the circumference is , so , so .
- A polygon in the plane has no curvature nor geodesic curvature, so .

The Gauss-Bonnet theorem constrains the geometry in any space with nonzero curvature. This the “reason” similarities which don’t preserve length and/or area exist in euclidean space; it has curvature zero.

fucking awesome

Thanks for sharing. Nice work. Inspired in one of your figures I opened a case in StackExchange. Got good response (plus I solved my own question). See that case here:

http://tex.stackexchange.com/questions/278015/how-to-draw-lune-in-a-sphere-and-shade-it-with-tikz