Skip to main content
2 of 3
added 150 characters in body
Will Jagy
  • 25.7k
  • 2
  • 65
  • 121

Yes. the fundamental theorem is that the constructible angles in the non-Euclidean plane are exactly the constructible angle in the Euclidean plane. Lengths come from the two laws of cosines and the law of sines. In particular, length 1 is not constructible. As i recall, positive length $x$ is constructible if and only if $\sinh x$ is constructible in the Euclidean plane.

See my 1995 Intelligencer article at http://zakuski.utsa.edu/~jagy/bib.html

Let's see, in the fourth edition of his book, Marvin Jay Greenberg included Robin Hartshorne's proof of this, very different sort of language.

Will Jagy
  • 25.7k
  • 2
  • 65
  • 121