In the hyprbolic plane page, we introduced hyperbolic lines as the intersections of the
disk D with ilines orthogonal to the boundary C. In the experimental
page, we
showed some of the basic properties of hyperbolic geometry. We used our euclidean
tools to build a disk model of the hyperbolic plane.
Here, we proceed in the reverse direction, and show how hyperbolic tools can be used
to build a disk model of euclidean geometry. This is more than an academic exercise.
If we assume that euclidean geometry is consistent, i.e. free from any contradictions,
then anything built from it will also be consistent. Once we have constructed a model
of euclidean geometry with hyperbolic tools, we deduce that if hyperbolic geometry
is consistent, then so is euclidean geometry. Thus the two are equally consistent.
definitions
An iline L cuts a circle C diametrically if it meets C in diametrically opposite points.
If L cuts C diametrically at the points X,Y then these are the boundary points.
Note that the definition is asymmetric  even if L is a circle, it does not follow that C
cuts L diametrically. Also, an extended line cuts a circle diametrically if and only if
it s a diameter of the circle.


We are now ready to build our model. We take as our set of points the set D:z<1,
and denote its boundary by C, as usual.
definition
An eline is a set of the form L_{n}D, where L is an iline which cuts C
diametrically.
Of course, the elines include the diameters of C, but no other euclidean segments.
The CabriJava applet allows you to experiment. You can drag X,A,X' or A' to vary
the elines.
If you drag A or A' out of the disk, the associated eline disappears.
By experimenting, you should convince yourself of the following facts
 Given any A and X, there is an eline through A with X as a boundary point.
 Two elines either have the same boundary points (and do not meet in D),
or meet exactly once in D. In the former case, we say they are parallel.
 Given two points A,B, ther is exactly one eline through A and B  to see this,
drag X round the boundary.
 Given the eline X'Y' and the point A, there is exactly one eline through A
parallel to X'Y'. To see this, drag X on top of X'.
These suggest that the geometry we have produced is euclidean.
We need to prove that these are theorems of our new geometry, but first, we must
deal with a basic flaw in our definitions. We used ilines and the concept of cutting
diametrically in the definition of elines. These are euclidean tools. We need to
give alternative descriptions in purely hyperbolic terms.

