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

Is there a compass and straight edge construction of parallel lines in hyperbolic geometry?

That is given a line and a point not on the line construct one of the line parallel to the given line.

share|improve this question
    
what do you mean by "parallel"? "not intersecting"? Then take your point A, line l, draw perpendicular AB to l, then perpendicular m to AB through A. –  Fedor Petrov Oct 25 '10 at 18:01
    
I think this depends on what model you are using. For example, you can do this in the Poincare disk model of the hyperbolic plane. Or maybe you mean you have a hyperbolic compass (i.e. given a point and a radius, one can construct a hyperbolic circle centered at that point) and a hyperbolic ruler (i.e. given two distinct points, one can construct the geodesic line thru them). –  Yi Liu Oct 25 '10 at 18:03
1  
No I am talking about one of the two limiting lines that are asymptotic not intersecting; called parallel lines in Coxeter. Lines not intersecting that have sharing a common perpendicular are called ultraparallel by Coxeter. In everthing I have looke at I have seen no construction by a compass and straght edge. –  dlb Oct 25 '10 at 18:14

2 Answers 2

up vote 11 down vote accepted

The quickest way to get you started is to refer you to my article, reference [5] (a pdf) on

http://en.wikipedia.org/wiki/Squaring_the_circle

and then to the fourth edition (2008) of Marvin Jay Greenberg's book, which is reference [6].

I'm guessing what you want is Bolyai's construction, given a line and a point off the line, of the two rays through the point that are asymptotic to the line, one in each direction. When I wrote the article, I relied on an earlier edition of Marvin's book, along with The Foundations of Geometry and the Non-Euclidean Plane by George E. Martin, which has a nice little section at the very end. There is also, now, Geometry: Euclid and Beyond by Robin Hartshorne.

The most complete reference I know on constructions is in Russian, by Smogorshevski, other very helpful books by Kagan and by Nestorovich. Of course, at this point I have my own versions of it all.

share|improve this answer
    
Perhaps, you are thinking of this little book which was in fact translated: A.S. Smogorzhevskij, The ruler in geometrical construction, Pergamon Press, Oxford, 1961. –  Igor Pak Oct 27 '10 at 0:08
    
Hi, Igor. No, it is the same guy but 1951, "Geometric Constructions in the Lobachevskii Plane" Math Reviews 14, 575. It is a reference in my little paper and in one by Robert R. Curtis, approximately 1990, I do not seem to have the title for Curtis. I photocopied all the Russian and a few Ukrainian items, Mordukhai-Boltovskoi wrote in many languages. Then my friend Dmitry would read me translations of a page or two by telephone. I have a complete copy of Mr. Smog around here somewhere, I can't seem to find it. –  Will Jagy Oct 27 '10 at 17:54
    
Do you have a simple argument (i.e. with no calculations) showing that Bolyai's construction really does what it suppose to? –  Anton Petrunin Oct 30 '10 at 4:13
    
Anton there is a proof in Coxeter's "Non-Euclidean Geometry" (just got my copy a few days ago). The proof uses projective geometry. –  dlb Nov 2 '10 at 14:25

So you mean you want to see a compass and straight edge construction in Euclidean geometry of a circle passing through 2 given points and perpendicular to the given circle (which contains one of the points)? I believe that this construction is given in the geometry book by Robin Hartshorne, excellent book by the way.

share|improve this answer

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.