En unos días voy a estar dando una charla a (smart) para los estudiantes de escuela secundaria sobre un tema que incluye un breve resumen sobre las nociones de la curvatura y de gedesic líneas. Como ejemplo, voy a hablar de las rutas de vuelo y, más en general, de menor longitud de arcos de la 2-dimensiones de la esfera.
Aquí está mi pregunta: vamos a $p,q$ ser distintas (y, por simplicidad, no antipodal) puntos en la esfera de la $S^2$. Hay una escuela primaria prueba de que el hecho de que el único camino más corto entre la $p$ e $q$ es el más corto de arco en la única gran círculo con $p$ e $q$?
Por "elemental" me refiero a un (posiblemente no completamente formal, pero de alguna manera convinving) argumento de que podría ser entendido por un estudiante de secundaria. Por ejemplo, los antiguos Griegos saber que la geodesics de la esfera son grandes círculos, y, si es así, ¿cómo se `prueban" que este hecho?
Aquí es la mejor explicación que vino a mi mente hasta ahora. Deje $\gamma\colon [0,1]\to S^2$ ser de cualquier camino, y vamos a $\gamma(t_0)=a$. La mejor plana aproximación de $\gamma$ todo $a$ está dado por la proyección ortogonal de $\gamma$ en el espacio de la tangente $T_a S^2$. Esta proyección es una línea recta (es decir, una longitud minimizar camino de $T_a S^2$) sólo si $\gamma$ es compatible en un gran círculo con $a$. Esto suena bastante convincente, y con un poco de geometría diferencial no es difícil vuelta a este argumento en una prueba. Sin embargo, me preguntaba si yo podría hacer mejor...