{"id":16325,"date":"2023-10-20T10:11:07","date_gmt":"2023-10-20T14:11:07","guid":{"rendered":"https:\/\/notes.math.ca\/article\/geometric-transformations-1800-1855\/"},"modified":"2023-12-11T11:14:10","modified_gmt":"2023-12-11T16:14:10","slug":"geometric-transformations-1800-1855","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/en\/article\/geometric-transformations-1800-1855\/","title":{"rendered":"Geometric Transformations, 1800\u20131855"},"content":{"rendered":"

CSHPM Notes brings scholarly work on the history and philosophy of mathematics to the broader mathematics community. Authors are members of the Canadian Society for History and Philosophy of Mathematics (CSHPM). Comments and suggestions are welcome; they may be directed to the column\u2019s co-editors:<\/em><\/p>\n

Amy Ackerberg-Hastings<\/strong>, independent scholar (aackerbe@verizon.net)<\/em><\/p>\n

Hardy Grant<\/strong>, York University\u00a0<\/em>[posthumous]<\/i><\/p>\n

The nature of geometry changed dramatically between 1800 and 1855. My interest in that topic and time period began a number of years ago, as my enthusiasm for geometry, particularly of the synthetic type, merged with an even older enthusiasm for history. Following geometry through the centuries, I saw an interesting story line emerging. Ancient Greeks envisioned geometric figures as stationary, and they showed almost no interest in propositions about collinear points or concurrent lines. The exceptions are Menelaus\u2019s Theorem and various propositions from Pappus, but those ideas emerged only in the late ancient period.<\/p>\n

Coherent work involving movement of a sort, by plane-to-plane projection, together with incipient projective geometry and propositions about collinear points and concurrent lines, appeared in a burst in the 17th century, with\u00a0Girard Desargues<\/a>\u00a0[6; 7],\u00a0Blaise Pascal<\/a>\u00a0[15], and\u00a0Philippe de La Hire<\/a>\u00a0[9]. (It is worth noting that Desargues made great use of Menelaus\u2019s Theorem.) But, for lack of interest, the publications by these authors that were the most projective in approach were soon lost or forgotten.<\/p>\n

Around 1800, the atmosphere changed. After the publication of Adrien-Marie Legendre<\/a>\u2019s \u00c9l\u00e9ments de g\u00e9om\u00e9trie<\/em> of 1794 [10], which would have felt familiar to Greek geometers of two millennia earlier, Gaspard Monge<\/a> [14] and Lazare Carnot<\/a> [4; 5] presented a variety of propositions involving collinear points and concurrent lines. Forgotten propositions, including Desargues\u2019s Theorem and Pascal\u2019s Hexagon Theorem, were rediscovered. They appeared at first without credit to their discoverers, and proofs were not projective, but in 1822 J. V. Poncelet<\/a> [20] would prove them by projective methods and properly note their discoverers. Of particular importance to Poncelet was an 1810 article by Charles Julien Brianchon<\/a> [3] in which he solved several problems by a plane-to-plane projection that let one line of points \u201cpass to infinity,\u201d as Poncelet put it.<\/p>\n

\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/p>\n

Figure 1.<\/strong> The first two pages of Brianchon\u2019s article [3]. Gallica<\/a>.<\/p>\n

This began a flood of geometric transformations and relationships, called Verwandtschaften<\/em> by A. F. Moebius<\/a> in his Der Barycentrische Calcul<\/em> [11]. That 1827 work gave the first overview of transformations. Moebius examined four different geometric relationships, starting with equality<\/em>, similitude<\/em>, and affinity<\/em>. Similitude<\/em>, now called dilation<\/em>, the topic of Euler\u2019s E693 [8], was thoroughly developed by Poncelet in 1813, 1820, and 1822 [18; 19; 20]. Moebius\u2019s fourth transformation was new and the most general, the collineation<\/em>. He set his transformations in a plane whose elements were real triples, except ((0, 0, 0)), with the homogeneity property, namely, that for (k ne 0) triples ((a, b, c)) and ((ka, kb, kc)) represent the same point. Moebius demonstrated a remarkable property, that given any four points (A, B, C, D), no three collinear, then any point (P) could be represented as (aA + bB +cC + dD), and for any choice of four points (A’, B’, C’, D’), no three collinear, then (P’ = aA’ + bB’ +cC’ + dD’) defines a collineation, and any collineation could be defined this way. (He characterized an affinity<\/em>, a collineation mapping parallel lines to parallel lines, in a corresponding way, with three non-collinear finite points.) With modification to Moebius\u2019s homogeneous coordinate system by Julius Pl\u00fccker<\/a> in 1831 [17], the triples form what we now recognize as the real projective plane<\/em>. In that plane, a collineation<\/em> is the same as a projectivity<\/em>.<\/p>\n

\u00a0Plane-to-plane projection was the basis for homology<\/em>, as developed by Poncelet in his 1822 Trait\u00e9 des Propri\u00e9t\u00e9s Projectives des Figures<\/em> [20]. The line of intersection of the two planes, the axis<\/em>, is a line of fixed points. Poncelet showed that a homology can operate in a single plane when one of the two planes is rotated about the axis to coincide with the other, but still with a line of fixed points.<\/p>\n

The projective transformation<\/em>, in synthetic geometry, was created by Jacob Steiner<\/a> [23]. He began with elementary forms<\/em>, in particular the line<\/em> of points and the pencil<\/em>, Strahlb\u00fcschel<\/em>, of concurrent lines; then related the elementary forms by perspectivities<\/em>; and, finally, defined a projectivity<\/em> as a composition of perspectivities.<\/p>\n

Where Poncelet, in 1813, had declared that a conic section was the plane-to-plane projection of a circle, Steiner defined a point conic to be the set of points of intersection of corresponding lines in projectively related pencils. (Poncelet\u2019s Notebooks<\/em>, written as a prisoner in Russia in 1813\u20131814, were only published in 1862 [21].)<\/p>\n

\u00a0Another transformation, inversion<\/em> (over a circle), anticipated in work of the 1820s, was developed into modern form by Giusto Bellavitis<\/a> in 1836 [2].<\/p>\n

\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/p>\n

Figure 2.<\/strong> Moebius, Poncelet, and Steiner. Convergence<\/em> Portrait Gallery.<\/a><\/p>\n

Why do I end this period of transformations in 1855? First, I wished to include important works in the line of development sketched above, especially K. G. C. von Staudt<\/a>\u2019s 1847 Geometrie der Lage<\/em> [24]. Von Staudt placed projective geometry in a more abstract setting; his book, for example, has no figures. The book includes two proofs of Moebius\u2019s theorem that a projectivity is a collineation determined by four points, no three collinear, and their images. Von Staudt committed himself to removing any dependence on length from his geometry. Significantly, the cross-ratio of four collinear points, whose invariance was Steiner\u2019s main identifying property of a projective relation, depends on length, so von Staudt chose an alternative, invariance of the harmonic relation. That works because the complete quadrilateral<\/em>, introduced by Carnot, was a non-metric concept, and it determined a harmonic set of four points. In later years, geometers tended to follow von Staudt\u2019s penchant for abstraction, and many would require that a truly projective geometry be non-metric.<\/p>\n

A second important transitional work was Moebius\u2019s second paper [12] on what has come to be called the Moebius transformation<\/em>. Without using the function definition of the Kreisverwandtschaft<\/em>, as he called it, Moebius derived the familiar properties, including the invariance of the cross-ratio among four complex points, not necessarily collinear. He was a pioneer in setting his work in the complex plane.<\/p>\n

\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/p>\n

Figure 3.<\/strong> Illustration of inversion described by G. Bellavitis [1836, Art. 20], \u201cConstruct a circle which passes through two given points A B<\/strong>\u00a0and is tangent to a given circle (Db).\u201d Figure created by the author.<\/p>\n

Two notable works signaled a new direction in geometry. The first was Bernhard Riemann<\/a>\u2019s inaugural lecture at G\u00f6ttingen in 1854, on the bases of geometry [22]. The second involved von Staudt. While his 1847 Geometrie der Lage<\/em> followed the trajectory of contemporary work in projective geometry, by contrast his Beitr\u00e4ge zur Geometrie der Lage<\/em>, which appeared in three volumes from 1856 to 1859 [25], introduced a complex projective space and an algebra derived from geometric axioms, and it greatly influenced geometry in the coming years.<\/p>\n

And where does my work with this material stand? A narrowly focused paper, \u201cPoncelet\u2019s discovery of homology,\u201d was recently published [1]. My current project is a book that combines history with the exposition of the mathematics involved, written with an undergraduate mathematics major in mind. It is the sort of project that retirement makes possible.<\/p>\n

Christopher Baltus earned a PhD at the University of Colorado in 1984, and taught 33 years at SUNY Oswego. He and his wife retired in 2019 and moved to Poughkeepsie, NY. In retirement he still rides a bicycle, reads history and mathematics, and is a volunteer mathematics aide in an elementary school.\u00a0He notes that this article was written under guidance from Hardy Grant, whose wisdom and kindness will be greatly missed.<\/em><\/p>\n

References<\/strong><\/p>\n

[1] Baltus, Christopher. (2023) Poncelet\u2019s discovery of homology<\/a>. Historia Mathematica <\/em>63, 1\u201320.<\/p>\n

[2] Bellavitis, Giusto. (1836) Teoria delle figure inverse, e loro uso nella Geometria elementare<\/a>. Annali della Scienze del Regno Lombardo-Veneto <\/em>6, 126\u2013141.<\/p>\n

[3] Brianchon, Charles Julien. (1810) Solution de plusieurs probl\u00e9mes de g\u00e9om\u00e9trie<\/a>. Journal de l\u2019\u00c9cole polytechnique<\/em>, Cahier 10, Tome 4, 1\u201315.<\/p>\n

[4] Carnot, Lazare. (1803) G\u00e9om\u00e9trie de Position<\/em><\/a>. Paris: Duprat.<\/p>\n

[5] Carnot, Lazare. (1806) Essai sur la Th\u00e9orie des Transversales<\/em><\/a>. Paris: Courcier.<\/p>\n

[6] Desargues, Girard. (1639) Brouillon project d\u2019une atteinte aux \u00e9v\u00e9nements des rencontres d\u2019un c\u00f4ne avec un plan<\/em>. In [16], translated by Field. Original published in Paris, 1639. http:\/\/catalogue.bnf.fr\/ark:\/12148\/cb35944713p<\/a>.<\/p>\n

[7] Desargues, Girard. (1648) Note: Extrait de la perspective de Bosse 1648, et faisant suite \u00e0 la perspective de Desargues de 1636. In A Source Book in Mathematics<\/em><\/a>, edited by David Eugene Smith, ii:307\u2013309. New York: Dover, 1959.<\/p>\n

[8] Euler, Leonhard. (1791) De centro similitudinis<\/a> [E693] (original1777). In Leonhardi Euleri Opera Omnia <\/em>sub ausp. Soc. Scient, Nat. Helv. 1911- Series I, vol. 26, 276\u2013285.<\/p>\n

[9] Hire, Philippe de La. (1673) Nouvelle M\u00e9thode en G\u00e9om\u00e9trie pour les Sections des Superficies coniques et Cylindriques<\/em><\/a>. Paris.<\/p>\n

[10] Legendre, A-M. (1794) \u00c9l\u00e9ments de g\u00e9om\u00e9trie<\/em><\/a>. Paris: Fermin Didot.<\/p>\n

[11] Moebius, August Ferdinand. (1827) Der Barycentrische Calcul: ein neues H\u00fclfsmittel zur analytischen Behandlung der Geometrie<\/em><\/a>. Leipzig: Barth.<\/p>\n

[12] Moebius, August Ferdinand. (1855) Die Theorie der Kreisverwandtschaft in rein geometrischer Darstellung<\/a>. In [13], vol. II, 243\u2013314.<\/p>\n

[13] Moebius, August Ferdinand. (1855\u20131887) Gesammelte Werke<\/em><\/a>. K\u00f6niglich s\u00e4chsischen Gesellschaft der Wissenschaften. Leipzig: S. Hirzel.<\/p>\n

[14] Monge, Gaspard. (1799) G\u00e9om\u00e9trie descriptive. Le\u00e7ons donn\u00e9e aux \u00c9coles normales, l\u2019an 3 de la R\u00e9publique <\/em>(1797)<\/a>. Paris: Baudouin.<\/p>\n

[15] Pascal, Blaise. (1640) Essay pour les coniques<\/em><\/a>, English translation in [16], 180\u2013184.<\/p>\n

[16] Field, J. V., and J. J. Gray. (1987) The Geometrical Work of Girard Desargues<\/em><\/a>. New York: Springer.<\/p>\n

[17] Pl\u00fccker, Julius. (1831) Analytisch-Geometrische Entwicklungen<\/em><\/a>. Vol. 2. Essen: Baedeker.<\/p>\n

[18] Poncelet, J. V. (1813) 7 cahiers de 1813\u201314. In [21], i: 1\u2013 441.<\/p>\n

[19] Poncelet, J. V. (1820) Essai sur les propri\u00e9t\u00e9s projectives des sections coniques<\/a>. In [21], ii: 365\u2013441.<\/p>\n

[20] Poncelet. J. V. (1822) Trait\u00e9 des Propri\u00e9t\u00e9s Projectives des Figures<\/em><\/a>. Paris: Bachelier.<\/p>\n

[21] Poncelet, J. V. (1862\/4) Applications d\u2019analyse et de g\u00e9om\u00e9trie qui ont servi, en 1822, de principal fondement au trait\u00e9 des propri\u00e9t\u00e9s projectives des figures, etc<\/em><\/a>.<\/em> 2 vol. Paris: Mallet-Bachelier.<\/p>\n

[22] Riemann, Bernhard (1854) \u00dcber die Hypothesen welche der Geometrie zu Grunde liegen<\/a>, lecture of 1854 at the University of G\u00f6ttingen. In Abhandlungen der K\u00f6niglichen Gesellschaft der Wissenschaften zu G\u00f6ttingen<\/em>, xiii:133\u2013150. 1868.<\/p>\n

[23] Steiner, Jacob. (1832) Systematische Entwicklung der Abh\u00e4ngigkeit geometrischer Gestalten<\/em><\/a>. Vol. 1. Berlin: G. Fincke. In Jacob Steiner\u2019s Gesammelte Werke<\/em>, edited by K. Weierstrass, i:229\u2013460. Berlin: G. Reimer, 1881.<\/p>\n

[24] von Staudt, K. G. C. (1847) Geometrie der Lage<\/em><\/a>. N\u00fcrnberg: Bauer und Raspe.<\/p>\n

[25] von Staudt, K. G. C. (1856) Beitr\u00e4ge zur Geometrie der Lage<\/em><\/a>. 3 vol. N\u00fcrnberg: Bauer und Raspe.<\/p>\n

\u00a0<\/p>\n","protected":false},"author":11,"template":"","section":[58],"keyword":[469,370],"class_list":["post-16325","article","type-article","status-publish","hentry","section-cshpm-notes","keyword-history-of-geometry","keyword-history-of-mathematics"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":"swatson"},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Baltus"},"author-given-names":{"type":"textfield","raw":"Christopher"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":"christopher.baltus@oswego.edu"},"author-institution":{"type":"textfield","raw":"SUNY Oswego [retired]"},"author-cms-role":{"type":"textfield","raw":""}},"unknown":{"downloadable-pdf":{"type":"file","raw":"https:\/\/notes.math.ca\/wp-content\/uploads\/2023\/10\/4-Geometric-Transformations-1800\u20131855-\u2013-CMS-Notes.pdf","attachment_id":16671},"article-toc-weight":{"type":"numeric","raw":"4"},"author-surname":{"type":"textfield","raw":"Baltus"},"author-given-names":{"type":"textfield","raw":"Christopher"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/16325","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":31,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/16325\/revisions"}],"predecessor-version":[{"id":16712,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/16325\/revisions\/16712"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=16325"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=16325"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=16325"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}