Synthetic geometry

Synthetic geometry (sometimes referred to as axiomatic or even pure geometry) is the study of geometry without the use of coordinates or formulas. It relies on the axiomatic method and the tools directly related to them, that is, compass and straightedge, to draw conclusions and solve problems.

Only after the introduction of coordinate methods was there a reason to introduce the term "synthetic geometry" to distinguish this approach to geometry from other approaches. Other approaches to geometry are embodied in analytic and algebraic geometries, where one would use analysis and algebraic techniques to obtain geometric results.

According to Felix Klein,[1]

Synthetic geometry is that which studies figures as such, without recourse to formulas, whereas analytic geometry consistently makes use of such formulas as can be written down after the adoption of an appropriate system of coordinates.

Geometry, as presented by Euclid in the elements, is the quintessential example of the use of the synthetic method. It was the favoured method of Isaac Newton for the solution of geometric problems.[2]

Synthetic methods were most prominent during the 19th century when geometers rejected coordinate methods in establishing the foundations of projective geometry and non-Euclidean geometries. For example the geometer Jakob Steiner (1796 – 1863) hated analytic geometry, and always gave preference to synthetic methods.[3]

Logical synthesis

The process of logical synthesis begins with some arbitrary but definite starting point. This starting point is the introduction of primitive notions or primitives and axioms about these primitives:

From a given set of axioms, synthesis proceeds as a carefully constructed logical argument. When a significant result is proved rigorously, it becomes a theorem.

Properties of axiom sets

There is no fixed axiom set for geometry, as more than one consistent set can be chosen. Each such set may lead to a different geometry, while there are also examples of different sets giving the same geometry. With this plethora of possibilities, it is no longer appropriate to speak of "geometry" in the singular.

Historically, Euclid's parallel postulate has turned out to be independent of the other axioms. Simply discarding it gives absolute geometry, while negating it yields hyperbolic geometry. Other consistent axiom sets can yield other geometries, such as projective, elliptic, spherical or affine geometry.

Axioms of continuity and "betweeness" are also optional, for example, discrete geometries may be created by discarding or modifying them.

Following the Erlangen program of Klein, the nature of any given geometry can be seen as the connection between symmetry and the content of the propositions, rather than the style of development.

History

Euclid's original treatment remained unchallenged for over two thousand years, until the simultaneous discoveries of the non-Euclidean geometries by Gauss, Bolyai, Lobachevsky and Riemann in the 19th century led mathematicians to question Euclid's underlying assumptions.[5]

One of the early French analysts summarized synthetic geometry this way:

The Elements of Euclid are treated by the synthetic method. This author, after having posed the axioms, and formed the requisites, established the propositions which he proves successively being supported by that which preceded, proceeding always from the simple to compound, which is the essential character of synthesis.[6]

The heyday of synthetic geometry can be considered to have been the 19th century, when analytic methods based on coordinates and calculus were ignored by some geometers such as Jakob Steiner, in favor of a purely synthetic development of projective geometry. For example, the treatment of the projective plane starting from axioms of incidence is actually a broader theory (with more models) than is found by starting with a vector space of dimension three. Projective geometry has in fact the simplest and most elegant synthetic expression of any geometry.

In his Erlangen program, Felix Klein played down the tension between synthetic and analytic methods:

On the Antithesis between the Synthetic and the Analytic Method in Modern Geometry:
The distinction between modern synthesis and modern analytic geometry must no longer be regarded as essential, inasmuch as both subject-matter and methods of reasoning have gradually taken a similar form in both. We choose therefore in the text as common designation of them both the term projective geometry. Although the synthetic method has more to do with space-perception and thereby imparts a rare charm to its first simple developments, the realm of space-perception is nevertheless not closed to the analytic method, and the formulae of analytic geometry can be looked upon as a precise and perspicuous statement of geometrical relations. On the other hand, the advantage to original research of a well formulated analysis should not be underestimated, - an advantage due to its moving, so to speak, in advance of the thought. But it should always be insisted that a mathematical subject is not to be considered exhausted until it has become intuitively evident, and the progress made by the aid of analysis is only a first, though a very important, step.[7]

