Poleni's Instruments to Trace Transcendental Curves "By an Astonishingly Pure and Simple Method" Pietro Milici, [email protected]
Total Page:16
File Type:pdf, Size:1020Kb
Poleni's instruments to trace transcendental curves "by an astonishingly pure and simple method" Pietro Milici, [email protected] 1. Introduction During the 17th century, mathematicians radically modified their idea of a curve, transitioning from the trace of a machine to the solution of an equation. With that in mind, Descartes and Leibniz introduced theoretical machines (i.e. sketches to be considered mentally but not practically realized) to legitimate the geometrical status of algebraic and transcendental curves obtained as solutions of analytical equations. The general method to construct transcendental curves, in particular, was the solution of the inverse tangent problem by the so-called "tractional motion." At the end of the 19th century, integraphs practically implemented such ideas to mechanically plot the integral of a graphically defined function. A theoretical machine (left, Descartes' 17th c. mesolabe - cf. https://www.youtube.com/watch?v=jhwRBoOK40E) and a geometric-mechanical instrument (right, a 19th c. integraph designed by Abdank-Abakanowicz and produced by the Coradi firm - cf. https://www.historyofinformation.com/detail.php?id=1267). We are interested in the intermediate 18th-century perspective. In particular, we analyse the geometric instruments designed by Giovanni Poleni (1683-1761), polymath and Professor at the University of Padua in Italy. These instruments, which were technically similar to posterior integraphs1, had been described with an engineer's precision in a letter to Jacob Hermann who was Poleni's predecessor in the chair of Mathematics. The letter was included in the Epistolarum Mathematicarum Fasciculus [Poleni (1729)]. 2. The exactness of transcendental curves At the beginning of the 17th century, the development of algebra deeply shocked the mainstream geometrical setting. From this perspective, the groundbreaking Descartes' Géométrie (1637) proposed some criteria to define ideal machines to trace curves (synthetic part, construction by continuous motion) and from the other, it proposed polynomial equations as a suitable language to study such curves (analytic part, algebraic formulas).2 The description of curves by equations introduced the possibility of considering 1 The theoretical components of both instruments are linkages and wheels. While a general theory for linkages has been developed by Kempe with the Universality Theorem (every finite branch of a planar algebraic curve can be traced by an ideal linkage, cf. [Kempe (1876)]), limits of constructions by linkages and wheels have only recently been given by a Differential Universality Theorem (in this case the constructible functions are Differentially Algebraic ones, cf. [Milici (2020)]). 2 Cf. [Bos (2001)]. 1 curves thanks to their symbolic definitions, without an explicit mechanical procedure. That opened the road to an infinity of new curves that, with the mediation of algebra, can be studied with standardized methods. Adopting today's nomenclature, Descartes considered as acceptable curves the algebraic ones (i.e. zeros of a polynomial in two variables), marginalizing the non-algebraic ones, called transcendental. The Cartesian method was not able to solve two geometrical problems, a classical and a new one: to find the area of a curve and to solve the inverse tangent problem. Differently from the direct tangent problem (i.e. to find the tangent to a given curve), such an inverse problem consists in finding the curve whose tangent has to satisfy certain given conditions. The first example of an inverse tangent problem was posed by Florimond de Beaune to Descartes and consisted in finding the curve with constant subtangent (such a solution is an exponential curve). However, while this problem and Descartes' solution were purely theoretical geometrical exercises, the first concrete continuous construction of a curve by inverse tangent conditions was the tractrix, traced by Claude Perrault in Paris (in the 1670s) by dragging an extremity of the chain of a pocket watch: that marked the beginning of a new method for geometrical constructions, the "tractional motion." The cause of such a motion is that, for the friction of the clock on the base plane, the chain becomes in traction and always remains tangent to the curve defined by the watch. Beyond Huygens' preliminary studies, it was Leibniz who used this kind of constructions to justify the geometrical constructability of transcendental curves overcoming Cartesian canon. While for the analytical part he developed the infinitesimal calculus beyond finite algebraic equations, for the synthetic part he used the 3 tractional motion. Perrault's construction of a tractrix by dragging a pocket watch. The image on the left comes from Poleni's Letter to Hermann; on the right, there is a representation of the behaviour when the chain extremity A is pushed to the left starting from the position A0. If up to the end of the 17th century the attention to tractional construction was mainly focused on foundational facets, it was at the beginning of the 18th century that some tractional machines overcame the realm of theoretical ideas and became working instruments, mainly thanks to the introduction of a wheel instead of the dragged heavy load (the watch in Perrault's construction). 4 Such a technical improvement allowed the construction of quite precise machines tracing curves by solving inverse tangent problems, as Perks' and Poleni's machines for the tractrix and the quadrature of hyperbolas (i.e. the 3 Cf. [Bos (1988)], [Tournès (2009)] and [Blasjo (2017)]. 4 While the passage from dragged load to wheel is usually considered as a purely technological modification, it also implies different mathematical principles: while the direction of the wheel directly imposes the direction of the tangent, the geometrical condition posed when dragging a point is a bit more complicated, as visible in the preprint [Milici and Plantevin (2020)]. 2 exponential or related curves). We have to note that today it is believed that these machines were developed independently (differently from the machines of Suardi, a pupil of Poleni).5 3. The "Letter to Hermann" Mathematician, physician, astronomer and also interested in engineering studies, Poleni inaugurated in 1739 a unanimously praised laboratory of experimental physics at the University of Padua ("Teatro di Filosofia Sperimentale"6). However, even before the creation of the laboratory, he was always interested in machines: here we deal with a very particular kind of machines, the mathematical ones, specifically with the ones designed by himself. In his earliest paper [Poleni (1709)], Poleni proposed an operative arithmetic machine based on the ideas of Pascal and Leibniz, that he constructed and that was widely considered simple, easy to use and reliable. But when in 1727, by Marinoni's correspondence, Poleni knew of an improved version of the arithmetic machine by the Viennese Portrait of Giovanni Poleni mechanician Brauer, he destroyed his own and never rebuilt it.7 It is quite interesting that his only other work on mathematical machines followed quite shortly the destruction of the arithmetical one (we propose below an interpretation for this behaviour). In any case, the new machines introduced in the Letter to Hermann belong to a different field of mathematics, moving from arithmetics to geometry. As already introduced, these machines are the ones to trace the tractrix and the logarithmic curve (or exponential, as curves they coincide). They have been realized with particular attention on the precision of the traces and the easiness of the usability: this is well underlined by three recognized mathematicians close to Poleni (the comments of Antonio Conti, Gabriello Manfredi and Jacopo Riccati have been published with the Letter). Specifically, the title of this presentation comes from a comment of Riccati, that was amazed at how Poleni's machines permit to trace transcendental curves "by an astonishingly pure and simple method." From Poleni's foundational perspective, these machines had to prove the geometricity of the tractrix and logarithmic curves. While these curves were well known and generally accepted, for him a curve could only be considered geometrical if constructible by the continuous trace of a simple instrument, guaranteeing adequate usability and accuracy. Anyway, despite initial enthusiastic feedback from contemporaries such as Leonard Euler, such machines were soon forgotten, probably because geometric constructions fell out of favour in mainstream mathematics. While Poleni listed these machines among the artefacts in his cabinet of Experimental Philosophy, the model present today in the Paduan University collection doesn't fit with the description, as we show below. 5 To deepen these machines and also for the sketch of a new machine unifying them, cf. [Crippa and Milici (2019)]. 6 Cf. [Talas (2013)]. 7 Cf. [Hénin (2012)] or https://mathshistory.st-andrews.ac.uk/DSB/Poleni.pdf 3 Poleni's machines for the tractrix (left) and the logarithmic curve (right) in the Letter to Hermann. The machine previously classified as the one for the tractrix and the logarithmic curve (by courtesy of Sofia Talas, curator of the Physics Cabinet of the University of Padua). 4 Indeed, differences between the artefact in the collection and the designs of the Letter are visible since the first glance (e.g. the curved component in the right part). Furthermore, reading the description in Poleni's index,8 the machine differs in materials (wood pieces in the