de Villiers M. (1996)
The Future of Secondary School Geometry.

La lettre de la preuve, Novembre-Décembre 1999.

Some developments in contemporary geometry

© Michael de Villiers

 

The only geometry most people know is the Euclidean geometry they learnt at school. Furthermore, there appears to be a belief that the old Greeks and other civilizations before them had discovered all the geometry there is to know. Very few realize that many exciting new results in Euclidean geometry were discovered in the nineteenth and twentieth centuries, for example, the theorems of Morley, Miquel, Feuerbach, Steiner, etc.
   Apart from that, the previous century saw the development of the non-Euclidean geometries of Lobachevsky-Bolyai and Riemann. The counter-intuitive axioms for these two geometries completely revolutionized mathematicians' understanding of the nature of axioms. Whereas many had previously believed that axioms were "self-evident truths ", they now realized that they were simply "necessary starting points " for mathematical systems. From believing that mathematics dealt with "absolute truths " in relation to the real world, they realized that mathematics dealt with "propositional truths " which may or may not have applications in the real world, and in fact that applicability was not a necessary criteria for mathematics.
   In Table 1 two examples from the respective non-Euclidean geometries of Lobachevsky-Bolyai and Riemann are given. Respective models are the so-called Poincaré disk and the geometry of the sphere.

Lobachevsky-Bolyai

Riemann

(Playfair) Axiom: Through a point P not on a line l at least two lines parallel to l can be drawn.

(Playfair) Axiom: Through a point P not on a line l no limes parallel to l can be drawn.

Theorem: The angle sum of a triangle is less that 180 degrees and its area is proportional to the "defect" of its angle sum.

Theorem: The angle sum of a triangle is more that 180 degrees and its area is proportional to the "excess" of its angle sum.

Table 1

The previous century also saw the axiomatic development of projective geometry whose origins can be traced way back to Pappus (350 AD) and Desargues (1639). A major breakthrough was the discovery and independent proof of the principle of duality by Poncelet, Plucker and Gergonne in 1826. Two theorems or configurations are called dual if the one may be obtained from the other by replacing each concept and operator by its dual concept and operator. In projective geometry we find the following duality:

vertices (points) - sides (lines)
inscribed in a circle - circumscribed around a circle
collinear - concurrent

This duality is strikingly reflected by the projective theorems of Pascal (1623 - 1662) and Brianchon (1785 - 1864) as follows:

Pascal's theorem
If a hexagon is inscribed in a circle, then the three points of intersection of the opposite sides are collinear (lie in a straight line)

Brianchon's theorem
If a hexagon is circumscribed around a circle, then the three lines (the diagonals) connecting opposite vertices are concurrent (meet in the same point)

Figure 1: Pascal's & Brianchon's theorems

Although the initial axiomatic treatment of projective geometry was purely synthetic, gradual incorporation of analytical methods occurred in the latter part of the previous century. Most notably was Klein's famous Erlangen -program (1872) which described geometry as the study of those geometric properties which remain invariant (unchanged) under the various groups of transformations. In short, geometry could be classified according to this view as follows:

isometries - transformations of plane figures which preserve all distances and angles (congruency)
similarities - transformations of plane figures where shape (similarity) is preserved
affinities - transformations of plane figures where parallelism is preserved
projectivities - transformations of plane figures which preserve the collinearity of points and the concurrency of lines
topologies - transformations of plane figures which preserve closure and orientability

Since time immemorial, one- and two-dimensional geometric patterns have been used by human beings to adorn their dwellings, clothes and implements. Figure 2a for example shows a Moorish tiling from the Alambra in the south of Spain. The Dutch artist Maurits Escher used tessellations extensively in the production of his artwork in the period 1937-1971 (see Figure 2b for an Escher-like tessellation). Perhaps surprisingly, the study of border patterns and tessellations (tilings) has received unprecedented interest by mathematicians in the twentieth century. Nevertheless, in the seventies a housewife Marjorie Rice discovered four new convex pentagons that tessellate, although mathematicians had thought at that stage that the list of tessellating pentagons was complete (see Schattschneider, 1981). Most recently, Grunbaum & Shepherd (1986) produced a systematic investigation which to some degree equals Euclides' Elements .

(a)

(b)

  

Figure 2: Examples of tessellations

