(asked by JST on the Q&A board at JMM)
Can two bicycles of different lengths leave the same set of tracks (aside from a straight line)?
[Ed: please tag this appropriately]
(asked by JST on the Q&A board at JMM)
Can two bicycles of different lengths leave the same set of tracks (aside from a straight line)?
[Ed: please tag this appropriately]
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 + l\cdot\gamma'$ and so we can calculate its length by:
$\int |\gamma' + l\cdot\gamma''|$
Since we chose the arclength parameterization, $\gamma'$ and $\gamma''$ are orthogonal so this becomes
$\int \sqrt{|\gamma'| + l^2\cdot|\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
Perhaps circular tracks should also be excluded?
Gerhard "Ask Me About System Design" Paseman, 2010.01.15
I would answer no, based on a very simple argument. (But in contrast to the Sean Howe's answer I restrict my argument to finite curves.) Consider a bicycle ridden on a circle. Its radius $r_1$ is defined by the angle of the frontwheel with respect to the bicycle. The rearwheel will draw a smaller circle with radius $r_2$. The difference of radii will depend on the distance $d$ of the axes such that $d^2 = r_1^2 - r_2^2$.
Since every curve can be considered as an approximation of a circle, this implies that different distances of the axes will supply different curves for every given $r_1$, except when the curve is a straight line, both radii being infinite.
Thank you for your interest in this question.
Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).
Would you like to answer one of these unanswered questions instead?