1. Prelúdio histórico e intuição física: por que a curva vence a linha reta?

Imagine dois pontos \(A(0,0)\) e \(B(x_1, y_1)\) fixados em diferentes alturas em um plano vertical. Que formato deve ter um trilho sem atrito conectando \(A\) a \(B\) para que uma esfera liberada do repouso em \(A\) sob a gravidade uniforme \(g\) chegue a \(B\) no menor tempo possível? Nossa intuição geométrica responde imediatamente: «Uma linha reta, pois a reta é a menor distância entre dois pontos!». Contudo, a física e a matemática provam o oposto: sobre uma curva que mergulha acentuadamente no início, a esfera vence com folga — e se \(B\) estiver suficientemente distante na horizontal, a curva mais rápida mergulha abaixo da altura de \(B\) antes de subir novamente até a chegada!

Esse problema clássico é o problema da braquistócrona (do grego brakhistos, «o mais curto», e khronos, «tempo»). Por que o caminho mais curto não é o mais rápido? Porque a velocidade inicial em \(A\) é zero (\(v_0 = 0\)). Em uma rampa reta de inclinação suave, a aceleração tangencial \(a = g\sin\alpha\) é pequena e a partícula perde muito tempo no início movendo-se lentamente. Já uma trajetória que mergulha verticalmente na largada converte imediatamente a energia potencial gravitacional \(mgy\) em alta velocidade \(v = \sqrt{2gy}\). Em 1638, Galileu provou em seus Discursos sobre duas novas ciências que um arco de círculo supera sua corda reta, embora tenha acreditado erroneamente que o círculo era a curva ótima absoluta. Em junho de 1696, Johann Bernoulli lançou o desafio aos matemáticos da Europa; na noite de 29 de janeiro de 1697, ao retornar da Casa da Moeda Real em Londres, Isaac Newton resolveu o problema em poucas horas antes de dormir e publicou a solução anonimamente, levando Bernoulli a exclamar: «Tanquam ex ungue leonem (Pela garra reconheço o leão!)».

2. O funcional do tempo de descida e a analogia óptica de Johann Bernoulli (lei de Snell)

Posicionando a origem em \(A(0,0)\) com o eixo \(x\) horizontal e o eixo \(y\) apontando verticalmente para baixo, a conservação da energia mecânica \(\frac{1}{2}mv^2 = mgy\) fornece a velocidade \(v(y) = \sqrt{2gy}\). Com o elemento de arco \(ds = \sqrt{1 + (y'(x))^2}\,dx\), o tempo total de descida \(T[y]\) torna-se um funcional (uma função cujo argumento é toda uma curva \(y(x)\)):

3. O nascimento do cálculo das variações: equação de Euler-Lagrange, identidade de Beltrami e cicloide

Johann Bernoulli encontrou em 1696 um atalho brilhante usando o princípio de Fermat do tempo mínimo: uma partícula movendo-se com velocidade \(v(y) = \sqrt{2gy}\) segue exatamente a mesma trajetória que um raio de luz atravessando um meio estratificado com índice de refração \(n(y) = c/v(y) \propto y^{-1/2}\)! Pela lei da refração de Snell, o ângulo \(\alpha\) em relação à vertical satisfaz \(\frac{\sin\alpha}{\sqrt{2gy}} = \text{const}\). Substituindo \(\sin\alpha = \frac{dx}{ds} = \frac{1}{\sqrt{1+(y')^2}}\), obtém-se imediatamente a equação diferencial \(y(1 + (y')^2) = 2R\).

Para minimizar sistematicamente funcionais gerais \(J[y] = \int L(x,y,y')\,dx\), Leonhard Euler (1744) e Joseph-Louis Lagrange (1755) fundaram o cálculo das variações. Anulando a primeira variação \(\delta J[y;\eta] = 0\) para qualquer perturbação \(\eta(x)\) nula nos extremos, a integração por partes conduz à equação de Euler-Lagrange. Como \(L(y,y') = \sqrt{\frac{1+(y')^2}{y}}\) não depende explicitamente de \(x\), a identidade de Beltrami \(L - y'\frac{\partial L}{\partial y'} = C\) recupera diretamente \(y(1 + (y')^2) = 2R\). A substituição paramétrica \(y = 2R\sin^2(\theta/2) = R(1 - \cos\theta)\) demonstra que a única curva braquistócrona é uma 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. Comparação numérica, a tautócrona de Huygens e o legado do princípio da mínima ação

Entre \(A(0,0)\) e \(B(\pi, 2)\), embora a cicloide (\(S = 4,000\,\text{m}\)) seja \(7,4\%\) mais longa que a linha reta (\(3,724\,\text{m}\)), a esfera chega \(18,5\%\) mais rápido! Além disso, Christiaan Huygens já havia provado em 1659 que essa mesma cicloide é também a curva tautócrona (isócrona): independentemente da altura inicial em que uma esfera seja solta sobre uma cicloide, o tempo até o ponto mais baixo é sempre exatamente \(T = \pi\sqrt{R/g}\). Do cálculo das variações nascido com a braquistócrona surgiram o princípio da mínima ação de Hamilton (\(\delta S = 0\)), o teorema de Noether, as geodésicas da relatividade geral de Einstein, a integral de trajetória de Feynman e a teoria moderna do controle ótimo.