What is the sum of interior angles in a hyperbolic n-gon?

[GeometryIsHARD]

Homework Statement

Given that the sum of interior angle measures of a triangle in hyperbolic geometry must be less than 180 degree's, what can we say about the sum of the interior angle measures of a hyperbolic n-gon?

Homework Equations

The Attempt at a Solution

So in normal geometry an n-gon has to have interior angles of at least (n-2)*180 because an n-gon can be filled in with n-2 triangles that each have interior angles of at least 180's ... is this something like that? Or maybe all n-gon's must have interior angles less than 180 because hyperbolic geometry doesn't obey the normal rules it seems. I'm quite lost. Can somebody here help me understand what's going on?

 

[Twigg]

Hint: Does the proof that the sum of interior angles in Euclidean geometry depend on the parallel postulate or any of its corollaries (besides the corollary that the sum of interior angles of a triangle equals 180)? If not, does the proof still work in hyperbolic geometry if you replace "equals 180" by "less than 180"?

 

[GeometryIsHARD]

Hmm, I think I see what you are saying. But how can we relate the Euclid triangle to a hyperbolic n-gon? seems like a pretty far stretch

 

[micromass]

Hmm, I think I see what you are saying. But how can we relate the Euclid triangle to a hyperbolic n-gon? seems like a pretty far stretch

We don't. We relate the hyperbolic triangle with the hyperbolic n-gon.

 

[GeometryIsHARD]

Ahh i see. But can we relate a hyperbolic triangle to a hyperbolic n-gon the same way we do normal ones? Can a hyperbolic n-gon be divided into n-2 triangles such that the interior angles of the triangle coincide with the interior angles of the n-gon?

 

[Twigg]

Recall that the Euclidean proof starts by drawing line segments from a given vertex of the Euclidean n-gon to every other vertex, unless it's already connected to the given vertex by an edge. This only assumes that every pair of distinct points determines a line segment. There's nothing about parallelism in that, so the same rule applies just as well in hyperbolic geometry. Any two distinct points in hyperbolic space can be connected by a hyperbolic line segment. So you can follow the same procedure.

 

[GeometryIsHARD]

So when you say follow the same procedure, you are saying that indeed a hyperbolic n-gon can be divided into n-2 triangles?

 

[Twigg]

Can you draw lines between every vertex in the n-gon? Then you can subdivide it. If you don't believe me, try an example for a pentagon on the Poincarre half plane.