His work Circle Limit I illustrates a tiling of the hyperbolic disk by regular hexagons meeting four at a vertex. To construct this tiling we will need to construct a point at the origin (0,0) of the Poincare disk. To construct a point at the origin go to the "HyperMisc" menu and choose the "Point at Origin" sub-menu. A point at the origin of the Poincare disk will be created. This is point "A" in the figure below.
At point A draw a vertical line from A to another point B. Now, set point A as a center of rotation and rotate the vertical line by 60 degrees yielding line AC. Construct the perpendiculars to AB and AC through the points B and C. Find the intersection point D of these two perpendiculars. Next, select points A, B, and D (in that order) and measure the Ratio of AB to BD by choosing "Ratio" under the "Measure" menu. Move point B until this ratio is approximately 1.0 Then, the quadrilateral ABDC will form one-sixth of the hexagon that we will use to tile the Poincare disk. Select points A, B, C, and D and construct a filled quadrilateral as shown.
Next, we will use reflections to generate congruent quadrilaterals to ABDC in the sector defined by angle CAB. First, select perpendicular BD and choose "Mirror" under the "Mark" menu. Then, select the quadrilateral and hit the reflection button in the Transform Panel. The quadrilateral will be reflected across line BD yielding a new quadrilateral (colored blue in the figure below). Likewise reflect ABDC across line CD (the green quad).
Now we will rotate the construction in the sector defined by angle CAB five times around point A getting a start at a tiling of the Poincare disk. Using the selection box, select all three quads in the sector. The rotation of 60 degrees about point A should still be stored in Geometry Explorer, so we just need to click on the rotate tool five times to get the figure shown. (Labels are hidden)
The Escher tiling is the tiling you get by continuing to reflect the quads in the picture across lines, thus generating new quads, and then reflecting these again, and so on. No new quad generated by reflection will intersect any of the lines in the picture. Thus, we get a regular tiling of the Poincare disk by congruent quadrilaterals.