Follow on twitter: @thatsmaths
Spiral of Theodorus [image Wikimedia Commons].
The square-root spiral is attributed to Theodorus, a tutor of Plato. It comprises a sequence of right-angled triangles, placed edge to edge, all having a common point and having hypotenuse lengths equal to the roots of the natural numbers.
The spiral is built from right-angled triangles. At the centre is an isosceles triangle of unit side and hypotenuse 
Rene Descartes
There are numerous branches of mathematics, from arithmetic, geometry and algebra at an elementary level to more advanced fields like number theory, topology and complex analysis. Each branch has its own distinct set of axioms, or fundamental assumptions, from which theorems are derived by logical processes. While each branch has its own flavour, character and methods, there are also strong overlaps and interdependencies. Several attempts have been made to construct a grand unified theory that embraces the entire field of maths [TM220 or search for “thatsmaths” at irishtimes.com].
We are all familiar with Pascal’s Triangle, also known as the Arithmetic Triangle (AT). Each entry in the AT is the sum of the two closest entries in the row above it. The 
M
In mechanical systems described by a set of differential equations, we normally specify a complete set of initial conditions to determine the motion. In many dynamical systems, some variables may easily be observed whilst others are hidden from view. For example, in astronomy, it is usual that angles between celestial bodies can be measured with high accuracy, while distances to these bodies are much more difficult to find and can be determined only indirectly.
Continue reading ‘Embedding: Reconstructing Solutions from a Delay Map’
Image credit: NASA.
The climate is changing, and we need to know what changes to expect and how soon to expect them. Earth system models, which simulate all relevant components of the Earth system, are the primary means of anticipating future changes of our climate [TM219 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Earth System Models simulate the changing climate’
Abstract: Continuity is defined relative to a topology. For two distinct topological spaces 
Continue reading ‘The Signum Function may be Continuous’
On a cold December night in 1976, a group of mathematicians assembled in a room in Trinity College Dublin for the inaugural meeting of the Irish Mathematical Society (IMS). Most European countries already had such societies, several going back hundreds of years, and it was felt that the establishment of an Irish society to promote the subject, foster research and support teaching of mathematics was timely [TM218 or search for “thatsmaths” at irishtimes.com].
The solution of many problems requires us to compute derivatives. Complex step differentiation is a method of computing the first derivative of a real function, which circumvents the problem of roundoff error found with typical finite difference approximations.
Rounding error and formula error as functions of step size 
is crucial: if is too large, the estimate of the derivative is poor, due to truncation error; if is too small, subtraction will cause large rounding errors. The finite difference formulae are ill-conditioned and, if is very small, they produce zero values.
Where it can be applied, complex step differentiation provides a stable and accurate method for computing 
Continue reading ‘Real Derivatives from Imaginary Increments’
[Image credit: NASA]
The Aperiodical is described on its `About’ page as “a meeting-place for people who already know they like maths and would like to know more”. The Aperiodical coordinates the Carnival of Mathematics (CoM), a monthly blogging roundup hosted on a different blog each month. Generally, the posts describe a collection of interesting recent items on mathematics from around the internet. This month, it is the turn of thatsmaths.com to host CoM.
Continue reading ‘Carnival of Mathematics’
Driving along the motorway on a busy day, you see brake-lights ahead and slow down until the flow grinds to a halt. The traffic stutters forward for five minutes or so until, mysteriously, the way ahead is clear again. But, before long, you arrive at the back of another stagnant queue. Hold-ups like this, with no apparent cause, are known as phantom traffic jams and you may experience several such delays on a journey of a few hours [TM216 or search for “thatsmaths” at irishtimes.com].
Traffic jams can have many causes [Image © Susanneiles.com. JPEG]
Atmospheric circulation systems have a wide variety of structures and there is no single mechanistic model that describes all their characteristics. However, we can construct simple kinematic models that capture some primary aspects of the flow. For simplicity, we will concentrate on idealized extra-tropical depressions. We will not consider hurricanes and tropical storms in any detail, because the effects of moisture condensation and convection dominate their behaviour.
An isometry on a metric space is a one-to-one distance-preserving transformation on the space. The Euclidean group 
Is space continuous or discrete? Is it smooth, without gaps or discontinuities, or granular with a limit on how small a distance can be? What about time? Can time be repeatedly divided into smaller periods without any limit, or is there a shortest interval of time? We don’t know the answers. There is much we do not know about physical reality: is the universe finite or infinite? Are space and time arbitrarily divisible? Does our number system represent physical space and time? [TM215 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘All Numbers Great and Small’
The realization that the circumference of a circle is related in a simple way to the diameter came at an early stage in the development of mathematics. But who was first to prove that all circles are similar, with the ratio of circumference 
Continue reading ‘Approximating the Circumference of an Ellipse’
Before too long, we will be relieved of the burden of long-distance driving. Given the desired destination and access to a mapping system, electronic algorithms will select the best route and control the autonomous vehicle, constantly monitoring and adjusting its direction and speed of travel. The origins of the methods used for autonomous navigation lie in the early 1960s, when the space race triggered by the Russian launch of Sputnik I was raging [TM214 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Kalman Filters: from the Moon to the Motorway’
Ceres (bottom left), the Moon and Earth, shown to scale [Image NASA].
From a hilltop, the horizon lies below the horizontal level at an angle called the “dip”. Around AD 1020, the brilliant Persian scholar al-Biruni used a measurement of the dip, from a mountain of known height, to get an accurate estimate of the size of the Earth. It is claimed that his estimate was within 1% of the true value but, since he was not aware of atmospheric refraction and made no allowance for it, this high precision must have been fortuitous [TM213 or search for “thatsmaths” at irishtimes.com].
Snowdonia photographed from the Ben of Howth, 12 January 2021. Photo: Niall O’Carroll (Instagram).
Abu Rayhan al-Biruni (AD 973–1048)
Al Biruni at Persian Scholars Pavilion in Vienna.
The 11th century Persian mathematician Abu Rayhan al-Biruni used simple trigonometric results to estimate the radius and circumference of the Earth. His estimate has been quoted as 6,340 km, which is within 1% of the mean radius of 6,371 km. While al-Biruni’s method was brilliant and, for its era, spectacular, the accuracy claimed must be regarded with suspicion.
Al-Biruni assumed that the Earth is a perfect sphere of (unknown) radius 
Pascal’s triangle is one of the most famous of all mathematical diagrams, simple to construct and yet rich in mathematical patterns. These can be found by a web search, but their discovery by study of the diagram is vastly more satisfying, and there is always a chance of finding something never seen before [TM212 or search for “thatsmaths” at irishtimes.com].
Pascal’s triangle as found in Zhu Shiji’s treatise The Precious Mirror of the Four Elements (1303).
Continue reading ‘The Simple Arithmetic Triangle is full of Surprises’
The Tower of Hanoi is a famous mathematical puzzle. A set of disks of different sizes are stacked like a cone on one of three rods, and the challenge is to move them onto another rod while respecting strict constraints:
Tower of Hanoi [image Wikimedia Commons].
A truncated octahedron within the coronavirus [image from Cosico et al, 2020].
For many centuries, mathematicians struggled to derive Euclid’s fifth postulate as a theorem following from the other axioms. All attempts failed and, in the early nineteenth century, three mathematicians, working independently, found that consistent geometries could be constructed without the fifth postulate. Carl Friedrich Gauss (c. 1813) was first, but he published nothing on the topic. Nikolai Ivanovich Lobachevsky, around 1830, and János Bolyai, in 1832, published treatises on what is now called hyperbolic geometry.
Weather forecasting relies on supercomputers, used to solve the mathematical equations that describe atmospheric flow. The accuracy of the forecasts is constrained by available computing power. Processor speeds have not increased much in recent years and speed-ups are achieved by running many processes in parallel. Energy costs have risen rapidly: there is a multimillion Euro annual power bill to run a supercomputer, which may consume something like 10 megawatts [TM210 or search for “thatsmaths” at irishtimes.com].
The characteristic butterfly pattern for solutions of Lorenz’s equations [Image credit: source unknown].
Scene from John Ford’s Stagecoach (1939).
Remember the old cowboy movies? As the stage-coach comes to a halt, the wheels appear to spin backwards, then forwards, then backwards again, until the coach stops. How can this be explained?
In Euclidean geometry, all lengths, areas and volumes are relative. Once a unit of length is chosen, all other lengths are given in terms of this unit. Classical geometry could determine the lengths of straight lines, the areas of polygons and the volumes of simple solids. However, the lengths of curved lines, areas bounded by curves and volumes with curved surfaces were mostly beyond the scope of Euclid. Only a few volumes — for example, the sphere, cylinder and cone — could be measured using classical methods.
In a famous lecture in 1959, scientist and author C P Snow spoke of a gulf of comprehension between science and the humanities, which had become split into “two cultures”. Many people in each group had a lack of appreciation of the concerns of the other group, causing grave misunderstandings and making the world’s problems more difficult to solve. Snow compared ignorance of the Second Law of Thermodynamics to ignorance of Shakespeare [TM209 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Entropy and the Relentless Drift from Order to Chaos’
If circles are drawn in and around an equilateral triangle (a regular trigon), the ratio of the radii is 
Kepler was unable to construct an accurate model using polygons, but he noted that, if successive polygons with an increasing number of sides were inscribed within circles, the ratio did not diminish indefinitely but appeared to tend towards some limiting value. Likewise, if the polygons are circumscribed, forming successively larger circles (see Figure below), the ratio tends towards the inverse of this limit. It is only relatively recently that the limit, now known as the Kepler-Bouwkamp constant, has been established.
Continue reading ‘Circles, polygons and the Kepler-Bouwkamp constant’Space weather, first studied in the 1950’s, has grown in importance with recent technological advances. It concerns the influence on the Earth’s magnetic field and upper atmosphere of events on the Sun. Such disturbances can enhance the solar wind, which interacts with the magnetosphere, with grave consequences for navigation. Space weather affects the satellites of the Global Positioning System, causing serious navigation problems [TM208 or search for “thatsmaths” at irishtimes.com].
A slice of Swiss cheese has one-dimensional holes;
a block of Swiss cheese has two-dimensional holes.
What is the dimension of a point? From classical geometry we have the definition “A point is that which has no parts” — also sprach Euclid. A point has dimension zero, a line has dimension one, a plane has dimension two, and so on.
Continue reading ‘The Dimension of a Point that isn’t there’
Queueing system with several queues, one for each serving point [Wikimedia Commons].
Queueing is a bore and waiting to be served is one of life’s unavoidable irritants. Whether we are hanging onto a phone, waiting for response from a web server or seeking a medical procedure, we have little choice but to join the queue and wait. It may surprise readers that there is a well-developed mathematical theory of queues. It covers several stages of the process, from patterns of arrival, through moving gradually towards the front, being served and departing [TM207 or search for “thatsmaths” at irishtimes.com].
Elie Cartan (1869–1951).
The theory of exterior calculus of differential forms was developed by the influential French mathematician Élie Cartan, who did fundamental work in the theory of differential geometry. Cartan is regarded as one of the great mathematicians of the twentieth century. The exterior calculus generalizes multivariate calculus, and allows us to integrate functions over differentiable manifolds in
The fundamental theorem of calculus on manifolds is called Stokes’ Theorem. It is a generalization of the theorem in three dimensions. In essence, it says that the change on the boundary of a region of a manifold is the sum of the changes within the region. We will discuss the basis for the theorem and then the ideas of exterior calculus that allow it to be generalized. Finally, we will use exterior calculus to write Maxwell’s equations in a remarkably compact form.
Image © easycalculation.com
The starting point for rigorous reasoning in maths is a system of axioms. An axiom is a statement that is assumed, without demonstration, to be true. The Greek mathematician Thales is credited with introducing the axiomatic method, in which each statement is deduced either from axioms or from previously proven statements, using the laws of logic. The axiomatic method has dominated mathematics ever since [TM206 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Goldbach’s Conjecture: if it’s Unprovable, it must be True’
The cycloid, the locus of a point on the rim of a rolling disk.
The Cycloid
The cycloid is the locus of a point fixed to the rim of a circular disk that is rolling along a straight line (see figure). The parametric equations for the cycloid are
where 
* * * * *
That’s Maths II: A Ton of Wonders
by Peter Lynch now available.
Full details and links to suppliers at
http://logicpress.ie/2020-3/
>> Review in The Irish Times <<
* * * * *
Continue reading ‘Mamikon’s Theorem and the area under a cycloid arch’
Current climate prediction models are markedly defective, even in reproducing the changes that have already occurred. Given the great importance of climate change, we must identify the causes of model errors and reduce the uncertainty of climate predictions [TM205 or search for “thatsmaths” at irishtimes.com].
Schematic diagram of some key physical processes in the climate system.
Continue reading ‘Machine Learning and Climate Change Prediction’
A ring torus (or, simply, torus) is a surface of revolution generated by rotating a circle about a coplanar axis that does not intersect it. We let 
Generating a ring torus by rotating a circle of radius
From the name of the Persian polymath Al Khwarizmi, who flourished in the early ninth century, comes the term algorithm. An algorithm is a set of simple steps that lead to the solution of a problem. An everyday example is a baking recipe, with instructions on what to do with ingredients (input) to produce a cake (output). For a computer algorithm, the inputs are the known numerical quantities and the output is the required solution [TM204 or search for “thatsmaths” at irishtimes.com].
Al Khwarizmi, Persian polymath (c. 780 – 850) [image, courtesy of Prof. Irfan Shahid].
Continue reading ‘Complexity: are easily-checked problems also easily solved?’
The Golden Key
The Basel problem was solved by Leonhard Euler in 1734 [see previous post]. His line of reasoning was ingenious, with some daring leaps of logic. The Basel series is a particular case of the much more general zeta function, which is at the core of the Riemann hypothesis, the most important unsolved problem in mathematics.
Euler treated the Taylor series for 
This enabled him to deduce the remarkable result
which he described as an unexpected and elegant formula.
Mathematicians are an odd bunch. Isaac Newton was decidedly unpleasant, secretive and resentful while Carl Friedrich Gauss, according to several biographies, was cold and austere, more likely to criticize than to praise. It is frequently claimed that a disproportionate number of mathematicians exhibit signs of autism and have significant difficulties with social interaction and everyday communication [TM203 or search for “thatsmaths” at irishtimes.com].
It is true that some of the greatest fit this stereotype, but the incomparable Leonhard Euler is a refreshing counter-example. He was described by his contemporaries as a generous man, kind and loving to his 13 children and maintaining his good-natured disposition even after he became completely blind. He is comforting proof that a neurotic personality is not essential for mathematical prowess.
Continue reading ‘Euler: a mathematician without equal and an overall nice guy’
The Basel problem was first posed by Pietro Mengoli, a mathematics professor at the University of Bologna, in 1650, the same year in which he showed that the alternating harmonic series sums to 
It is not immediately clear that this series converges, but this can be proved without much difficulty, as was first shown by Jakob Bernoulli in 1689. The sum is approximately 1.645 which has no obvious interpretation.
* * * * *
That’s Maths II: A Ton of Wonders
by Peter Lynch has just appeared.
Full details and links to suppliers at
http://logicpress.ie/2020-3/
* * * * *
Continue reading ‘The Basel Problem: Euler’s Bravura Performance’
Anyone who lives by the sea is familiar with the regular ebb and flow of the tides. But we all live at the bottom of an ocean of air. The atmosphere, like the ocean, is a fluid envelop surrounding the Earth, and is subject to the influence of the Sun and Moon. While sea tides have been known for more than two thousand years, the discovery of tides in the atmosphere had to await the invention of the barometer [TM202 or search for “thatsmaths” at irishtimes.com].
We show in this post that an elegant continued fraction for 
Continue reading ‘Derangements and Continued Fractions for e’
Six students entering an examination hall place their cell-phones in a box. After the exam, they each grab a phone at random as they rush out. What is the likelihood that none of them gets their own phone? The surprising answer — about 37% whatever the number of students — emerges from the theory of derangements.
An old nursery rhyme begins “Monday’s child is fair of face / Tuesday’s child is full of grace”. Perhaps character and personality were determined by the weekday of birth. More likely, the rhyme was to help children learn the days of the week. But how can we determine the day on which we were born without the aid of computers or calendars? Is there an algorithm – a recipe or rule – giving the answer? [TM201 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘On what Weekday is Christmas? Use the Doomsday Rule’
The Riemann Hypothesis (RH) states that all the non-trivial (non-real) zeros of the zeta function lie on a line, the critical line, 
The non-trivial zeros of 
eigenvalues of a hermitian operator.
Is there a Riemann operator? What could this operater be? What dynamical system would it represent? Are prime numbers and quantum mechanics linked? Will RH be proved by a physicist?
This last question might make a purest-of-the-pure number theorist squirm. But it is salutary to recall that, of the nine papers that Riemann published during his lifetime, four were on physics!
When decorating our Christmas trees, we aim to achieve an aesthetic balance. Let’s suppose that there is a plenitude of baubles, but that their colour range is limited. We could cover the tree with bright shiny balls, but to have two baubles of the same colour touching might be considered garish. How many colours are required to avoid such a catastrophe? [TM200 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Decorating Christmas Trees with the Four Colour Theorem’
The phrase `squaring the circle’ generally denotes an impossible task. The original problem was one of three unsolved challenges in Greek geometry, along with trisecting an angle and duplicating a cube. The problem was to construct a square with area equal to that of a given circle, using only straightedge and compass.
The earthly globe is spherical; more precisely, it is an oblate spheroid, like a ball slightly flattened at the poles. More precisely still, it is a triaxial ellipsoid that closely approximates a “geoid”, a surface of constant gravitational potential [TM199 or search for “thatsmaths” at irishtimes.com].
Transverse Mercator projection with central meridian at Greenwich.
Continue reading ‘Ireland’s Mapping Grid in Harmony with GPS’
Georg Cantor developed a remarkable theory of infinite sets. He was the first person to show that not all infinite sets are created equal. The number of elements in a set is indicated by its cardinality. Two sets with the same cardinal number are “the same size”. For two finite sets, if there is a one-to-one correspondence — or bijection — between them, they have the same number of elements. Cantor extended this equivalence to infinite sets.
Weather forecasts are getting better. Fifty years ago, predictions beyond one day ahead were of dubious utility. Now, forecasts out to a week ahead are generally reliable [TM198 or search for “thatsmaths” at irishtimes.com].
Anomaly correlation of ECMWF 500 hPa height forecasts over three decades [Image from ECMWF].
ThatsMaths 
