The Dome that Touches the Heavens - Institute of Mathematics and
Transcription
The Dome that Touches the Heavens - Institute of Mathematics and
4 Yamanoa, T. (2002) Some properties of q-logarithm and qexponential functions in Tsallis statistics, Physica A, vol. 305, pp. 486–496. 5 Johnson, N.L., Kotz, S. and Balakrishnan N. (1994) Continuous Univariate Distributions, 2nd edition, vol. 1, Wiley, New York. 6 Jones, M.C. and Pewsey, A. (2009) Sinh-arcsinh distributions, Biometrika, vol. 96, no. 4, pp. 761–780. 7 Tadikamalla, P.R. and Johnson, N.L. (1982) Systems of frequency curves generated by transformations of logistic variables, Biometrika, vol. 69, pp. 461–465. 8 Jones, M.C. (2008) The t family and their close and distant relations. Journal of the Korean Statistical Society, vol. 37, no. 4, pp. 293–302. 9 Gradshteyn, I.S. and Ryzhik I.M. (2007) Table of Integrals, Series, and Products, 7th edition, eds Jeffrey, A. and Zwillinger, D., Academic Press Inc. 10 Nelson, D.B. (1991) Conditional heteroskedasticity in asset returns: A new approach, Econometrica, vol. 59, pp. 347–370. 11 Markowitz, H. (1952) The utility of wealth, Journal of Political Economy, vol. 60, no. 2, pp. 151–158. 12 Friedman, M. and Savage, L.J. (1948) Utility analysis of choices involving risk, Journal of Political Economy, vol. 56, no. 4, pp. 279– 304. 13 Bailar, B.A. (1988) The mathematicians’ statistics has a subsidiary role, The College Mathematics Journal, vol. 19, no. 1, pp. 14–15. The Dome that Touches the Heavens Snezana Lawrence FIMA Haec Auguste, tamen, quae vertice sidera pulsat, par domus est caelo sed minor est domino (Yet though this Palace, Augustus, whose summit touches the stars, rivals heaven, it is not so great as its lord) Martial, Epigrams, VIII, vol. 36, no. 11–12. Bohn’s Classical Library (1897) T his year is the 50th year of the IMA and my 50th year too. Birthdays are times for celebration and reflection – to identify what really inspires us. Appropriately then, very soon, on my birthday, I will give a talk to a group of architects in Paris about when architecture inspired new mathematics and vice versa. One example is the invention of the catenary curve, which is popularly attributed to Sir Christopher Wren (1632–1723) and his design of St Paul’s Cathedral (built 1675–1720). Wren’s cathedral was the highest building in London from 1710 to the not so distant 1962. It was built after the Great Fire of London brought destruction to much of the city and changed the landscape not only of London, but of the building trade in England too. Until 1666, the masons’ guilds had an elaborate system of trade control over the whole of the region for which they were responsible. After the Great Fire, the need for rebuilding the city so far exceeded the skilled labour available that the whole structure of the existing trade controls had to be relaxed in order to attract and maintain a sufficient number of skilled workers. At the same time, the set of skills for master builders changed: a new group emerged, that of architects. Some decades earlier, the first coherent designs which could be replicated easily began to circulate: Inigo Jones (1573–1652) studied and developed his own style of Palladian villa and became probably the first famous English architect. The role of architect as a designer and supervisor was from thereon forever divided from the actual execution of the building. Wren came into this architectural world from Oxford when this practice was only just taking hold. Whilst Wren remained very close to the builders with whom he collaborated, he was very much a new type of architect too – one whose ideas were based on mathematical principles. Wren studied Latin and Natural Philosophy at Oxford, but became known as someone who connected scientific geometry with architecture. As such he was approached to redesign the fortification at Tangier. He didn’t accept this task, but the offer demonstrates that his interest and knowledge of geometry and mathematics applied to architecture were well known. As a result it wasn’t long before Wren worked on the overdue repairs of the Old St Paul’s in 1661. Over the next five years, Wren also designed the chapel of Pembroke College in Cambridge and the Sheldonian Theatre next to the Bodleian Library in Oxford. As part of the repairs on the Old St Paul’s, Wren submitted the proposals to redesign its dome. This design was accepted on 27 August 1666, but only a week later the Great Fire reduced the Old St Paul’s to rubble. Wren’s design therefore had to be re-examined. The redesign included several new mathematical approaches for the new cathedral and dome. To go and see St Paul’s dome is a multi-layered experience – what you see outside is not what you see inside. The dome of the cathedral is actually a three-dome nested structure. The inner dome is lower than the outside one so that the dome is striking when viewed from both inside and outside. The middle dome, nested between the inside and outside domes gives structural support to the outer dome and provides enough strength for the lantern which the external dome could not support alone. Figure 1: Sketch showing how a cubic was used to model the nested domes of St Paul’s Cathedral.1 Mathematics TODAY APRIL 2014 101 Contrary to the quite widely spread popular belief, Wren did not use the model of a catenary curve for his designs of St Paul’s dome. His sketch (Figure 1) from around 1690 shows that he used the simplest form of cubic, y = x3 , for the middle dome. Things are not so simple though: Wren and Robert Hooke worked on the catenary and were certainly close collaborators who shared some insight on this topic. Robert Hooke’s (1635– 1703) paper A Description of Helioscopes, and Some Other Instruments [1] gave an anagram for how to build a perfect arch in an appendix. For the next 30 years, this puzzle remained unsolved, and the secret remained safe. The anagram referred to a simple, effective, and quite beautiful finding that the shape of a flexible cord or a chain, which can carry a certain load, can be used inverted to model an arch that can carry the same load. The answer was not published until Hooke’s death; in 1705 the executor of his will provided the full text in Latin: Ut pendet continuum flexile, sic stabit contiguum rigidum inversum – As hangs a flexible cable so inverted stand the touching pieces of an arch. Both Hooke and his friend Wren knew that this type of curve, called a catenary (derived from catena, Latin for chain), is not the same as a parabola or cubic parabola (see Figure 2), but they were unable to give an exact mathematical equation to describe it. Hooke presented a paper to the Royal Society in 1670 on the application which could, in three dimensions, be used to build perfect domes. In his paper a dome is formed by the cubicoparabolic conoid, which is created by the the rotation of half the cubic parabola y = x3 about the y-axis. Both Wren and Hooke were aware that the cubico-parabolic conoid was an approximation to the ideal surface but did not come up with the curve’s mathematical formulation: that was to come from continental mathematicians James Bernoulli (1655–1705), Leibniz (1646–1716) and Huygens (1629–1695). basket in a shop in Oxford (see Figure 3). He apparently noticed that if one of the ‘osiers’ led around the axis of a cylinder and preserving that oblique position with respect to the axis would describe that concavoconvex surface, and so cylindroids of that sort could be made on a lathe by means of a straight steel tool held in a position oblique to the axis of the cylinder, the section of which through the axis will be that curved line [3]. These two examples of Wren’s mathematics are quite different in scale but both deal with mathematics of surfaces. They show us how mathematics can help us both make sense of and build our world. Wren used a simple object – a wicker basket – as the inspiration to describe and classify a geometric surface. He also used mathematics to build a sophisticated, elaborate, grandiose cathedral that will continue to adorn London’s skyline for centuries to come. Whilst the dome of St Paul’s may ‘touch the skies’ above it, it relies on the same mathematics Figure 3: Ruled that helps us understand the hyperhyperboloid.2 boloid. The dome suddenly does not seem more important than the hyperboloid, and the ‘lord’ (as in the starting quote of this article) of both is mathematics. A true source of inspiration to celebrate my birthday, and the IMA’s. Notes 1. © The Trustees of the British Museum. 2. Department of Mathematics at the University of Arizona, Further reading 1 Bennett, J. (2002) The Mathematical Science of Christopher Wren, Cambridge University Press. 2 Heyman, J. (1998) Hooke’s cubico-parabolical conoid, Notes and Records of the Royal Society of London, vol. 52, no. 1, pp. 39–50. 3 Lehmann, K. (1945) The dome of heaven, The Art Bulletin, vol. 27, no. 1, pp. 1–27. Published by College Art Association. Figure 2: The perfect dome line compared with the cubic parabola and the hemisphere. As well as having a lasting influence on the landscape of London’s architecture via his structure of St Paul’s dome, Wren made some other mathematical discoveries. One of these is his understanding that a hyperboloid of revolution is a ruled surface. A surface is said to be ruled if through every point on it, a straight line can be drawn that lies on the surface. Wren described this in the paper he presented to the Royal Society in 1669 [2]. The anecdotal evidence suggests that Wren came up with the idea about describing and defining ruled surfaces by seeing a round wicker Mathematics TODAY APRIL 2014 102 References 1 Hooke, R. (1675) A Description of Helioscopes, and Some Other Instruments, London. 2 Wren, C. (1669) Generatio Corporis Cylindroidis Hyperbolici, Elaborandis Lenti bus Hyperbolicis Accommodati, Auth. Christophoro Wren L L D. et Regiorum Aedisiciorum Praefecto, Nec non Soc. Regiae Sodali, Phil. Trans., January 1, vol. 4, pp. 961–962; doi:10.1098/rstl.1669.0018. 3 Hall, A.R. and Hall M.B., Editors (1965) Correspondence of Henry Oldenburg, vol. 6, pp. 237–239, University of Wisconsin Press, Madison.