Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Henry Segerman and I recently considered the following question:

Given a fixed area $A < \pi$ and two fixed points in the upper half-plane model for hyperbolic $2$-space, what is the locus of points which give rise to a hyperbolic triangle of the given area?

We found it a fun exercise in hyperbolic geometry to show that the answer is a Euclidean straight line, or an arc of a Euclidean circle. As this requires only elementary properties of hyperbolic geometry, we strongly suspect it should be known, but have thus far been unable to find a reference for it. Does anyone know whether it's known, and if so, where one can find it?

share|improve this question
    
Very nice! I'm now wondering idly what can be said about higher dimensions and spherical geometry... –  j.c. May 12 '10 at 2:24
    
@Will: They seem to be equidistant curves only. A related question would be: Does the geodesic with the same endpoints have any significance? –  Grant Lakeland May 12 '10 at 17:27
    
@Will: The endpoints of the locus are actually distinct from the geodesic through the two fixed points, and hence define a separate geodesic (which necessarily does not intersect the first, even on the boundary). If, say, the two fixed points lie on a vertical line, we get one "banana" curve to the right of the line, and its reflection on the other side, but these do not share endpoints. –  Grant Lakeland May 12 '10 at 20:43
    
There is one special case, take the two points as $0$ and $\infty$ along the imaginary axis, area $ \pi / 2 .$ Then the third point has real and imaginary parts equal. That is, if both your original points are on the "boundary," in this case the equidistant curve meets them. Specific value of the area should not matter, the "angles" at $0$ and $\infty$ are $0,$ so we are fixing the third angle, a diffeent third angle giving a different slope. –  Will Jagy May 13 '10 at 0:01
    
Yes, and in fact the same is true for any area: once you have one vertex $v$ giving the right area, with $0$ and $\infty$, the locus is the straight line through $0$ and $v$. The proof we constructed actually used this as a warm-up case, and the proof when all vertices are non-ideal is built from this. –  Grant Lakeland May 13 '10 at 0:11
add comment

1 Answer

up vote 6 down vote accepted

Nice problem! After googling "hyperbolic triangles of equal area on a fixed base" I found the paper "Extremal properties of the principal Dirichlet eigenvalue for regular polygons in the hyperbolic plane" by Karp and Peyerimhoff. Their Theorem 7 looks like the result you ask for. In a footnote KP refer to a 1965 book of Fejes Toth, "Regulare Figuren", as containing the same result. There appears to be an English version "Regular Figures" published in 1964.

This question seems very interesting in spherical geometry, as well.

share|improve this answer
    
Thanks! The KP paper seems to be what we were after. –  Grant Lakeland May 12 '10 at 17:29
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.