STACK DocumentationDocumentation home | Category index | Site map
The mathematics of the STACK logo
The STACK logo is based on the following problem.
If you stack identical blocks one on top of the other, how far can it lean before it falls over? You have a potentially unlimited supply of blocks.
The answer is that there is no limit to how far it can lean! A physical model is shown below.
Model made by Dr John Bryant.
The mathematics of this problem
To see why the STACK of blocks doesn't fall over assume that the width of each domino is "units". Our strategy is this: at each stage we consider an existing balancing stack of dominoes which has its centre of mass a distance from its left-hand edge.
Obviously for all as the centre of mass is to be above the bottom domino! We then place this stack on top of a new domino a distance from the left of the domino. There will clearly be no toppling if
That is to say we maintain balance if we don't displace the top stack so far that the displacement plus the distance of the centre of mass from the left pushes the centre of mass over the edge of the bottom domino - which has width . The new centre of mass of the whole stack of dominoes will be from the left of the bottom domino where
Using the first inequality the maximum displacement without toppling is . Combining this with the formula for and solving for gives
So that for all , .
How big does the displacement become?
The question becomes, what is the value of
for large N? If , this is a particularly famous infinite series - the harmonic series. Actually, this diverges. That is to say it is possible to make the sum as large as one would wish. To see this, we group the terms as follows,
which shows that the series keeps getting larger as we continue to add terms. That is to say it does not converge.
In terms of the domino problem: we can choose displacements so that (i) the stack does not topple over, and (ii) we can produce an arbitrarily large horizontal displacement. Bizarre indeed!
Documentation home | Category index | Site map