1. Preludio histórico e intuición física: ¿por qué la curva vence a la línea recta?

Imaginemos dos puntos $A(0,0)$ y $B(x_1, y_1)$ situados a distinta altura en un plano vertical. ¿Qué forma debe tener un riel sin fricción que conecte $A$ con $B$ para que una cuenta liberada desde el reposo en $A$ bajo la gravedad uniforme $g$ llegue a $B$ en el menor tiempo posible? Nuestra intuición geométrica responde de inmediato: «¡Una línea recta, pues la recta es la distancia más corta entre dos puntos!». Sin embargo, la física y las matemáticas demuestran todo lo contrario: sobre una curva que cae abruptamente al principio, la esfera gana por amplio margen —e incluso, si $B$ está suficientemente lejos en horizontal, la curva más rápida desciende por debajo de la altura de $B$ antes de volver a subir hasta la meta!

Este problema clásico se conoce como el problema de la braquistócrona (del griego brakhistos, «el más corto», y khronos, «tiempo»). ¿Por qué el camino más corto no es el más rápido? Porque la velocidad inicial en $A$ es cero ($v_0 = 0$). En una rampa recta de pendiente suave, la aceleración tangencial $a = g\sin\alpha$ es pequeña y la partícula pierde muchísimo tiempo al inicio moviéndose con lentitud. En cambio, una trayectoria que se desploma verticalmente desde el arranque convierte de inmediato la energía potencial gravitatoria $mgy$ en una elevada velocidad $v = \sqrt{2gy}$. En 1638, Galileo demostró en sus Dos nuevas ciencias que un arco de círculo supera a su cuerda recta, aunque creyó erróneamente que el círculo era la curva óptima absoluta. En junio de 1696, Johann Bernoulli lanzó el reto a los matemáticos de Europa; la tarde del 29 de enero de 1697, al volver de la Real Casa de la Moneda en Londres, Isaac Newton resolvió el problema en pocas horas antes de dormir y lo publicó de forma anónima, provocando la célebre exclamación de Bernoulli: «Tanquam ex ungue leonem (¡Por su garra reconozco al león!)».

2. El funcional del tiempo de descenso y la analogía óptica de Johann Bernoulli (ley de Snell)

Tomando el origen en $A(0,0)$ con el eje $x$ horizontal y el eje $y$ apuntando verticalmente hacia abajo, la conservación de la energía mecánica $\frac{1}{2}mv^2 = mgy$ determina la rapidez $v(y) = \sqrt{2gy}$. Con el elemento de arco $ds = \sqrt{1 + (y'(x))^2}\,dx$, el tiempo total de descenso $T[y]$ se expresa como un funcional (una función cuyo argumento es toda una curva $y(x)$):

3. El nacimiento del cálculo de variaciones: ecuación de Euler-Lagrange, identidad de Beltrami y cicloide

Johann Bernoulli halló en 1696 un atajo brillante mediante el principio de Fermat del tiempo mínimo: una partícula que se mueve con velocidad $v(y) = \sqrt{2gy}$ sigue exactamente la misma trayectoria que un rayo de luz atravesando un medio estratificado con índice de refracción $n(y) = c/v(y) \propto y^{-1/2}$. Por la ley de refracción de Snell, el ángulo $\alpha$ respecto a la vertical cumple $\frac{\sin\alpha}{\sqrt{2gy}} = \text{const}$. Sustituyendo $\sin\alpha = \frac{dx}{ds} = \frac{1}{\sqrt{1+(y')^2}}$, se obtiene de inmediato la ecuación diferencial $y(1 + (y')^2) = 2R$.

Para minimizar sistemáticamente funcionales generales $J[y] = \int L(x,y,y')\,dx$, Leonhard Euler (1744) y Joseph-Louis Lagrange (1755) fundaron el cálculo de variaciones. Al anular la primera variación $\delta J[y;\eta] = 0$ para toda perturbación $\eta(x)$ nula en los extremos, la integración por partes conduce a la ecuación de Euler-Lagrange. Como $L(y,y') = \sqrt{\frac{1+(y')^2}{y}}$ no depende explícitamente de $x$, la identidad de Beltrami $L - y'\frac{\partial L}{\partial y'} = C$ recupera directamente $y(1 + (y')^2) = 2R$. El cambio paramétrico $y = 2R\sin^2(\theta/2) = R(1 - \cos\theta)$ demuestra que la única curva braquistócrona es una cicloide:

  flowchart TD
    A["1696: Brachistochrone Problem (Minimize T[y] = ∫ √(1+y'^2)/√(2gy) dx)"] --> B["Snell's Law Optical Analogy (sin α / √y = const)"]
    A --> C["First Variation δT[y] = 0 → Euler-Lagrange Equation & Beltrami Identity"]
    B --> D["ODE: y (1 + y'^2) = 2R"]
    C --> D
    D --> E["Parametric Cycloid: x = R(θ - sin θ), y = R(1 - cos θ)"]
    E --> F["Huygens Tautochrone Property (T = π√(R/g) Independent of Starting Height)"]
    C --> G["Hamilton's Principle of Least Action δS = 0 (Modern Physics & Optimal Control)"]

4. Comparación numérica, la tautócrona de Huygens y el legado del principio de mínima acción

Entre $A(0,0)$ y $B(\pi, 2)$, aunque la cicloide ($S = 4.000\,\text{m}$) es un $7.4\%$ más larga que la línea recta ($3.724\,\text{m}$), la esfera llega un $18.5\%$ más rápido! Además, Christiaan Huygens había demostrado ya en 1659 que esa misma cicloide es también la curva tautócrona (isócrona): sin importar desde qué altura inicial se suelte una esfera sobre una cicloide, el tiempo que tarda en llegar al fondo es siempre exactamente $T = \pi\sqrt{R/g}$. Del cálculo de variaciones nacido con la braquistócrona surgieron el principio de mínima acción de Hamilton ($\delta S = 0$), el teorema de Noether, las geodésicas de la relatividad general de Einstein, la integral de caminos de Feynman y la teoría moderna del control óptimo.