Esto supone que los relojes no se superponen.
Deje $O$ denotar la cneter del primer reloj
Si los relojes no se superponen, que por la convexidad de la segunda reloj, existe una línea de $\ell$ a través de $O$ tales que el segundo reloj está enteramente en uno de la mitad de los planos definidos por ella.
Fijar un sistema de coordenadas con origen en el $O$ en el centro de el primer reloj, y con $\ell$ $y$- eje y con el segundo en el reloj en la negativa $x$ la mitad del plano.
Deje $a(t)$ denota el vector de posición de la punta del primer reloj la aguja de las horas en el tiempo de $t$, de manera similar $b(t)$ para el segundo reloj.
Deje $n(t)$ denota el vector normal a $a(t)$ en dirección a la derecha, o más formalmente, simplemente deje $n(t)=a(t+3\,\mathrm h)$.
Ahora definir la función de $f(t)=\langle n(t),b(t)\rangle$.
Sabemos que $a(t)$ $n(t)$ describir un círculo alrededor de $O$, sobre todo que hay veces en las $t_+$ $t_-$ donde $n(t_+)$ en el positivo $x$-eje y $n(t_-)$ es negativa en la $x$-eje, y en estos tiempos se determina únicamente a múltiplos de doce horas. Entonces claramente $f(t_+)<0$$f(t_-)>0$. Por las 12 horas de la periodicidad, podemos asumir wlog. que $t_-<t_+<t_-+12\,\mathrm h$.
Como $f$ es continua ($a,n,b$ son continuas en a $t$ por la asunción y el producto escalar es continuo), llegamos a la conclusión de que $f$ tiene un cero $\tau_1$ $(t_-,t_+)$ y un cero $\tau_2$$(t_+,t_-+12\,\mathrm h)$. En un cero de $f$, $a(t)$ debe apuntar a $b(t)$ o lejos de él. Como $\tau_1,\tau_2$ están separados por $t_+$, $a(\tau_1$ y $a(\tau_2)$ se encuentran en diferentes mitad de los aviones, en el que la pertenencia a la negativa $x$ valores que debe tener ese $a(\tau)$$b(\tau)$.
Tenga en cuenta que la reclamación de hecho, se convierte en false si permitimos que los relojes de la superposición. Por ejemplo, poner en la misma posición, pero ligeramente girado el uno contra el otro.
Creo que más resultado general (con Dali-como fundido relojes) sostiene, pero hay una serie de sutilezas que participan:
Conjetura. Deje $a,b\colon S^1\to\mathbb C$ se continua con nonintersecting imágenes, $a[S^1]\cap b[S^1]=\emptyset$. Suponga que $\mathbb C\setminus (a[S^1]\cup b[S^2])$ tiene entre otros dos componentes de la $U_\infty$ $U_0$ donde $U_\infty$ es no acotada y $\partial U_\infty$ cruza tanto $a[S^1]$$b[S^1]$, e $U_0$ es limitado y $\partial U_0$ intersecta $a[S^1]$.
Suponga $0\in U_0$. Entonces existe $t\in S^1$ tal que $b(t)=\lambda\cdot a(t)$ algunos $\lambda>1$.