Follow on twitter: @thatsmaths
Image from Cover of Katok, 2007.
The motto of the Pythagoreans was “All is Number”. They saw numbers as the essence and foundation of the physical universe. For them, numbers meant the positive whole numbers, or natural numbers 
If we arrange the rational numbers on a line, there are gaps everywhere. We can fill these gaps by introducing additional numbers, which are the limits of sequences of rational numbers. This process of completion gives us the real numbers 
Roger Penrose, British mathematical physicist, mathematician and philosopher of science has just been named as one of the winners of the 2020 Nobel Prize in Physics. Penrose has made major contributions to general relativity and cosmology.
Impossible triangle sculpture in Perth, Western Australia [image Wikimedia Commons].
Continue reading ‘From Impossible Shapes to the Nobel Prize’
As everyone knows, a torus is different from a sphere. Topology is the study of properties that remain unchanged under continuous distortions. A square can be deformed into a circle or a sphere into an ellipsoid, whether flat like an orange or long like a lemon or banana.
Continue reading ‘Doughnuts and Dumplings are Distinct: Homopoty-101’
Donald E Knuth, designer of the \TeX mathematical typesetting system.
Mathematicians owe a great debt of gratitude to Donald Knuth. A renowned American computer scientist and mathematician, Knuth is an emeritus professor at Stanford University. He is author of many books, including the multi-volume work, The Art of Computer Programming.
Knuth is the author of the powerful and versatile mathematical typesetting system called TeX. The original version, designed and written by Knuth, was released in 1978.
TeX is a powerful system for typesetting mathematical formulae. It is ideal both for simple mathematical notes with few formulas and for more complex documents and books involving subtle and sophisticated mathematical typography. TeX is used by almost all research mathematicians. It is also popular in computer science, engineering, physics, statistics, and and many other sciences.
Let us imagine that we have a finite set 
Continue reading ‘Jung’s Theorem: Enclosing a Set of Points’
Pick a positive integer at random. What is the chance of it being 100? What or the odds that it is even? What is the likelihood that it is prime?
Probability distribution 
Continue reading ‘Think of a Number: What are the Odds that it is Even?’
Left: Argentine-American mathematician
Gregory Chaitin [image from here]. Right: American philosopher and logician
George Boolos [image Wikimedia Commons].
THE SMALLEST NATURAL NUMBER THAT CANNOT BE
DEFINED IN FEWER THAN TWENTY WORDS.
Continue reading ‘Berry’s Paradox and Gödel’s Incompleteness Theorem’
Many problems in applied mathematics involve the solution of a differential equation. Simple differential equations can be solved analytically: we can find a formula expressing the solution for any value of the independent variable. But most equations are nonlinear and this approach does not work; we must solve the equation by approximate numerical means. The big question is:
“Does the numerical solution resemble the true solution of the equation?”
The answer is: “Not necessarily”.
There are often specific criteria that must be satisfied to ensure that the answer `crunched out’ by the computer is a reasonable approximation to reality. Although the principles of numerical stability are quite general, they are best illustrated by simple examples. We will look at some of these below.
Smooth curve: True solution. Black dots: stable solution. Red dots: unstable solution (time step too large).
Continue reading ‘Does Numerical Integration Reflect the Truth?’
Jean Buridan (c. 1300-1360).
“Buridan’s Ass” is a paradox in philosophy, in which a hungry donkey, located at the mid-point between two bales of hay, is frozen in indecision about which way to go and faces starvation — he is unable to move one way or the other.
Jean Buridan was a French philosopher who lived in the fourteenth century. He was not interested in donkeys, but in human morality. He wrote that if two courses of action are judged to be morally equal, we must suspend a decision until the right course of action becomes clear. The idea of the paradox can be found in the writings of the ancients, including Aristotle.
Suppose that, in the course of an investigation, you stumble upon a string of whole numbers. You are convinced that there must be a pattern, but you cannot find it. All you have to do is to type the string into a database called OEIS — or simply “Slone’s” — and, if the string is recognized, an entire infinite sequence is revealed. If the string belongs to several sequences, several choices are offered. OEIS is a great boon to both professional mathematicians and applied scientists in fields like physics, chemistry, astronomy and biology.
The Home page of OEIS: https://oeis.org
Continue reading ‘The Online Encyclopedia of Integer Sequences’
We live in the age of “big data”. Voluminous data collections are mined for information using mathematical techniques. Problems in high dimensions are hard to solve — this is called “the curse of dimensionality”. Dimension reduction is essential in big data science. Many sophisticated techniques have been developed to reduce dimensions and reveal the information buried in mountains of data.
Learning calculus at school, we soon find out that while differentiation is relatively easy, at least for simple functions, integration is hard. So hard indeed that, in many cases, it is impossible to find a nice function that is the integral (or anti-derivative) of a given one. Thus, given 
The development of perspective in the early Italian Renaissance opened the doors of perception just a little wider. Perspective techniques enabled artists to create strikingly realistic images. Among the most notable were Piero della Francesca and Leon Battista Alberti, who invented the method of perspective drawing.
School of Athens, a fresco painted by Raphael in 1509-11 illustrates the power of perspective.
We open with a simple mathematical puzzle that is easily solved using only elementary reasoning. Imagine a party where some guests are friends while others are unacquainted. Then the following is always true:
No matter how many guests there are at the party, there are
always two guests with the same number of friends present.
If you wish, try proving this before reading on. The proof is outlined at the end of this post.
Complete graphs with 6 to 10 vertices.
John H Conway in 2009
[image Denise Applewhite, Princeton University].
John Horton Conway was a charismatic character, something of a performer, always entertaining his fellow-mathematicians with clever magic tricks, memory feats and brilliant mathematics. A Liverpudlian, interested from early childhood in mathematics, he studied at Gonville & Caius College in Cambridge, earning a BA in 1959. He obtained his PhD five years later, after which he was appointed Lecturer in Pure Mathematics.
In 1986, Conway moved to Princeton University, where he was Professor of Mathematics and John Von Neumann Professor in Applied and Computational Mathematics. He was awarded numerous honours during his career. Conway enjoyed emeritus status from 2013 until his death just two weeks ago on 11 April.
Ross-Littlewood Paradox [Image from Steemit website: here. ]
Typical Comic-book `bang’ mark [Image from vectorstock ].
which is approximately 
Continue reading ‘Bang! Bang! Bang! Explosively Large Numbers’
In his study of humane methods of hanging, Samuel Haughton (1866) considered the earliest recorded account of execution by hanging (see Haughton’s Drop on this site). In the twenty-second book of the Odyssey, Homer described how the twelve faithless handmaids of Penelope “lay by night enfolded in the arms of the suitors” who were vying for Penelope’s hand in marriage. Her son Telemachus, with the help of his comrades, hanged all twelve handmaids on a single rope.
Continue reading ‘Samuel Haughton and the Twelve Faithless Hangmaids’
A simple transformation with remarkable properties was used by Nikolai Zhukovsky around 1910 to study the flow around aircraft wings. It is defined by
and is usually called the Joukowsky Map. We begin with a discussion of the theory of fluid flow in two dimensions. Readers familiar with 2D potential flow may skip to the section Joukowsky Airfoil.
Visualization of airflow around a Joukowsky airfoil. Image generated using code on this website.
Around 1913, while still an undergraduate, American physicist Arthur Compton described an experiment to demonstrate the rotation of the Earth using a simple laboratory apparatus.
Finding the roots of polynomials has occupied mathematicians for many centuries. For equations up to fourth order, there are algebraic expressions for the roots. For higher order equations, many excellent numerical methods are available, but the results are not always reliable.
A 10th-order polynomial (blue) and a slightly perturbed version, with the coefficient of 
Continue reading ‘The Rambling Roots of Wilkinson’s Polynomial’
We take a fresh look at the vector differential operators grad, div and curl. There are many vector identities relating these. In particular, there are two combinations that always yield zero results:
Question: Is there a connection between these identities?
Vector analysis can be daunting for students. The theory can appear abstract, and operators like Grad, Div and Curl seem to be introduced without any obvious motivation. Concrete examples can make things easier to understand. Weather maps, easily obtained on the web, provide real-life applications of vector operators.
Fig. 1. An idealized scalar field representing the mean sea-level atmospheric pressure over the North Atlantic area.
Continue reading ‘Grad, Div and Curl on Weather Maps: a Gateway to Vector Analysis’
Mathematicians have traditionally dealt with convergent series and shunned divergent ones. But, long ago, astronomers found that divergent expansions yield valuable results. If these so-called asymptotic expansions are truncated, the error is bounded by the first term omitted. Thus, by stopping just before the smallest term, excellent approximations may be obtained.
In 1985, cosmonaut Vladimir Dzhanibekov commanded a mission to repair the space station Salyut-7. During the operation, he flicked a wing-nut to remove it. As it left the end of the bolt, the nut continued to spin in space, but every few seconds, it turned over through 
Flipping nut [image from Veritasium].
One of the most remarkable and important mathematical results obtained by Archimedes was the determination of the volume of a sphere. Archimedes used a technique of sub-dividing the volume into slices of known cross-sectional area and adding up, or integrating, the volumes of the slices. This was essentially an application of a technique that was — close to two thousand years later — formulated as integral calculus.
Cone, sphere and cylinder on the same base. The volumes are in the ratios 1 : 2 : 3 [image from mathigon.org].
Introduction
The circular functions arise from ratios of lengths in a circle. In a similar manner, the elliptic functions can be defined by means of ratios of lengths in an ellipse. Many of the key properties of the elliptic functions follow from simple geometric properties of the ellipse.
Originally, Carl Gustav Jacobi defined the elliptic functions 
He called 
Continue reading ‘Elliptic Trigonometry: Fun with “sun”, “cun” and “dun”’
It is fascinating to watch a top spinning. It seems to defy gravity: while it would topple over if not spinning, it remains in a vertical position as long as it is spinning rapidly.
There are many variations on the simple top. The gyroscope has played a vital role in navigation and in guidance and control systems. Many similar rotating toys have been devised. These include rattlebacks, tippe-tops and the Euler disk. The figure below shows four examples.
(a) Simple top, (b) Rising egg, (c) Tippe-top, (d) Euler disk. [Image from website of Rod Cross.]
Every branch of mathematics has key results that are so
important that they are dubbed fundamental theorems.
The customary view of mathematical research is that of establishing the truth of propositions or theorems by rigorous deduction from axioms and definitions. Mathematics is founded upon axioms, basic assumptions that are taken as true. Logical reasoning is then used to deduce the consequences of those axioms with each major result designated as a theorem.
As each new theorem is proved, it provides a basis for the establishment of further results. The most important and fruitful theorem in each area of maths is often named as the fundamental theorem of that area. Thus, we have the fundamental theorems of arithmetic, algebra and so on. For example, the fundamental theorem of calculus gives the relationship between differential calculus and integral calculus.
Augustin-Louis Cauchy (1789–1857)
If you love mathematics and have never studied complex function theory, then you are missing something wonderful. It is one of the most beautiful branches of maths, with many amazing results. Don’t be put off by the name: complex does not mean complicated. With elementary calculus and a basic knowledge of imaginary numbers, a whole world of wonder is within your grasp.
In the early nineteenth century, Augustin-Louis Cauchy (1789–1857) constructed the foundations of what became a major new branch of mathematics, the theory of functions of a complex variable.
Given a function 
A rational function with five real zeros and a pole at x = 1.
The Sacks Spiral.
The prime numbers have presented mathematicians with some of their most challenging problems. They continue to play a central role in number theory, and many key questions remain unsolved.
Order and Chaos
The primes have many intriguing properties. In his article “The first 50 million prime numbers”, Don Zagier noted two contradictory characteristics of the distribution of prime numbers. The first is the erratic and seemingly chaotic way in which the primes “grow like weeds among the natural numbers”. The second is that, when they are viewed in the large, they exhibit “stunning regularity”.
Many problems in probability are solved by assuming independence of separate experiments. When we toss a coin, it is assumed that the outcome does not depend on the results of previous tosses. Similarly, each cast of a die is assumed to be independent of previous casts.
However, this assumption is frequently invalid. Draw a card from a shuffled deck and reveal it. Then place it on the bottom and draw another card. The odds have changed: if the first card was an ace, the chances that the second is also an ace have diminished.
The Wilberforce Spring (often called the Wilberforce pendulum) is a simple mechanical device that illustrates the conversion of energy between two forms. It comprises a weight attached to a spring that is free to stretch up and down and to twist about its axis.
Wilberforce spring [image from Wikipedia Commons].}
However, due to a mechanical coupling between the stretching and torsion, there is a link between stretching and twisting motions, and the energy is gradually converted from vertical oscillations to axial motion about the vertical. This motion is, in turn, converted back to vertical oscillations, and the cycle continues indefinitely, in the absence of damping.
The conversion is dependent upon a resonance condition being satisfied: the frequencies of the stretching and twisting modes must be very close in value. This is usually achieved by having small adjustable weights mounted on the pendulum.
There are several videos of a Wilberforce springs in action on YouTube. For example, see here.
Continue reading ‘The curious behaviour of the Wilberforce Spring.’
In (mathematical) billiards, the ball travels in a straight line between impacts with the boundary, when it changes suddenly and discontinuously We can approximate the hard-edged, flat-bedded billiard by a smooth sloping surface, that we call a “ballyard”. Then the continuous dynamics of the ballyard approach the motions on a billiard.
Elliptical tray in the form of a Ballyard.
We will describe some generic behaviour patterns of dynamical systems. In many systems, the orbits exhibit characteristic patterns called boxes and loops. We first describe orbits for a simple pendulum, and then look at some systems in higher dimensions.
Phase portrait for a simple pendulum. Each line represents a different orbit.
“Typus Arithmeticae” is a woodcut from the book Margarita Philosophica by Gregor Reisch of Freiburg, published in 1503. In the centre of the figure stands Arithmetica, the muse of mathematics. She is watching a competition between the Roman mathematician Boethius and the great Pythagoras. Boethius is crunching out a calculation using Hindu-Arabic numerals, while Pythagoras uses a counting board or abacus (tabula) and – presumably – a less convenient number system. Arithmetica is looking with favour towards Boethius. He smiles smugly while Pythagoras is looking decidedly glum.
The figure aims to show the superiority of the Hindu-Arabic number system over the older Greek and Roman number systems. Of course, it is completely anachronistic: Pythagoras flourished around 500 BC and Boethius around AD 500, while the Hindu-Arabic numbers did not arrive in Europe until after AD 1200.
Bernard Bolzano (1781-1848)
Bernard Bolzano, born in Prague in 1781, was a Bohemian mathematician with Italian origins. Bolzano made several profound advances in mathematics that were not well publicized. As a result, his mathematical work was overlooked, often for many decades after his death. For example, his construction of a function that is continuous on an interval but nowhere differentiable, did not become known. Thus, the credit still goes to Karl Weierstrass, who found such a function about 30 years later. Boyer and Merzbach described Bolzano as “a voice crying in the wilderness,” since so many of his results had to be rediscovered by other workers.
Continue reading ‘Bernard Bolzano, a Voice Crying in the Wilderness’
For many decades, a search has been under way to find a theory of everything, that accounts for all the fundamental physical forces, including gravity. The dictum “physics is geometry” is a guiding principle of modern theoretical physics. Einstein’s General Theory of Relativity, which emerged just one hundred years ago, is a crowning example of this synergy. He showed how matter distorts the geometry of space and this geometry determines the motion of matter. The central idea is encapsulated in an epigram of John A Wheeler:
From cheetahs chasing gazelles, through coastguards saving shipwrecked sailors, to missiles launched at enemy aircraft, strategies of pursuit and evasion play a role in many areas of life (and death). From pre-historic times we have been solving such pursuit problems. The survival of our early ancestors depended on their ability to acquire food. This involved chasing and killing animals, and success depended on an understanding of relative speeds and optimal pursuit paths.
There are many ways of evaluating
Johannes Kepler. Stamp issued by the German Democratic Republic in 1971, the 400th anniversary of Kepler’s birth.
Kepler formulated three remarkable laws of planetary motion. He deduced them directly from observations of the planets, most particularly of the motion of Mars. The first two laws appeared in 1609 in Kepler’s Astronomia Nova. The first law (K1) describes the orbit of a planet as an ellipse with the Sun at one focus. The second law (K2) states that the radial line from Sun to planet sweeps out equal areas in equal times; we now describe this in terms of conservation of angular momentum.
The third law (K3), which appeared in 1619 in Kepler’s Harmonices Mundi, is of a different character. It does not relate to a single planet, but connects the motions of different planets. It states that the squares of the orbital periods vary in proportion to the cubes of the semi-major axes. For circular orbits, the period squared is proportional to the radius cubed.
Sometimes proofs of long-outstanding problems emerge without prior warning. In the 1990s, Andrew Wiles proved Fermat’s Last Theorem. More recently, Yitang Zhang announced a key result on bounded gaps in the prime numbers. Both Wiles and Zhang had worked for years in isolation, keeping abreast of developments but carrying out intensive research programs unaided by others. This ensured that they did not have to share the glory of discovery, but it may not be an optimal way of making progress in mathematics.
Polymath
Timothy Gowers in 2012 [image Wikimedia Commons].
Is massively collaborative mathematics possible? This was the question posed in a 2009 blog post by Timothy Gowers, a Cambridge mathematician and Fields Medal winner. Gowers suggested completely new ways in which mathematicians might work together to accelerate progress in solving some really difficult problems in maths. He envisaged a forum for the online discussion of problems. Anybody interested could contribute to the discussion. Contributions would be short, and could include false routes and failures; these are normally hidden from view so that different workers repeat the same mistakes.
Continue reading ‘Massive Collaboration in Maths: the Polymath Project’
Sitting at the breakfast table, I noticed that a small cereal bowl placed within another larger one was rocking, and that the period became shorter as the amplitude died down. What was going on?
A small bowl with its handles resting on the rim of a larger bowl. The handles are approximately elliptical in cross-section.
Under mild simplifying assumptions, a projectile follows a parabolic trajectory. This results from Newton’s law of motion. Thus, for a fixed energy, there is an accessible region around the firing point comprising all the points that can be reached. We will derive a mathematical description for this kill-zone (the term kill-zone, used for dramatic effect, is the region embracing all the points that can be reached by a sniper’s bullet, given a fixed muzzle velocity).
Family of trajectories with fixed initial speed and varying launch angles. Two particular trajectories are shown in black. Continue reading ‘The Kill-zone: How to Dodge a Sniper’s Bullet’
Paper-folding is a recurring theme in mathematics. The art of origami is much-loved by many who also enjoy recreational maths. One particular folding problem is remarkably easy to state, but the solution remains elusive:
Given a map with M × N panels, how many different ways can it be folded?
Each panel is considered to be distinct, so two foldings are equivalent only when they have the same vertical sequence of the L = M × N layers.
Continue reading ‘Folding Maps: A Simple but Unsolved Problem’A Colloquium on Recreational Mathematics took place in Lisbon this week. The meeting, RMC-VI (G4GEurope), a great success, was organised by the Ludus Association, with support from several other agencies: MUHNAC, ULisboa, CMAF-IO, CIUHCT, CEMAPRE, and FCT. It was the third meeting integrated in the Gathering for Gardner movement, which celebrates the great populariser of maths, Martin Gardner. For more information about the meeting, see http://ludicum.org/ev/rm/19 .
The finite angular width of a ship’s turbulent wake at the horizon enables the Earth’s radius to be estimated.
By ignoring evidence, Flat-Earthers remain secure in their delusions. The rest of us benefit greatly from accurate geodesy. Satellite communications, GPS navigation, large-scale surveying and cartography all require precise knowledge of the shape and form of the Earth and a precise value of its radius.
The value of the recurring decimal 0.999999 … is a popular topic of conversation amongst amateur mathematicians of various levels of knowledge and expertise. Some of the discussions on the web are of little value or interest, but the topic touches on several subtle and deep aspects of number theory.
[Image Wikimedia Commons]
Continue reading ‘Really, 0.999999… is equal to 1. Surreally, this is not so!’
Surfaces of positive curvature (top), negative curvature (middle) and vanishing curvature (bottom) [image credit: NASA].
characterizes the intrinsic geometry of a surface.
Continue reading ‘Gaussian Curvature: the Theorema Egregium‘
