1
$\begingroup$

Let $A, B, C, D$ be four points with the following properties:

  1. Three of those points are never collinear.
  2. The angles $\angle ABC$ and $\angle DAB$ are right angles.
  3. $C$ and $D$ are located on the same side of the line running through $A$ and $B$.
  4. $AD \cong BC$.

I want to prove without use of the parallel postulate that the line running through $C$ and $D$ is parallel to the line running through $A$ and $B$. However, whenever I try to prove this, I really want to use the fact that the sum of the inner angles of every triangle equals two right angles (which of course assumes the parallel postulate). I think that it is pretty easy to show that $AD$ and $BC$ are parallel to each other, however that does not seem to be of a big help.

How should I approach this exercise? Should I prove it directly or by contradiction? Do I have to use the fact that $AD$ and $BC$ are parallel to each other? I really only need a hint.

Thanks for any answers in advance.

EDIT: I don't know whether this is relevant, but all of the other Hilbert axioms are given.

  • 0
    Are you sure this *can* be proven without the parallel postulate? Is it possible to model 1-4 on a sphere?2011-11-11
  • 0
    *Can* you prove it without using the parallel postulate? If you are working on the sphere (points are antipodal points, lines are great circles), you can find four points with all four properties, but neither is $AD$ parallel to $BC$, nor is $CD$ parallel to $AB$.2011-11-11
  • 0
    I highly assumed that it was possible to do so, as it was a homework exercise of a geometry class at my university. Do all other of Hilbert's postulates hold on the sphere too? (if not: I should probably add that to the question)2011-11-11
  • 0
    Do you have a diagram?2011-11-11
  • 0
    Ah... the "same side of the line" could be the issue that disqualifies spherical geometry. In spherical geometry, you lose the notion of "in between", so you may also lose the notion of "on the same side".2011-11-11
  • 0
    Yes: "same side of the line" requires the order axioms. Points C and D both lie "on the same side" and "on different sides", since the line segments they determine can be chosen to either intersect or not intersect the line AB. That's how one gets rid of the spherical geometry case.2011-11-11

1 Answers 1

3

One ought to emphasize that "parallel" means the two lines under consideration never meet. On the sphere, all lines (great circles) meet, there are never any parallel lines.

Euclid's Proposition I.27 holds in a Hilbert plane, if you have a transversal with alternate interior angles equal, you have "parallel" lines. In your case, you just draw a line segment between the midpoint of AB and the midpoint of CD.

This is very similar to Exercise 10.10, on page 103, of Hartshorne, Geometry: Euclid and Beyond. Euclid's I.27 is Theorem 4.1, page 162 in Greenberg, fourth edition, Euclidean and Non-Euclidean Geometry.

  • 0
    It is quite late and maybe I have not thought about it properly, but how do I obtain equal alternate interior angles in this case after having drawn a transversal between the midpoint of AB?2011-11-11
  • 0
    Go ahead and prove for me that "I think that it is pretty easy to show that AD and BC are parallel to each other" and then we can discuss this some more.2011-11-12
  • 0
    Let $AB$ denote the line running through $AB$ (not the line segment from $A$ to $B$). As $\angle DAB$ is a right angle, the adjacent angle $\angle BAP$ for some $P$ such that $A$ is between $P$ and $D$ is a right angle as well. Furthermore, $\angle ABC$ is a right angle and thus we have equal alternate interior angles. Hence, $AD$ and $BC$ must be parallel to each other.2011-11-12
  • 0
    I believe I have found out how to prove it: Let $M_1$ denote the midpoint of the line segment $AB$. Then, by Hilbert's sixth congruence axiom, the triangles $\triangle AM_1 D$ and $\triangle M_1 BC$ are congruent. Now, I draw a line through $M_1$ which intersects $CD$ in $M_2$ such that $\angle M_2 M_1 A$ is a right angle. Thus, $\angle C M_1 M_2 \cong D M_1 M_2$ and again by the congruence axiom, we have that $\triangle M_1 C M_2$ and $\triangle M_1 M_2 D$ are congruent. Thus, $\angle M_1 M_2 D \cong \angle M_1 M_2 C$ and as these are adjacent angles, they are right angles. Hence, $AB \| CD$.2011-11-12
  • 0
    (could you maybe confirm? I apologize for the three consecutive comment, but I cannot add a single char to the previous comment.)2011-11-12
  • 1
    Yes, that is fine. On page 163 of Greenberg (fourth edition), we have Corollary 1, Two lines perpendicular to the same line are parallel (never meet). I think it a worthy exercise to prove this, carefully, from Hilbert's axioms. Note that a corollary is that no triangle has two right angles. On the unit sphere (not Hilbert), it is easy to have triangles with two, or three, right angles, take the edges of a triangle to be the coordinate planes, with $x,y,z \geq 0.$ Finally, in a hyperbolic (Hilbert) plane , it is possible to have lines that never meet but have no mutual perpendicular.2011-11-12
  • 0
    How do you know that such a $M_2$ exists ?2015-10-05