×

A relationship between the tractrix and logarithmic curves with mechanical applications. (English) Zbl 1442.70002

The authors point out a relation between the exponential curve and a tractrix, which means that, if one can trace one of these curves, then, by a very simple linkage device, one can also trace the other. The relationship is the following. Let \(B\) be a point on an exponential curve \(y=ae^{bx}\), let \(A\) be the point perpendicularly below it on the \(x\)-axis, and let \(C\) be the point where the tangent at \(B\) cuts the \(x\)-axis. Exponential functions have constant subnormal \(CA\), so this segment can be physically realised by a rigid rod of fixed length, from which the perpendicular \(AB\) extends like a carpenter’s square. As this device is moved along the axis, and \(B\) along the exponential curve, put another ruler along \(BC\) and mark the point \(D\) on it such that \(AD=AC\) (mechanically realised by a rigid rod of this length attached at \(A\) with its other end \(D\) constrained to move only along \(BC\)). The point \(D\) traces a tractrix. The same device could also be used to, conversely, trace the exponential curve if the tractrix is given.
The authors note that curve-tracing devices have played a significant role in the history of mathematics, both for constructive-foundational reasons and as a way of drawing solutions to differential equations without the need to solve them analytically. Exponential and tractional curves have figured prominently in this tradition, and good devices for tracing them were constructed in the 18th century. The authors’ result shows that a machine for tracing one of these curves can be readily repurposed into a machine for tracing the other. The historical devices were not based on such interconstructibility.

MSC:

70-03 History of mechanics of particles and systems
01A45 History of mathematics in the 17th century
01A50 History of mathematics in the 18th century
Full Text: DOI

References:

[1] B. Abdank-Abakanowicz. Die Integraphen: Die Integralkurven und ihre Anwendung. Leipzig: Teubner, 1889. · JFM 21.0291.02
[2] V. Blasjo. The myth of Leibniz’s proof of the fundamental theorem of calculus. Nieuw archief voor wiskunde, Serie 5, 16:1 (2015), 46-50. · Zbl 1357.01002
[3] V. Blasjo. Transcendental Curves in the Leibnizian Calculus. Academic Press, 2017. · Zbl 1381.01001
[4] H. J. Bos. Redefining Geometrical Exactness: Descartes’ Transformation of the Early Modern Concept of Construction. Springer Science & Business Media, 2001. · Zbl 0972.01020
[5] H. J. Bos. (1988). Tractional motion and the legitimation of transcendental curves. Centaurus 31, 9-62. · Zbl 0647.01005
[6] G. Capobianco, M. R. Enea, and G. Ferraro. Geometry and analysis in Euler’s integral calculus. Archive for History of Exact Sciences 71:1 (2017), 1-38. · Zbl 1360.01021
[7] R. Descartes. Oeuvres de Descartes, edited by Charles Adam and Paul Tannery. 12 vols. Paris: Cerf, 1897-1913.
[8] G. W. Leibniz. Supplementum geometriae dimensoriae, seu generalissima omnium tetragonismorum effectio per motum: similiterque multiplex constructio lineae ex data tangentium conditione. Acta Eruditorum anno MDCXCIII publicata, mensis Septembris, 1693, pp. 385-392. Also in G. W. Leibniz. Mathematische Schriften, vol. V, edited by C. I. Gerhardt and H. W. Schmidt. Halle, 1858. Reprint: Olms, Hildesheim, 1962, pp. 294-301.
[9] P. Milici. Tractional motion machines extend GPAC-generable functions. International Journal of Unconventional Computing 8:3 (2012), 221-233.
[10] P. Milici. A geometrical constructive approach to infinitesimal analysis: epistemological potential and boundaries of tractional motion. In From Logic to Practice, pp. 3-21. Springer, 2015. · Zbl 1431.01003
[11] M. Panza. Rethinking geometrical exactness. Historia Mathematica 38 (2011), 42-95. · Zbl 1225.01024
[12] J. Perks. The construction and properties of a new quadratrix to the hyperbola. Philosophical Transactions of the Royal Society of London 25 (1706), 2253-2262.
[13] J. Perks. An easy mechanical way to divide the nautical meridian line in Mercator’s projection, with an account of the relation of the same meridian line to the curva catenaria. Philosophical Transactions of the Royal Society of London 29 (1714-1716), 331-339.
[14] G. Poleni. Epistolarum mathematicarum fasciculus, Patavii: typis Seminarii, 1729.
[15] G. Suardi. Nuovi istromenti per la descrizione di diverse curve antiche e moderne e di molto altre, che servir possono alla speculazione de’ geometri, ed all’uso de’ pratici, Brescia: Rizzardi, 1752.
[16] D. Tournès. La construction tractionnelle des équations différentielles, Paris: Blanchard, 2009. · Zbl 1195.01002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.