Todo se reduce a la cuestión de las longitudes de arco, o cómo mides la distancia a lo largo del camino de tu elección. Tomemos la unidad cuadrada y le demos coordenadas; poner las esquinas en [matemáticas] (0,0) [/ matemáticas], [matemáticas] (1,0) [/ matemáticas], [matemáticas] (1,1) [/ matemáticas], [matemáticas] (0,1 ) [/ math], colocando la diagonal en la línea [math] y = x [/ math].
Si tenemos unidades elementales de longitud en las direcciones [matemática] x [/ matemática] y [matemática] y [/ matemática] llamadas [matemática] dx [/ matemática] y [matemática] dy [/ matemática], respectivamente, la primaria la distancia [matemática] ds [/ matemática] a lo largo de cada ruta es diferente.
El camino a lo largo de la diagonal es [math] ds = \ sqrt {dx ^ 2 + dy ^ 2} [/ math] (de Pythagoras), pero el camino en zig-zag solo toca la diagonal en puntos sucesivos de forma [math] ( x, y) [/ math] y [math] (x + dx, y + dy) [/ math]. Para ir de un punto a otro, debe viajar [math] ds = dx + dy [/ math]. Claramente, la longitud elemental a lo largo de cada ruta es diferente, por lo que si se integrara a lo largo de esta ruta para obtener una longitud de ruta, obtendría resultados diferentes. Puedes hacer algo como esto:
Dado que el camino que estamos siguiendo es [matemática] y = x [/ matemática], podemos tomar diferenciales de ambos lados para obtener [matemática] dy = dx [/ matemática], ya que para cada unidad nos movemos en la [matemática] x [/ math] tenemos que mover la misma distancia en [math] y [/ math]. Las longitudes del camino elemental se convierten en [math] ds = \ sqrt {2 dx ^ 2} = \ sqrt {2} dx [/ math] y [math] ds = 2 dx [/ math]. La longitud del camino se obtiene por la integral
[matemáticas] \ int_a ^ b ds [/ matemáticas],
donde [matemática] a [/ matemática] y [matemática] b [/ matemática], son puntos en el camino, la distancia entre la que desea encontrar. Poniéndolo todo junto, obtenemos
[matemáticas] \ int_0 ^ 1 \ sqrt {2} dx = \ sqrt {2} [/ matemáticas]
para la primera curva, y
[matemáticas] \ int_0 ^ 1 2 dx = 2 [/ matemáticas]
para el segundo.
Lo cual es una forma elegante de decir que si caminas en zig-zags (no importa cuán grande o pequeño sea), no caminarás la misma distancia que lo harías si caminaras en línea recta. En el límite en el que está pensando, el camino en zig-zag podría ser continuo en todas partes, pero de hecho no sería diferenciable en ninguna parte, porque sería esencialmente una esquina en cada punto. Es un tipo de función fundamentalmente diferente a [math] y = x [/ math], que es suave.