Wednesday, 23 April 2008

mg.metric geometry - Can different bicycles leave the same tracks?

The answer, I believe, is no in the case of finite length tracks and yes in the case of infinite length tracks. I will show this in the (probably not very) simplified case of assuming that we can idenitify a back wheel track and a front wheel track from the tracks left.



Finite length:
We will show that if they have the same back wheel path then the lengths of their front wheel paths are different.
Let $gamma$ be the arclength parameterization of the back wheel path. Then, for a bicycle of length $l$, the front wheel path is given by $gamma + lcdotgamma'$ and so we can calculate its length by:



$int |gamma' + lcdotgamma''|$



Since we chose the arclength parameterization, $gamma'$ and $gamma''$ are orthogonal so this becomes



$int sqrt{|gamma'| + l^2cdot|gamma''|^2}$



And clearly this quantity is increasing with $l$ unless $gamma''$ is identically zero, which only occurs for a straight line. Thus, two different lengths of bicycle will leave front wheel tracks of different lengths, which therefore cannot be the same (note - I just realized this only says that the distance traveled by the two front wheels is different, but due to overlap perhaps the tracks could still have the same length. I think we should be able to discount this possibility, but it is not immediately obvious to me exactly how).



Infinite length:
We will provide a general construction. Start by fixing two bikes of different lengths, call them bike 1 and bike 2 of lengths $l_1$ and $l_2$. Pick some finite length curve, call it $gamma_1$ as the first back wheel curve, and let $Gamma_1$ be the corresponding front wheel curve for bike 1. Then we will take $gamma_2$ to be $gamma_1$ followed by a backwheel curve starting at the end of $gamma_1$ that if ridden by bike 2 will end up with the front wheel of bike 2 tracing over all of $Gamma_1$ (of course it will also trace over much more). Then $Gamma_2$ will be the front wheel curve associated to bike 2 with back wheel curve $gamma_2$. Then we will let $gamma_3$ be $gamma_2$ followed by a backwheel curve starting at the end of $gamma_2$ that if ridden by bike 1 will end up with the front wheel of bike 1 tracing over all of $Gamma_2$ and $Gamma_3$ will be the front wheel curve associated to bike 1 with back wheel curve $gamma_3$. We repeat this process, alternating back and forth between bikes each time adding to the backwheel path what we need to cover what the previous bike covered with its front wheel tracks. This algorithm can be used to produce an infinite length backwheel path that will give the same frontwheel paths when ridden by either bike (we can consider the front wheel path abstractly as just the extension along the tangent lines of the appropriate bicycle length)



For an interesting account of bicycle curves (including some exposition on the model I am implicitly using), I recommend the paper by Levi and Tabachnikov, "On bicycle tire tracks geometry, hatchet planimeter, Menzin's conjecture and oscillation of unicycle tracks" available at http://arxiv.org/abs/0801.4396

No comments:

Post a Comment