The close axiomatic study of Euclidean geometry led to the construction of the Lambert quadrilateral and the Saccheri quadrilateral. These structures introduced the field of non-Euclidean geometry where Euclid's parallel axiom is denied. Gauss, Bolyai and Lobachevski independently constructed hyperbolic geometry, where parallel lines have an angle of parallelism that depends on their separation. This study became widely accessible through the Poincaré disc model where motions are given by Möbius transformations. Similarly, Riemann, a student of Gauss's, constructed Riemannian geometry, of which elliptic geometry is a particular case.

Another example concerns inversive geometry as advanced by Ludwig Immanuel Magnus, which can be considered synthetic in spirit. The closely related operation of reciprocation expresses analysis of the plane.

Karl von Staudt showed that algebraic axioms, such as commutativity and associativity of addition and multiplication, were in fact consequences of incidence of lines in geometric configurations. David Hilbert showed[8] that the Desargues configuration played a special role. Further work was done by Ruth Moufang and her students. The concepts have been one of the motivators of incidence geometry.

When parallel lines are taken as primary, synthesis produces affine geometry. Though Euclidean geometry is both an affine and metric geometry, in general affine spaces may be missing a metric. The extra flexibility thus afforded makes affine geometry appropriate for the study of spacetime, as discussed in the history of affine geometry.

In 1955 Herbert Busemann and Paul J. Kelley sounded a nostalgic note for synthetic geometry:

Although reluctantly, geometers must admit that the beauty of synthetic geometry has lost its appeal for the new generation. The reasons are clear: not so long ago synthetic geometry was the only field in which the reasoning proceeded strictly from axioms, whereas this appeal — so fundamental to many mathematically interested people — is now made by many other fields.[9]

For example, college studies now include linear algebra, topology, and graph theory where the subject is developed from first principles, and propositions are deduced by elementary proofs.

Today's student of geometry has axioms other than Euclid's available: see Hilbert's axioms and Tarski's axioms.

Ernst Kötter published a (German) report on "The development of synthetic geometry from Monge to Staudt (1847)";[10]

Proofs using synthetic geometry

Synthetic proofs of geometric theorems make use of auxiliary constructs (such as helping lines) and concepts such as equality of sides or angles and similarity and congruence of triangles. Examples of such proofs can be found in the articles Butterfly theorem, Angle bisector theorem, Apollonius' theorem, British flag theorem, Ceva's theorem, Equal incircles theorem, Geometric mean theorem, Heron's formula, Isosceles triangle theorem, Law of cosines, and others that are linked to here.

Computational synthetic geometry

In conjunction with computational geometry, a computational synthetic geometry has been founded, having close connection, for example, with matroid theory. Synthetic differential geometry is an application of topos theory to the foundations of differentiable manifold theory.

See also

Notes

  1. Klein 1948, p. 55
  2. Boyer 2004, p. 148
  3. "Steiner (print-only)". History.mcs.st-and.ac.uk. Retrieved 2012-09-20.
  4. Greenberg 1974, p. 59
  5. Mlodinow 2001, Part III The Story of Gauss
  6. S. F. Lacroix (1816) Essais sur L'Enseignement en Général, et sur celui des Mathématiques en Particulier, page 207, Libraire pur les Mathématiques.
  7. Felix Klein (1872) Ralf Stephan translator (2006) "A comparative review of researches in geometry"
  8. David Hilbert, 1980 (1899). The Foundations of Geometry, 2nd edition, §22 Desargues Theorem, Chicago: Open Court
  9. Herbert Busemann and Paul J. Kelly (1953) Projective Geometry and Projective Metrics, Preface, page v, Academic Press
  10. Ernst Kötter (1901). Die Entwickelung der Synthetischen Geometrie von Monge bis auf Staudt (1847) (PDF). (2012 Reprint as ISBN 1275932649)

References

This article is issued from Wikipedia - version of the 9/4/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.