0
$\begingroup$

In the plane equipped with an orthonormal basis, let us consider the two points $A$ and $B$ whose coordinates are $(-2,0)$ and $(1,1)$, respectively. Is there a path from $A$ to $B$ (i.e. a continuous map $\gamma : [0,1] \to {\mathbb R}^2$, with $\gamma(0)=A, \gamma(1)=B$) such that the sets $I,\rho (I), \rho^2 (I)$ and $\rho ^3(I)$ are all disjoint, where $\rho$ is the rotation whose center is the origin and whose angle is $\frac{\pi}{2}$, and $I$ is the image of the path : $I=\gamma([0,1])$.

Update 14:30 Now that I know that such paths do exist (see carlop’s answer), I ask : what is the minimal length of a path meeting those constraints ?

  • 1
    The piecewise-linear path $A \rightarrow \rho(B) \rightarrow B$ has length $2 + \sqrt{2}$, and if the middle point is perturbed slightly upward, the images $I$, $\rho(I)$, etc. are disjoint. So we can approach this length as closely as we wish, but not attain it.2012-12-01

1 Answers 1

3

Take a spiral centered in the origin that pass for the two point...

In general every function such that the distance from the origin is increasing works fine for every angle greater than $0$ (not only for the right angle).