18
$\begingroup$

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?

$\endgroup$
5
  • $\begingroup$ Very nice! I'm now wondering idly what can be said about higher dimensions and spherical geometry... $\endgroup$
    – j.c.
    May 12, 2010 at 2:24
  • $\begingroup$ @Will: They seem to be equidistant curves only. A related question would be: Does the geodesic with the same endpoints have any significance? $\endgroup$ May 12, 2010 at 17:27
  • $\begingroup$ @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. $\endgroup$ May 12, 2010 at 20:43
  • $\begingroup$ 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. $\endgroup$
    – Will Jagy
    May 13, 2010 at 0:01
  • $\begingroup$ 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. $\endgroup$ May 13, 2010 at 0:11

1 Answer 1

9
$\begingroup$

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.

$\endgroup$
1
  • 1
    $\begingroup$ In the spherical geometry this dates back to the 18th century and is known as the Lexell theorem. $\endgroup$ Dec 4, 2019 at 4:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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