I love this – which I picked up from Ian Stewart’s now slightly out-of-date (e.g., pre-proof of Fermat’s Last Theorem) and out-of-print The Problems of Mathematics (but a good read and on sale very cheaply at Amazon) – because it demonstrates the harmony of physics with maths, is based on a common experience and is also quite counter-

intuitive.

Most of us are familiar with the experience – if you walk on damp sand two things happen: firstly the area around our foot becomes suddenly dry and secondly, as we lift our foot off, the footprint fills with water. What is happening here?

Well, it turns out that the sand, before we stand on it, is in a locally optimised packing state – in other words, although the grains of sand are essentially randomly distributed they are packed together in a way that minimises (locally) the space between the grains. If they weren’t then even the smallest disturbance would force them into a better packed state and release the potential energy they store in their less efficiently packed state.

This doesn’t mean, of course, that they are packed in the most efficient way possible – just as they are randomly thrown together they fall into the locally available lowest energy state (this is the physics) which is the locally available best packing (this is the maths).

But this also means that when we stand on the sand we cannot actually be compressing it – because that would actually imply a form of perpetual motion as we created an ever lower energy state/even more efficient packing out of nothing. In fact we make the sand less efficiently compressed – the energy of our foot strike allowing the grains to reach a less compressed packing – and, as a result, create more space for the water in the surrounding sand to rush into: hence the sand surrounding our foot becomes drier as the water drains out of it and into where we are standing.

Then, as we lift our foot, we take away the energy that was sustaining the less efficient packing and the grains of sand rearrange themselves into a more efficient packing (or – to look at it in the physical sense – release the energy stored when we stand on the sand). This more efficient packing mean less room for the water in the sand and so the space left by our foot fills with water expelled from the sand.

Here is a MetaPost generated picture of the first 14% or so movements of an inner circle one quarter of the size of the outer circle (as might be found on a spirograph). This eventually generates the astroid pattern. The red arrows follow the movement of a fixed point on the smaller circle – as you can see it moves clockwise while the smaller circle moves anticlockwise relative to the centre of the larger circle.

Well, I sat down and thought this was going to be easy, but it has taken me three hours to work the maths of a smaller inner wheel rolling around inside a large outer wheel: mainly because for the first two of those I neglected the basic insight that the inner wheel rolls in the opposite direction to its direction of travel (think of it this way – as a car wheel moves forward the point at the top of the wheel moves backwards – relative to the centre of the wheel).

And instead of using MetaPost I resorted to a spread sheet – though I might do a MetaPost drawing still.

Anyway – assume you have a big wheel of unit radius and a small wheel inside it of radius .

At any given time the centre of this small wheel will be at cartesian co-ordinates (assuming the big wheel is centred on (0,0):

( , ) (1)

where is the angle of rotation of the small wheel relative to the centre of the big wheel.

But if the small wheel has moved through angle relative to the centre of the big wheel, then it will have itself rotated through the angle – in the opposite direction to its rotation around the centre of the big wheel.

This means a fixed point on the surface of the small wheel will now be, compared to the centre of the smaller circle, at cartesian co-ordinates:

(, ) (2)

And we add (1) and (2) together to get the co-ordinates relative to the origin (ie the centre of the bigger circle).

Looking at the above it should be relatively obvious that if is an integer then the pattern will represent cusps – and not much less obvious is the fact that if can be expressed as a rational number then the pattern will repeat. But if cannot be expressed as a rational then it turns out there are a countably infinite number i.e., , number of cusps. In a way this is just a graphical way of representing an irrational number – it is a number that cannot be made to divide up unity (the circle) into equal proportions.

wheels. And so now I know about the maths of the spirograph.

<< Since then I have been fitfully working out how to draw some of the shapes needed to illustrate this article. But spending more time reading and writing stuff for my PhD literature review presentation, which really ought to be a greater priority.

But I cannot let this hang around for ever, so I am going to have a serious attempt at drawing the spirograph pictures (with MetaPost) this evening and

hopefully post about it!

A search on Amazon.co.uk – Spirograph – suggests that the original toy may be all but extinct … so maybe nobody under-35 has a clue what this is about.

As I spend a lot of time in the gym (honestly) I have decided to use that a little more productively and listen to decent non-fiction audio books – and I have just finished listening to Richard Dawkins’sThe Selfish Gene.

I quite enjoyed the book (or the recording) in the end – certainly added to my knowledge of genetics (not that that would be tough) and made a convincing case for its central argument: that genes the fundamental replicators of the biological world and it is their ‘drive’ to selfish self-preservation that shapes so much of our world. In fact my biggest criticism of the book is the way it anthropomorphises genes – a weakness reflected in the title itself. Genes are not selfish really – they are molecules that, statistically, interact with other molecules in a way that ensures their molecular formation survives. The book’s unwillingness to discuss anything but the most minimal amount of maths means Dawkins refuses to discuss that perspective in anything but the briefest of terms.

I also found his explanation of intelligence unconvincing, but this is a tricky and exceptionally difficult subject and I don’t have an original idea to counter Dawkins with.

And, of course, there is no discuss of the chemical processes that allow these proteins to shape their ‘machines’ or their phenotypes generally.

But, yes, it’s worth reading or listening to.

Next up? Andrew Hodges‘s Alan Turing: The Enigma. This, at 30 hours, is almost twice as long as Dawkins’s book, so suspect will be listening to this into August (unless I go mad for the gym) – will be interesting to see how, if at all, the maths are dealt with.

As ane fule kno the volume of a ball (ie., the interior of a sphere) is .

But I have just had one of those “why’s that then” moments and sought to prove to myself, using integration, why this would be so.

But my logic is flawed and I get the wrong result – so risking looking stupid – I am asking for someone to correct the error in my logic.

Starting from the start and a familiar (I hope!) lemma:

is the ratio of a circle’s circumference () to its diameter (), hence or, more familiarly, where is the radius of the circle.

Now the area (a) of a circle can then be found by integration:

, giving the familiar

So, my reasoning runs, the volume of a ball would then be:

or , which is precisely half the figure it should be – so where have I gone wrong?

Update: with thanks to Hugh in the comments – of course what I have described is a (double) cone with a height equal to the radius of the base. Cones and circles are not the same, obviously.

If books can change your life then The Annotated Turing changed mine – because it showed me just how strong the link between maths and computer science is and how fundamental maths is to an understanding of the nature of reality and truth. The world, in my eyes, has not been the same since I read this book last January.

If you are a computer science student the you must read this book!