One of the important concepts in the classification of border patterns and tessellations is that of symmetry . Using this concept, border patterns can be classified into seven different types and tessellations into seventeen different types. An obvious property of any tiling is that of a repetition of the pattern. If a tiling has translational symmetry in two independent directions it is called periodic . Although most common tilings are periodic, only about twenty years ago, the British mathematician Penrose discovered a surprising set of two quadrilaterals that tile non-periodically (eg. see Benade, 1995). In fact, it is still an open question whether or not a single tile exists with which one can only tile non-periodically.
   Another interesting development in recent years has been fractal geometry, which is the study of geometrical objects with fractional dimensions. For example, a cloud is a good example of a fractal. Although it is not really quite three-dimensional, it is certainly not two-dimensional; one could therefore say that its dimensions lie somewhere between twee and three. In fact, many real world objects such as coastlines, fern leaves, mountain ranges, trees, crystals, etc. have fractal properties. Fractal image compression is also used today in a variety of multimedia and other image-based computer applications. An important property of fractals is that of self-similarity which loosely means that any small subset of the figure is similar to the larger figure. Two examples of fractals are given in Figure 3 where this property is clearly illustrated.

 

   

Figure 3: Examples of fractals

Recent years have also seen the development and expansion of Knot Theory and its increased application to biology, the use of Projective Geometry in the design of virtual reality programs, the application of Coding Theory to the design of CD players, an investigation of the geometry involved in robotics, etc. Even Soap Bubble Geometry is receiving new attention as illustrated by the special session given to it at the Burlington MathsFest in 1995. In 1986 Eugene Krause wrote a delightful little book on Taxicab Geometry, introducing a new kind of non-Euclidean geometry. Several international conferences on geometry have been held over the past decade. In fact, David Henderson from Cornell University, USA recently told the author that presently they have more post-graduate students in geometry or geometry related fields than in pure algebra.
   Even Euclidean geometry is experiencing an exciting revival in no small part due to the recent development of dynamic geometry software such as Cabri and Sketchpad. In fact, Philip Davies (1995) describes a possibly rosy future for research in triangle geometry. Recently Adrian Oldknow (1995, 1996) for example used Sketchpad to discover the hitherto unknown result that the Soddy center, incenter and Gergonne point of a triangle are collinear (amongst other interesting results). The Soddy center is named after the Nobel prizewinning chemist, Frederick Soddy, who published the following result in 1936: If three circles with centers at the three vertices of a triangle are drawn tangent to each other as shown in Figure 4 (each triangle has a unique set of three such circles), then there exists a fourth circle tangent to all three as shown. (The center of this circle is now known as the (inner) Soddy center S - there is also an outer one).

Figure 4: Soddy center

(a)

(b)

   

Access to a version of Figure 5(b) which can be manipulated, an experience the Gergonne-Soccy-Incenter phenomena.

Figure 5: Gergonne point & Gergonne-Soddy-Incenter line

 

 

The Gergonne point G of a triangle is the point of concurrency of the three line segments from the vertices to the points of tangency of the incircle with the opposite sides (see Figure 5a). (The Gergonne point incidentally is just a special degenerate case of Brianchon's theorem). Then as shown in Figure 5b, we find the surprising result that the Gergonne point G, the Soddy center S and the incenter I are collinear. (The outer Soddy center also lies on this line).

The author also recently discovered two interesting generalizations of Von Aubel's theorem using dynamic geometry software. This theorem states that if squares are constructed on the sides of any quadrilateral then the line segments connecting the centers of the squares of opposite sides are always equal and perpendicular (see Yaglom, 1962 or Kelly, 1966). After some experimentation, the author managed to further generalize it for similar rectangles and rhombi on the sides as shown below (proofs are given in De Villiers, 1996 & In press). In the Figure 6, EG is always perpendicular to FH . Also KM is congruent to LN where K , L , M and N are the midpoints of the line segments joining adjacent vertices of the similar rectangles as shown.

Von Aubel rectangle-generalisation

In this CabriJava figure, drag the vertices of the black quadrilateral or the green point in order to observe the invariance of the length of the segment and of the measure of the angle (to ensure the best animation, get MRJ 2.1.4). Double click on the figure to get an enhanced interface.

  
Figure 6

 

In Figure 7, EG is always congruent to FH . Also KM is perpendicular to LN where K , L , M and N are the midpoints of the linesegments joining adjacent vertices of the similar rhombi as shown. The "intersection" of these two results therefore provides Von Aubel's theorem.

Von Aubel rhombus-generalisation

In this CabriJava figure, drag the vertices of the black quadrilateral or the red vertex of the angle given as a parameter of the rhombus in order to observe the invariance of the length of the segment and of the measure of the angle (to ensure the best animation, get MRJ 2.1.4). Double click on the figure to get an enhanced interface.

 
Figure 7

 

Just a brief perusal of some recent issues of mathematical journals like the Mathematical Intelligencer , American Mathematical Monthly , The Mathematical Gazette , Mathematics Magazine , Mathematics & Informatics Quarterly, etc. easily testify to the increased activity and interest in traditional Euclidean geometry. The mathematician Crelle once said: "It is indeed wonderful that so simple a figure as the triangle is so inexhaustible in properties ". Perhaps this applies even more widely to Euclidean geometry in general!