Skip to main content
1 of 3
Conifold
  • 1.7k
  • 11
  • 19

Is there a universal straightedge and compass construction of a segment incommensurable to a given one in the hyperbolic plane?

"Universal" means that the construction steps are independent of the length of the given segment. In the Euclidean plane one can take the diagonal of a square built on it. Without the "universal" the answer is affirmative. However, that is due to the fact that the hyperbolic plane has a natural unit of length, and one takes advantage of comparing it to the given length, which is excluded here.

Define the Schweikart's length as the length of a perpendicular to a line such that the asymptotic parallel to it through the endpoint of the perpendicular makes $\pi/4$ angle with the perpendicular. A construction that goes back to Bolyai (the converse to the better known one, see Will Jagy's paper) allows one to construct a segment of Schweikart's length from "nothing", i.e. from a segment of arbitrary length. So one can proceed as follows: construct a Schweikart's segment, if it is incommensurable with the given one we are done, if it is commensurable then construct a segment incommensurable with the Schweikart's (which is easy).

However, this is clearly not "universal", and in fact is similar in spirit to putting marks on the straightedge and measuring. In Euclidean plane at least marked straightedge is a strictly stronger tool. One can think of a universal construction as implementing a continuous (even real analytic) function $f(l)$ of a given length $l$. Since it is supposed to produce an incommensurable for every positive $l$ we have that $f(l)/l$ never takes rational values, i.e. it is a constant. Therefore, if such $f(l)$ exists it should be $f(l)=\alpha l$ with irrational $\alpha$. This is exactly what happens with the diagonal of the square in the Euclidean plane.

My intuition is that the answer is "no", nontrivial elementary hyperbolic constructions transform lengths nonlinearly, but I am not sure. Is there a hyperbolic straightedge and compass construction that does that?

Conifold
  • 1.7k
  • 11
  • 19