Ant on a rubber rope
The ant on a rubber rope is a mathematical puzzle with a solution that appears counterintuitive or paradoxical. It is sometimes given as a worm, or inchworm, on a rubber or elastic band, but the principles of the puzzle remain the same.
The details of the puzzle can vary,[1][2] but a typical form is as follows:
- An ant starts to crawl along a taut rubber rope 1 km long at a speed of 1 cm per second (relative to the rubber it is crawling on). At the same time, the rope starts to stretch uniformly at a constant rate of 1 km per second, so that after 1 second it is 2 km long, after 2 seconds it is 3 km long, etc. Will the ant ever reach the end of the rope?
At first consideration it seems that the ant will never reach the end of the rope, but in fact it does. (In the form stated above, it would take 8.9×1043421 years.) Whatever the length of the rope and the relative speeds of the ant and the stretching, provided that the ant's speed and the stretching remain steady, the ant will always be able to reach the end given sufficient time. Once the ant has begun moving, the rubber rope is stretching both in front of and behind the ant, conserving the proportion of the rope already walked by the ant and enabling the ant to make continual progress.
A formal statement of the problem
The problem as stated above requires some assumptions to be made. The following fuller statement of the problem attempts to make most of those assumptions explicit. The informal statements like the one given in the introduction of this article are obtained by simplifying the following statement and assigning values to the variables and .
- Consider a thin and infinitely stretchable rubber rope held taut along an -axis with a starting point marked at and a target point marked at , with .
- At time the rope starts to stretch uniformly and smoothly in such a way that the starting point remains stationary at while the target point moves away from the starting point with constant speed .
- A small ant leaves the starting point at time and walks steadily and smoothly along the rope towards the target point at a constant speed relative to the point on the rope where the ant is at each moment.
- Consider that the speed of the ant is less than the speed of the stretching of the rope, that is, .
- Will the ant reach the target point?
Solutions of the problem
An informal reasoned solution
If the speed at which the target-point is receding from the starting-point is less than the speed of the ant on the rope, then it seems clear that the ant will reach the target-point (because it would eventually reach the target-point by walking along the axis, and walking along the rope can only carry it further forward).
However, though it does not seem clear at first, the ant will always reach the end of the rope, no matter the ant's speed or the speed of the rope's expansion. This can be reasoned by the following: Assuming the typical form of the puzzle mentioned above, let the ant move at 1 cm/s. As a figurative example, let the ant cover 1/1000 of the rope after one second. In the second second, the ant moves the same distance, but the distance is smaller compared to the size of the rope (let the ratio be, for example, 1/2000). This will continue for a long time, with the ant's distance covered in a second decreasing relative to the length of the rope. That means our fraction will continue getting smaller. However, if we add all these fractions, we will get a part of the harmonic series, which diverges. This means that in the end, the ant will get to the end of the rope, even though it will take an exceedingly long time.
A discrete mathematics solution
Although solving the problem appears to require analytical techniques, it can actually be answered by a combinatorial argument by considering a variation in which the rope stretches suddenly and instantaneously each second rather than stretching continuously. Indeed, the problem is sometimes stated in these terms, and the following argument is a generalisation of one set out by Martin Gardner, originally in Scientific American and later reprinted.[1]
Consider a variation in which the rope stretches suddenly and instantaneously before each second, so that the target-point moves from to at time , and from to at time , etc. Many versions of the problem have the rope stretch at the end of each second, but by having the rope stretch before each second we have disadvantaged the ant in its goal, so we can be sure that if the ant can reach the target-point in this variation then it certainly can in the original problem or indeed in variants where the rope stretches at the end of each second.
Let be the proportion of the distance from the starting-point to the target-point which the ant has covered at time t. So . In the first second the ant travels distance , which is of the distance from the starting-point to the target-point (which is throughout the first second). When the rope stretches suddenly and instantaneously, remains unchanged, because the ant moves along with the rubber where it is at that moment. So . In the next second the ant travels distance again, which is of the distance from the starting-point to the target-point (which is throughout that second). So . Similarly, for any , .
Notice that for any , , so we can write
- .
The term is a partial Harmonic series, which diverges, so we can find such that , which means that .
Therefore, given sufficient time, the ant will complete the journey to the target-point. This solution could be used to obtain an upper-bound for the time required, but does not give an exact answer for the time it will take.
An analytical solution
A key observation is that the speed of the ant at a given time is its speed relative to the rope, i.e. , plus the speed of the rope at the point where the ant is. The target-point moves with speed , so at time it is at . Other points along the rope move with proportional speed, so at time the point on the rope at is moving with speed . So if we write the position of the ant at time as , and the speed of the ant at time as , we can write:
This is a first order linear differential equation, and it can be solved with standard methods. However, to do so requires some moderately advanced calculus. A much simpler approach considers the ant's position as a proportion of the distance from the starting-point to the target-point.[2]
Consider coordinates measured along the rope with the starting-point at and the target-point at . In these coordinates, all points on the rope remain at a fixed position (in terms of ) as the rope stretches. At time , a point at is at , and a speed of relative to the rope in terms of , is equivalent to a speed in terms of . So if we write the position of the ant in terms of at time as , and the speed of the ant in terms of at time as , we can write:
- where is a constant of integration.
Now, which gives , so .
If the ant reaches the target-point (which is at ) at time , we must have which gives us:
(For the simple case of v=0, we can consider the limit and obtain the simple solution ) As this gives a finite value for all finite , , (, ), this means that, given sufficient time, the ant will complete the journey to the target-point. This formula can be used to find out how much time is required.
For the problem as originally stated, , and , which gives . This is a vast timespan, even compared to the estimated age of the universe, which is only about 4×1017 s. Furthermore, the length of the rope after such a time is similarly huge, so it is only in a mathematical sense that the ant can ever reach the end of this particular rope.
Intuition
Regardless of the speed of the endpoint of the rope, we can always make marks on the rope so that the relative speed of any two adjacent marks is arbitrarily slow. If the rope initially is 1 km long and is stretched by 1 km per second, we can make marks that are initially 5 mm apart along the whole rope. The relative speed of any two marks is then 5 mm per second. It is obvious that an ant crawling at 1 cm per second always can get from one mark to the next, and then to the next again and so on, until it eventually reaches the end of the rope. The same reasoning works for any constant stretching speeds, ant speeds and rope lengths.
The key fact is that the ant moves together with the points of the rope when the rope is being stretched. At any given point of time we can find the proportion of the distance from the starting-point to the target-point which the ant has covered. Even if the ant stops and the rope continues to be stretched, this proportion will not decrease and will in fact remain constant as the ant travels together with the point on the rope where the ant stopped (because the rope is stretched uniformly). Therefore, if the ant moves forward this proportion is only going to increase.
Metric expansion of space
This puzzle has a bearing on the question of whether light from distant galaxies can ever reach us given the metric expansion of space. The universe is expanding, which leads to increasing distances to other galaxies, and galaxies that are far enough away from us will have an apparent relative motion greater than the speed of light. It might seem that light leaving such a distant galaxy could never reach us.
By thinking of photons of light as ants crawling along the rubber rope of space between the galaxy and us, we can see that just as the ant can eventually reach the end of the rope, so light from distant galaxies, even some that appear to be receding at a speed greater than the speed of light, can eventually reach Earth, given sufficient time.
However, the metric expansion of space is accelerating. An ant on a rubber rope whose expansion increases with time is not guaranteed to reach the endpoint.[3] The light from sufficiently distant galaxies may still therefore never reach Earth.
See also
- Achilles and the tortoise
- Goodstein's theorem
References
- Gardner, Martin (1982). aha! Gotcha: paradoxes to puzzle and delight. W. H. Freeman and Company. pp. 145–146. ISBN 0-7167-1361-6.
- Graeme (1 October 2002). "The long walk". The Problem Site. Archived from the original on 24 April 2008. Retrieved 6 April 2008.
- Koelman, Johannes (2012). "Beam Me The Farthest, Scotty!". Archived from the original on 6 April 2013. Retrieved 26 December 2012.